Results 91 to 100 of about 774,920 (290)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) [PDF]
, 2014 Martin Hofmann, Wei Chen
openalex
The central role of mathematical logic in computer science [PDF]
, 1990 J. Paul Myers
openalex +1 more source
Logical Methods in Computer Science is launched
, 2005 Logical Methods in Computer Science (LMCS) was first announced in the wake of the departure of the editorial board of the Journal of Algorithms (JoA) at the end of 2003. The editors of JoA have gone on to establish ACM Transactions on Algorithms, the first issue of which is expected soon. LMCS "...
openaire +1 more source
Advanced Healthcare Materials, EarlyView.Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales +11 more
wiley +1 more source
Logic in Mathematics and Computer Science
To appear in The Oxford Handbook of Philosophy of ...
openaire +2 more sources
Néel Tensor Torque in Polycrystalline Antiferromagnets
Advanced Materials, EarlyView.This work introduces a Néel tensor torque based on a rank‐two symmetric tensor capturing spin correlations in a polycrystalline antiferromagnet. It shows the Néel tensor can be shaped and reshaped through the spin‐orbit torque (SOT) technique, enabling field‐free SOT switching with a specific polarity of the adjacent ferromagnet. This discovery opens a
Chao‐Yao Yang +4 more
wiley +1 more source
Advanced Materials, EarlyView.This study demonstrates a monolithic perovskite OELG device that performs all eight logic operations, including XOR and XNOR, without external bias. Enabled by trap‐engineered MAPbI3:PLL and dual photogates, it achieves reconfigurable logic and parallel decoding of amplitude–frequency signals, supporting scenario‐configured logic‐level separation for ...
Dante Ahn +13 more
wiley +1 more source
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 +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
Applications of Algebra in Logic and Computer Science – the Past and the Future
, 2018 Joanna Grygiel
openalex +2 more sources