Results 41 to 50 of about 7,679,447 (385)
Collaborative Verification-Driven Engineering of Hybrid Systems
, 2014 Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +1 more source
Population Ecology, EarlyView.Population size and dynamics fundamentally shape speciation by influencing genetic drift, founder events, and adaptive potential. Small populations may speciate rapidly due to stronger drift, whereas large populations harbor more genetic diversity, which can alter divergence trajectories. We highlight theoretical models that incorporate population size
Ryo Yamaguchi +3 more
wiley +1 more source
IEEE Access, 2021 At the present time, water and sewer pipe networks are predominantly inspected manually. In the near future, smart cities will perform intelligent autonomous monitoring of buried pipe networks, using teams of small robots. These robots, equipped with all
Jonathan M. Aitken +7 more
doaj +1 more source
Engineering cryogenic setups for 100-qubit scale superconducting circuit systems [PDF]
EPJ Quantum Technology, 2018 A robust cryogenic infrastructure in form of a wired, thermally optimized dilution refrigerator is essential for solid-state based quantum processors. Here, we engineer a cryogenic setup, which minimizes passive and active heat loads, while guaranteeing ...
S. Krinner +8 more
semanticscholar +1 more source
Evolutionary interplay between viruses and R‐loops
FEBS Letters, EarlyView.Viruses interact with specialized nucleic acid structures called R‐loops to influence host transcription, epigenetic states, latency, and immune evasion. This Perspective examines the roles of R‐loops in viral replication, integration, and silencing, and how viruses co‐opt or avoid these structures.
Zsolt Karányi +4 more
wiley +1 more source
Application of real‐time nonlinear model predictive control for wave energy conversion
IET Renewable Power Generation, 2021 This article presents an approach to implement a Nonlinear Model Predictive Controller (NMPC) in real‐time with a non‐standard cost index. The proposed technique's applications are presented to maximize the energy produced by a Wave Energy Converter (WEC)
Ali S. Haider +2 more
doaj +1 more source
Circulating histones as clinical biomarkers in critically ill conditions
FEBS Letters, EarlyView.Circulating histones are emerging as promising biomarkers in critical illness due to their diagnostic, prognostic, and therapeutic potential. Detection methods such as ELISA and mass spectrometry provide reliable approaches for quantifying histone levels in plasma samples.
José Luis García‐Gimenez +17 more
wiley +1 more source
Breast Cancer Segmentation From Thermal Images Based on Chaotic Salp Swarm Algorithm
IEEE Access, 2020 Breast cancer is one of the most common types of cancer and early detection can significantly decrease the associated mortality rate. Different kinds of segmentation methods were applied to extract regions of interest from breast cancer images that are ...
Abdelhameed Ibrahim +3 more
doaj +1 more source
Design of Elastic Call Admission Control in Tidal Load Scenario for Cloud-based Cellular Networks
Elektronika ir Elektrotechnika, 2022 Cellular networks have witnessed an unprecedented expansion represented by the number of subscribers in addition to the unlimited number of applications.
Ali Mahmood +2 more
doaj +1 more source
Adaptive Control for Singularly Perturbed Systems
IEEE Open Journal of Control SystemsSingularly perturbed systems are a class of mathematical systems that are not well approximated by their limits and can be used to model plants with multiple fast and slow states.
Kameron Eves, John Valasek
semanticscholar +1 more source