Results 141 to 150 of about 3,411 (291)

Automata and Formal Languages [PDF]

, 2014
openaire   +1 more source

MolMiner: Toward Controllable, Three‐Dimensional‐Aware, Fragment‐Based Molecular Design

Advanced Intelligent Discovery, EarlyView.
MolMiner is a fragment‐based, geometry‐aware, and order‐agnostic generative model for molecular design with strong inductive biases. Using symmetry‐aware fragment assembly, dynamic three‐dimensional geometry, and multi‐property conditioning, MolMiner enables interpretable and controllable molecular generation.
Raul Ortega‐Ochoa, Tejs Vegge, Jes Frellsen   +2 more
wiley   +1 more source

Artificial Intelligence for Advanced Functional Materials: Progress and Emerging Frontiers

Advanced Intelligent Systems, EarlyView.
Artificial intelligence is transforming the discovery of functional materials by linking synthesis, characterization, simulation, and design in unified workflows. Advances in machine learning, autonomous experimentation, and foundation models are accelerating innovation across energy, electronics, and biomedicine, while revealing new frontiers for ...
Cristiano Malica, Kostya S. Novoselov, Seongmin Kim, Yousung Jung, Silvana Botti, Miguel A. L. Marques, Tigany Zarrouk, Miguel A. Caro, Sanggyu Chong, Michele Ceriotti, Marivi Fernandez‐Serra, Sara Navarro‐Rodriguez, Aakash Ashok Naik, Janine George, Ömer Hasan Omar, Victor Trinquet, Gian‐Marco Rignanese, Andrey Ustyuzhanin, Sonia Conesa‐Boj, Juan Rojo, Minh‐Tuan Dau, Simon M.‐M. Dubois, Jean‐Christophe Charlier, Jose H. Garcia, Romain Gautier, Rachid Laref, Junfeng Qiao, Giovanni Pizzi, Nicola Marzari, Camilla Coletti, Antonio Rossi, Jan‐Lucas Uslu, Chiara Zanardi, Vincenzo Palermo, Wide Hogenhout, Natalia Konchakova, Peter Klein, Tejs Vegge, Stephan Roche   +38 more
wiley   +1 more source

Behaviorally Adaptive and Inclusive Advanced Driver‐Assistance Systems

Advanced Intelligent Systems, EarlyView.
Advanced driver‐assistance systems (ADASs) are mapped as evolving human‐centered, adaptive technologies linking sensing, driver monitoring, AR/HUD interfaces, patents, regulation, and inclusive design. The review identifies gaps in real‐world evidence, diverse‐driver validation, gaze metrics, and governance, outlining a roadmap for safer, behaviorally ...
Jana Skirnewskaja, Mardavij Roozbehani, Munther A. Dahleh   +2 more
wiley   +1 more source

A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]

PLoS One
Awan MM, Anwar MW, Butt WH, Azam F.
europepmc   +1 more source

An Introduction to Formal Languages and Automata [PDF]

The Computer Journal, 1992
openaire   +1 more source

A Generalizable Framework for Building Executable Domain‐Specific Large Language Models Under Data Scarcity: Demonstration on Semiconductor Technology Computer‐Aided Design Simulation

Advanced Intelligent Systems, EarlyView.
A schema‐first alignment framework builds compact, executable domain‐specific language models under data scarcity. Large‐scale synthetic question‐answer generation instills domain knowledge, and a code‐centric IR‐to‐DPO pipeline aligns generation with tool‐executable syntax.
Di Wang, Zhenhua Wu, Yu Liu, Kai Chang, Shaohua Wu   +4 more
wiley   +1 more source

Genealogies of organizational closure: from logical paradox to mind in life. [PDF]

Front Artif Intell
Rubin S, Roli A, Stano P, Damiano L.
europepmc   +1 more source

A Novel Feature-Selection Algorithm in IoT Networks for Intrusion Detection. [PDF]

Sensors (Basel), 2023
Nazir A, Memon Z, Sadiq T, Rahman H, Khan IU.   +4 more
europepmc   +1 more source

LLM‐Based Multimodal Robotic Endoscope Control Framework for Enhancing Human–Robot Interaction in Minimally Invasive Surgery

Advanced Intelligent Systems, EarlyView.
An large language model‐powered multimodal framework is developed for robotic endoscope control. It integrates speech recognition and real‐time instrument tracking, achieving 89.47% command accuracy with ~1s latency for natural human–robot interaction in minimally invasive surgery.
Yisen Huang, Wing Yin Ng, Qi Dou, Xixin Wu, Shannon Melissa Chan, Yunhui Liu, Philip Wai Yan Chiu, Zheng Li   +7 more
wiley   +1 more source