Suchergebnisse - "Theory of computation"
-
1
Autoren: Mallafré Muro, Celia
Weitere Verfasser: University/Department: Universitat de Barcelona. Facultat de Física
Thesis Advisors: Pardo Martínez, Antonio, Femández Romero, Luis
Quelle: TDX (Tesis Doctorals en Xarxa)
Schlagwörter: Ciències de la vida, Ciencias de la vida, Life sciences, Metabolòmica, Metabolómica, Metabolomics, Cicle de treball, Ciclo de trabajo, Workflow, Teoria de la computació, Teoría de la computación, Theory of computation, Ciències Experimentals i Matemàtiques
Dateibeschreibung: application/pdf
Zugangs-URL: http://hdl.handle.net/10803/691937
-
2
Autoren: et al.
Quelle: Graphs and Combinatorics. 41(6)
Schlagwörter: 4901 Applied Mathematics (for-2020), 4904 Pure Mathematics (for-2020), 49 Mathematical Sciences (for-2020), 0101 Pure Mathematics (for), 0802 Computation Theory and Mathematics (for), Computation Theory & Mathematics (science-metrix), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020), 4904 Pure mathematics (for-2020)
Zugangs-URL: https://escholarship.org/uc/item/4hk5n3pg
-
3
Autoren:
Quelle: Journal of Computational and Applied Mathematics. 470
Schlagwörter: 4901 Applied Mathematics (for-2020), 46 Information and Computing Sciences (for-2020), 49 Mathematical Sciences (for-2020), Singular perturbation, Convection-diffusion, Shishkin mesh, Finite differences, Uniform convergence, 0102 Applied Mathematics (for), 0103 Numerical and Computational Mathematics (for), 0906 Electrical and Electronic Engineering (for), Numerical & Computational Mathematics (science-metrix), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020), 4903 Numerical and computational mathematics (for-2020)
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Schlagwörter: Applied Mathematics, Numerical and Computational Mathematics, Pure Mathematics, Mathematical Sciences, Computation Theory and Mathematics, Computation Theory & Mathematics, Applied computing, Theory of computation, Applied mathematics
Zugangs-URL: https://escholarship.org/uc/item/5c22v7db
-
5
Autoren:
Quelle: IEEE Transactions on Information Theory. 71(8)
Schlagwörter: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), Covariance matrices, Eigenvalues and eigenfunctions, Testing, Vectors, Massive MIMO, Limiting, Training, Tensors, Reviews, Gaussian processes, spectral analysis, high dimensional data, 0801 Artificial Intelligence and Image Processing (for), 0906 Electrical and Electronic Engineering (for), 1005 Communications Technologies (for), Networking & Telecommunications (science-metrix), 4006 Communications engineering (for-2020), 4613 Theory of computation (for-2020)
Zugangs-URL: https://escholarship.org/uc/item/9mx0k7xg
-
6
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the ACM on Management of Data. 3:1-20
Schlagwörter: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Quelle: Annals of Pure and Applied Logic. 176(8)
Schlagwörter: Pure Mathematics, Mathematical Sciences, Generic computability, Coarse computability, Linear ordering, Sigma alpha elementary substructure, Computation Theory and Mathematics, General Mathematics, Theory of computation, Applied mathematics, Pure mathematics
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Quelle: Nature Communications. 16(1)
Schlagwörter: 4613 Theory Of Computation (for-2020), 3404 Medicinal and Biomolecular Chemistry (for-2020), 34 Chemical Sciences (for-2020), 46 Information and Computing Sciences (for-2020), 4611 Machine Learning (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Machine Learning and Artificial Intelligence (rcdc), Bioengineering (rcdc), Biotechnology (rcdc), Generic health relevance (hrcs-hc), Humans (mesh), Receptors, G-Protein-Coupled (mesh), Drug Discovery (mesh), Neural Networks, Computer (mesh), Machine Learning (mesh), Humans (mesh), Receptors, G-Protein-Coupled (mesh), Drug Discovery (mesh), Machine Learning (mesh), Neural Networks, Computer (mesh), Humans (mesh), Receptors, G-Protein-Coupled (mesh), Drug Discovery (mesh), Neural Networks, Computer (mesh), Machine Learning (mesh)
Dateibeschreibung: application/pdf
-
9
Autoren:
Quelle: SIAM Journal on Computing. 54(2)
Schlagwörter: Theory Of Computation, Applied Mathematics, Information and Computing Sciences, Numerical and Computational Mathematics, Mathematical Sciences, computational complexity, Hylland-Zeckhauser mechanism, one-sided matching markets, Brouwer's fixed point theorem, PPAD, FIXP, dichotomous utilities, Pure Mathematics, Computation Theory and Mathematics, Computation Theory & Mathematics, Theory of computation, Applied mathematics, Numerical and computational mathematics
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Wireless Communications Letters. 14:2703-2707
Schlagwörter: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4006 Communications Engineering, 40 Engineering
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the ACM on Programming Languages. 9:643-674
Schlagwörter: Initial semantics, FOS: Computer and information sciences, Computer Science - Programming Languages, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], FOS: Mathematics, Monoidal categories, Mathematics - Category Theory, Category Theory (math.CT), Substitution, Theory of computation→Categorical semantics, Variable binding, Programming Languages (cs.PL)
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. :42-49
Schlagwörter: Functional analysis, Human-centered computing, Graphical user interfaces, Software and its engineering, Tablet computers, Touch screens, Ubiquitous and mobile devices, Software prototyping, Mathematics of computing, Computational geometry, Theory of computation
Zugangs-URL: https://hdl.handle.net/2078.1/302890
-
13
Autoren: et al.
Quelle: 2025 IEEE 18th Pacific Visualization Conference (PacificVis). :118-127
Schlagwörter: Computational Geometry (cs.CG), FOS: Computer and information sciences, Human-centered computing - Visualization - Visualization techniques, Networks - Topology analysis and generation, Computer Science - Computational Geometry, Theory of computation - Design and analysis of algorithms
-
14
Autoren: et al.
Quelle: Proceedings of the ACM on Programming Languages. 9(PLDI)
Schlagwörter: Information and Computing Sciences, Software Engineering, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Software engineering, Theory of computation, Numerical and computational mathematics
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Quelle: IEEE INFOCOM 2025 - IEEE Conference on Computer Communications. 00
Schlagwörter: 4613 Theory Of Computation (for-2020), 40 Engineering (for-2020), 46 Information and Computing Sciences (for-2020), 4006 Communications Engineering (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 7 Affordable and Clean Energy (sdg)
Dateibeschreibung: application/pdf
-
16
Weitere Verfasser: et al.
Schlagwörter: Quantum Computation, Number Theory, Theory of Computation, Mathematical Physics, Representation Theory, Post-Quantum Cryptography, Algebraic Geometry, Lattice Theory, Multivariate Polynomial Theory, Open Access, Mathematical physics, Algebraic geometry, Number theory
Dateibeschreibung: application/pdf
Relation: Mathematics for Industry; Mathematics and Statistics; Mathematics and Statistics (R0)
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/108685
-
17
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: Conference Series: Formal Methods in Computer-Aided Design
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/108026
-
18
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/107663
-
19
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/107643
-
20
Weitere Verfasser: Steffen, Bernhard
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science; Computer Science; Computer Science (R0)
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/107646
Nájsť tento článok vo Web of Science
Full Text Finder