Theoretical computer science
วิทยาการคอมพิวเตอร์เชิงทฤษฎี
อ่าน 1 นาทีคลาสความซับซ้อน
Complexity classesในทฤษฎีความซับซ้อนของการคำนวณ คลาสความซับซ้อนคือชุดของปัญหาการคำนวณ "ที่ มีความซับซ้อนตามทรัพยากรที่เกี่ยวข้อง" ทรัพยากรสองอย่างที่วิเคราะห์กันบ่อยที่สุดคือเวลาและหน่วยความจำ
อ่าน 1 นาทีปัญหาค่าวงจร
Computational problemsปัญหาการหาค่าวงจร (หรือปัญหาการประเมินค่าวงจร) คือปัญหาการคำนวณเพื่อหาค่าเอาต์พุตของวงจรบูลีน ที่กำหนดให้ โดยพิจารณาจากอินพุตที่กำหนดให้
อ่าน 1 นาทีสปินโทรนิกส์
Condensed matter physicsสปินโทรนิกส์ ( คำผสมระหว่างspin transport electronics) หรือที่รู้จักกันในชื่อspin electronicsคือการศึกษาเกี่ยวกับสปิน ภายใน ของอิเล็กตรอนและโมเมนต์แม่เหล็ก ที่เกี่ยวข้อง...
อ่าน 1 นาทีการเรียนรู้ของเครื่องควอนตัม
CS1 maint: multiple names: authors listการเรียนรู้ของเครื่องควอนตัม ( QML ) คือการศึกษาเกี่ยวกับอัลกอริธึมควอนตัม สำหรับการเรียนรู้ของ เครื่อง...
อ่าน 1 นาทีปัญหาการคำนวณ
Computational problemsในวิทยาการคอมพิวเตอร์เชิงทฤษฎีปัญหา คือ ปัญหาที่ต้องการคำตอบในรูปของอัลกอริทึมตัวอย่างเช่น ปัญหาการแยกตัวประกอบ
อ่าน 1 นาทีการตรวจสอบอย่างเป็นทางการ
All pages needing cleanupในบริบทของระบบฮาร์ดแวร์และซอฟต์แวร์การตรวจสอบอย่างเป็นทางการคือการพิสูจน์หรือหักล้างความถูกต้องของระบบโดยสัมพันธ์กับข้อกำหนดหรือคุณสมบัติอย่างเป็นทางการบางอย่าง...
อ่าน 1 นาทีการเรียนรู้ของเครื่องจักรในวิชาฟิสิกส์
Machine learningการประยุกต์ใช้ วิธี การเรียนรู้ของเครื่อง (ML) (รวมถึงการเรียนรู้เชิงลึก ) ในการศึกษาระบบควอนตัมเป็นสาขาการวิจัยฟิสิกส์ที่กำลังเกิดขึ้นใหม่...
อ่าน 1 นาทีกึ่งประสบการณ์นิยมในคณิตศาสตร์
Empiricismในปรัชญาคณิตศาสตร์ ลัทธิกึ่งประสบการณ์นิยม ( quasi-empiricism)คือความพยายามที่จะดึงความสนใจของนักปรัชญาไปที่การปฏิบัติทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งความสัมพันธ์กับฟิสิกส์สังคมศาสตร...
อ่าน 1 นาทีวารสารออโตมาตา ภาษา และการจัดเรียง
Academic journals established in 1996วารสารJournal of Automata, Languages and Combinatorics ( JALC ) เป็นวารสารทางวิทยาศาสตร์ด้านวิทยาการคอมพิวเตอร์ที่ผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิ ก่อตั้งขึ้นในปี 1965...
อ่าน 1 นาทีทฤษฎีระบบคอมพิวเตอร์
8 times per year journalsTheory of Computing Systemsเป็นวารสารทางวิทยาศาสตร์ที่ผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิ และ ตีพิมพ์โดยสำนักพิมพ์ Springer Verlag
อ่าน 1 นาทีรางวัลการบรรยายฟลาโจเลต์
Biennial eventsรางวัลการบรรยายฟิลิปป์ ฟลาโจเลต์มอบให้แก่ผู้ที่มีผลงานโดดเด่นด้านคณิตศาสตร์เชิงการจัดเรียงแบบวิเคราะห์และการวิเคราะห์อัลกอริทึมในสาขาวิทยาการคอมพิวเตอร์เชิงทฤษฎีรางวัลนี้ตั้งชื่อเพ...
อ่าน 1 นาทีเอซีเอ็ม ซิกแอค
Association for Computing Machinery Special Interest GroupsACM SIGACTหรือSIGACTคือกลุ่มความสนใจพิเศษ ด้านอัลกอริธึมและทฤษฎีการคำนวณ ของสมาคมเครื่องจักรคำนวณ...
อ่าน 1 นาทีการทดสอบทรัพย์สิน
Approximation algorithmsการทดสอบคุณสมบัติเป็นสาขาหนึ่งของวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีซึ่งเกี่ยวข้องกับการออกแบบอัลกอริธึมที่รวดเร็วเป็นพิเศษสำหรับการตัดสินใจโดยประมาณ...
อ่าน 1 นาทีสถาบันวิจัยวิทยาศาสตร์คอมพิวเตอร์และระบบอัตโนมัติแห่งฝรั่งเศส
CS1: unfit URLสถาบันวิจัยวิทยาศาสตร์และเทคโนโลยีดิจิทัลแห่งชาติ ( Inria ) ( ภาษาฝรั่งเศส : Institut national de recherche en sciences et technologies du numérique )
อ่าน 1 นาทีฟังก์ชันความซับซ้อน
Theoretical computer scienceในวิทยาการคอมพิวเตอร์ฟังก์ชันความซับซ้อนของคำหรือสตริง (ลำดับสัญลักษณ์ที่จำกัดหรือไม่จำกัดจากตัวอักษร บางชุด ) คือฟังก์ชันที่นับจำนวนตัวประกอบ ที่แตกต่างกัน...
อ่าน 1 นาทีแคลคูลัสπ
Process calculiในวิทยาการคอมพิวเตอร์เชิงทฤษฎีแคลคูลัสπ (หรือแคลคูลัสพาย ) เป็นแคลคูลัสกระบวนการแคลคูลัสπ อนุญาตให้สื่อสารชื่อช่องสัญญาณไปตามช่องสัญญาณเหล่านั้นได้ และในแง่นี้ แคลคูลัส π
อ่าน 1 นาทีการเรียกซ้ำร่วม
Category theoryในวิทยาการคอมพิวเตอร์การเรียกซ้ำแบบ คู่ขนาน (corecursion ) เป็นประเภทของการดำเนินการที่เป็นคู่ขนานกับการเรียกซ้ำเชิงโครงสร้าง (structural
อ่าน 1 นาทีการวางแผนการเคลื่อนไหว
Automated planning and schedulingการวางแผนการเคลื่อนที่หรือการวางแผนเส้นทาง (หรือที่รู้จักกันในชื่อปัญหาการนำทางหรือปัญหาการเคลื่อนย้ายเปียโน )...
อ่าน 1 นาทีการเพิ่มประสิทธิภาพเชิงการจัดเรียง
Combinatorial optimizationการเพิ่มประสิทธิภาพเชิงการจัดเรียงเป็นสาขาย่อยของการเพิ่มประสิทธิภาพทางคณิตศาสตร์ ที่ประกอบด้วยการค้นหาวัตถุที่เหมาะสมที่สุดจากเซตของวัตถุ ที่มีจำนวนจำกัด
อ่าน 1 นาทีเครื่องจักรทัวริง
1936 in computingเครื่องจักรทัวริงเป็นแบบจำลองทางคณิตศาสตร์ของการคำนวณที่อธิบายเครื่องจักรนามธรรมที่จัดการสัญลักษณ์บนแถบเทปตามตารางกฎแม้ว่าแบบจำลองจะเรียบง่าย แต่ก็สามารถนำอัลกอริทึมคอมพิวเตอร์...
อ่าน 1 นาทีการเรียกซ้ำ (วิทยาการคอมพิวเตอร์)
CS1 location testในวิทยาการคอมพิวเตอร์การเรียกซ้ำเป็นวิธีการแก้ปัญหาการคำนวณที่คำตอบขึ้นอยู่กับคำตอบของปัญหาย่อยๆ ที่คล้ายกัน...
อ่าน 1 นาทีป้ายกำกับศูนย์กลาง
Graph algorithmsในวิทยาการคอมพิวเตอร์ป้ายกำกับฮับหรืออัลกอริทึมการติดป้ายกำกับฮับเป็น เทคนิค การเร่งความเร็วที่ใช้ทรัพยากรน้อยกว่าตารางค้นหา มาก
อ่าน 1 นาทีคอมพิวเตอร์เคมี
Classes of computersคอมพิวเตอร์เคมีหรือที่เรียกว่าคอมพิวเตอร์ปฏิกิริยา-การแพร่กระจายคอมพิวเตอร์เบลูซอฟ-ซาโบตินสกี ( BZ ) หรือคอมพิวเตอร์กูแวร์เป็นคอมพิวเตอร์ที่ไม่ธรรมดาซึ่งใช้ "ซุป"...
อ่าน 1 นาทีความโปร่งใสของอัลกอริทึม
Accountabilityความโปร่งใสของอัลกอริทึมคือหลักการที่ว่าปัจจัยที่มีอิทธิพลต่อการตัดสินใจของอัลกอริทึมควรสามารถมองเห็นได้หรือโปร่งใสต่อผู้ที่ใช้งาน ควบคุม...