Results 1 to 10 of about 29,356 (295)
Locality Is Dead! Long Live Locality!
Frontiers in Physics, 2020 Several decades of theory and experiment into EPR correlations have led to the widely held belief that reality is non-local, in spite of the fact that this violates special relativity.
William Sulis
doaj +1 more source
A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra
IEEE Access, 2022 Android is the most popular mobile platform, and it has become a primary malware target. Existing behavior-based Android malware detection methods suffer from false positive and false negative problems, which lead to low detection accuracy. Formal theory
Dongkui Liang +4 more
doaj +1 more source
MULTIPLICATIVE PRIMENESS OF COMPLEXIFICATION FOR REAL ALGEBRAS [PDF]
مجلة التربية والعلم, 2006 We say that an algebra a is multiplicative prime if both a and m(a) ( the multiplication algebra of a) are prime . in this paper , we study the transitivity of the property of multiplicative primeness for real normal algebra when one take the process of ...
Amir A. Mohammed, Baida S.Abdullah
doaj +1 more source
Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange [PDF]
Journal of Systemics, Cybernetics and Informatics, 2003 In this paper a formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process and resource information exchange, (ISO 10303-214).
Petter Falkman +2 more
doaj
Motion Modeling and Control of Lower Limb Exoskeleton Based on Max-Plus Algebra
Discrete Dynamics in Nature and Society, 2021 Max-plus algebra is a special method to describe the discrete event system. In this paper, it is introduced to describe the motion of lower limb exoskeleton.
Cuifeng Qin, Zuojun Liu
doaj +1 more source
SensorsProcess algebra is one of the most suitable formal methods to model smart IoT systems for smart cities. Each IoT in the systems can be modeled as a process in algebra. In addition, the nondeterministic behavior of the systems can be predicted by defining
Junsup Song +2 more
doaj +1 more source
Revista Facultad de Ingeniería Universidad de Antioquia, 2012 The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia +2 more
doaj +1 more source
Analysing Mutual Exclusion using Process Algebra with Signals [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols without enriching the language with fairness assumptions.
Victor Dyseryn +2 more
doaj +1 more source
Usage of computer algebra in teaching process
Lietuvos Matematikos Rinkinys, 1998 This work was intended to motivate the necessity of intensive training of mathematics utilising the computer algebra MAPLE in Lithuanian Military Academy.
Aleksas Domarkas +4 more
doaj +3 more sources
Matrix product and sum rule for Macdonald polynomials [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 We present a new, explicit sum formula for symmetric Macdonald polynomials Pλ and show that they can be written as a trace over a product of (infinite dimensional) matrices. These matrices satisfy the Zamolodchikov– Faddeev (ZF) algebra.
Luigi Cantini +2 more
doaj +1 more source