Search Results - "4613 Theory of computation"
-
1
Authors: et al.
Source: Graphs and Combinatorics. 41(6)
Subject Terms: 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)
Access URL: https://escholarship.org/uc/item/4hk5n3pg
-
2
Authors:
Source: Journal of Computational and Applied Mathematics. 470
Subject Terms: 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)
File Description: application/pdf
-
3
Authors:
Source: IEEE Transactions on Information Theory. 71(8)
Subject Terms: 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)
Access URL: https://escholarship.org/uc/item/9mx0k7xg
-
4
Authors: et al.
Source: Nature Communications. 16(1)
Subject Terms: 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)
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Source: IEEE Wireless Communications Letters. 14:2703-2707
Subject Terms: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4006 Communications Engineering, 40 Engineering
File Description: application/pdf
-
6
Authors: et al.
Source: IEEE INFOCOM 2025 - IEEE Conference on Computer Communications. 00
Subject Terms: 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)
File Description: application/pdf
-
7
Authors:
Source: Proceedings of the ACM on Programming Languages. 9:2205-2231
-
8
Authors:
Source: Proceedings of the ACM on Programming Languages. 9:210-240
-
9
Authors: et al.
Source: npj Quantum Information. 10(1)
Subject Terms: 5108 Quantum Physics (for-2020), 51 Physical Sciences (for-2020), 4613 Theory of computation (for-2020), 4902 Mathematical physics (for-2020), 5108 Quantum physics (for-2020)
File Description: application/pdf
-
10
Authors: et al.
Source: Annals of Mathematics and Artificial Intelligence. 93:343-345
Subject Terms: 4613 Theory of computation, Technology, Science & Technology, 4602 Artificial intelligence, Mathematics, Applied, Computer Science, Artificial Intelligence, 0102 Applied Mathematics, Physical Sciences, Computer Science, 0801 Artificial Intelligence and Image Processing, Artificial Intelligence & Image Processing, 4901 Applied mathematics, Mathematics, 0802 Computation Theory and Mathematics
-
11
Authors:
Source: SIAM Journal on Discrete Mathematics. 38:2163-2180
Subject Terms: Mathematics - Number Theory, 4901 Applied Mathematics, anzsrc-for: 46 Information and Computing Sciences, 4904 Pure Mathematics, 0102 computer and information sciences, anzsrc-for: 4613 Theory Of Computation, 01 natural sciences, anzsrc-for: 0101 Pure Mathematics, anzsrc-for: 4904 Pure Mathematics, 11B30, 11B83, 11D72, 4613 Theory Of Computation, anzsrc-for: 49 Mathematical Sciences, 46 Information and Computing Sciences, 49 Mathematical Sciences, FOS: Mathematics, anzsrc-for: 4901 Applied Mathematics, Number Theory (math.NT), 0101 mathematics, anzsrc-for: 0802 Computation Theory and Mathematics
File Description: application/pdf
Access URL: http://arxiv.org/abs/2306.10677
-
12
Authors: et al.
Source: npj Quantum Information. 9(1)
Subject Terms: 5108 Quantum Physics (for-2020), 51 Physical Sciences (for-2020), 4613 Theory of computation (for-2020), 4902 Mathematical physics (for-2020), 5108 Quantum physics (for-2020)
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming. 24:737-754
Subject Terms: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, LANGUAGE, NP, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, stable model semantics, 4613 Theory of computation, approximation fixpoint theory, I.2.3, Science & Technology, Computer Science - Programming Languages, I.2.5, 4602 Artificial intelligence, F.3.2, 0803 Computer Software, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, FIXPOINT SEMANTICS, higher-order logic programming, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/2408.10563
https://lirias.kuleuven.be/handle/20.500.12942/760291
https://doi.org/10.1017/s1471068424000231
https://biblio.vub.ac.be/vubir/the-stable-model-semantics-for-higherorder-logic-programming(8d08ad18-0693-43e9-a548-fc74e59c32fb).html
https://hdl.handle.net/20.500.14017/8d08ad18-0693-43e9-a548-fc74e59c32fb
https://doi.org/10.1017/s1471068424000231 -
14
Authors: et al.
Source: ACM Transactions on Mathematical Software. 49(3)
Subject Terms: 4613 Theory Of Computation (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 46 Information and Computing Sciences (for-2020), Sparse direct solver, multifrontal method, butterfly algorithm, block low-rank compression, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)
File Description: application/pdf
-
15
Authors:
Source: Discrete Applied Mathematics
Subject Terms: G.4, FOS: Computer and information sciences, Combinatorial optimization, Induced connectivity, Discrete Mathematics (cs.DM), MINIMUM CUT-SETS, G.1.6, Mathematics, Applied, G.2.2, Polyhedral combinatorics, NP-COMPLETENESS, Computation Theory & Mathematics, Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.), 0102 Applied Mathematics, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, 4901 Applied mathematics, Data Structures and Algorithms (cs.DS), connected subgraphs, polyhedral combinatorics, integer programming, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, Connected matchings, induced connectivity, 4601 Applied computing, Integer programming, 90C27, 90C57, 90C11, 68R10, Connected subgraphs, Physical Sciences, connected matchings, combinatorial optimization, Combinatorics (math.CO), Mathematics, Computer Science - Discrete Mathematics
File Description: application/xml; application/pdf
-
16
Authors: et al.
Source: Mathematical Programming
Subject Terms: FOS: Computer and information sciences, 65K05, 90C06, 90C25, 90C30, 90C47, Technology, STEP-SIZE, Operations Research, Computer Science - Machine Learning, Mathematics, Applied, 0211 other engineering and technologies, Convex minimization, MONOTONE INCLUSIONS, 02 engineering and technology, Locally Lipschitz gradient, SPLITTING ALGORITHM, Machine Learning (cs.LG), Primal-dual algorithms, 0102 Applied Mathematics, FOS: Mathematics, 4901 Applied mathematics, PRIMAL-DUAL ALGORITHM, Mathematics - Optimization and Control, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, COMPOSITE, Operations Research & Management Science, 0103 Numerical and Computational Mathematics, SUM, Linesearch-free adaptive stepsizes, Computer Science, Software Engineering, Proximal gradient method, BARZILAI, Optimization and Control (math.OC), Physical Sciences, Computer Science, 4903 Numerical and computational mathematics, Mathematics, STADIUS-23-76
Access URL: http://arxiv.org/abs/2301.04431
-
17
Authors:
Source: 2024 58th Asilomar Conference on Signals, Systems, and Computers. :1552-1556
Subject Terms: 46 Information and Computing Sciences (for-2020), Signal Processing (eess.SP), FOS: Computer and information sciences, 4613 Theory Of Computation (for-2020), Computer Science - Information Theory, Information Theory (cs.IT), 4006 Communications Engineering (for-2020), FOS: Electrical engineering, electronic engineering, information engineering, Electrical Engineering and Systems Science - Signal Processing, 40 Engineering (for-2020)
File Description: application/pdf
-
18
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages
Subject Terms: 4613 Theory of computation, Technology, Elaboration, Science & Technology, type inference, 4612 Software engineering, [INFO] Computer Science [cs], Computer Science, Software Engineering, UNIFICATION, program verification, PROGRAMS, Program verification, Computer Science, elaboration, 4903 Numerical and computational mathematics, Type inference
File Description: application/pdf
-
19
Authors: Jooken, Jorik
Source: Discrete Applied Mathematics. 356:133-141
Subject Terms: 4613 Theory of computation, Science & Technology, Hamiltonian cycle, Mathematics, Applied, 4601 Applied computing, INDEPENDENT DOMINATING SETS, Computation Theory & Mathematics, Regular graph, 0102 Applied Mathematics, Physical Sciences, 4901 Applied mathematics, Longest cycle, Mathematics, HAMILTONIAN GRAPHS, 0802 Computation Theory and Mathematics
-
20
Authors:
Source: Annals of Mathematics and Artificial Intelligence. 93:541-567
Subject Terms: 4613 Theory of computation, Technology, Science & Technology, 4602 Artificial intelligence, Mathematics, Applied, Behavior specification, Tumato, Computer Science, Artificial Intelligence, Safe and robust planning, Autonomous systems, 0102 Applied Mathematics, Physical Sciences, Computer Science, 0801 Artificial Intelligence and Image Processing, Constraint programming, Artificial Intelligence & Image Processing, 4901 Applied mathematics, Mathematics, 0802 Computation Theory and Mathematics
Full Text Finder 
Nájsť tento článok vo Web of Science