Results 71 to 80 of about 480,786 (251)
Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance [PDF]
, 2014 Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors.
Norman, Gethin, Parker, David
core +1 more source
Reconfigurable Magnetic Soft Microrobot for Acoustically Triggered Targeted Bacterial Sterilization
Advanced Functional Materials, EarlyView.Reconfigurable magnetic soft microrobots integrate in situ‐grown piezoelectric zinc oxide nanorods that produce reactive oxygen species upon acoustic excitation. Combining magnetically guided transport with thermally induced planar reconfiguration, the microrobots achieve targeted delivery and enhanced bacterial sterilization through efficient on ...
Quan Gao +12 more
wiley +1 more source
Modeling, Simulating, and Parameter Fitting of Biochemical Kinetic Experiments
, 2015 In many chemical and biological applications, systems of differential equations containing unknown parameters are used to explain empirical observations and experimental data.
Goulet, D.
core +1 more source
Three‐dimensional Antimony Sulfide Based Flat Optics
Advanced Functional Materials, EarlyView.This work presents the development of a grayscale electron beam lithography (g‐EBL) method for fabricating antimony trisulfide (Sb2S3) nanostructures with customizable 3D profiles. The refractive index of g‐EBL patterned Sb2S3 is determined based on the synergy of genetic algorithm and transfer matrix method.
Wei Wang +18 more
wiley +1 more source
Advanced Functional Materials, EarlyView.In situ TEM uncovers the atomic‐scale mechanisms underlying hydrogen‐driven γ‐Fe2O3→Fe3O4→FeO reduction. In γ‐Fe2O3, oxygen vacancies cluster around intrinsic Fe vacancies, leading to nanopore formation, whereas in Fe3O4, vacancy aggregation is suppressed, preserving a dense structure.
Yupeng Wu +14 more
wiley +1 more source
, 2017 A numerical method for the two-dimensional, incompressible Navier--Stokes equations in vorticity--streamfunction form is proposed, which employs semi-Lagrangian discretizations for both the advection and diffusion terms, thus achieving unconditional ...
Bonaventura, Luca +2 more
core +1 more source
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This review highlights how machine learning (ML) algorithms are employed to enhance sensor performance, focusing on gas and physical sensors such as haptic and strain devices. By addressing current bottlenecks and enabling simultaneous improvement of multiple metrics, these approaches pave the way toward next‐generation, real‐world sensor applications.
Kichul Lee +17 more
wiley +1 more source
Identification of key companies for international profit shifting in the Global Ownership Network
Applied Network Science, 2019 In the global economy, the intermediate companies owned by multinational corporations (MNCs) have become important players in policy issue, influencing the international profit shifting and diversion of foreign direct investment (FDI).
Tembo Nakamoto +2 more
doaj +1 more source
Impact of California's Transitional Kindergarten Program, 2013-14 [PDF]
, 2015 Transitional kindergarten (TK)—the first year of a two-year kindergarten program for California children who turn 5 between September 2 and December 2—is intended to better prepare young five-year-olds for kindergarten and ensure a strong start to their ...
Aleksandra Holod +9 more
core