Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by N.S. Nedialkov
Rigorous Simulation of Hybrid Dynamic Systems With Symbolic and Interval Methods
Related publications
Rigorous Hybrid Systems Simulation With Continuous-Time Discontinuities and Discrete-Time Components
Integrating Symbol-Oriented and Sub-Symbolic Reasoning Methods Into Hybrid Systems
Dynamic Simulation of Carbonate Fuel Cell-Gas Turbine Hybrid Systems
Journal of Engineering for Gas Turbines and Power
Mechanical Engineering
Energy Engineering
Nuclear Energy
Fuel Technology
Engineering
Power Technology
Aerospace Engineering
A Comparison of Interval Methods in Symbolic Circuit Analysis Applications
ANZIAM Journal
Dynamic Simulation of Carbonate Fuel Cell-Gas Turbine Hybrid Systems
Rigorous Statistical Methods for Rigorous Microbiome Science
mSystems
Evolution
Ecology
Genetics
Molecular Biology
Biochemistry
Systematics
Microbiology
Simulation
Computer Science Applications
Behavior
Modeling
Physiology
Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic
Engineering Applications of Artificial Intelligence
Control
Systems Engineering
Electrical
Artificial Intelligence
Electronic Engineering
Efficient Symbolic Simulation via Dynamic Scheduling, Don’t Caring, and Case Splitting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic and Non-Symbolic Project Evaluation Methods
