Search Results - "Machine theory"

Enhancing mechanical engineering education through augmented reality: A case study on mechanism and machine theory.

Authors: Pàmies-Vilà, Rosa Puig-Ortiz, Joan Jordi Nebot, Lluïsa

Source: International Journal of Mechanical Engineering Education. Jul2026, Vol. 54 Issue 3, p621-636. 16p.

Subjects: Augmented reality, Machine theory, Three-dimensional imaging, Educational technology, Mobile learning, Mechanical engineering education, Visualization

The finiteness problem for groups generated by reset automata.

Authors: Olukoya, Feyishayo¹ fo55@st-andrews.ac.uk

Source: Groups, Geometry & Dynamics. 2026, Vol. 20 Issue 3, p1099-1145. 47p.

Special issue on Combinatorial Mathematics and Computation Theory.

Source: Journal of Information Science & Engineering; May2026, Vol. 42 Issue 3, p1-4, 4p

AN AUTOMATA-BASED APPROACH FOR SYNCHRONIZABLE MAILBOX COMMUNICATION.

Authors: DELPY, ROMAIN MUSCHOLL, ANCA SUTRE, GRÉGOIRE

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p

DETERMINISTIC SUFFIX-READING AUTOMATA.

Authors: KEERTHAN, R. SRIVATHSAN, B. VENKATESH, R. et al.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-31, 31p

DEVELOPMENT OF AN INTELLIGENT TUTOR BASED ON GAMIFICATION AND IMMERSIVE VIRTUAL REALITY. USE CASE: AGRICULTURE IN TEOTIHUACAN HISTORY.

Authors: Cuevas Velázquez, Jocelyn Ramos Corchado, Marco Antonio Muñoz Jiménez, Vianney et al.

Source: International Journal of Advanced Research in Computer Science; Mar/Apr2026, Vol. 17 Issue 2, p1-6, 6p

Pseudo-deterministic finite automata (PDFA) as language acceptors.

Authors: Jain, A. Petalcorin Jr., G. C.

Source: Journal of Analysis & Applications. Mar2026, Vol. 24 Issue 1, p47-74. 28p.

TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION.

Authors: FEEKEN, LINDA FRÄNZLE, MARTIN

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p29:1-29:30, 30p

AUTOMATA MODEL OF A SYSTEM WITH DISTRIBUTED LEDGER TECHNOLOGY BASED ON A BLOCKCHAIN.

Authors: Kravets, O. Ja. Husein, Ali Getmanskaia, D. V. et al.

Source: International Journal on Information Technologies & Security; 2025, Vol. 17 Issue 4, p79-86, 8p

A HIERARCHY OF NONDETERMINISM.

Authors: RADI, BADER ABU KUPFERMAN, ORNA LESHKOWITZ, OFER

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p13:1-13:31, 31p

基于Stacking模型堆叠的膏体充填配合比智能回归研究.

Alternate Title: Research on Intelligent Regression of Paste Filling Mix Ratio based on Stacking Model.

Authors: 李刚 乔登攀 杨天雨

Source: Nonferrous Metals. Sep2025, Vol. 15 Issue 9, p1619-1630. 12p.

Injecting Observers into Computational Complexity.

Authors: Daylight, Edgar Graham¹ (AUTHOR)

Source: Philosophies. Aug2025, Vol. 10 Issue 4, p76. 24p.

On the Computational Power of Particle Methods.

Authors: Pahlke, Johannes Sbalzarini, Ivo F.

Source: Fundamenta Informaticae. 2025, Vol. 194 Issue 1, p1-40. 40p.

Subjects: Particle methods (Numerical analysis), Machine theory, Computer simulation, Computer performance, Formal languages, Scientific computing

Exploring the ductile‐regime machining on cemented carbide: A perspective review.

Authors: Wang, Shuo Liu, Hanzhong Wu, Bing et al.

Source: Journal of the American Ceramic Society. Jun2025, Vol. 108 Issue 6, p1-18. 18p.

Subjects: Machine theory, Fracture toughness, Machining, Composite materials, Carbides

Health Analytics and IS Theorizing.

Authors: Baird, Aaron Yusen Xia Kohli, Rajiv

Source: Journal of the Association for Information Systems. 2025, Vol. 26 Issue 3, p575-588. 5p.

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.

Authors: Chen, Yu-Fang Chung, Kai-Min Lengál, Ondřej et al.

Source: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p85-93. 9p.

Subjects: Quantum computing, Machine theory, Scalability, Qubits, Quantum gates

A Rapid Design Method for Centrifugal Pump Impellers Based on Machine Learning.

Authors: Chen, Y. Li, W. Luo, Y. et al.

Source: Journal of Applied Fluid Mechanics; Jul2025, Vol. 18 Issue 7, p1735-1749, 15p

Density of compressible types and some consequences.

Authors: Bays, Martin Kaplan, Itay Simon, Pierre

Source: Journal of the European Mathematical Society (EMS Publishing). 2025, Vol. 27 Issue 7, p2751-2793. 43p.

A State of the Art on Surface Texture Creation Modelling Methods in Machining.

Authors: Pawlus, Pawel Reizer, Rafal Królczyk, Grzegorz M. et al.

Source: Archives of Computational Methods in Engineering; Jun2025, Vol. 32 Issue 5, p3141-3167, 27p

Multi-stage mine production timetabling with optimising the sizes of mining operations: an application of parallel-machine flow shop scheduling with lot streaming.

Authors: Liu, Shi Qiang Kozan, Erhan Masoud, Mahmoud et al.

Source: Annals of Operations Research; May2025, Vol. 348 Issue 2, p1-27, 27p