Výsledky vyhledávání - "Mathematical theory of computation"

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

Přispěvatelé: Irfan, Ahmed Kaufmann, Daniela

Témata: formal methods, computer-aided system design, hardware and system verification, formal verification, specification, synthesis and testing, automated and formal reasoning, Systems analysis and design, Software testing and verification, Computer architecture and logic design, Mathematical theory of computation, Artificial intelligence

Popis souboru: application/pdf

Relation: Conference Series: Formal Methods in Computer-Aided Design

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/108026

Frontiers of Combining Systems

Přispěvatelé: Thiemann, René Weidenbach, Christoph

Témata: Open Access, artificial intelligence, computer networks, automated reasoning, computer systems, description logics, formal languages, formal logic, constraint solving, decision procedures, network protocols, ontologies, semantics, software architecture, software design, software engineering, software quality, verification and validation, Software Engineering, Computer hardware, Mathematical theory of computation, Artificial intelligence

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/107663

Automated Reasoning with Analytic Tableaux and Related Methods

Přispěvatelé: Pozzato, Gian Luca Uustalu, Tarmo

Témata: Open Access, tableaux, tableaux calculus, sequent calculus, proof theory, theorem proving, proof assistant, natural deduction, formalized proof, decision procedures, automated deduction, SMT, Artificial intelligence, Mathematical theory of computation, Software Engineering, Systems analysis and design, Computer hardware

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/107643

Bridging the Gap Between AI and Reality

Přispěvatelé: Steffen, Bernhard

Témata: Open Access, artificial intelligence (AI), machine learning (ML), Natural Language Processing (NLP), industrial applications, deep learning (DL), AI systems, large language models, Verification, Model Checking, Dependable and Fault-Tolerant Systems and Networks, Models of Computation, Software Creation and Management, Probability and Statistics, Human-Computer Interaction (HCI), Collaborative and Social Computing, Mathematical theory of computation, Software Engineering, Expert systems / knowledge-based systems, Systems analysis and design, Artificial intelligence

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Computer Science; Computer Science (R0)

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/107646

Data Visualization with Category Theory and Geometry

Autoři: Barth, Lukas Silvester Fahimi, Hannaneh Joharinad, Parvaneh a další

Témata: Dimension reduction, Merging local metrics, Data visualization, Riemannian geometry, Applied category theory, UMAP, Simplicial complexes, Metric realization, Mathematical theory of computation, Algebra

Popis souboru: application/pdf

Relation: Mathematics of Data

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/105461

Computer Aided Verification

Přispěvatelé: Piskac, Ruzica Rakamarić, Zvonimir

Témata: Computer Science, Informatics, Conference Proceedings, Research, Applications, Artificial intelligence, Mathematical theory of computation, Software Engineering

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/105429

Chapter 6 New laboratory database of hydraulic conductivity measurements on fine-grained soils

Autoři: Feng, Shuyin Vardanega, Paul J.

Témata: geotechnical risk,ground investigation,georisk,artificial neural networks,numerical modelling in geotechnics,numerical modelling of soils,ISSMGE TC 304 CPT,machine learning,VSPDB,Shear-Wave Velocity,Next Generation Liquefaction,Soil Profile Database,Deep Foundation Load Test Database,DFLTD,micropile and helical pile load,Databases to Interrogate Geotechnical Observations, Mathematical theory of computation, E-book readers, tablets and other portable devices: consumer / user guides, Civil engineering, surveying and building, Soil and rock mechanics

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/104309

Maximal Planar Graph Theory and the Four-Color Conjecture

Autoři: Xu, Jin

Témata: Graph Theory, Planar Graphs, Chromatic Polynomial, Maximal Planar Graph, Four Color Conjecture, Discharging Proof Techniques, Graph Isomorphism Algorithms, Recursive Graph Construction, Mathematical theory of computation

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/103595

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Gurfinkel, Arie Heule, Marijn

Témata: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101664

Foundations of Software Science and Computation Structures

Přispěvatelé: Abdulla, Parosh Aziz Kesner, Delia

Témata: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101666

Fundamental Approaches to Software Engineering

Přispěvatelé: Boronat, Artur Fraser, Gordon

