Results 121 to 130 of about 1,200,969 (291)

Reasoning about commitments in multiple concurrent negotiations

, 2004
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations - namely those in which an agent engages in multiple concurrent bilateral ...
Thuc Duong Nguyen, Jennings, N. R., Nicholas R. Jennings, Nguyen, TD, Jennings, NR, Nguyen, T.D.   +5 more
core   +1 more source

FastNano Liquid: An Automated Platform for Small‐Angle X‐ray Scattering‐Based Materials Discovery

Advanced Engineering Materials, EarlyView.
We present FastNano Liquid, an automated small‐ and wide‐angle X‐ray scattering platform for the combined synthesis and characterization of (nano)materials. The platform is coupled to varied reactor workflows for both in situ studies of reaction kinetics and ex situ screening of synthesis conditions to support machine learning‐guided exploration ...
Pierre‐Baptiste Flandrin, Émeline Cournède, Jens Krarup, Michael Lesa, Foyzul Hasan, Amandine Séné, Arnaud Lahouati, David Benhaiem, Jérémie‐Luc Sanchez, Simon Delacroix, Thierry Gacoin, Fabienne Testard, Damien Faivre, David Carriere, Corinne Chevallard, Olivier Taché, Mark A. Levenstein   +16 more
wiley   +1 more source

Correctness Verification of Mutual Exclusion Algorithms by Model Checking

Modelling
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj   +1 more source

Modeling the C. elegans germline stem cell genetic network using automated reasoning.

Biosystems, 2022
Amar A, Hubbard EJA, Kugler H.
europepmc   +1 more source

Achieving High ON State Current through Ferroelectric Polarization‐Dependent Interfacial Resistance Switching in Undoped Orthorhombic HfO2 Films

Advanced Functional Materials, EarlyView.
Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand, Nuno Estrócio, Ji S. Kim, Babak Bakhit, Marian C. Istrate, Corneliu Ghica, Tiago Rebelo, Nives Strkalj, Abin Varghese, Bernardo Almeida, Luís S. Marques, Bipin Rajendran, Judith L. MacManus‐Driscoll, José P. B. Silva   +13 more
wiley   +1 more source

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

Intelligent Orthopedics: Machine Learning in Diagnosis of Bone Disease, Implants, and Bone Health Monitoring

Advanced Healthcare Materials, EarlyView.
Efficient recovery from traumatic or degenerative diseases is a great challenge, even after all the advancements in bone and cartilage regeneration. Machine learning (ML) algorithms have presented opportunities to enhance these aspects by accurately analyzing imaging data.
Maryam Kamaei, Hesam Mohammadi, Shamim Golafshan, Mojtaba Alehosseini, Mahsa Mohammadzadeh, Atefeh Golshirazi, Nasim Golafshan, Tatiane Eufrásio‐da‐Silva, Alireza Dolatshahi‐Pirouz, Gorka Orive   +9 more
wiley   +1 more source

Toward Automated Knowledge Discovery in Case-Based Reasoning

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Automated Case Elicitation (ACE) enables case-based reasoning (CBR) systems to automatically acquire knowledge through real-time exploration and interaction with environments.
Sherri Weitl-Harms, John Hastings, Jay Powell   +2 more
doaj   +1 more source

Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 [PDF]

, 2014
Preface For many years the British and the German automated reasoning communities have successfully run independent series of workshops for anybody working in the area of automated reasoning. Although open to the general public they addressed in the past

core  

A Hybrid Bioprinting–Microfabrication Approach to Controllable Multitype Spheroid Arrays for Modeling Tumor Heterogeneity

Advanced Healthcare Materials, EarlyView.
This work introduces a “cancer‐in‐a‐well” technology that recreates tumor heterogeneity in vitro using multitype spheroid arrays. Combining bioprinting/microdispensing with microstructured culture devices, the system improves drug screening and modeling of tumor complexity.
Simone Bonetti, Eva Clemente, Emanuela Mensà, Marco de Maria, Fulvia Farabegoli, Emanuela Saracino, Barbara Bortolani, Emanuela Marcelli, Renato Brandimarti, Dario de Biase, Giampaolo Zuccheri   +10 more
wiley   +1 more source