145 results on '"Shilov N"'
Search Results
2. Adsorption of Copper Ions on the Surface of Multilayer Ti3C2Tx MXenes with Mixed Functionalization
3. Collaborative Decision Support Systems Based on Neuro-Symbolic Artificial Intelligence: Problems and Generalized Conceptual Model
4. Modification of the Codeposition Method for the Synthesis of Iron-Oxide Nanoparticles with a High Magnetization Value and a Controlled Reaction Yield
5. Running Regular Research Seminar Online
6. Running Regular Research Seminar Online
7. Knowledge-Based Algorithms for BDI Agents
8. Context-sensitive access to e-document corpus
9. Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function
10. Agent Knowledge and Beliefs in a Cloud
11. Knowledge Fusion in Context-Aware Decision Support: Ontology-Based Modeling and Patterns
12. Context-Aware Smart Sustainable Factories: Technological Framework
13. Service-Based Architecture for Ontology-Driven Information Integration in Dynamic Logistics
14. Well-Structured Model Checking of Multiagent Systems
15. Adsorption of Copper Ions on the Surface of Multilayer Ti3C2TxMXenes with Mixed Functionalization
16. Program schemata technique for propositional program logics: A 30-year history
17. Multilevel Self-Organisation and Context-Based Knowledge Fusion for Business Model Adaptability in Cyber-Physical Systems
18. Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
19. Boris Abramovich Trakhtenbrot
20. An approach to effective model-checking of real-time Finite-State Machines in mu-calculus : An extended abstract
21. Group context-aware recommendation systems
22. REAL92: A combined specification language for real-time concurrent systems and properties
23. Propositional dynamic logic with fixed points: Algorithmic tools for verification of finite state machines
24. Agent Knowledge and Beliefs in a Cloud
25. Verification of backtracking and branch and bound design templates
26. F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers
27. Personalized context-oriented support for interactions between production networks members
28. Generation of correctness conditions for imperative programs
29. THE EFFECT OF THE OVERBURDEN STRUCTURE AND INTERFACES CURVATURE ON AVO INVERSION OF PP-REFLECTIONS
30. An approach to effective model-checking of real-time Finite-State Machines in mu-calculus
31. Human-Computer Cloud: Application Platform and Dynamic Decision Support
32. Recommender System for Navigation Safety: Requirements and Methodology.
33. Non-Deterministic Program Schemata and Their Relation to Dynamic Logic
34. The use of direct and reciprocal signs for automatic determination of localization of the myocardial infarction
35. Measurement of thickness of polymer shell on surface of submicron filler particles for polymer composite materials
36. Nondeterministic program schemata and their relation to dynamic logic
37. Use of briquests of ShKh15 steel swarf in smelting stainless steel
38. Teaching Formal Models of Concurrency Specification and Analysis
39. Step-by-step creation of internal limiting membrane fragment for surgical treatment of large idiopathic macular holes
40. “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects
41. Well-Structured Model Checking of Multiagent Systems
42. Propositional dynamic logic with fixed points: Algorithmic tools for verification of finite state machines
43. Service-Based Architecture for Ontology-Driven Information Integration in Dynamic Logistics
44. REAL92: A combined specification language for real-time concurrent systems and properties
45. Configuration of Automotive Collaborative Engineering and Flexible Supply Networks
46. Multilevel self-organisation of cyber-physical networks: synergic approach
47. Efficient distributed information management in smart spaces
48. On mathematical contents of computer science contests
49. Context-aware operational decision support
50. Context-Sensitive Access to Information Sources
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.