Results 221 to 230 of about 2,196,068 (340)
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs
, 1984 An extension of algorithmic logic is considered, i.e., a program substitution operator is introduced. For three different algorithmic logics (original with iterative quantifiers, extended with classical quantifiers and nondeterministic) it is proved that program substitution does not lead outside the provable formulae.
openaire +3 more sources
Post‐Translational Modified Neoantigens in Autoimmune Diseases: Challenges of Immune Tolerance
Advanced Science, EarlyView.Autoimmune diseases have a high incidence and disability rate. The pathogenesis of autoimmune diseases involves the interaction among genetic factors, environmental factors, and immune disorders. The post‐translational modified neoantigens are the key nodal of these three factors. And these post‐translational modified neoantigens, after being presented
Yue Zhai +5 more
wiley +1 more source
Multiple-Criteria Decision Analysis for Assessments of Chemical Alternatives (MCDA-ACA). [PDF]
Environ Sci TechnolLondon RL, Glüge J, Scheringer M.
europepmc +1 more source
Cut‐Enabled Mechanical Metamaterials for Multimodal and Reprogrammable Static Nonreciprocity
Advanced Science, EarlyView.Cut‐enabled mechanical metamaterials are designed to overcome the challenge of obtaining multiple and reprogrammable static nonreciprocal modes in a single microstructural topology. It offers a pathway to synthesize multiple nonreciprocal modes and control the nonreciprocal responses, enhancing the functionality of metamaterials.
Jinhao Zhang +8 more
wiley +1 more source
Advanced Science, EarlyView.A differential photodetector is developed by applying the unique characteristics of a wide‐/narrow‐bandgap semiconductor heterojunction. The mechanism based on band alignment enables high detectivity and high bandwidth with tunable photoresponse.
Ziyang Ren +11 more
wiley +1 more source
Cationic substitution, dynamical stability, thermal stability, electronic and thermoelectric properties in 2D dialkali metal monoxides via DFT and ML approach. [PDF]
Sci RepChellaiya S, Rueshwin T, Eithiraj RD.
europepmc +1 more source
Advanced Science, EarlyView.This study presents an effective method for fabricating millimeter‐scale continuous in‐plane head‐to‐head charged domain walls by controlling the growth of the Na0.5Bi0.5TiO3 film. The formation of antiphase boundaries plays a crucial role in stabilizing the charged domain walls. Atomic‐scale insights reveal that the dynamic coupling among polarization,
Fang Liu +7 more
wiley +1 more source
Multicolor Luminescent Supramolecular Bidirectional Shuttles Driven by Light. [PDF]
Adv Sci (Weinh)Zhang R, Lei Z, Yu Z, Chen Y, Liu Y.
europepmc +1 more source
Advanced Science, EarlyView.This article presents an insightful review on the exploitable nexus of geometry, folding mechanics and stimuli‐responsive physics for achieving active programmability in tubular origami metamaterials and metastructures, highlighting the broad‐spectrum potential in innovative applications across the length scales, along with critically analysing the ...
A. Sharma, S. Naskar, T. Mukhopadhyay
wiley +1 more source