Results 61 to 70 of about 1,496,296 (350)
On Einstein Algebras and Relativistic Spacetimes [PDF]
, 2015 In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson (2012, 2015) and Weatherall (2015), the two
Barrett, Thomas William +2 more
core +3 more sources
A Quantum Rosetta Stone for Interferometry [PDF]
, 2002 Heisenberg-limited measurement protocols can be used to gain an increase in measurement precision over classical protocols. Such measurements can be implemented using, e.g., optical Mach-Zehnder interferometers and Ramsey spectroscopes.
Champollion J. F. +11 more
core +3 more sources
Formal Analysis of Quantum Systems using Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of ...
Timothy A.S. Davidson +2 more
doaj +1 more source
Nature Communications, 2022 This study compares a deep learning interpretation of 23 echocardiographic parameters—including cardiac volumes, ejection fraction, and Doppler measurements—with three repeated measurements by core lab sonographers.
J. Tromp +9 more
semanticscholar +1 more source
Regular Equivalence for Social Networks
Applied Sciences, 2018 Networks and graphs are highly relevant in modeling real-life communities and their interactions. In order to gain insight in their structure, different roles are attributed to vertices, effectively clustering them in equivalence classes.
Pieter Audenaert +2 more
doaj +1 more source
Toward Reliable Programmable Logic Controller Function Block Diagrams
IEEE Access, 2021 Programmable logic controllers (PLCs) are widely used in industrial electronic systems. With the augmenting complexity of system, the reliability poses a crucial challenge in safety critical applications.
Jianyong Zhao, Zhe Tao
doaj +1 more source
Expressive equivalence of planning formalisms
Artificial Intelligence, 1995 AbstractA concept of expressive equivalence for planning formalisms based on polynomial transformations is defined. It is argued that this definition is reasonable and useful both from a theoretical and from a practical perspective; if two languages are equivalent, then theoretical results carry over and, more practically, we can model an application ...
openaire +2 more sources
Verifying Privacy-Type Properties in a Modular Way [PDF]
, 2012 Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlink ability) that play an important role in many modern applications are formalised ...
Arapinis, Myrto +2 more
core +4 more sources
Fuzzy Implication and Functional Dependency on Formal Context
Jurnal Matematika Integratif, 2020 Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes. Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency. We
Mohammad Deni Akbar, Yoshihiro Mizoguchi
doaj +1 more source
FEBS Letters, EarlyView.The enzyme 5‐lipoxygenase (5‐LOX) catalyzes the first step in the biosynthesis of leukotrienes (LTs) involved in inflammatory pathophysiology. After cellular stimulation, 5‐LOX translocates to the nucleus, interacting with the 5‐LOX‐activating protein (FLAP) to form LTA4 from arachidonic acid (AA).
Erik Romp +5 more
wiley +1 more source