Results 61 to 70 of about 1,368,503 (261)

Artificial Intelligence as the Next Visionary in Liquid Crystal Research

Advanced Functional Materials, EarlyView.
The functions of AI in the research laboratory are becoming increasingly sophisticated, allowing the entire process of hypothesis formulation, material design, synthesis, experimental design, and reiterative testing to be automated. In our work, we conceive how the incorporation of AI in the laboratory environment will transform the role and ...
Mert O. Astam, Ouassim L'Karkouri, Danqing Liu   +2 more
wiley   +1 more source

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]

Logical Methods in Computer Science
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj   +1 more source

Beyond the Edge: Charge‐Transfer Excitons in Organic Donor‐Acceptor Cocrystals

Advanced Functional Materials, EarlyView.
Complex excitonic landscapes in acene–perfluoroacene cocrystals are unveiled by polarization‐resolved optical spectroscopy and many‐body theory. This systematic study of a prototypical model system for weakly interacting donor–acceptor compounds challenges common views of charge‐transfer excitons, providing a refined conceptual framework for ...
Sebastian Anhäuser, Ana M. Valencia, Sergei I. Ivlev, Marc Zeplichal, Andreas Terfort, Caterina Cocchi, Gregor Witte   +6 more
wiley   +1 more source

Two Semantics of Trust Management Language with Negation

Journal of Telecommunications and Information Technology, 2013
The family of Role-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems.
Anna Felkner
doaj   +1 more source

Mapping the Cerebral Organoid Landscape: A Systematic Review of Preclinical 3D Models in Neuroscience

Advanced Healthcare Materials, EarlyView.
Cerebral organoids are transforming brain research, yet the field remains fragmented. This comprehensive systematic review maps 738 studies published between 2014 and 2024 to uncover trends, gaps, and opportunities across neuroscience. Introducing OrganoidMap—an interactive, open‐access platform to explore and compare models—this work enables ...
Anna Wolfram, Vanessa Arnold, Maik Wolfram‐Schauerte, Anastassiya Moskalchuk, Caroline Trust, Marie Vontz, Mona Scheurenbrand, Vijayasarathy Sampath‐Kumar, Sogand Ahari, Carlos Romero‐Nieto, Lisa Sevenich   +10 more
wiley   +1 more source

Multi-Agent Systems with Information Sharing: Strategies and Model Checking

Applied Sciences
We introduce a prototyping language for multi-agent systems with information sharing, allowing agents to act in parallel and to migrate between distributed locations according to explicit timers.
Bogdan Aman, Gabriel Ciobanu
doaj   +1 more source

Implicit Propagation in Structural Operational Semantics

SOS@ICALP, 2009
In contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves auxiliary entities: stores, environments, etc.
Peter D. Mosses, M. New
semanticscholar   +1 more source

Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application

Advanced Materials, EarlyView.
This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong, You Zhou, Qingxiu Li, Wenyu Zhao, Sunyingyue Geng, Hangfei Li, Yan‐Bing Leng, Shirui Zhu, Guanglong Ding, Yongbiao Zhai, Ziyu Lv, Ye Zhou, Su‐Ting Han   +12 more
wiley   +1 more source

Photo‐Rewritable Ambipolar Organic Electrochemical Synapses with Bidirectional Optical Plasticity for Adaptive Vision in Aqueous Environments

Advanced Materials, EarlyView.
Photo‐rewritable ambipolar organic synapses operating in aqueous environments at low voltage (≤0.4 V) demonstrate bidirectional optical plasticity through photon‐modulated electrochemical doping. The bulk heterojunction device enables both excitatory and inhibitory responses with extended retention time (>130 min).
Xiaoqian Su, Xihu Wu, He Wang, Wenzhe Lu, Bing Xue, Jinli Tang, Zhangshanhao Li, Kejing Ren, Qiang He, Junyu Li, Lan Yin, Yuxin Liu, Shiming Zhang, Ting Lei, Changsheng Wu   +14 more
wiley   +1 more source

LEAD: Literature Enhanced Ab Initio Discovery of Nitride Dusting Layers for Enhanced Tunnel Magnetoresistance and Lower Resistance Magnetic Tunnel Junctions

Advanced Materials, EarlyView.
Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam, William S. Rogers, Chen‐Yu Hu, Ming‐Yuan Song, Xinyu Bao, Shehrin Sayed, Jean Anne C. Incorvia   +6 more
wiley   +1 more source