-
1Report
-
2Academic Journal
Συγγραφείς: MacLean, Ryan
-
3Conference
Συγγραφείς: Zellweger, H. Paul
Πηγή: 2021 25th International Conference Information Visualisation (IV) IV Information Visualisation (IV), 2021 25th International Conference. :154-159 Jul, 2021
Relation: 2021 25th International Conference Information Visualisation (IV)
-
4Report
Συγγραφείς: Zhang, Dylan, Tigges, Curt, Zhang, Zory, Biderman, Stella, Raginsky, Maxim, Ringer, Talia
Θεματικοί όροι: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2401.12947
-
5Other Literature Type
Συγγραφείς: Moura, Alexsandro
Θεματικοί όροι: formal methods, Abstraction Hierarchies, Epistemological Audit, Non-Anthropocentric Intelligence, epistemic reliability, Epistemic Simulation, Structural Intelligence, recursion, CAMAF, cognitive systems, decision theory, information theory, decomposition, knowledge representation, epistemology, Artificial Systems, SETI, intelligence, artificial intelligence, philosophy of intelligence, recursive systems, FPI, AI safety, Cross-Domain Analysis, Epistemological Reliability, metacognition, Intelligence Signatures, reasoning systems
-
6
-
7
Συγγραφείς: Doumbouya, Lisa
Θεματικοί όροι: constraint geometry, infinity, self-similarity, structural recursion, consilience, scale invariance, geometry first physics, complex systems, fractal geometry, structure before force
-
8Academic Journal
Συγγραφείς: Hidaka, Soichiro, Asada, Kazuyuki, Hu, Zhenjiang, Kato, Hiroyuki, Nakano, Keisuke
Πηγή: ACM SIGPLAN Notices - ICFP '13. 48(9):305-318
Συνδεδεμένο Πλήρες ΚείμενοΔιαθεσιμότητα: http://dl.acm.org/doi/10.1145/2544174.2500608
-
9Conference
Συγγραφείς: Goldwasser, Michael, Letscher, David
Πηγή: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. :889-896
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1297846.1297940
-
10Academic Journal
Συγγραφείς: Lindley, Sam, Morris, J. Garrett
Πηγή: ACM SIGPLAN Notices - ICFP '16. 51(9):434-447
Συνδεδεμένο Πλήρες ΚείμενοΔιαθεσιμότητα: http://dl.acm.org/doi/10.1145/3022670.2951921
-
11Academic Journal
Συγγραφείς: Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M.
Πηγή: ACM SIGPLAN Notices - ICFP '15. 50(9):127-139
Συνδεδεμένο Πλήρες ΚείμενοΔιαθεσιμότητα: http://dl.acm.org/doi/10.1145/2858949.2784762
-
12Other Literature Type
Συγγραφείς: Marcovich, Barry John
Θεματικοί όροι: Quantum Gravity, Meta-Theory, Computational Complexity, Logic and Foundations of Mathematics, Bounded vs Unbounded, system boundaries, ontology and epistemology, $(0 \leftrightarrow \infty) = 1$, Theoretical Physics, System Coherence, Number Theory, Physical Sciences and Mathematics, Continuum, Mathematical Logic, Operational Identity, Isomorphism, recursive pattern, Cosmology, Relativity, and Gravity, Mathematical Physics, Structural Duality, continuum and discreteness, Quantum Physics, Logic and Foundations, identity formation, TOE, Physics, identity paradox, self-reference, observer-relative identity, Theory of everything, Structural Invariance, FOS: Philosophy, ethics and religion, structural recursion, Set Theory, Paradoxes, Formal Duality, Discrete Infinity, boundary imposition, comprehension limits, Astrophysics and Astronomy, General Relativity, Generative Framework, cognitive architecture, FOS: Physical sciences, functional necessity, applied philosophy, Philosophy of Science, Time, multi-scale analysis, conceptual limits, FOS: Mathematics, Unification Theory, hierarchical cognition, cognitive constraint, Quantum Mechanics, Scale Invariance, Riemann Zeta Function, Critical Line, Cross-Disciplinary Synthesis, pattern recognition, Elementary Particles and Fields and String Theory, systems ontology, Philosophy, Structural Patterns, Discrete vs Continuous, Gödel Incompleteness, Meta-Mathematics, Foundations of Knowledge, Mathematical Philosophy, Invariant Identity, infinite regress, Formal Systems, Arts and Humanities, Cross-Disciplinary, Mathematics, Gödel's Incompleteness Theorems
-
13Other Literature Type
Συγγραφείς: Jung, Andreas
Θεματικοί όροι: Light, Relativity and Structure, LRAE, Structural Analogy Principles, Space, Light Decoupling, Time, spacetime structure, Relativity, Mass and Structure, Spacetime, Universe, Causal Spacetime Dynamics, Dark matter, Temporal Impulse Model, Black Hole Theory, Nonlinearity, Local Relative Expansion Theory (LRAE), singularity alternative, Structural Field, Structure Cycle, causal disconnection, black holes, singularity, Cosmological Boundary Models, Structural Thermodynamics, Reality, non-interacting matter, Universal Expansion, Einstein, Time Architecture, Room, cosmology, Element 0
-
14
-
15
-
16Report
Συγγραφείς: Morazán, Marco T.
Πηγή: EPTCS 270, 2018, pp. 1-17
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1805.05124
-
17Academic Journal
Συγγραφείς: Bruce, Kim B., Danyluk, Andrea, Murtagh, Thomas
Πηγή: ACM SIGCSE Bulletin. 37(1):246-250
Συνδεδεμένο Πλήρες ΚείμενοΔιαθεσιμότητα: http://dl.acm.org/doi/10.1145/1047124.1047430
-
18Other Literature Type
Συγγραφείς: ll, kjli
Θεματικοί όροι: ΣΔm, Survivability Modeling, Universal Logic Structures, Motion-Based Frameworks, Motion-Based Meaning, Δm, Entropy Collapse, Philosophy of Collapse, Symbolic Compression, Nihilism Refutation, Structural Persistence, Michael Aaron Cody, Recursive Systems, Symbolic Physics, Ideological Warfare, Eᴹ = 0, Cognitive Architecture, Constructibility, Post-Philosophy, Recursive Logic, RSIE
-
19Other Literature Type
Συγγραφείς: hjh, ouik
Θεματικοί όροι: ΣΔm, Survivability Modeling, Universal Logic Structures, Motion-Based Frameworks, Motion-Based Meaning, Δm, Entropy Collapse, Philosophy of Collapse, Symbolic Compression, Nihilism Refutation, Structural Persistence, Michael Aaron Cody, Recursive Systems, Symbolic Physics, Ideological Warfare, Eᴹ = 0, Cognitive Architecture, Constructibility, Post-Philosophy, Recursive Logic, RSIE
-
20Conference
Συγγραφείς: Pang, Cong, Yan, Boyao, Zhu, Yuqi, Xu, Chunwei, Li, Bowen
Πηγή: 2025 IEEE 6th International Conference on Computer, Big Data, Artificial Intelligence (ICCBD+AI) Computer, Big Data, Artificial Intelligence (ICCBD+AI), 2025 IEEE 6th International Conference on. :1-5 Nov, 2025
Relation: 2025 IEEE 6th International Conference on Computer, Big Data, Artificial Intelligence (ICCBD+AI)