Results 111 to 120 of about 2,046,692 (239)

Narrating Formal Proof (Work in Progress)

Electronic Notes in Theoretical Computer Science, 2012
AbstractBuilding on existing work in proxying interaction with proof assistants, we have previously developed a proof movie. We have now considered the problem of how to augment this movie data structure to support commentary on formal proof development. In this setting, we have studied extracting commentary from an online text by Pierce et al. [Pierce,
Tankink, C., Geuvers, H., Geuvers, H., McKinna, J.   +3 more
openaire   +4 more sources

Multifunctional Photochromic Piezoionic Eutectogels Through Interfacial Nanoparticle Engineering

Advanced Functional Materials, EarlyView.
Photochromic WO3 nanoparticles enable photoresponsive piezoionics in deep eutectic solvent‐based eutectogels by coupling photoinduced electronic processes with pressure‐driven ionic transport. Interfacial nanoparticle engineering enhances ionic mobility and electromechanical output, while reversible photoactivation modulates the electrical response ...
Saúl Carrasco‐Saavedra, Alister Urain, Nerea Casado, Ilaria Abdel Aziz, Naroa Lopez‐Larrea, Domingo Rangel‐Miranda, Gerardo A. Fonseca‐Hernández, Nicolas Tanguy, David Mecerreyes, Josué D. Mota‐Morales   +9 more
wiley   +1 more source

Combining logical and distributional methods in type-logical grammars

Journal of Language Modelling, 2019
We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj   +1 more source

Human iPSC‐Derived Tissue‐Engineered Nigrostriatal Pathway for Chronic Restoration of Dopaminergic Axon Tracts in a Rat Parkinson's Model

Advanced Healthcare Materials, EarlyView.
Inspired by conventional cell therapy and emerging bioengineering approaches, the tissue‐engineered nigrostriatal pathway (TE‐NSP) has an anatomically‐inspired design comprising a population of human dopaminergic neurons with unidirectional, long‐projecting axon tracts.
Wisberty J. Gordián‐Vélez, Dimple Chouhan, Kevin D. Browne, James Lim, Saarang P. Karandikar, Rodrigo A. España, John E. Duda, H. Isaac Chen, D. Kacy Cullen   +8 more
wiley   +1 more source

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

Topically Delivered Treg‐Attracting Microparticle‐Hydrogel Composites Recruit Regulatory T Cells and Limit Cardiac Injury After Severe Ischemia

Advanced Healthcare Materials, EarlyView.
CCL22‐releasing PLGA microparticles (MP) suspended in topically applied hydrogels (HEART) establish a sustained chemokine gradient at the injured myocardium. HEART recruits CCR4+ regulatory T cells, reduces infarct size and graft fibrosis, and improves cardiac function.
Matthew A. Borrelli, Alexis T. Reese, Jordan J. P. Warunek, Betsy Ann Varghese, Canxing Lin, Jeffery J. Baust, Brenda McMahon, Steven R. Little, Hēth R. Turnquist   +8 more
wiley   +1 more source

Proof Patterns for Formal Methods [PDF]

Design patterns are a highly successful technique in software engineering, giving a reusable \u27best practice\u27 solution to commonly occurring problems in software design.
Freitas F, Whiteside I
core   +3 more sources

Atom‐Efficient Cerium‐Based Molecular Cages as Biocompatible Reactive Oxygen Scavengers

Advanced Healthcare Materials, EarlyView.
Discrete mixed‐valent cerium molecular cages organize accessible redox centers within confined coordination environments and scavenge superoxide, hydrogen peroxide, and hydroxyl radicals. Encapsulation of the lead cage in an ROS‐responsive DTP nanoplatform enables lesion‐associated delivery, attenuates macrophage oxidative stress and inflammation, and ...
Chao Li, Chunbai Xiang, Ye Xu, Yu Liu, Keze Hong, Fanchu Zeng, Gelin Xu, Zhao‐Xi Wang, Jonathan L. Sessler, Ping Gong   +9 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

Formal Proof Sketches

, 2002
We de ne the notion of formal proof sketch for the mathematical language Mizar. We show by examples that formal proof sketches are very close to informal mathematical proofs.
Freek Wiedijk
core