Results 171 to 180 of about 1,501,850 (327)

Automated Verification of Neural Networks: Advances, Challenges and Perspectives

, 2018
Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks' performances must ...
Leofante, Francesco, Narodytska, Nina, Pulina, Luca, Tacchella, Armando   +3 more
core  

Boosting the Energy Density of “Anode‐Free” Lithium Metal Batteries via Electrospun Polymeric Scaffolds

Advanced Functional Materials, EarlyView.
While host structures are known to enhance the reversibility and safety of lithium metal deposition, their additional volume and weight often decrease the battery's energy density and specific energy. By combining a lightweight and porous scaffold of electrospun polymer with a thinner separator, this article demonstrates a simultaneous improvement of ...
Lennart Wichmann, Bärbel Tengen, Peng Yan, Peter Lennartz, Isidora Cekic‐Laskovic, Martin Winter, Gunther Brunklaus   +6 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

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

Artificial intelligence for multi-mission planetary operations [PDF]

A brief introduction is given to an automated system called the Spacecraft Health Automated Reasoning Prototype (SHARP). SHARP is designed to demonstrate automated health and status analysis for multi-mission spacecraft and ground data systems operations.
Atkinson, David J., James, Mark L., Lawson, Denise L.   +2 more
core   +1 more source

Unleashing the Power of Machine Learning in Nanomedicine Formulation Development

Advanced Functional Materials, EarlyView.
A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore, Cristiano Pesce, Antonietta Greco, Claudia Pisante, Greta Avancini, Valentina Di Francesco, Yosi Shamay, Paolo Decuzzi   +7 more
wiley   +1 more source

Using In Situ TEM to Understand the Surfaces of Electrocatalysts at Reaction Conditions: Single‐Atoms to Nanoparticles

Advanced Functional Materials, EarlyView.
This review summarizes recent advances in closed‐cell in situ TEM strategies for accurate determination of the activity and stability of single‐atom catalyst systems during operation. Operando conditions causing dynamic changes of SAC systems are highlighted and we explain why ensemble average‐based optical techniques may benefit from the technological
Martin Ek, Soshan Cheong, Julie Cairney, Richard D. Tilley, Ingemar Persson   +4 more
wiley   +1 more source

Systems Problem Solving by Automated Reasoning Approach

, 1987
Masahiro KURIHARA, Azuma Ouchi, Ikuo Kaji   +2 more
openalex   +2 more sources

Ice Lithography: Recent Progress Opens a New Frontier of Opportunities

Advanced Functional Materials, EarlyView.
This review focuses on recent advancements in ice lithography, including breakthroughs in compatible precursors and substrates, processes and applications, hardware, and digital methods. Moreover, it offers a roadmap to uncover innovation opportunities for ice lithography in fields such as biological, nanoengineering and microsystems, biophysics and ...
Bingdong Chang, Gwendoline A. E. Anand, Rubaiyet Haque, Dylan A. Chiaro, Mona Sharma, Andrew R. Williams, Frank Niklaus, Daryl W. Yee, Gavin M. King, Anpan Han   +9 more
wiley   +1 more source