Results 101 to 110 of about 2,714,739 (303)

Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials

Advanced Materials, EarlyView.
Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu, Shujia Chen, Ali Elias Acha, Damiano Pasini   +3 more
wiley   +1 more source

Physical Intelligence in Small‐Scale Robots and Machines

Advanced Materials, EarlyView.
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley   +1 more source

Indistinguishability in controlled query evaluation over prioritized description logic ontologies

Web Semantics
In this paper we study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering over databases, knowledge bases, and ontologies. CQE is based on the notion of censor, which defines the answers to each query posed to
Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo   +4 more
doaj   +1 more source

Transistor‐Level Activation Functions via Two‐Gate Designs: From Analog Sigmoid and Gaussian Control to Real‐Time Hardware Demonstrations

Advanced Materials, EarlyView.
Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho, Youngmin Han, Won Woo Lee, Youngwoo Yoo, Kannan Udaya Mohanan, Chang‐Hyun Kim, Junhwan Choi, Young‐Joon Kim, Wonjun Shin, Hocheon Yoo   +9 more
wiley   +1 more source

On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version)

, 2018
Benjamin Zarrieß, Patrick Koopmann
openalex   +2 more sources

Non‐Destructive Laser Nanopatterning of Superconducting Heterostructures in Topological Sn Thin Films

Advanced Materials, EarlyView.
We demonstrate successful fabrication of high‐quality α‐Sn/β‐Sn planar nanostructures with arbitrary shapes by focused laser irradiation on topological Dirac semimetal α‐Sn thin films. The irradiated regions transform into atomically smooth, superconducting β‐Sn with a critical temperature of 3.7 K.
Le Duc Anh, Takahiro Saeki, Keita Ishihara, Daiki Nishigaki, Hideki Maki, Masaaki Tanaka   +5 more
wiley   +1 more source

Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts

, 2018
Franz Baader, Andreas Ecke
openalex   +2 more sources

Simplifying Description Logic Ontologies [PDF]

, 2013
Nadeschda Nikitina, Sven Schewe
openalex   +1 more source

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, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog [PDF]

, 2019
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Šimkus   +2 more
openalex   +1 more source