Results 21 to 30 of about 1,009,763 (185)
Journal of Computer and System Sciences, 1979 AbstractA study is made of input-process machines, in the sense of Arbib and Manes, and their behavior. For a given input-process X: K → K the categories Mach(X) of machines and Beh(X) of behaviors are constructed, also a functor E: Mach(X) → Beh(X) which assigns to each machine its behavior.
openaire +1 more source
On Universality of Regular Realizability Problems
Problems of Information TransmissionWe prove the universality of the regular realizability problems for several classes of filters. The filters are encodings of finite relations on the set of non-negative integers in the format proposed by P. Wolf and H. Fernau. The universality has proven up to disjunctive truth table polynomial reductions for unary relations and polynomial space ...
Alexander A. Rubtsov, Mikhail N. Vyalyi
openaire +4 more sources
Classical realizability and arithmetical formulæ [PDF]
, 2016 International audienceIn this paper we treat the specification problem in Krivine classical realizability, in the case of arithmetical formulæ. In the continuity of previous works from Miquel and the first author, we characterize the universal ...
Guillermo, Mauricio, Miquey, Étienne
core +1 more source
Advanced Materials, EarlyView.The energetic offset between the donor and the acceptor components in organic photoactive layers is central to the tradeoff between photovoltage and photocurrent losses. This Perspective covers the most important issues surrounding this topic in non‐fullerene acceptor blends, from the difficulty of accurately determining state energies and driving ...
Dieter Neher, Manasi Pranav
wiley +1 more source
Diagonalizably realizable implies universally realizable
The Electronic Journal of Linear AlgebraA spectrum $\Lambda=\{\lambda_{1},\ldots,\lambda_{n}\}$ of complex numbers is said to be realizable if it is the spectrum of an entrywise nonnegative matrix $A$. The spectrum $\Lambda$ is diagonalizably realizable ($\mathcal{DR}$) if the realizing matrix $A$ is diagonalizable, and $\Lambda$ is universally realizable ($\mathcal{UR}$) if it is realizable
Carlos Marijuán, Ricardo L. Soto
openaire +1 more source
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source
LLM‐Assisted Design of Ultralow‐κ$\kappa$ Chalcogenides
Advanced Science, EarlyView.An AI assisted, physics guided workflow accelerates the discovery of ultralow thermal conductivity materials by combining Bayesian optimization, evidence conditioned LLM reasoning, and automated physics‐based validation. The framework uncovers dynamically stable Ag based chalcogenides with ultralow thermal conductivity and promising thermoelectric ...
Yujie Liu +9 more
wiley +1 more source
, 2021 We consider a randomised version of Kleene’s realizability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positive probability.
Merlin Carl +5 more
core +1 more source
Advances in Josephson Junction Materials and Processes Toward Practical Quantum Computing
Advanced Science, EarlyView.Emerging materials for quantum computing, including crystalline materials, two‐dimensional van der Waals materials, two‐dimensional electron gas systems, ferromagnets, and unconventional (e.g., d‐wave) superconductors, offer opportunities to engineer next‐generation Josephson junctions.
Hyunseong Kim +11 more
wiley +1 more source
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