Results 91 to 100 of about 29,356 (295)

Process algebra with combinators

, 2006
We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this frame-work the Simple Alternating Bit Protocol.
Jan A. Bergstra, Inge Bethke, Alban Ponse   +2 more
openaire   +2 more sources

Intrinsic Dual‐Phase Regulated GeSe2 Nanoparticles Triggered by Ball‐Milling Treatment for Photonic Multi‐Valued Logic Circuits

Advanced Science, EarlyView.
We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai, Chun‐Jen Wang, Pin‐Chao Liao, Chin Shan Lue, Chia‐Nung Kuo, Le Vo Phuong Thuan, Po‐Hsuan Hsiao, Chang‐Hyun Kim, Chia‐Yun Chen   +8 more
wiley   +1 more source

Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections

Advanced Electronic Materials, EarlyView.
The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley   +1 more source

Abstraction in Probabilistic Process Algebra [PDF]

, 2001
Process algebras with abstraction have been widely used for the specification and verification of non-probabilistic concurrent systems. The main strategy in these algebras is introducing a constant, denoting an internal action, and a set of fairness rules.
Andova, S., Baeten, J.C.M.
openaire   +2 more sources

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

Sensors
Process algebra can be considered one of the most practical formal methods for modeling Smart IoT Systems in Digital Twin, since each IoT device in the systems can be considered as a process.
Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee   +3 more
doaj   +1 more source

USE OF COMPUTER ALGEBRA SYSTEM MAXIMA IN THE PROCESS OF TEACHING FUTURE MATHEMATICS TEACHERS

Інформаційні технології і засоби навчання, 2019
The article is devoted to the research of a problem of the application of computer algebra systems in the course of skill training of future mathematics teachers.
Vladyslav Ye. Velychko, Andrii V. Stopkin, Olena H. Fedorenko   +2 more
doaj   +1 more source

Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors

Advanced Electronic Materials, EarlyView.
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Modern visualization technologies of educational material at linear algebra lectures

Науковий Вісник Південноукраїнського Національного Педагогічного Університету імені К. Д. Ушинського, 2019
The introduction of modern information and communication technologies into the educational process is one of the priority directions enabling the modernization of the system of teaching staff training in Ukraine.
Vitaliy
doaj   +1 more source

Synchronization of Analog Neuron Circuits With Digital Memristive Synapses: An Hybrid Approach

Advanced Electronic Materials, EarlyView.
An hybrid circuit mimicking neural units coupled using memristive synapses is introduced. The analog neurons provide flexibility and robustness, and the digital memristive coupling guarantees the full reconfigurability of the interconnection. The onset of a synchronized spiking behavior in two circuits mimicking the Izhikevich neuron is discussed from ...
Lamberto Carnazza, Francesco Maria Esposito, Carlo Famoso, Arturo Buscarino   +3 more
wiley   +1 more source

Algebraic Synchronization Trees and Processes [PDF]

, 2012
We study algebraic synchronization trees, i.e., initial solutions of algebraic recursion schemes over the continuous categorical algebra of synchronization trees. In particular, we investigate the relative expressive power of algebraic recursion schemes over two signatures, which are based on those for Basic CCS and Basic Process Algebra, as a means ...
Aceto, Luca, Carayol, Arnaud, Esik, Zoltan, Ingolfsdottir, Anna   +3 more
openaire   +2 more sources