Results 111 to 120 of about 1,174,960 (285)

Research on formal security policy model specification and its formal analysis

Tongxin xuebao, 2006
Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter ...
LI Li-ping1, QING Si-han1, ZHOU Zhou-yi1, HE Jian-bo1, WEN Hong-zi3   +4 more
doaj   +2 more sources

Developments in Formal Proofs

, 2014
This report describes three particular technological advances in formal proofs. The HOL Light proof assistant will be used to illustrate the design of a highly reliable system. Today, proof assistants can verify large bodies of advanced mathematics; and as an example, we turn to the formal proof in Coq of the Feit-Thompson Odd Order theorem in group ...
openaire   +2 more sources

Recent Advances in Electrospun Nanofibers for Triboelectric Nanogenerators: Performance Enhancement Strategies and Emerging Applications

Advanced Materials, EarlyView.
This review highlights recent advances in electrospun nanofiber‐based triboelectric nanogenerators, emphasizing how material design, fiber architecture, and interface engineering collectively enhance output performance and mechanical durability. Key developments in porous, aligned, core‐shell, and hierarchical nanofibers are discussed alongside ...
MD Fajla Rabbi, Jee Hwan Ahn, Duy Linh Vu, Kyoung Kwan Ahn   +3 more
wiley   +1 more source

Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics

Advanced Materials, EarlyView.
“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair, Hrisheekesh Thachoth Chandran, Karl Leo, Hans Kleemann   +3 more
wiley   +1 more source

A Rocq-Based Formalization of Hilbert’s Geometry: Building a Reusable Foundation for 3D Perpendicularity Theory and Verification

Mathematical and Computational Applications
Hilbert’s axiom system for geometry is a landmark in formal methods. This paper presents a complete formalization of spatial perpendicularity—a theory not fully developed in Hilbert’s original work—using the Rocq proof assistant.
Qimeng Zhang, Wensheng Yu
doaj   +1 more source

Benchmarking energy calculations using formal proofs

Molecular Physics
Traditional approaches for validating molecular simulations rely on making software open source and transparent, incorporating unit testing, and generally employing human oversight. We propose an approach that eliminates software errors using formal logic, providing proofs of correctness.
Ejike D. Ugwuanyi, Colin T. Jones, John Velkey, Tyler R. Josephson   +3 more
openaire   +2 more sources

Large‐Scale Determination of Frontier Orbital Energies of Disordered Small‐Molecule Organic Semiconductors Using Exciplex Emission Spectra

Advanced Materials, EarlyView.
ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald, Hiroki Tomita, Giacomo Cotelli, Louka L. Brüll, Nanno G. de Rooij, Lucas R.L. Norg, Milo Clément, Reinder Coehoorn   +7 more
wiley   +1 more source

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Composition Restoration Enables Recycling of Mixed‐Cation, Mixed‐Halide Perovskites for Solar Cells

Advanced Materials, EarlyView.
Compositional drift during processing prevents the direct recycling of mixed‐cation, mixed‐halide perovskites. This work introduces a framework to quantitatively audit and restore recovered materials, enabling closed‐loop recycling with efficiencies comparable to virgin perovskites.
Zhenni Wu, Katharina Dammer, Robert Skunde, Mykhailo Sytnyk, Christian Göllner, Fei Ding, Juan S. Rocha‐Ortiz, Albert These, Balázs Imre, Yanxue Wang, Dorothea Wisser, Christoph Brabec, Ian Marius Peters   +12 more
wiley   +1 more source

Malebranche’s approach to God’s existence

Principia: An International Journal of Epistemology
In this paper, the author reproduces one of Nicolas Malebranche’s arguments for God’s existence. The text offers (I) a logical formalization of the argument, (II) a formal proof of validity of the argument and, finally, some philosophical reflections ...
Juan Diego M. Moya Bedoya
doaj   +1 more source