Results 101 to 110 of about 1,481,021 (274)

Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata [PDF]

open access: yesarXiv, 2006
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  

Current and Future Cornea Chip Models for Advancing Ophthalmic Research and Therapeutics

open access: yesAdvanced Biology, EarlyView.
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

Distinct Network Morphologies from In Situ Polymerization of Microtubules in Giant Polymer‐Lipid Hybrid Vesicles

open access: yesAdvanced Biology, EarlyView.
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]

open access: yesarXiv, 2009
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  

The Potential for Extracellular Vesicles in Nanomedicine: A Review of Recent Advancements and Challenges Ahead

open access: yesAdvanced Biology, EarlyView.
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]

open access: yesarXiv, 2013
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  

Spatial and Temporal Variations of Climate Resources during the Growing Season of Early-Season Rice in Hunan Province

open access: yesAgriculture
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

Home - About - Disclaimer - Privacy