Results 101 to 110 of about 4,442,858 (282)
Data‐Driven Discovery of Unconventional Antiferromagnets
Advanced Science, EarlyView.A high‐throughput workflow that combines the physics‐informed pre‐screening, high‐throughput exchange calculations, Luttinger‐Tisza analysis and symmetry classification is established for accurate identification of unconventional antiferromagnets from the broad structural database.
Qirui Cui +3 more
wiley +1 more source
LAS VALORACIONES DEL DESEO: FELICIDAD, LEY NATURAL Y VIRTUDES EN TOMÁS DE AQUINO
Tópicos, 2013 The article stresses the interest of Aquinas’ ethics today. Thanks to the unity of his Anthropology, there is a strict connection between inclinations, principles of natural law, virtues and happiness.
Angelo Campodonico
doaj +1 more source
Natural deduction system for linear time temporal logic
, 2008 We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic.
Bolotov, A. +3 more
core
Advanced Science, EarlyView.The dynamic disulfide bonds facilitated the development of high‐performance aerospace ablation‐resistant materials. At moderate temperature, the dissociation and recombination of disulfide bonds ensured excellent processability, mechanical properties, and recycling ability of phenolic resin; at high temperature, cleavage of disulfide bonds produced ...
Yu Li +9 more
wiley +1 more source
Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations
Bulletin of the Section of LogicIn this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj +1 more source
Problemy terminologiczne w argumentach za istnieniem Boga [PDF]
Argument, 2014 In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of God and other philosophical issues. I point at first some paradoxes coming from improper usage of
Zbigniew Wolak
doaj
Per una teoria generale (disgiunta ma unificata) del metodo
Studi sulla Formazione, 2015 What is a general methodology of science? What is a general theory of method? The article examines the two questions and summarizes the passages that connect – not only in a separate but also in a unified way – recognition, understanding, reasoning and ...
Mario Gennari
doaj +1 more source
Paracomplete logic Kl: natural deduction, its automation, complexity and applications [PDF]
, 2018 In the development of many modern software solutions where the underlying systems are complex, dynamic and heterogeneous, the significance of specification-based verification is well accepted.
Bolotov, A. +2 more
core
Photoelectric Imaging of the Optically Inactive Charge State of Silicon‐Vacancy Defects in Diamond
Advanced Science, EarlyView.Although the doubly negative charge state of the SiV center in diamond is predicted to ionize only in the ultraviolet and is therefore considered optically inaccessible, we demonstrate visible‐range photoelectric imaging enabled by a previously unrecognized regime of laser‐assisted tunneling. ABSTRACT The investigation of optically active point defects
Ilia Chuprina +8 more
wiley +1 more source
Advanced Science, EarlyView.A 3D‐printed interpenetrating Ti/Zn composite enables sustained Zn2+ release to regulate intracellular Ca2+ redistribution, preserve mitochondrial homeostasis, activate ERK/MAPK signaling, and promote M2 macrophage polarization, thereby enhancing osteoimmune‐mediated bone regeneration and peri‐implant osseointegration.
Wanyi Huang +7 more
wiley +1 more source