Results 1 to 10 of about 9,276 (100)
Edu-Rover: Application of Unmanned Vehicle Systems for Robotics and STEM Education in Nigeria [PDF]
EAI Endorsed Transactions on Creative Technologies, 2021 INTRODUCTION: Robotics needs to be made simple to understand in order to serve as a direct introduction to programming. In this paper, we propose the Edu-Rover (an unmanned vehicle system) for teaching robotics, and other science, technology, engineering,
Mbadiwe Benyeogor +3 more
doaj +1 more source
State Machines and Hypergroups
Mathematics, 2022 State machines are a type of mathematical modeling tool that is commonly used to investigate how a system interacts with its surroundings. The system is thought to be made up of discrete states that change in response to external inputs.
Gerasimos G. Massouros +1 more
doaj +1 more source
Languages of single-valued neutrosophic general automata [PDF]
Journal of Mahani Mathematical Research, 2023 In this paper, we define the concepts of single-valued neutrosophic general automaton, complete and deterministic single-valued neutrosophic general automaton.
Marzieh Shamsizadeh +2 more
doaj +1 more source
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
Bulletin of the Section of Logic, 2020 Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj +1 more source
Royal Society Open Science, 2019 The actin droplet machine is a computer model of a three-dimensional network of actin bundles developed in a droplet of a physiological solution, which implements mappings of sets of binary strings.
Andrew Adamatzky +2 more
doaj +1 more source
Algebra of Finite Automata as a Mathematical Model of the Digital Twin of Smart Production
Современные информационные технологии и IT-образование, 2022 The article is devoted to the development of the finite automata algebra of a special type DTA (Digital Twin Algebra), designed for mathematical modeling of production digital twins.
Dmitry Gapanovich, Vladimir Sukhomlin
doaj +1 more source
Using the past for resolving the future
Frontiers in Computer Science, 2023 Nondeterminism models an ability to see the future: An automaton with an infinite look ahead can successfully resolve its nondeterministic choices. An automaton is history deterministic (HD) if it can successfully resolve its nondeterministic choices in ...
Orna Kupferman
doaj +1 more source
Security Quantification for Discrete Event Systems Based on the Worth of States
Mathematics, 2023 This work addresses the problem of quantifying opacity for discrete event systems. We consider a passive intruder who knows the overall structure of a system but has limited observational capabilities and tries to infer the secret of this system based on
Sian Zhou, Jiaxin Yu, Li Yin, Zhiwu Li
doaj +1 more source
CONTRIBUTIONS OF MUSLIM MECHANICAL ENGINEERS IN MODERN AUTOMATA (IN THE LIGHT OF KITĀB AL-ḤIYAL OF AL- ǦAZARĪ) A DESCRIPTIVE AND ANALYTICAL STUDY [PDF]
Journal of the General Union of Arab Archaeologists, 2021 (Ar) اسهامات الهندسة الميكانيكية الإسلامية في تطوير الآلات ذاتية الحركة (في ضوء كتاب الحيل للجزري) دراسة وصفية تحليلية هل كان للعرب المسلمين قديما باع في علم الهندسة الميكانيكية؟ وهل كان لهم السبق على الغرب في هذا المجال؟ من الملاحظ حاليا أن العرب ...
Boussy Zidan
doaj +1 more source
Algorithms, 2021 Proteins are the main active molecules of life. Although natural proteins play many roles, as enzymes or antibodies for example, there is a need to go beyond the repertoire of natural proteins to produce engineered proteins that precisely meet ...
Manon Ruffini +5 more
doaj +1 more source