Results 101 to 110 of about 110,260 (279)

Chiral Metal Halide Perovskites for Spin‐Polarized Light‐Emitting Diodes

Advanced Materials, EarlyView.
Chiral metal–halide perovskites offer a route to circularly polarized light without external polarizers. This Perspective compares two spin‐light emitting diode concepts: intrinsically chiral emissive layers and chiral spin‐filter interlayers that inject spin‐polarized carriers into efficient achiral emitters.
Ashish Gaurav, Jihyun Kim, Nadesh Fiuza‐Maneiro, Hongki Kim, Hae‐Jun Seok, Sergio Gómez Grana, Robert L. Z. Hoye, Lakshminarayana Polavarapu, Matthew J. Fuchter   +8 more
wiley   +1 more source

Rollover Preventive Force Synthesis at Active Suspensions in a Vehicle Performing a Severe Maneuver with Wheels Lifted off

, 2013
Among the intelligent safety technologies for road vehicles, active suspensions controlled by embedded computing elements for preventing rollover have received a lot of attention.
Parida, Nigam Chandra, Raha, Soumyendu, Ramani, Anand   +2 more
core   +1 more source

Stabilizing Quantum Disjunction [PDF]

Journal of Philosophical Logic, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Oxygen Evolution Reaction Catalysts for Acidic‐Media CO2 Electrolyzers

Advanced Materials, EarlyView.
Acidic‐media CO2 electroreduction (CO2R) could decarbonize chemical production, despite relying on rare‐earth elements for anodic oxygen evolution reaction (OER). Transferring the learnings from mature sister technologies (water electrolysis) could accelerate technological development.
Mingcheng Huang, Adnan Ozden
wiley   +1 more source

Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems [PDF]

, 2016
Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound.
Bernardo, Marco, Miculan, Marino
core   +2 more sources

Conductive Hydrogels for Exogenous Sensing and Cell Fate Control

Advanced Materials, EarlyView.
We engineer electrically conductive hydrogels by combining sulfated glycosaminoglycans with semiconducting polymers. These hydrogels bind bioactive proteins, including growth factors, whose release or retention can be modulated by low‐voltage stimulation. The hydrogels are also integrated as 3D channels in organic electrochemical transistors as part of
Teuku Fawzul Akbar, Carlos Alejandro Jimenez‐Rodriguez, Railia Biktimirova, Ilka Hermes, Thomas Kurth, My Duyen Pham, Mikhail Tsurkan, Jens Friedrichs, Francis L. C. Morgan, Hans Kleemann, Olga Guskova, Uwe Freudenberg, Peter Fratzl, Carsten Werner, Christoph Tondera, Ivan R. Minev   +15 more
wiley   +1 more source

Innovation Meets Accessibility in Melt Electrowriting 3D Printer Design: Continuous Process Monitoring and Automation via Modular Software and Hardware

Advanced Materials Technologies, EarlyView.
This manuscript describes the design and validation of an innovative melt electrowriting printer. With a turntable collector and modular software architecture, it unifies previous advanced MEW printer capabilities and enhances adaptability for a wide range of research applications.
Timo Baroth, Tim R. Dargaville, Paul D. Dalton, Dietmar W. Hutmacher   +3 more
wiley   +1 more source

Parametric Connectives in Disjunctive Logic Programming

, 2003
Disjunctive Logic Programming (\DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). \DLP is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the ...
Leone, Nicola, Perri, Simona
core   +2 more sources

BLOC: Buildable and Linkable Organ on a Chip

Advanced Materials Technologies, EarlyView.
We developed a “Buildable and Linkable Organ on a Chip” (BLOC) that can construct diverse microphysiological systems (MPSs). The BLOC is standardized to the same size and has one of the functions of “Culture,” “Control,” or “Analysis.” Users can freely configure various MPSs, including developing perfusion, cytotoxicity analysis, and biochemical ...
Yusuke Kimura, Hiroki Hamaguchi, Kotaro Oyama, Tomoko G. Oyama, Atsushi Kimura, Yasuhiro Ohshima, Noriko S. Ishioka, Mitsumasa Taguchi   +7 more
wiley   +1 more source

Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property

Axioms, 2019
Using the defined notion of the inference with multiply-conclusion rules, we show that in the logics enjoying the disjunction property, any derivable rule can be inferred from the single-conclusion rules and a single multiple-conclusion rule, which ...
Alex Citkin
doaj   +1 more source