Results 21 to 30 of about 24,438,166 (339)
Time Robustness in MTL and Expressivity in Hybrid System Falsification [PDF]
International Conference on Computer Aided Verification, 2015 Building on the work by Fainekos and Pappas and the one by Donze and Maler, we introduce \(\mathbf{AvSTL }\), an extension of metric interval temporal logic by averaged temporal operators.
Takumi Akazaki, I. Hasuo
semanticscholar +1 more source
Journal of Computer and System Sciences, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LANOTTE, RUGGERO, MAGGIOLO SCHETTINI A.
openaire +3 more sources
IEEE Photonics Journal, 2019 Photoacoustic tomography is a technique to reconstruct the image of light energy absorption distribution in tissues based on the detected photoacoustic signals. In recent years, this research field has been greatly developed, and its application range is
Meng Zhou +4 more
doaj +1 more source
Hybrid system calibration for multidimensional magnetic particle imaging
Physics in Medicine and Biology, 2017 Magnetic particle imaging visualizes the spatial distribution of superparamagnetic nanoparticles. Because of its key features of excellent sensitivity, high temporal and spatial resolution and biocompatibility of the tracer material it can be used in ...
A. von Gladiss +4 more
semanticscholar +1 more source
Frontiers in Energy Research, 2016 In the wake of intensive fossil fuel usage and CO2 accumulation in the environment, research is targeted towards sustainable alternate bioenergy that can suffice the growing need for fuel and also that leaves a minimal carbon footprint.
R. R. Narala +6 more
semanticscholar +1 more source
Nanomaterials, 2022 The realization of high-performance Si-based III-V quantum-dot (QD) lasers has long attracted extensive interest in optoelectronic circuits. This manuscript presents InAs/GaAs QD lasers integrated on an advanced GaAs virtual substrate. The GaAs layer was
Buqing Xu +11 more
doaj +1 more source
Making Hybrids of Two-Hybrid Systems
BioTechniques, 1997 Two-hybrid systems are powerful tools to find new partners for a protein of interest. However, exchange of material between two-hybrid users has been handicapped by the various versions of two-hybrid systems available and by the widely accepted idea that they are not compatible.
Dagher, M. C., Filhol-Cochet, O.
openaire +4 more sources
Study on Overvoltage of Wind Farm Under AC Fault at Sending End of HVDC Transmission System
Zhongguo dianli, 2023 When the short circuit ratio of receiving end AC system is small, the fault disturbance of sending end AC system may cause commutation failure of the inverter and overvoltage at the LCC-HVDC sending end AC bus.
Wei LIANG +5 more
doaj +1 more source
, 2017 An experimental model of a solar hybrid system including photovoltaic (PV) module, concentrating Fresnel lens, thermoelectric generator (TEG), and running water heat extracting unit was created and studied.
F. Willars-Rodríguez +3 more
semanticscholar +1 more source
DTSMA: Dominant Swarm with Adaptive T-distribution Mutation-based Slime Mould Algorithm
Mathematical Biosciences and Engineering, 2022 The slime mould algorithm (SMA) is a metaheuristic algorithm recently proposed, which is inspired by the oscillations of slime mould. Similar to other algorithms, SMA also has some disadvantages such as insufficient balance between exploration and ...
Shihong Yin +3 more
doaj +1 more source