926 results on '"vérification"'
Search Results
2. Development and Verification of a Microservice Architecture for a Fire Risk Notification System
3. Enhancing handwritten text feature extraction through key point detection and graph representation
4. The blistering warfare agent O-mustard (agent T) generates protein-adducts with human serum albumin useful for biomedical verification of exposure and forms intramolecular cross-links
5. Verification of Seasonal Prediction by the Upgraded China Multi-Model Ensemble Prediction System (CMMEv2.0)
6. Production chain modeling based on learning flow stochastic petri nets
7. Enhancing trust in global supply chains: Conceptualizing Digital Product Passports for a low-carbon hydrogen market
8. Axiomatising an information flow logic based on partial equivalence relations
9. Application of ISO 16140-3:2021 standard to verify compact dry BC method in a single food microbiology laboratory
10. A verified low-level implementation and visualization of the adaptive exterior light and speed control system
11. Modeling of a speed control system using Event-B
12. An Event-B model of an automotive adaptive exterior light system
13. On applying residual reasoning within neural network verification
14. Improving the operational forecasts of outdoor Universal Thermal Climate Index with post-processing
15. A framework for embedded software portability and verification: from formal models to low-level code
16. The phosphylated butyrylcholinesterase-derived tetrapeptide GlyGluSerAla proves exposure to organophosphorus agents with enantioselectivity
17. Comments on: Statistical inference and large-scale multiple testing for high-dimensional regression models
18. EthVer: Formal Verification of Randomized Ethereum Smart Contracts
19. Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms
20. Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
21. ISCEV guidelines for calibration and verification of stimuli and recording instruments (2023 update)
22. Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)
23. Forest GUMP: a tool for verification and explanation
24. Towards rigorous understanding of neural networks via semantics-preserving transformations
25. Evidence of nerve agent VX exposure in rat plasma by detection of albumin-adducts in vitro and in vivo
26. The power of typed affine decision structures: a case study
27. Analyzing neural network behavior through deep statistical model checking
28. VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities
29. SealFSv2: combining storage-based and ratcheting for tamper-evident logging
30. Multi-model Combination and Seamless Prediction
31. The infinite-horizon investment–consumption problem for Epstein–Zin stochastic differential utility. II: Existence, uniqueness and verification for ϑ∈(0,1)
32. Model-driven system-level validation and verification on the space software domain
33. Challenges in the Modeling and Simulation of Green Buildings
34. Scenario-based verification of uncertain parametric MDPs
35. Using deep reinforcement learning to search reachability properties in systems specified through graph transformation
36. The probabilistic model checker Storm
37. Probabilistic forecasts of near-term climate change: verification for temperature and precipitation changes from years 1971–2000 to 2011–2020
38. Formal verification of OIL component specifications using mCRL2
39. Introduction to the Special Issue on Runtime Verification
40. A Formal Framework for Diagnostic Analysis for Errors of Business Processes
41. A MAC Mode for Lightweight Block Ciphers
42. On the Influence of Message Length in PMAC’s Security Bounds
43. Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach
44. Finding Optimal Compatible Set of Software Components Using Integer Linear Programming
45. Can linear regression confirm VO2max was attained in middle-aged and older adults?
46. Mitigating insider threat by profiling users based on mouse usage pattern: ensemble learning and frequency domain analysis
47. Simulation and analysis of MultEcore multilevel models based on rewriting logic
48. Suggesting model transformation repairs for rule-based languages using a contract-based testing approach
49. Verification
50. Towards a Sustainable Implementation of Interoperability Solutions: Bridging the Gap Between Interoperability Requirements and Solutions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.