Results 51 to 60 of about 148,566 (330)
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)
, 2014 In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e.
A Bouajjani +17 more
core +1 more source
Digital Actuation Control of Soft Robotic Origami With Self‐Folding Liquid Crystal Elastomer Hinges
Advanced Functional Materials, EarlyView.Self‐folding soft‐rigid hybrid robotic origami is enabled by liquid crystal elastomer actuators with embedded Joule heating and closed‐loop digital control. Digitally addressable hinges provide reversible and programmable transitions between distinct folded states while maintaining actuation performance at high cycle counts (over 1500).
David C. Bershadsky +3 more
wiley +1 more source
Uses of Next-Generation Sequencing Technologies for the Diagnosis of Primary Immunodeficiencies
Frontiers in Immunology, 2017 Primary immunodeficiencies (PIDs) are genetic disorders impairing host immunity, leading to life-threatening infections, autoimmunity, and/or malignancies.
Michael Seleman +3 more
doaj +1 more source
Domain Wall Rebounds Driven by Competing Entropic and Spin‐Transfer Torques in Cylindrical Nanowires
Advanced Functional Materials, EarlyView.Domain‐wall motion in cylindrical magnetic nanowires driven by nanosecond current pulses. Low current densities efficiently displace domain walls, whereas higher currents cause rebound at the wire ends. The effect results from the interplay between spin‐transfer torque and thermally induced processes, highlighting the role of thermal gradients in ...
Elias Saugar +11 more
wiley +1 more source
Frontiers in Immunology, 2022 Primary immunodeficiencies (PIDs), a heterogenous group of inborn errors of immunity, are predetermined at birth but may evolve with age, leading to a variable clinical and laboratory presentation.
M. Ballow, S. Sánchez-Ramón, J. Walter
semanticscholar +1 more source
Measuring multivariate redundant information with pointwise common change in surprisal [PDF]
, 2017 The problem of how to properly quantify redundant information is an open question that has been the subject of much recent research. Redundant information refers to information about a target variable S that is common to two or more predictor variables ...
Ince, Robin A.A.
core +2 more sources
Advanced Materials, EarlyView.Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje +7 more
wiley +1 more source
Turkish Journal of Internal Medicine, 2021 In this study, we aimed to investigate the rates of polypharmacy and potentially inappropriate drug (PID) use in elderly patients who admitted to General Internal Medicine Outpatient Clinic.
Celaleddin Demircan, Ulviyya Hasanzade
doaj +1 more source
Freeform Fabrication of Layered Halide Perovskite Nanowire Heterojunctions
Advanced Materials, EarlyView.‘All‐at‐once’ freeform fabrication of layered perovskite nanowire heterojunctions is realized by 3D printing employing meniscus‐guided crystallization. The integration of nanoscale additive manufacturing with layered halide perovskites will provide a versatile platform to freely design and realize highly stable perovskite‐based optoelectronic ...
Sixi Cao +8 more
wiley +1 more source
Inflammatory bowel diseases and primary immunodeficiency diseases
Immunological Medicine, 2019 Recent advances in molecular biology have provided important insights into the genetic background of various inflammatory diseases. In particular, genome-wide association studies of inflammatory diseases have revealed genetic loci that play critical ...
Hirokazu Kanegane
doaj +1 more source