Results 161 to 170 of about 1,501,850 (327)
Validating the PSL/Sugar Semantics Using Automated Reasoning [PDF]
, 2003 Michael J. C. Gordon
openalex +1 more source
Advanced Functional Materials, EarlyView.This study presents an injectable hydrogel that responds to Pseudomonas aeruginosa infection by releasing a dual‐phage cocktail on demand. The system degrades selectively in infected wounds, enhances phage localization and stability, and shows potent antibiofilm activity and biocompatibility in an ex vivo human skin model—offering a promising strategy ...
Siyuan Tao +9 more
wiley +1 more source
A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument [PDF]
Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to ...
Benzmueller, Christoph, Fuenmayor, David
core
Recycling of Thermoplastics with Machine Learning: A Review
Advanced Functional Materials, EarlyView.This review shows how machine learning is revolutionizing mechanical, chemical, and biological pathways, overcoming traditional challenges and optimizing sorting, efficiency, and quality. It provides a detailed analysis of effective feature engineering strategies and establishes a forward‐looking research agenda for a truly circular thermoplastic ...
Rodrigo Q. Albuquerque +5 more
wiley +1 more source
ILC: A Foundation for Automated Reasoning About Pointer Programs [PDF]
, 2006 Limin Jia, David Walker
openalex +1 more source
Automated reasoning about machines
Artificial Intelligence, 1995 AbstractNumerical simulation is often used in predicting machine behavior, a basic capability for many tasks such as design and fault diagnosis. However, using simulators requires considerable human effort both to create behavioral models and to analyze and understand simulation results.
openaire +1 more source
Advanced Functional Materials, EarlyView.The ionic conductivity of a solid electrolyte is just the “tip of the iceberg”. There are many parameters to consider to quantify it reliably in powdered solid electrolyte samples. Abstract All‐solid‐state batteries (ASSBs) are taking the lead as the next‐generation energy storage systems, mainly to the development of new solid electrolytes with high ...
Fariza Kalyk +3 more
wiley +1 more source
Vietnam Journal of Computer ScienceAs the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj +1 more source
Advanced Functional Materials, EarlyView.Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi +10 more
wiley +1 more source
Automated Assume-Guarantee Reasoning by Abstraction Refinement [PDF]
, 2008 Mihaela Gheorghiu Bobaru +2 more
openalex +1 more source