Results 101 to 110 of about 268,099 (291)
MOFs and COFs in Electronics: Bridging the Gap between Intrinsic Properties and Measured Performance
Advanced Functional Materials, EarlyView.Metal‐organic frameworks (MOFs) and covalent organic frameworks (COFs) hold promise for advanced electronics. However, discrepancies in reported electrical conductivities highlight the importance of measurement methodologies. This review explores intrinsic charge transport mechanisms and extrinsic factors influencing performance, and critically ...
Jonas F. Pöhls, R. Thomas Weitz
wiley +1 more source
One loop analysis of the cubic action for gravity
Journal of High Energy PhysicsWe analyze some aspects of the cubic action for gravity recently proposed by Cheung and Remmen, which is a particular instance of a first order (Palatini) action.
Enrique Álvarez +2 more
doaj +1 more source
Bounded LTL Model Checking with Stable Models
, 2001 In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages +4 more
core +8 more sources
Elimination of loop-check for logic of idealized knowledge
Lietuvos matematikos rinkinys, 2009 In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
openaire +3 more sources
Meta‐Rod Mechanical Metamaterials With Programmable Reconfiguration
Advanced Functional Materials, EarlyView.Existing mechanical metamaterials achieve programmable large deformations in planar square or cubic configurations, restricted by required complex boundary conditions. This research proposes a 1D metamaterial, Meta‐rod, with linear, bending, twisting, area, and volume deformation modes.
Atharva Pande, Lyes Kadem, Hang Xu
wiley +1 more source
Journal of High Energy PhysicsIn this work, we compute the two-loop result of the null hexagonal Wilson loop with a Lagrangian insertion in planar, maximally supersymmetric Yang-Mills theory via a bootstrap approach.
Sérgio Carrôlo +4 more
doaj +1 more source
Combining k-Induction with Continuously-Refined Invariants [PDF]
, 2015 Bounded model checking (BMC) is a well-known and successful technique for finding bugs in software. k-induction is an approach to extend BMC-based approaches from falsification to verification.
Dirk Beyer +3 more
core +1 more source
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
Generalizing completeness results for loop checks in logic programming
Theoretical Computer Science, 1992 Loop checking is one of the fundamental problems encountered during the search of effective algorithms for logic programming. This complex problem cannot be solved in full generality (even in absence of function symbols). In \textit{R. N. Bol, K. R. Apt} and \textit{J. W. Klop} [ Theor. Comput. Sci. 86, No.
openaire +2 more sources
Advanced Functional Materials, EarlyView.Ferroelectric memcapacitors enable non‐volatile, voltage‐programmable capacitance tuning for adaptive electronics. A TiN/HfZrO/TiN device stack demonstrates more than eight stable capacitance states within a 24 pF memory window in compact 60 ×$\times$ 60 μm2$\umu{\rm m}^{2}$ devices at low operating voltages.
Deepika Yadav +6 more
wiley +1 more source