Témata: software engineering, requirements, design, architecture, modeling, applications of AI to software engineering, software engineering of AI-based syste,s, software quality, model-driven engineering, processes, software evoluation, Software Engineering, Operating systems, Mathematical theory of computation, Computer hardware, Systems analysis and design, Natural language and machine translation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101665

Biological Computing

Autoři: Xu, Jin

Témata: Biocomputing, DNA computing, RNA computing, Protein computing, Probe Machine, Mathematical theory of computation, Systems analysis and design, Computer hardware

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/100770

Chapter 10 The DINGO database of axial pile–load tests for the United Kingdom

Autoři: Othman, Manar M. Voyagaki, Elia Crispin, Jamie J. a další

Témata: geotechnical risk,georisk,artificial neural networks,numerical modelling in geotechnics,numerical modelling of soils,ISSMGE TC 304 CPT,machine learning,VSPDB,Shear-Wave Velocity,Next Generation Liquefaction,Soil Profile Database,Deep Foundation Load Test Database,DFLTD,micropile and helical pile load,Databases to Interrogate Geotechnical Observations, Mathematical theory of computation, E-book readers, tablets and other portable devices: consumer / user guides, Civil engineering, surveying and building, Soil and rock mechanics

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/100669

Algorithmic Foundations for Social Advancement

Přispěvatelé: Minato, Shin-ichi Uno, Takeaki Yasuda, Norihito a další

Témata: Algorithm, Enumeration, Satisfiability, Algorithmic Solution, Mathematical theory of computation, Algorithms and data structures

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/99917

Bridging the Gap Between AI and Reality

Přispěvatelé: Steffen, Bernhard

Témata: artificial intelligence, machine learning, natural language processing, industrial applications, deep learning, AI systems, large language models, Mathematical theory of computation, Software Engineering, Expert systems / knowledge-based systems, Systems analysis and design, Artificial intelligence

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/94618

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

Přispěvatelé: Narodytska, Nina Rümmer, Philipp

Témata: Formal Methods, Computer-Aided System Design, Hardware and System Verification, Formal Verification, Specification, Synthesis, and Testing, Automated and Formal Reasoning, Systems analysis and design, Software testing and verification, Computer architecture and logic design, Mathematical theory of computation, Artificial intelligence

Popis souboru: application/pdf

Relation: Conference Series: Formal Methods in Computer-Aided Design

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93967

Databases for Data-Centric Geotechnics

Přispěvatelé: Phoon, Kok-Kwang Tang, Chong

Témata: geotechnical risk,ground investigation,georisk,artificial neural networks,numerical modelling in geotechnics,numerical modelling of soils,ISSMGE TC 304 CPT,machine learning,VSPDB,Shear-Wave Velocity,Next Generation Liquefaction,Soil Profile Database,Deep Foundation Load Test Database,DFLTD,micropile and helical pile load,Databases to Interrogate Geotechnical Observations, Mathematical theory of computation, E-book readers, tablets and other portable devices: consumer / user guides, Civil engineering, surveying and building, Soil and rock mechanics

Relation: Challenges in Geotechnical and Rock Engineering

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/104307

Mathematics of the information of letters

Autoři: Ciocioc, Ion Valentin

Témata: FOS: History and archaeology, Languages and literature, mathematical theory of computation, Media and communications, History of literature, Mathematical analysis, Mathematical model, History and archaeology, digital education, language and linguistics, FOS: Mathematics, Inclusive education, FOS: Educational sciences, future education, Sign language, Digital humanities, Educational sciences, FOS: Media and communications, Grammar, Colors, Literature studies, Natural language processing, Philosophy of language, Pure mathematics, Linguistics, Discrete mathematics, Applied mathematics, Digital electronics, Literary theory, Special education, General language studies, Mathematical physics, Radio and television, Mathematical logic, FOS: Languages and literature, alghoritms, The Metamorphosis Formula, Speech-language pathology, Mathematics

Quantum Software

Přispěvatelé: Exman, Iaakov Pérez-Castillo, Ricardo Piattini, Mario a další

Témata: Quantum Information Processing, Quantum Software, Quantum Artificial Intelligence, Quantum Software Testing, Quantum Annealers, Software Engineering, Quantum physics (quantum mechanics and quantum field theory), Mathematical theory of computation

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93242

Formal Methods

Přispěvatelé: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a další

Témata: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93255