Results 91 to 100 of about 11,242,864 (292)
Process algebra with prepositional signals
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baeten, J.C.M., Bergstra, J.A.
openaire +12 more sources
Deep Learning for AD Risk Screening and Progression Prediction
Advanced Science, EarlyView.A pretrained MRI‐based deep learning model generalizes from Western cohorts to an independent Chinese cohort, detects Alzheimer's disease with high sensitivity, and identifies elevated AD risk years before diagnosis. Its risk scores align with cognition and plasma biomarkers, and individualized brain risk maps uncover clinically distinct subtypes ...
Bin Lu +12 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
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
Electronic Notes in Theoretical Computer Science, 2006 AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathematics other than the analysis of concurrent computation could or indeed should its basic approach be applied? In particular, I identify the two areas of reductionism and model comprehension, upon which I believe that process algebra has the potential to ...
openaire +1 more source
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 +2 more
openaire +3 more sources
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 +3 more sources
, 2012 Linear algebra occupies a central place in modern mathematics. Also, it is a beautiful and mature field of mathematics, and mathematicians have developed highly effective methods for solving its problems.
core +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 +3 more
wiley +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
Advanced Electronic Materials, EarlyView.A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 more
wiley +1 more source