81 results on '"Ouaknine J"'
Search Results
2. Évaluation de l’apport des données cliniques dans le diagnostic de fibrose pulmonaire idiopathique au sein d’un panel international de cliniciens
3. Reachability in Injective Piecewise Affine Maps
4. On the {S}kolem Problem and the {S}kolem Conjecture
5. Algebraic Model Checking for Discrete Linear Dynamical Systems
6. What's Decidable about Discrete Linear Dynamical Systems?
7. First flight model optical performance test on the Flexible Combined Imager telescope assembly of Meteosat Third Generation
8. enDecision Problems for Second-Order Holonomic Recurrences
9. How Fast Can You Escape a Compact Polytope?
10. Deciding $��$-Regular Properties on Linear Recurrence Sequences
11. Efficient Verification of Sequential and Concurrent C Programs
12. 2014TiP REBIMMUNE trial: A prospective study of REBiopsy at progression during IMMUNothErapy in advanced lung cancer
13. On the Expressiveness and Monitoring of Metric Temporal Logic
14. Termination of Linear Loops over the Integers
15. O-Minimal Invariants for Linear Loops
16. Impact de l’antibiothérapie précoce, de la citrulline plasmatique, du microbiome sanguin chez les patients traités par nivolumab pour un cancer bronchique non à petites cellules de stade avancé
17. The Polytope-Collision Problem
18. MA10.03 Plasmatic Evaluation of the Intestinal Barrier and Blood Microbiota, and Antibiotic Use in Non-Small Cell Lung Cancer Patients Treated with Nivolumab
19. The FCI on board MTG : optical design and performances
20. A Categorical Semantics for Causal Structure
21. Algorithmic probabilistic game semantics
22. On the decidability of Metric Temporal Logic
23. Faster FDR Counterexample Generation Using SAT−Solving
24. Alternating Timed Automata over Bounded Time
25. On termination for faulty channel machines
26. Proving the Herman-Protocol Conjecture
27. Positivity Problems for Low-Order Linear Recurrence Sequences
28. On the Magnitude of Completeness Thresholds in Bounded Model Checking
29. Decision Problems for Linear Recurrence Sequences
30. Linear Completeness Thresholds for Bounded Model Checking
31. Translating Timed Automata to Tock−CSP
32. Model Checking Succinct and Parametric One-Counter Automata
33. Towards a Theory of Time-Bounded Verification
34. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
35. Deciding Bit−Vector Arithmetic with Abstraction
36. Abstraction−based Satisfiability Solving of Presburger Arithmetic
37. On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap
38. Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
39. On reachability for hybrid automata over bounded time
40. MTG Flexible Combined Imager optical design and performances
41. On the language inclusion problem for timed automata: closing a decidability gap
42. Alternating Timed Automata over Bounded Time.
43. The Cost of Punctuality.
44. On the decidability of metric temporal logic.
45. Automated, compositional and iterative deadlock detection.
46. Revisiting digitization, robustness, and decidability for timed automata.
47. First flight model optical performance test on the Flexible Combined Imager telescope assembly of Meteosat Third Generation.
48. MTG Flexible Combined Imager optical design and performances
49. First flight model optical performance test on the Flexible Combined Imager telescope assembly of Meteosat Third Generation
50. The polyhedron-hitting problem
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.