Results 71 to 80 of about 5,869 (280)
Annals of Pure and Applied Logic, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Diagnostic information for realizability
, 2007 Realizability – checking whether a specification can be implemented by an open system – is a fundamental step in the design flow. However, if the specification turns out not to be realizable, there is no method to pinpoint the causes for unrealizability.
Cimatti, Alessandro +7 more
core +1 more source
Advanced Electronic Materials, EarlyView.A compact passive engineered surface converts changes in microwave frequency into many distinct illumination patterns, allowing nearby objects to be imaged without mechanical scanning, active tuning, or a large antenna array. Operating from 18 to 28 GHz, the single‐port system uses measured field patterns to reconstruct metallic targets and distinguish
Mohammed H. Arif +6 more
wiley +1 more source
Church => Scott = Ptime: an application of resource sensitive realizability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We introduce a variant of linear logic with second order quantifiers and type fixpoints, both restricted to purely linear formulas. The Church encodings of binary words are typed by a standard non-linear type `Church,' while the Scott encodings (purely ...
Aloïs Brunel, Kazushige Terui
doaj +1 more source
Experimental and numerical study of liquid–liquid systems using the Euler–Lagrange/VOF approach
AIChE Journal, EarlyView.Abstract Achieving stable liquid–liquid dispersions with controlled droplet size remains a challenge due to the complex interplay of dispersed phase viscosity, hydrodynamic conditions and interfacial interactions. This work presents a validated computational framework for droplet breakage and coalescence in liquid–liquid dispersions with variable ...
Pavel Krýsa +3 more
wiley +1 more source
Stylized facts and multiple realizability in econophysics
Results in Physics, 2014 Stylized facts are persistent macro-regularities which cannot be described in terms of microeconomic theory. Through the argument of multiple realizability, this methodological paper claims that a top down agent-based econophysics can contribute to a ...
Christophe Schinckus
doaj +1 more source
Concurrent Realizability on Conjunctive Structures
, 2022 The point of this work is to explore axiomatisations of concurrent computation using the technology of proof theory and realizability. To deal with this problem, we redefine the Concurrent Realizability of Beffara using as realizers a $\pi$-calculus with
Beffara, Emmanuel +2 more
core
Advanced Intelligent Discovery, EarlyView.Materials informatics and autonomous experimentation are transforming the discovery of organic molecular crystals. This review presents an integrated molecule–crystal–function–optimization workflow combining machine learning, crystal structure prediction, and Bayesian optimization with robotic platforms.
Takuya Taniguchi +2 more
wiley +1 more source
Vertical NAND Flash Memory‐Based Bayesian Neural Networks With Intrinsic Gaussian Weight Sampling
Advanced Intelligent Systems, EarlyView.Commercial vertical NAND flash memory supports Bayesian neural networks by using paired cells to produce bell‐shaped weight distributions. Read voltage controls their spread without additional memory cells or changes to the array structure. Simulations based on device measurements demonstrate improved uncertainty estimation and accuracy gains of up to ...
Sung‐Ho Park +8 more
wiley +1 more source
Rethinking Support Allocation: Mental Health and Patterns of Homelessness Support Utilisation
Australian Journal of Social Issues, EarlyView.ABSTRACT Homelessness support agencies face substantial puzzles in allocating scarce resources: who gets access and who stays on the waitlist? This paper examines the influence of mental illness on the patterns of consuming non‐clinical homelessness support by persons experiencing homelessness and at risk.
Godwin Kavaarpuo, Kathryn Daley
wiley +1 more source