139 results on '"Monitor function"'
Search Results
2. A priori and a posteriori error analysis for a system of singularly perturbed Volterra integro-differential equations.
3. Novel numerical methods based on graded, adaptive and uniform meshes for a time-fractional advection-diffusion equation subjected to weakly singular solution
4. Selection and refinement of finite elements for optimal design and control: A Hamiltonian function approach.
5. Exact and numerical solutions for the GBBM equation using an adaptive moving mesh method
6. Numerical analysis of a system of semilinear singularly perturbed first‐order differential equations on an adaptive grid.
7. New exact and numerical solutions for the KdV system arising in physical applications
8. A posteriori error estimation and adaptive strategy for a nonlinear fractional differential equation.
9. New exact and numerical solutions for the KdV system arising in physical applications.
10. Constructions of the soliton solutions to the good Boussinesq equation
11. Analytical and numerical solutions for the variant Boussinseq equations
12. Exact and numerical solutions for the GBBM equation using an adaptive moving mesh method.
13. ADAPTIVE MOVING MESH FOR SOLVING THE KORTEWEG-DE VRIES-BURGERS EQUATION.
14. SPECTRALLY ACCURATE ALGORITHM FOR POINTS REDISTRIBUTION ON CLOSED CURVES.
15. Numerical investigation for the GRLW equation using Parabolic Monge Ampere Equation.
16. A robust adaptive grid method for a nonlinear singularly perturbed differential equation with integral boundary condition.
17. Analytical and numerical solutions for the variant Boussinseq equations.
18. Unequal Intervals
19. SMT-Based Automatic Proof of ASM Model Refinement
20. Improving Weather Forecasting Accuracy by Using r-Adaptive Methods Coupled to Data Assimilation Algorithms
21. Numerical Simulation of Monodispersed Droplet Generation in Nozzles
22. Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
23. Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
24. Efficient [formula omitted]-adaptive isogeometric analysis with Winslow's mapping and monitor function approach.
25. Fundamental Solutions for the Coupled KdV System and Its Stability
26. First-Class Labels: Using Information Flow to Debug Security Holes
27. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level
28. Properties of the Unified Coordinates
29. Numerical analysis of a system of semilinear singularly perturbed first‐order differential equations on an adaptive grid
30. Exact and numerical solutions for the GBBM equation using an adaptive moving mesh method
31. A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks
32. Resolving Chemically Reacting Flow Using Moving Mesh Method
33. Time-Dependent Problems
34. The Simulation of Elastic Human Body Deformation and Garment Pressure with Moving Mesh Method
35. Numerical Simulation of Coupled Fluid-Solid Systems by Fictitious Boundary and Grid Deformation Methods
36. Unequal Intervals
37. Adaptive Methods for Trajectory Dynamics
38. Model Checking Abstract State Machines with Answer Set Programming
39. Relations to Monitor Manifolds
40. Solution Adapted Mesh Refinement and Sensitivity Analysis for Parabolic Partial Differential Equation Systems
41. Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
42. Asynchronous Multi-Agent ASMs
43. Basic ASMs
44. Synchronous Multi-Agent ASMs
45. Encoding Abstract State Machines in PVS
46. Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture
47. High Level System Design and Analysis Using Abstract State Machines
48. Numerical Solution of Quasilinear Singularly Perturbed Problems by the Principle of Equidistribution
49. Analytical and numerical solutions for the variant Boussinseq equations
50. Using Abstract State Machines at Microsoft: A Case Study
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.