Results 71 to 80 of about 273,099 (311)
Set-Theoretic Types for Polymorphic Variants [PDF]
, 2016 Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification.
Bonsangue M. +9 more
core +4 more sources
Nanothermometry in Living Cells: Physical Limits, Conceptual and Material Challenges
Advanced Functional Materials, EarlyView.Heat and temperature are fundamental to life. When nanothermometers began probing regions as small as a living cell, they triggered controversial claims of large intracellular temperature gradients. We review physical constraints energy‐conservation, entropy production, thermodynamic fluctuations, and molecular dynamics.
Taras Plakhotnik
wiley +1 more source
Axiomatizations of Team Logics
, 2018 In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(~
Lück, Martin
core +1 more source
Trees from Functions as Processes [PDF]
, 2018 Levy-Longo Trees and Bohm Trees are the best known tree structures on the {\lambda}-calculus. We give general conditions under which an encoding of the {\lambda}-calculus into the {\pi}-calculus is sound and complete with respect to such trees.
Sangiorgi, Davide, Xu, Xian
core +4 more sources
THE RECIPROCAL SUBSTITUTION METHOD FOR MEASURING THE TRANSMISSION OF STRUCTURE BORNE SOUND [PDF]
EuroNoise '92MLS VERCAMMEN
openalex +2 more sources
Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems
Advanced Functional Materials, EarlyView.MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley +1 more source
Preservation of admissible rules when combining logics
, 2016 Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics.
Rasga, Joao +2 more
core +1 more source
Soundness, idempotence and commutativity of set-sharing [PDF]
, 2001 It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic properties for an abstract domain to be well-defined and sound ...
Bagnara, R., Hill, P.M., Zaffanella, E.
core +2 more sources
Advanced Functional Materials, EarlyView.The hidden role of Cd segregation at grain boundaries is revealed in p‐type Mg3Sb2 by atom probe tomography and other advanced characterizations. Grain boundary Cd enrichment suppresses the SbMg+ hole‐killer formation and lowers potential barriers, enhancing electrical conductivity.
Zhou Li +12 more
wiley +1 more source
Efficient Open World Reasoning for Planning [PDF]
, 2006 We consider the problem of reasoning and planning with incomplete knowledge and deterministic actions. We introduce a knowledge representation scheme called PSIPLAN that can effectively represent incompleteness of an agent's knowledge while allowing for ...
Henry Kautz +2 more
core +1 more source