Results 71 to 80 of about 38,502 (282)
Advanced Functional Materials, EarlyView.Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley +1 more source
Advanced Functional Materials, EarlyView.Optoelectronic synaptic devices based on solution‐processed molecular telluride GST‐225 phase‐change inks are demonstrated for three‐factor learning. A global optical signal broadcast through a silicon waveguide induces non‐volatile conductance updates exclusively in locally electrically flagged memristors.
Kevin Portner +14 more
wiley +1 more source
A hybrid model for HIV transmission among men who have sex with men
Infectious Disease Modelling, 2020 AIDS has spread throughout the world for decades. Men who have sex with men (MSM) is the harder-hit sector of sexually transmitted diseases due to their physiological characteristics.
Chongpeng Zhong, Mingzhu Sun, Wei Yao
doaj +1 more source
Towards an Approximate Conformance Relation for Hybrid I/O Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of ...
Morteza Mohaqeqi, Mohammad Reza Mousavi
doaj +1 more source
Advanced Functional Materials, EarlyView.A large number of MoS2 flakes were screened to obtain high‐quality flakes based on optical intensities in R, G, and B channel images. The flakes were classified from Level 1 to 6 based on optical intensities in the R, G, and B channel images. Low‐quality flake exhibited wrinkled, folded, or overlapped features, while high‐quality displayed a neat ...
Sanghyun Lee +11 more
wiley +1 more source
Approximate timed abstractions of hybrid automata [PDF]
2007 46th IEEE Conference on Decision and Control, 2007 Given a hybrid automaton and a desired precision, we aim at constructing an approximate abstraction by means of a timed automaton, whose discrete state trajectories approximate the discrete state trajectories of the original system, with the desired precision on switching times. We show that using the Euclidian metric on reals it is not always possible
Alessandro D'Innocenzo +3 more
openaire +1 more source
Advanced Functional Materials, EarlyView.The hidden role of Cd segregation at grain boundaries is revealed in p‐type Mg3Sb2 by atom probe tomography and other advanced characterizations. Grain boundary Cd enrichment suppresses the SbMg+ hole‐killer formation and lowers potential barriers, enhancing electrical conductivity.
Zhou Li +12 more
wiley +1 more source
A Hybrid Automata-Driven Machine Learning Framework for Real-Time Energy Optimization in Smart Buildings [PDF]
EPJ Web of ConferencesAs city populations continue to expand, the need for effective energy management in smart buildings becomes essential to sustainable urban growth. Conventional energy forecasting techniques are usually not responsive to dynamic energy environments and ...
Rikame Rajashri +5 more
doaj +1 more source
Non-blocking supervisory control for initialised rectangular automata [PDF]
, 2004 We consider the problem of supervisory control for a class of rectangular automata and more specifically for compact rectangular automata with uniform rectangular activity, i.e. initialised.
Spathopoulos, Michael P.
core
Analysis of Non-Linear Probabilistic Hybrid Systems
, 2011 This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al.
Assouramou, Joseph, Desharnais, Josée
core +2 more sources