Results 101 to 110 of about 1,481,021 (274)
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata [PDF]
This draft suggests a new counterexample guided abstraction refinement (CEGAR) framework that uses the combination of numerical simulation for nonlinear differential equations with linear programming for linear hybrid automata (LHA) to perform reachability analysis on nonlinear hybrid automata.
arxiv
GENETIC VARIABILITY, TWIN HYBRIDS AND CONSTANT HYBRIDS, IN A CASE OF BALANCED LETHAL FACTORS [PDF]
Hermann J. Müller
openalex +1 more source
Current and Future Cornea Chip Models for Advancing Ophthalmic Research and Therapeutics
This review analyzes cornea chip technology as an innovative solution to corneal blindness and tissue scarcity. The examination encompasses recent developments in biomaterial design and fabrication methods replicating corneal architecture, highlighting applications in drug screening and disease modeling while addressing key challenges in mimicking ...
Minju Kim+3 more
wiley +1 more source
MEIOTIC CHROMOSOME BEHAVIOR IN SPECIES, SPECIES HYBRIDS, HAPLOIDS, AND INDUCED POLYPLOIDS OF GOSSYPIUM [PDF]
J. O. Beasley
openalex +1 more source
The successful in situ polymerization of microtubules in giant polymer‐lipid hybrid vesicles is illustrated. The microtubules formed in the giant hybrid vesicles exhibit different morphologies including lumenal network formation and membrane association. Abstract Creating artificial cells with a dynamic cytoskeleton, akin to those in living cells, is a
Paula De Dios Andres+4 more
wiley +1 more source
Generalized fractional hybrid Hamilton Pontryagin equations [PDF]
In this work we present a new approach on studying dynamical systems. Combining the two ways of expressing the uncertainty, using probabilistic theory and credibility theory, we have research the generalized fractional hybrid equations. We have introduced the concepts of generalized fractional Wiener process, generalized fractional Liu process and the ...
arxiv
Extracellular vesicles (EVs) play a dual role in diagnostics and therapeutics, offering innovative solutions for treating cancer, cardiovascular, neurodegenerative, and orthopedic diseases. This review highlights EVs’ potential to revolutionize personalized medicine through specific applications in disease detection and treatment.
Farbod Ebrahimi+4 more
wiley +1 more source
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation [PDF]
In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid ...
arxiv
VARIATION IN FERTILITY OF HYBRIDS BETWEEN ISOLATED POPULATIONS OF THE SERPENTINE SPECIES, STREPTANTHUS GLANDULOSUS HOOK [PDF]
Arthur R. Kruckeberg
openalex +1 more source
The rising temperatures and changes in precipitation due to climate change have significantly impacted agricultural production. Evaluating the effects of climate change on rice production is crucial for improving rice cultivation techniques and ensuring ...
Aibin He+5 more
doaj +1 more source