Results 71 to 80 of about 1,475,338 (284)
Process Algebra with Partial Choice
, 1994 The objective of this paper is to bridge the gap between ACP and TCSP. To this end, ACP is extended with two non-deterministic choice operators in a setting of bisimulation semantics. With these operators, we can express safety properties of systems without the use of silent steps, and we can verify safety properties in a setting in which no assumption
Baeten, J.C.M., Bergstra, J.A.
openaire +7 more sources
Leavitt Path algebras via partial skew ring theory [PDF]
, 2018 We will introduce the theory or partial actions of groups and their associated algebras. As an example we will realize the Leavitt path algebra associated with a graph as a partial skew group ring.
Gonçalves, Daniel
core
Seeing the Chemistry of Biomolecular Condensates: In Situ Mapping of Composition and Water Content
Advanced Science, EarlyView.Raman hyperspectral imaging combined with spectral phasor analysis enables a label‐free quantification of proteins, polymers and water density within individual biomolecular condensates. By transforming complex vibrational fingerprints into intuitive compositional maps, the approach reveals the high water content and structural heterogeneity of ...
E. Sabri +3 more
wiley +1 more source
Extending partial combinatory algebras [PDF]
Mathematical Structures in Computer Science, 1999 We give a negative answer to the question of whether every partial combinatory algebra can be completed. The explicit counterexample will be an intricately constructed term model. The construction and the proof that it works depend heavily on syntactic techniques.
Bethke, I., Klop, J.W., de Vrijer, R.C.
openaire +4 more sources
Higher-dimensional automorphic lie algebras [PDF]
, 2016 The paper presents the complete classification of Automorphic Lie Algebras based on sln(C)sln(C) , where the symmetry group G is finite and acts on sln(C)sln(C) by inner automorphisms, sln(C)sln(C) has no trivial summands, and where the poles are in ...
Sanders, Jan +11 more
core +2 more sources
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
Classification of limits of upper triangular matrix algebras. [PDF]
, 1993 Let Tn be the operator algebra of upper triangular n × n complex matrices. Three families of limit algebras of the form lim (Tnk) are classified up to isometric algebra isomorphism: (i) the limit algebras arising when the embeddings Tnk→Tnk+1, are ...
Hopenwasser, A. L., Power, Stephen C.
core +4 more sources
More on PT-Symmetry in (Generalized) Effect Algebras and Partial Groups
Acta Polytechnica, 2011 We continue in the direction of our paper on PT-Symmetry in (Generalized) Effect Algebras and Partial Groups. Namely we extend our considerations to the setting of weakly ordered partial groups.
J. Paseka, J. Janda
doaj
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 +3 more
wiley +1 more source
Inherited Properties of Effect Algebras Preserved by Isomorphisms
Acta Polytechnica, 2013 We show that isomorphism of effect algebras preserves properties of effect algebras derived from effect algebraic sum ? of elements. These are partial order, order convergence, order topology, existence of states and other important properties.
Jan Paseka, Zdenka Riečanová
doaj