Results 51 to 60 of about 39,214 (275)

An open extensible tool environment for Event-B

, 2006
. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task.
A.D. Brucker, C. Morgan, D. Detlefs, E. Börger, E. Gamma, F. Badeau, J.-C. Filliâtre, J.-R. Abrial, J.-R. Abrial, J.C. King, J.M. Spivey, L. Lamport, L.C. Paulson, M. Balser, M. Barnett, M. Kaufmann, M. Leuschel, M. Saaltink, R.J.R. Back, T. Långbacka, T. Nipkow, Y. Bertot   +21 more
core   +2 more sources

Electric‐Fish‐Inspired Thin Hydrogel Electrocytes Achieve High Power Density and Environmental Robustness

Advanced Science, EarlyView.
This study presents thin, environmentally stable hydrogel power sources inspired by electric fish. Made using layer‐by‐layer spin‐coating with glycerol‐enhanced solutions, they offer precise layer control, long‐term hydration, and anti‐freezing stability.
Dor Tillinger, Wonbae Lee, Haley M. Tholen, Derek M. Hall, Joseph S. Najem   +4 more
wiley   +1 more source

Quantitative Stain Mapping in X‐Ray Virtual Histology

Advanced Science, EarlyView.
Virtual histology promises 3D tissue examination without physical sectioning, yet has lacked the tissue‐specificity of conventional pathology. This work demonstrates the first quantitative three‐dimensional stain mapping at histologically relevant resolution, separating contrast agent from tissue to reveal cellular features such as nuclei. The approach
Dominik John, David M. Paganin, Marie‐Christine Zdora, Lisa Marie Petzold, Patrick Ilg, Junan Chen, Sara Baggio, Johannes B. Thalhammer, Sami Wirtensohn, Julian Moosmann, Jörg U. Hammel, Felix Beckmann, Samantha J. Alloo, Jannis N. Ahlers, Madleen Busse, Julia Herzen, Kaye S. Morgan   +16 more
wiley   +1 more source

Automated verification of termination certificates [PDF]

, 2012
In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing a standalone tool for checking the correctness of certificates for the ...
Blanqui, Frédéric, Ly, Kim Quyen
core   +2 more sources

What to Make and How to Make It: Combining Machine Learning and Statistical Learning to Design New Materials

Advanced Intelligent Discovery, EarlyView.
Combining machine learning and probabilistic statistical learning is a powerful way to discover and design new materials. A variety of machine learning approaches can be used to identify promising candidates for target applications, and causal inference can help identify potential ways to make them a reality.
Jonathan Y. C. Ting, Amanda S. Barnard
wiley   +1 more source

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

Data in Brief, 2019
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj   +1 more source

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic [PDF]

International Journal of Computational Intelligence Systems, 2014
Based on the general form of α-resolution principle for a lattice-valued logic with truth-values defined in a lattice-valued logical algebra structure - lattice implication algebra, the further extended α-resolution method in this lattice ...
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen   +3 more
doaj   +1 more source

Flexible Memory: Progress, Challenges, and Opportunities

Advanced Intelligent Discovery, EarlyView.
Flexible memory technology is crucial for flexible electronics integration. This review covers its historical evolution, evaluates rigid systems, proposes a flexible memory framework based on multiple mechanisms, stresses material design's role, presents a coupling model for performance optimization, and points out future directions.
Ruizhi Yuan, Sen Chen, Minghui Guo, Ziliang Cui, Yujie Du, Jing Liu   +5 more
wiley   +1 more source

Toward Knowledge‐Guided AI for Inverse Design in Manufacturing: A Perspective on Domain, Physics, and Human–AI Synergy

Advanced Intelligent Discovery, EarlyView.
This perspective highlights how knowledge‐guided artificial intelligence can address key challenges in manufacturing inverse design, including high‐dimensional search spaces, limited data, and process constraints. It focused on three complementary pillars—expert‐guided problem definition, physics‐informed machine learning, and large language model ...
Hugon Lee, Hyeonbin Moon, Junhyeong Lee, Seunghwa Ryu   +3 more
wiley   +1 more source

Automated theorem proving reveals a lengthy Andrews–Curtis trivialization for a Miller-Schupp trivial group presentation

Examples and Counterexamples
We present an independently discovered Andrews–Curtis trivialization of the balanced trivial group presentation MS9(w∗)=〈a,b∣a−1b9ab−10,a−1b−1aba−1〉 obtained through automated theorem proving.
Alexei Lisitsa
doaj   +1 more source