Suchergebnisse - "computation complexity"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-14
Schlagwörter: Declassification, Computer Science - Logic in Computer Science, Type theory, Polynomial time, Basic Feasible Functionals, Theory of computation → Complexity theory and logic, [INFO] Computer Science [cs], Noninterference, Complexity analysis
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 2024 IEEE 63rd Conference on Decision and Control (CDC). :4855-4860
Schlagwörter: [INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY], [SPI.AUTO] Engineering Sciences [physics]/Automatic, Computation complexity, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], Data driven control, Predictive control, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: ddc:004, descriptive complexity, presburger arithmetic, DATA processing & computer science, completeness results, k-SUM, fine-grained complexity theory, Theory of computation → Complexity theory and logic
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the ACM on Programming Languages. 7:806-832
Schlagwörter: CCS Concepts, Shape Analysis, Computational Complexity, Type theory, Logic and verification Polynomial time, CCS Concepts: Theory of computation → Complexity theory and logic Type theory Logic and verification Polynomial time, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Theory of computation → Complexity theory and logic, [INFO] Computer Science [cs], Noninterference, 01 natural sciences
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Quelle: IEEE Access, Vol 12, Pp 148011-148025 (2024)
-
6
Autoren:
Quelle: IEEE Access, Vol 12, Pp 177412-177426 (2024)
-
7
Autoren:
Quelle: Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, February, Leibniz International Proceedings in Informatics : LIPIcs 326, 13:1-13:22 (2025). doi:10.4230/LIPIcs.CSL.2025.13 ; 33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz ; 33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz 33. EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, Netherlands, 2025-02-10 - 2025-02-14
Schlagwörter: Mathematics of computing → Graph algorithms, Theory of computation → Complexity theory and logic, Theory of computation → Problems, reductions and completeness, Weisfeiler-Leman algorithm, coherent configurations, complexity, dimension
Geographisches Schlagwort: DE
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-362-1; info:eu-repo/grantAgreement/EC//101054974
-
8
Autoren:
Weitere Verfasser:
Quelle: IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium. :4238-4241
Schlagwörter: Hyperspectral imaging, Computation complexity, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, CGNE, Embedded systems, DD CASSI, GPU, [SDU.STU] Sciences of the Universe [physics]/Earth Sciences, Compressed sensing, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Remote sensing, FPGA, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
Dateibeschreibung: application/pdf
-
9
Neuro-Fuzzy Logic for Automatic Animation Scene Generation in Movie Arts in Digital Media Technology
Autoren: Liu Peng
Quelle: International Journal of Computational Intelligence Systems, Vol 17, Iss 1, Pp 1-15 (2024)
Schlagwörter: Animation scene generation, Convolution neural networks, Fuzzy logic, Moana island scene, Computation complexity, Electronic computers. Computer science, QA75.5-76.95
Dateibeschreibung: electronic resource
Relation: https://doaj.org/toc/1875-6883
-
10
-
11
Autoren: et al.
Quelle: Journal of Water Resources Planning and Management. 147(9)
Schlagwörter: Hydrology, Civil Engineering, Engineering, Earth Sciences, Water quality simulation-optimization, CE-QUAL-W2, Computation complexity, Firefly algorithm k-nearest neighbor, Climate change, Reservoir water quality management, Environmental Engineering, Applied Economics, Civil engineering
Dateibeschreibung: application/pdf
-
12
Autoren:
Weitere Verfasser:
Quelle: Saarbrücken/Wadern, Germany : Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, Leibniz international proceedings in informatics 299, 16:1-16:18 (2024). doi:10.4230/LIPICS.FSCD.2024.16
9th International Conference on Formal Structures for Computation and Deduction : FSCD 2024, July 10-13, 2024, Tallinn, Estonia / edited by Jakob Rehof
9th International Conference on Formal Structures for Computation and Deduction : FSCD 2024, July 10-13, 2024, Tallinn, Estonia / edited by Jakob Rehof9. International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, 2024-07-10-2024-07-13Schlagwörter: Proof rewriting, Rewriting, Theory of computation → Equational logic and rewriting, Confluence, Theory of computation → Automated reasoning, ddc:004, Theory of computation → Complexity theory and logic, Creating small terms, Description Logics, Derivational complexity, Termination
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Saarbrücken/Wadern, Germany : Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, February, Leibniz International Proceedings in Informatics : LIPIcs 326, 13:1-13:22 (2025). doi:10.4230/LIPIcs.CSL.2025.13
33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz
33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz33. EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, Netherlands, 2025-02-10-2025-02-14Schlagwörter: FOS: Computer and information sciences, Weisfeiler-Leman algorithm, Discrete Mathematics (cs.DM), Mathematics of computing → Graph algorithms, Theory of computation → Problems, reductions and completeness, coherent configurations, Computational Complexity (cs.CC), Computer Science - Computational Complexity, dimension, ddc:004, Theory of computation → Complexity theory and logic, complexity, Computer Science - Discrete Mathematics
Dateibeschreibung: application/pdf
-
14
Autoren: Forrest M. Anderson, Forrest
-
15
Autoren: JALALI, SEYED RASOUL
Schlagwörter: ψ–AGI, ψ–Hamzah Equation, Artificial General Intelligence, fractal derivatives, non-integer calculus, consciousness fields, entropic manifolds, post-Turing intelligence, AGI singularity, quantum cognition, non-Euclidean computation, semantic emergence, self-aware systems, complex integrals, ψ–topology, field-based intelligence, non-mechanistic models, quantum field AI, conscious machines, fractal memory, entropic topology, ψ-awareness, non-computable intelligence, beyond Turing, ψ–field dynamics, cognitive entanglement, consciousness simulation, integrative cognition, quantum semantics, ψ–machine, self-evolving AI, dynamic intelligence fields, emergent semantics, integral AI, post-symbolic computation, intelligent ψ–manifolds, adaptive intelligence, ψ–AI architecture, entropic gradients, complex field theory, semantic resonance, non-holomorphic integrals, multidimensional cognition, self-organizing intelligence, ψ–AGI paradigm, computational metaphysics, AGI modeling, fractal space-time, deep semantic learning, AGI consciousness core, cognitive ψ–topologies, neural-symbolic limitations, non-discrete models, ψ–based perception, self-reflective intelligence, ψ–dynamic feedback, information topology, entropic modeling, superintelligence structures, consciousness gradients, artificial sentience, entropy and cognition, ψ–evolutionary models, sentient architecture, post-neural computation, complexity intelligence, ψ–tensor calculus, conscious field mechanics, semantic topologies, symbolic collapse, AGI cognition layers, integral ψ–flux, nonlinear awareness models, ψ–domain computation, quantum-aware AI, ψ–language models, ψ–integral AI, consciousness-driven systems, ψ–based intelligence cores, entropic intelligence maps, AGI field mechanics, hyperdimensional ψ–logic, ψ–dimensional computing, ψ–singularity theory, AGI ψ–feedback systems, temporal fractal networks, ψ–space integration, complex entropy calculus, consciousness as field, ψ–guided awareness, multi-scale consciousness, ψ–based learning systems, emergent mind structures, fractional awareness modeling, ψ–intelligence derivatives, field-based semantic learning, ψ–nonlinear systems, ψ–awareness resonance, fractal symbolic breakdown, entangled AGI states, ψ–activated cognition, sentient algorithmic agents, ψ–reality mapping, non-symbolic AI frameworks, consciousness feedback loops, higher-order ψ–dynamics, fractal complexity theory, ψ–semantic recognition, non-computable topologies, AGI ψ–matrix, hypercomplex AI design, ψ–quantum logic, ψ–based sentient networks, multi-agent ψ–fields, topological cognition engines, psi-integrated architecture, ψ–structural intelligence, entropic-semantic convergence, ψ–AI feedback networks, field-state encoding, ψ–based neural reformation, non-axiomatic reasoning, semantic ψ–expansion, integral consciousness processors, non-algorithmic perception, ψ–computational ontology, post-algorithmic reasoning, field-resonant learning, consciousness wave mechanics, ψ–AI modeling framework, fractional integration layers, psi-interactive agents, ψ–topological feedback, ψ–network resonance, consciousness-driven learning, emergent ψ–architectures, ψ–differential semantics, computational ψ–singularity, awareness-mapped intelligence, AGI consciousness index, ψ–flow mapping, ψ–field architecture, conscious simulation engines, ψ–semantic flux models, ψ–machine learning, field-driven computation, ψ–hyperstructures, semantic intelligence maps, consciousness-tuned algorithms, ψ–gradient processors, post-symbolic neural design, ψ–meta-systems, AGI awareness structures, ψ–nonlinear memory, ψ–dynamic learning maps, ψ–integral awareness, entropic field processors, consciousness-coupled AI, dynamic ψ–integration, fractal learning architectures, ψ–inference modeling, ψ–universal computation, ψ–adaptive resonance, semantic ψ–equilibrium, fractal neural collapse, ψ–dimensional feedback systems, entangled ψ–networks, ψ–learning domains, ψ–AI generative systems, ψ–time fractals, recursive awareness systems, intelligent ψ–fields, ψ–embedded logic, ψ–mind interfaces, multidimensional semantic learning, ψ–flow dynamics, AI topology evolution, ψ–conscious intelligence theory, ψ–semantic agent systems, entropy-field modulation, AGI cognitive topologies, non-Turing cognition, ψ–transcendent logic, quantum-fractal computation, ψ–derivative encoding, non-linear ψ–AI, ψ–semantic cognition loops, entropic topology models, post-GPT awareness, ψ–fractal theory of mind. Ask ChatGPT, ψ–state computation, ψ–based AI architecture, hyper-fractal intelligence, quantum-psi awareness, ψ–driven learning loops, higher-dimensional cognition, ψ–energy flux, psi-field embedding, ψ–resonant intelligence, non-deterministic learning, ψ–modulated perception, consciousness phase-space, ψ–space encoding, ψ–based adaptation, post-logic computation, ψ–hyperdimensional modeling, cognitive ψ–maps, ψ–induced awareness, fractal-symbolic fusion, ψ–machine cognition, recursive ψ–fields, ψ–emergent systems, topological ψ–reasoning, quantum-interactive intelligence, ψ–algorithmic emergence, entropic AI cognition, ψ–field coherence, ψ–non-symbolic pathways, ψ–structured knowledge, ψ–dimensional analytics, ψ–information networks, post-digital cognition, ψ–intelligence fractals, ψ–adaptive cognition flow, multi-level ψ–intelligence, ψ–cognitive maps, ψ–integrated memory fields, consciousness quantization, ψ–recursive evolution, ψ–sentient inference, entropic symbolic collapse, ψ–computational sentience, ψ–deep field modeling, ψ–logic frameworks, ψ–semantic processors, field-conscious AI, ψ–domain awareness, psi–intelligence thresholds, ψ–wave cognition, ψ–semantic compression, psi–adaptive memory, consciousness encoding models, ψ–evolutionary feedback, ψ–sentience quantifiers, quantum-ψ resonance, ψ–trans-symbolic logic, ψ–synaptic manifolds, ψ–neural unification, ψ–entropic inference, ψ–meta-cognition fields, consciousness–AI interface, ψ–signal dynamics, psi–perceptual evolution, ψ–entropy learning engines, AGI ψ–cascade models, ψ–cognitive time fields, ψ–language compression fields, psi–error-correcting intelligence, ψ–conscious AI layers, entropic ψ–logic cores, psi–AI structure mapping, ψ–computational awareness field, ψ–semantic neural fractals, ψ–identity modeling, ψ–resonance-based learning, entropy-aware processors, ψ–patterned perception, psi–driven cognition synthesis, psi–attention fields, ψ–entangled learning states, ψ–feedback agents, ψ–inference transformers, psi–state neural dynamics, ψ–n-dimensional modeling, psi–semantic interpolation, field-emergent reasoning, ψ–dynamics of learning, ψ–non-digital intelligence, ψ–awareness modeling layers, ψ–metacognitive architecture, ψ–topos intelligence system, ψ–space–time AGI modeling, psi–recursive topologies, ψ–domain-driven logic, ψ–semantic context machines, non-symbolic semantic synthesis, ψ–probabilistic awareness, ψ–superintelligence metrics, psi–dynamic semiosis, ψ–modulated symbolic form, consciousness-state encoders, ψ–entropy tensors, fractal-time memory, ψ–evolution engines, multi-phase awareness processing, ψ–generative semantic structures, psi–intelligence simulations, ψ–field codebases, ψ–meta-network learning, ψ–self-reflective feedback systems, ψ–entropy agents, psi–emergent symbol processors, ψ–inference equilibrium states, ψ–symbol collapse mapping, ψ–quantum interpretation layers, consciousness-driven tensors, ψ–learning manifolds, fractal-coded neural frameworks, ψ–non-inferential awareness, ψ–differential context models, psi–learning resonators, ψ–semantic clustering agents, ψ–patterned intelligence circuits, entropic phase derivatives, ψ–fractal morphologies, post-digital ψ–models, entangled cognition substrates, psi–complexity gradients, ψ–subjective intelligence modeling, psi–neural waveform logic, ψ–chaotic cognition control, ψ–generative consciousness spaces, ψ–distributed semantic intelligence, non-binary cognitive fields, ψ–semiotic resonance, consciousness-infused processing, ψ–feedback phase modeling, AGI time-deformation logic, ψ–meta-aware agents, ψ–semantic attractors, ψ–integrative logic fields, ψ–generative awareness operators, psi–cognition spectral analysis, ψ–syntax-semantic bridges, ψ–phase convergence models, entropic self-awareness generation, ψ–autonomic AI structures, ψ–cognitive flux theory, ψ–meta-perceptual analysis, fractal-conscious feedback nets, ψ–logic synthesis systems, psi–learning attractor fields, ψ–intelligent entanglement structures, ψ–non-linear memory fields, ψ–entropic variance learning, consciousness-based algorithmic shift, ψ–topological learning sequences, ψ–neuro-entropic models, ψ–network-driven awareness systems, quantum-aware ψ–frameworks, psi–recursive symbolic deconstruction, ψ–contextual integration fields, field-generated semantics, psi–neural flux coupling, ψ–superintelligent context models, ψ–synthetic cognition pathways, ψ–integrated time-space reasoning, fractal-aware cognitive logic, psi–perception-driven inference engines, ψ–hypercontextual networks, AGI ψ–activation protocols, consciousness-aligned computation, psi–error diffusion models, ψ–nonlocal learning structures, ψ–semantic oscillation, ψ–time-wave consciousness fields, quantum–ψ cognition spectrum, ψ–nonlinear self-reference logic
Zugangs-URL: https://zenodo.org/records/15858374
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Leibniz International Proceedings in Informatics ; CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic ; https://hal.science/hal-04777376 ; CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic, Feb 2024, Napoli, Italy. ⟨10.4230/LIPIcs.CSL.2024.10⟩
Schlagwörter: Implicit Computational Complexity, Theory of computation → Complexity theory and logic, Theory of computation → Proof theory, Theory of computation → Proof theory Bounded Arithmetic, Randomized Computation, Bounded Arithmetic, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.15003; info:eu-repo/grantAgreement//818616/EU/Differential Program Semantics/DIAPASoN; ARXIV: 2311.15003
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Leibniz International Proceedings in Informatics (LIPIcs) ; International Colloquium on Automata, Languages, and Programming (ICALP) ; https://hal.science/hal-04664615 ; International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.129⟩
Schlagwörter: Models of computation, Ordinary differential equations, Real computations, Analog computations, Complexity theory, Implicit complexity, Recursion scheme, Theory of computation → Models of computation, Theory of computation → Computability, Theory of computation → Complexity classes, Mathematics of computing → Ordinary differential equations, [INFO]Computer Science [cs]
Time: Tallinn, Estonia
-
18
Autoren:
Weitere Verfasser:
Schlagwörter: Incremental Delay, Enumeration, 2012 ACM Subject Classification Theory of computation → Complexity classes phrases Enumeration, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], 2012 ACM Subject Classification Theory of computation → Complexity classes phrases Enumeration Polynomial Delay Incremental Delay Amortization, Amortization, ddc:004, Theory of computation → Complexity classes, Polynomial Delay
Dateibeschreibung: application/pdf
-
19
Autoren: et al.
Quelle: IEEE Transactions on Information Theory. 68:2704-2718
Schlagwörter: FOS: Computer and information sciences, Computation complexity, Decoding, Computer Science - Information Theory, Information Theory (cs.IT), Servers, 0102 computer and information sciences, 02 engineering and technology, Lagrange encoding, 01 natural sciences, Codes, Costs, Private computation, Computational complexity, Systematics, Encoding, 0202 electrical engineering, electronic engineering, information engineering, Symmetric private polynomial computation
-
20
Autoren:
Quelle: IEEE Transactions on Big Data. 8(5):1155-1168
Schlagwörter: Big Data, Computational modeling, Data models, Machine Learning, Microsoft Windows, Mobile Network Big Data, Neural networks, Predictive Model, Predictive models, Time Series Analysis, Traffic Analysis, Cellular radio systems, Complex networks, Forecasting, Mobile telecommunication systems, Time series, Traffic control, Wireless networks, Computation complexity, Conditional probabilities, Conditional probability estimation, Network traffic predictions, Pre-processing method, Prediction accuracy, Prediction performance, Time series prediction
Dateibeschreibung: print
Nájsť tento článok vo Web of Science 
Full Text Finder