Results 251 to 260 of about 170,074,763 (296)

Observability of Finite Labeled Transition Systems

IEEE Transactions on Automatic Control, 2018
Finite labeled transition systems are nondeterministic and nontotal systems with finitely many inputs, states, and outputs. This paper provides algorithms for verifying the observability of finite labeled transition systems in the so-called multiple-experiment case, the simple-experiment case, and the arbitrary-experiment case, respectively, where ...
Kuize Zhang, Ting Liu 0010, Daizhan Cheng   +2 more
openaire   +2 more sources

Labelled Deductive Systems

1996
Abstract This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by the notion of structured families of labelled formulas, the labels having algebraic structure.
openaire   +1 more source

Labeling Systems

2022
Rebecca Strauss, Austin Volz, William Lidwell   +2 more
openaire   +1 more source

Labelled proof systems for existential reasoning

Logic Journal of the IGPL
Abstract Usually in logic, proof systems are defined having in mind proving properties like validity and semantic consequence. It seems worthwhile to address the problem of having proof systems where satisfiability is a primitive notion in the sense that a formal derivation means that a finite set of formulas is satisfiable. Moreover, it
Jaime Ramos, João Rasga, Cristina Sernadas   +2 more
openaire   +3 more sources

Labeled Transition Systems

2017
Labeled transition systems are presented as a suitable interleaving semantic model for distributed systems. Some notions of behavioral equivalence are discussed, such as isomorphism equivalence, trace equivalence, and bisimulation equivalence. The non-interleaving model of step transition systems is also introduced.
openaire   +1 more source

Mass-produced multiscale unclonable plasmonic security labels by a robotic wet-chemical system

Chemical Engineering Journal, 2023
Aiguo Shen, Zong Liu
exaly  

A system for automatic text labelling

First European Conference on Speech Communication and Technology (Eurospeech 1989), 1989
Evangelos Dermatas, George K. Kokkinakis
openaire   +2 more sources

Labeller - a system for automatic labelling of speech continuous signal

3rd European Conference on Speech Communication and Technology (Eurospeech 1993), 1993
Ryszard Gubrynowicz, Adam Wrzoskowicz
openaire   +2 more sources

Consumers behaviour towards carbon footprint labels on food: A review of the literature and discussion of industry implications

Journal of Cleaner Production, 2021
Simona Grasso, Agnese Rondoni
exaly  

Spin Labeling of Photosynthetic Systems

2008
Borovykh, I.V., Steinhoff, H.J.
openaire   +2 more sources