Results 91 to 100 of about 92,710 (270)
Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal
Advanced Materials, EarlyView.Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton +10 more
wiley +1 more source
Temporalized logics and automata for time granularity
, 2003 Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the monadic second-order theories of downward unbounded layered structures ...
Franceschet, M., Montanari, A.
core +1 more source
Organic Electrochemical Transistors for Neuromorphic Devices and Applications
Advanced Materials, EarlyView.Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang +4 more
wiley +1 more source
A Note on Parameterised Knowledge Operations in Temporal Logic [PDF]
, 2014 We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities.
Rybakov, Vladimir
core
Advanced Materials, EarlyView.This work introduces a novel approach for encoding and storing information in the liquid state in microdroplet arrays. These liquid‐in‐liquid prints are generated by a droplet printing system capable of dynamically setting the composition of each droplet pixel.
Maximilian Breitfeld +5 more
wiley +1 more source
On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
Моделирование и анализ информационных систем, 2010 Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States of the agents in these systems are some probabilistic databases, and the activity of the agents is controlled by some probabilistic logic programs. Moreover,
M. K. Valiev, M. I. Dekhtyar
doaj
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
Advanced Materials, EarlyView.A 3D‐printed BSA–PEGDA bilayer actuator performs biochemical logic, bending autonomously in acid and releasing its drug payload only when both acid and pepsin are present. This dual‐stage, enzyme‐gated mechanism enables autonomous catch‐and‐release motion and controlled gastric drug delivery, representing a programmable soft material powered by ...
Yuchen Liu +3 more
wiley +1 more source
A logic with temporally accessible iteration [PDF]
, 2008 Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-point (IFP), partial fixed-point (PFP), etc.
Lisitsa, Alexei
core +2 more sources
Ferroelectrics Hybrids: Harnessing Multifunctionality of 2D Semiconductors in the Post‐Moore Era
Advanced Materials, EarlyView.In this Review, the state of art of ferroelectric hybrid systems—combining ferroelectrics, 2D semiconductors, and molecular switches is presented—as next‐generation platforms for high‐density, multifunctional electronics. By discussing 2D FeFET applications, nanoscale material downscaling, M3D integration, and emerging ferroelectrics, it highlights ...
Haixin Qiu +3 more
wiley +1 more source