Results 81 to 90 of about 3,554,552 (291)
Symbolic Control of Nonlinear Systems: Safety, Optimization and Learning
DoctoralSymbolic control is a computational approach to control nonlinear systems subject to state and input constraints. It is based on the use of symbolic models that are sound discrete-state approximations of the original dynamics. Symbolic models can
Girard, Antoine
core +1 more source
Near‐surface deuterium enrichment profiles for different microstructural types of TiAl after exposure at 700 °C in a heavy water‐containing environment. The deuterium levels are significantly higher than expected from natural occurrence, indicating that the heavy water dissociated during the exposure treatment and entered the specimens.
Jonathan D. H. Paul +5 more
wiley +1 more source
Digital Communication Systems Based on Three-Dimensional Chaotic Attractors
In this paper, we propose a methodology to design chaos-based communication systems, which exploits the topological structure of 3-D chaotic attractors. The first step consists in defining a proper partition of a Poincaré section of the attractor
Carlos E. C. Souza +2 more
doaj +1 more source
Counterion Dependent Side‐Chain Relaxation Stiffens a Chemically Doped Thienothiophene Copolymer
Oxidation of a thienothiophene copolymer, p(g3TT‐T2), via different doping strategies and dopant molecules resulted in materials with similar oxidation levels and a high electrical conductivity of ≈100 S cm−1. However, mechanical properties varied significantly, with sub‐glass transition temperatures and elastic moduli spanning from –44°C to –3°C and ...
Mariavittoria Craighero +12 more
wiley +1 more source
General Dynamics Corporation Report GA-1612
From preface: This report presents the status of design of the MGCR prototype plant as of July 1 ...
General Dynamics Corporation
core
Symbolic Magnifying Lens Abstraction in Markov Decision Processes [PDF]
In this paper, we combine abstraction-refinement and symbolic techniques to fight the state-space explosion problem when model checking Markov decision processes (MDPs).
Luca de Alfaro +7 more
core +1 more source
From Food to Power: Hydrogel Thermoelectrics for Ingestible Electronics
We introduce a fully edible thermoelectric–electrochromic platform that harvests heat from food and converts it into a visible color change. N‐type and p‐type hydrogel thermoelectric generators connected in series power anthocyanin‐based electrochromic displays, demonstrating the feasibility of safe, biodegradable, ingestible systems for on‐food ...
Antonia Georgopoulou +3 more
wiley +1 more source
Statistical Mechanics and Information-Theoretic Perspectives on Complexity in the Earth System
This review provides a summary of methods originated in (non-equilibrium) statistical mechanics and information theory, which have recently found successful applications to quantitatively studying complexity in various components of the complex system ...
Konstantinos Eftaxias +7 more
doaj +1 more source
Ionic Precursors Transformed Into Vinyl Acetate Synthesis Catalyst via Reaction‐Driven Restructuring
This work demonstrates that a simple physical mixture of Pd and Au ionic precursors, KOAc promoter, and SiO2 support can transform into a highly active vinyl acetate synthesis catalyst through reaction‐driven restructuring. The results highlight reaction‐induced restructuring as an innovative and sustainable catalyst design strategy.
Byeong Jun Cha +11 more
wiley +1 more source
Operando Tracking of Oxygen‐Vacancy Dynamics and Negative Capacitance in Ca‐Doped BiFeO3
Operando electrochemical impedance spectroscopy, combined with electrocoloration, enables a direct correlation between real‐space ionic redistribution and the corresponding frequency‐domain electrical response. In lateral Ca‐doped BiFeO3 devices, time‐resolved impedance snapshots capture the evolution from bulk‐dominated mixed conduction to an ...
Jeonghun Suh +3 more
wiley +1 more source

