Výsledky vyhľadávania - syntax and semantics of Boolean circuits

Through the mincing machine with a Boolean layer cake: Nonstandard computations over Boolean circuits in the lower-bounds-to-circuit-size complexity proving

Autori: Edward G. Belaga

Zdroj: Acta Informatica. 26:381-407

Predmety: syntax and semantics of Boolean circuits, Switching theory, applications of Boolean algebras to circuits and networks, Networks and circuits as models of computation, circuit complexity, Analysis of algorithms and problem complexity, 4. Education, mincing complexity, locally synchronous CS-complexity, m-dimensional cyclic convolution, straight-line Boolean computations, relative circuit-size complexity of a Boolean function, 7. Clean energy

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/4055537
https://link.springer.com/article/10.1007/BF00276024
https://dblp.uni-trier.de/db/journals/acta/acta26.html#Belaga89

Generative transpositions: The (Anti-)Grammar of text-semantic, CyberSocial intelligence.

Autori: Cope, Bill Kalantzis, Mary

Zdroj: Multimodality & Society; Dec2025, Vol. 5 Issue 4, p480-494, 15p

Quantifying artificial intelligence through algorithmic generalization.

Autori: Ito, Takuya Campbell, Murray Horesh, Lior a ďalší

Zdroj: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Autori: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. a ďalší

Zdroj: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Predmety: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

Through the mincing machine with a Boolean layer cake.

Autori: Belaga, Edward

Zdroj: Acta Informatica; 1989, Vol. 26 Issue 4, p381-407, 27p

Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors.

Autori: Fages, Francois Martinez, Thierry Rosenblueth, David A. a ďalší

Zdroj: IEEE/ACM Transactions on Computational Biology & Bioinformatics; Jul/Aug2018, Vol. 15 Issue 4, p1138-1151, 14p

Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages

Autori: Choudhury, Vikraman Karwowski, Jacek Sabry, Amr

Témy: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.1.1, F.3.2, D.3.2, text

URL: http://arxiv.org/abs/2110.05404

Wearables in ADHD: Monitoring and Intervention—Where Are We Now?

Autori: Olinic, Mara-Simina Stretea, Roland Cherecheș, Cristian

Zdroj: Diagnostics (2075-4418); Sep2025, Vol. 15 Issue 18, p2359, 33p

Predmety: WEARABLE technology, ATTENTION-deficit hyperactivity disorder, HARDWARE, ELECTROPHYSIOLOGY, OPERANT behavior, DATA privacy, MEDICAL needs assessment, SUPERVISION

Redefining cognitive neurodynamics through transdisciplinary innovation.

Autori: Villa, Alessandro E. P.

Zdroj: Cognitive Neurodynamics; 9/5/2025, Vol. 19 Issue 1, p1-12, 12p

Unveiling the Diagnostic Potential of Linguistic Markers in Identifying Individuals with Parkinson's Disease through Artificial Intelligence: A Systematic Review.

Autori: Palmirotta, Cinzia Aresta, Simona Battista, Petronilla a ďalší

Zdroj: Brain Sciences (2076-3425); Feb2024, Vol. 14 Issue 2, p137, 27p

Predmety: PARKINSON'S disease, NATURAL language processing, ARTIFICIAL intelligence, NARRATIVE discourse analysis, MOVEMENT disorders, LANGUAGE disorders, LINGUISTIC analysis

Abstracts of the 19th European Congress of Psychology.

Zdroj: European Journal of Psychology Open; 2025 Supplement 1, Vol. 84, p1-692, 692p

Disjunctive Datalog.

Autori: Eiter, Thomas Gottlob, Georg Mannila, Heikki

Zdroj: ACM Transactions on Database Systems; Sept97, Vol. 22 Issue 3, p364-418, 55p, 2 Diagrams

Predmety: DATABASES, LOGIC programming, COMPUTER files, SEMANTICS, INFORMATION theory, COMPUTER programming

Vector Semantics

Autori: András Kornai

Typ zdroja: eBook.

Predmet: Semantics, Cognitive grammar

Kategórie: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, MATHEMATICS / Probability & Statistics / General

Computationally Hard Problems for Logic Programs under Answer Set Semantics.

Autori: Shen, Yuping Zhao, Xishun

Zdroj: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-26, 26p

Predmety: LOGIC circuits, PHILOSOPHY of mathematics, ODD numbers, SEMANTICS (Philosophy), PROPOSITION (Logic)

Constructive Boolean circuits and the exactness of timed ternary simulation.

Autori: Mendler, Michael Shiple, Thomas Berry, Gérard

Zdroj: Formal Methods in System Design; Jun2012, Vol. 40 Issue 3, p283-329, 47p

Predmety: COMBINATIONAL circuits, BOOLEAN matrices, TERNARY system, ASYNCHRONOUS circuits, ALGORITHMS, REAL-time control

GENE ASSEMBLY MODELS AND BOOLEAN CIRCUITS.

Autori: ISHDORJ, TSEREN-ONOLT PETRE, ION

Zdroj: International Journal of Foundations of Computer Science; Oct2008, Vol. 19 Issue 5, p1133-1145, 13p, 1 Diagram

Predmety: BOOLEAN algebra, CILIATA, UNICELLULAR organisms, SIMULATION methods & models, MOLECULAR computers

On Symmetric Circuits and Fixed-Point Logics.

Autori: Anderson, Matthew Dawar, Anuj

Zdroj: Theory of Computing Systems; Apr2017, Vol. 60 Issue 3, p521-551, 31p

Predmety: MATHEMATICAL symmetry, FIXED point theory, LOGIC circuits, PERMUTATION groups, POLYNOMIALS

Challenges and Directions in Formalizing the Semantics of Modeling Languages.

Autori: Bryant, Barrett R. Gray, Jeff Mernik, Marjan a ďalší

Zdroj: Computer Science & Information Systems; May2011, Vol. 8 Issue 2, p225-253, 29p, 7 Diagrams, 5 Charts

Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review.

Autori: Matzko, Richard Konur, Savas

Zdroj: Network Modeling & Analysis in Health Informatics & Bioinformatics; 5/3/2024, Vol. 13 Issue 1, p1-23, 23p

Information-Flow Control for Programming on Encrypted Data.

Autori: Mitchell, John C. Sharma, Rahul Stefan, Deian a ďalší

Zdroj: 2012 IEEE 25th Computer Security Foundations Symposium; 1/ 1/2012, p45-60, 16p