Search Results - "((\"computing algorithms AND informacii\") OR (\"computing algorithms AND informatik\"))~"

SUBREGULARLY CONTROLLED INSERTION SYSTEMS.

Authors: DASSOW, JÜRGEN TRUTHE, BIANCA

Source: Journal of Automata, Languages & Combinatorics; 2024, Vol. 29 Issue 2-4, p177-198, 22p

Subject Terms: KNOT insertion & deletion algorithms, NATURAL numbers, SET theory, ALPHABETS, MACHINE theory

The problem of alignment.

Authors: Hristova, Tsvetelina Magee, Liam Soldatic, Karen

Source: AI & Society; Mar2025, Vol. 40 Issue 3, p1439-1453, 15p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, NORMATIVITY (Ethics), CONTINUOUS distributions, DISTRIBUTION (Probability theory)

Connecting with Computability

Authors: Liesbeth De Mol Andreas Weiermann Florin Manea et al.

Resource Type: eBook.

Subjects: Algorithms, Computer science, Computer science—Mathematics, Artificial intelligence, Data structures (Computer science), Information theory

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

BackMatter.

Authors: Rothe, Jörg

Source: Komplexitätstheorie und Kryptologie; 2008, p463-535, 73p

Approximation and Online Algorithms : 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings

Authors: Jarosław Byrka Andreas Wiese

Resource Type: eBook.

Subjects: Mathematics—Data processing, Data structures (Computer science), Information theory, Computer science—Mathematics, Discrete mathematics, Numerical analysis, Algorithms

Categories: MATHEMATICS / Numerical Analysis, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

Computation, Physics and Beyond : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

Authors: Michael J. Dinneen Bakhadyr Khoussainov Prof. Andre Nies

Resource Type: eBook.

Subjects: Workshop on Theoretical Computer Science, WTCS, Computer science--Congresses

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, MATHEMATICS / Applied

An Efficient and Secure Coding-Based Authenticated Encryption Scheme.

Authors: Meziani, Mohammed El Bansarkhani, Rachid

Source: Data Privacy Management & Autonomous Spontaneous Security (9783642358890); 2013, p43-60, 18p

Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings

Authors: Masami Ito Masafumi Toyama

Resource Type: eBook.

Subjects: Formal languages--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Authors: Nikhil Bansal Irene Finocchi

Resource Type: eBook.

Subjects: Computer science, Compilers (Computer programs), Computer science—Mathematics, Discrete mathematics, Software engineering, Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

On eigenvalues of random complexes.

Authors: Gundert, Anna Wagner, Uli

Source: Israel Journal of Mathematics; Oct2016, Vol. 216 Issue 2, p545-582, 38p

Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

Authors: Benedikt Löwe Dag Normann Ivan Soskov et al.

Resource Type: eBook.

Subjects: Computable functions--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic

Universal Recursively Enumerable Sets of Strings.

Authors: Calude, Cristian S. Nies, André Staiger, Ludwig et al.

Source: Developments in Language Theory (9783540857792); 2008, p170-182, 13p

EXACT PAIRS FOR THE IDEAL OF THE X-TRIVIAL SEQUENCES IN THE TURING DEGREES.

Authors: BARMPALIAS, GEORGE DOWNEY, ROD G.

Source: Journal of Symbolic Logic; Sep2014, Vol. 79 Issue 3, p676-692, 17p

Subject Terms: ALGEBRA, SET theory, MATHEMATICAL logic, TOPOLOGICAL degree, ALGEBRAIC topology

Classical and New Paradigms of Computation and Their Complexity Hierarchies : Papers of the Conference 'Foundations of the Formal Sciences III'

Authors: Benedikt Löwe Boris Piwinger Thoralf Räsch

Resource Type: eBook.

Subjects: Complexity hierarchies, Formal sciences, Computational complexity--Congresses, Functions of complex variables--Congresses, Complexiteit, Recursie, Algoritmen

Categories: COMPUTERS / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Logic

Bibliography.

Authors: Lidl, Rudolf Niederreiter, Harald

Source: Finite Fields (9780521065672); 1997, p567-726, 160p

Parallel Grammars: A Phenomenology.

Authors: Fernau, Henning

Source: Grammars; Apr2003, Vol. 6 Issue 1, p25-87, 63p

Unconditional transfer in regulated rewriting.

Authors: Fernau, Henning

Source: Acta Informatica; 1997, Vol. 34 Issue 11, p837, 21p

Subject Terms: REWRITING systems (Computer science), DIRECTED graphs, GRAPH grammars

Quantum Information And Computing

Authors: Noboru Watanabe Masanori Ohya Luigi Accardi

Resource Type: eBook.

Subjects: Quantum theory--Congresses, Quantum computers--Congresses

Categories: SCIENCE / Physics / Quantum Theory

Integrated Uncertainty in Knowledge Modelling and Decision Making : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings

Authors: Van-Nam Huynh Masahiro Inuiguchi Thierry Demoeux

Resource Type: eBook.

Subjects: Artificial intelligence, Application software, Data mining, Algorithms, Database management

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Database Administration & Management, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings

Authors: Andrei A. Bulatov Arseny M. Shur

Resource Type: eBook.

Subjects: Algorithms, Computer science, Computer science—Mathematics, Discrete mathematics, Machine theory

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, MATHEMATICS / Discrete Mathematics