Search Results - "((\"mathematik logic and algorithm theory\") OR (\"mathematik logic and algorithm theory\"))"

Parameterised Counting in Logspace

Authors: Haak, Anselm Meier, Arne Prakash, Om et al.

Contributors: Haak, Anselm Meier, Arne Prakash, Om et al.

Source: Algorithmica. 85:2923-2961

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logspace, edit distance, Counting complexity, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), 01 natural sciences, Dewey Decimal Classification::500 | Naturwissenschaften::510 | Mathematik, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, Parameterized complexity, Dewey Decimal Classification::000 | Allgemeines, Wissenschaft::000 | Informatik, Wissen, Systeme::004 | Informatik, Computer Science - Data Structures and Algorithms, sketching, 0202 electrical engineering, electronic engineering, information engineering, Counting Complexity, Data Structures and Algorithms (cs.DS), ddc:004, Parameterized Complexity

File Description: application/pdf

Access URL: http://arxiv.org/abs/1904.12156
http://arxiv.org/abs/2010.13170
https://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#HaakM0R21
https://drops.dagstuhl.de/opus/volltexte/2021/13685/pdf/LIPIcs-STACS-2021-40.pdf/
https://doi.org/10.4230/LIPIcs.STACS.2021.40
https://drops.dagstuhl.de/opus/volltexte/2021/13685/
https://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#JinN021
https://doi.org/10.4230/LIPIcs.STACS.2021.45
https://drops.dagstuhl.de/opus/volltexte/2021/13690/pdf/LIPIcs-STACS-2021-45.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/13690/
https://arxiv.org/abs/2010.13170
https://arxiv.org/pdf/2010.13170
https://ui.adsabs.harvard.edu/abs/2020arXiv201013170J/abstract
https://arxiv.org/abs/1904.12156
https://arxiv.org/pdf/1904.12156.pdf
https://ui.adsabs.harvard.edu/abs/2019arXiv190412156H/abstract
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.45
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.40
https://escholarship.org/uc/item/2p1465kt

Computability theory

Authors: Zimmermann, Karl-Heinz

Subject Terms: Models of Computation (F.4.1), F.1.3:Complexity Measures and Classes (F.2) (REVISED), F.1.2:Modes of Computation, computability theory, complexity theory, 03-XX, Komplexitätstheorie, Turing machine, Computability, recursion theory, Turing machine, undecidability, word problems, complexity classes, Berechenbarkeit, Ingenieurwissenschaften, theoretical computer science, Theoretische Informatik, Grammars and Other Rewriting Systems (D.3.1), Rekursionstheorie, F.1.1:Models of Computation (F.4.1), computability, Computability, 510: Mathematik, recursion theory, undecidability, word problems, complexity classes, Unentscheidbarkeit, Mathematik, 03-XX:Mathematical logic and foundations, F.1.2, Complexity Measures and Classes (F.2) (REVISED), Nonnumerical Algorithms and Problems (E.2-5, G.2, H.2-3), F.1.3, Algebraische Rekursionstheorie, complexity, F.1.1, Mathematical Logic (F.1.1, I.2.2-4)

Concurrency Makes Simple Theories Hard

Authors: Göller, Stefan Widjaja Lin, Anthony Fachbereich Mathematik und Informatik Bremen et al.

Contributors: Göller, Stefan Widjaja Lin, Anthony Fachbereich Mathematik und Informatik Bremen et al.

Source: Symposium on Theoretical Aspects of Computer Science ; STACS'12 (29th Symposium on Theoretical Aspects of Computer Science) ; https://hal.archives-ouvertes.fr/hal-00678192 ; STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.148-159

Subject Terms: Modal Logic, Model Checking, Asynchronous Product, Pushdown Systems, Feferman-Vaught, Nonelementary lower bounds, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Subject Geographic: Paris, France

Relation: hal-00678192; https://hal.archives-ouvertes.fr/hal-00678192; https://hal.archives-ouvertes.fr/hal-00678192/document; https://hal.archives-ouvertes.fr/hal-00678192/file/37.pdf

Availability: https://hal.archives-ouvertes.fr/hal-00678192
https://hal.archives-ouvertes.fr/hal-00678192/document
https://hal.archives-ouvertes.fr/hal-00678192/file/37.pdf

Lecture 17: Nondeterministic Constraint Logic

Authors: Massachusetts Institute of Technology Erik Demaine

Subject Terms: Engineering, Computer Science, Mathematics, Computation, Algorithms and Data Structures, Theory of Computation, Studienbereich Informatik, Mathematik, Ingenieurwissenschaften, Naturwissenschaften

Availability: https://ocw.mit.edu/courses/6-890-algorithmic-lower-bounds-fun-with-hardness-proofs-fall-2014/resources/lecture-17-nondeterministic-constraint-logic/

Θεμελίωση επιστήμης υπολογιστών

Authors: Efstathios Zachos Aristeidis Pagourtzis Theodora Souliou et al.

Contributors: Efstathios Zachos Aristeidis Pagourtzis Theodora Souliou et al.

Subject Terms: Algorithms, Search Algorithms, Sorting Algorithms, Algorithmic Composition, Graphs, Graph Algorithms, Graph Theory, String Algorithms, Computability, Computational Complexity, Data Structures, Automata, Formal Languages, Grammars, Parallel Algorithms, Distributed Algorithms, Knowledge Representation And Reasoning, Logic And Circuits, Logic, Logic For Computer Science, Studienbereich Informatik, Mathematik, Naturwissenschaften, Ingenieurwissenschaften

Relation: https://repository.kallipos.gr/handle/11419/5452

Availability: https://repository.kallipos.gr/handle/11419/5452
http://repository.kallipos.gr/bitstream/11419/5452/2/Kallipos_Zachos_Full-KOY.pdf

Preface — Special Issue: Research in Combinatorial Optimization and Applications of COCOA 2021.

Authors: Du, Donglei Han, Lu Möhring, Rolf H. et al.

Source: International Journal of Foundations of Computer Science. Sep2024, Vol. 35 Issue 6, p605-607. 3p.

Subject Terms: *COMPUTER science, LOGIC circuits, GRAPH theory, COMBINATORIAL optimization, ROUTING algorithms, BIPARTITE graphs, APPROXIMATION algorithms

Aircraft Trajectory Tracking Using Radar Equipment with Fuzzy Logic Algorithm.

Authors: Raboaca, Maria Simona Dumitrescu, Catalin Manta, Ioana

Source: Mathematics (2227-7390); Feb2020, Vol. 8 Issue 2, p207, 1p

Subject Terms: FUZZY logic, RADAR equipment, FUZZY algorithms, TRACKING radar, SET theory, RADAR, SURVEILLANCE radar, RADARSAT satellites

Distinguishing next society.

Authors: Baecker, Dirk

Source: Current Sociology; Jul2025, Vol. 73 Issue 4, p493-508, 16p

Subject Terms: MACHINE learning, COMPUTER systems, DIGITAL communications, SOCIAL systems, DIGITAL technology

Item Classification by Difficulty Using Functional Principal Component Clustering and Neural Networks.

Authors: Zoucha, James Himelfarb, Igor Tang, Nai-En

Source: Educational & Psychological Measurement; Jun2025, Vol. 85 Issue 3, p429-457, 29p

Subject Terms: CLUSTER analysis (Statistics), DATA analysis, CLUSTERING algorithms, T-test (Statistics), RESEARCH methodology evaluation, MULTIPLE regression analysis, PROBABILITY theory, LOGISTIC regression analysis, EDUCATIONAL tests & measurements, DESCRIPTIVE statistics, ARTIFICIAL neural networks, STATISTICS, LOGIC, MULTIDIMENSIONAL scaling, MACHINE learning, FACTOR analysis, CONFIDENCE intervals, ALGORITHMS, TEST design, SENSITIVITY & specificity (Statistics)

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements.

Authors: Grohe, Martin Lichter, Moritz Neuen, Daniel et al.

Source: Journal of the ACM; Jun2025, Vol. 72 Issue 3, p1-27, 27p

Subject Terms: GRAPH theory, ISOMORPHISM (Mathematics), COMBINATORIAL optimization, MACHINE learning, OPEN-ended questions

A Short Note on the Early History of the Spectrum Problem and Finite Model Theory.

Authors: Reichenberger, Andrea

Source: History & Philosophy of Logic; May2025, Vol. 46 Issue 2, p287-296, 10p

Subject Terms: FINITE model theory, MATHEMATICS, MATHEMATICAL logic, COMPUTER science, COMPUTATIONAL mathematics

Enhanced logic-based Benders decomposition methods for the distributed heterogeneous non-permutation flow shop scheduling problem.

Authors: Xiong, Fuli Jing, Lin Xiong, Ningxin et al.

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10517-10554, 38p

Splitting a Disjunctive Logic Program.

Authors: BEN-ELIYAHU-ZOHARY, RACHEL

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p507-521, 15p

Subject Terms: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

Speeding Up Floyd–Warshall's Algorithm to Compute All-Pairs Shortest Paths and the Transitive Closure of a Graph.

Authors: Lancia, Giuseppe Dalpasso, Marcello

Source: Algorithms; Sep2025, Vol. 18 Issue 9, p560, 19p

Subject Terms: GRAPH theory, GRAPH algorithms, MATHEMATICAL optimization, ALGORITHMS, DYNAMIC programming

The Borel complexity of the class of models of first-order theories.

Authors: Andrews, Uri Gonzalez, David Lempp, Steffen et al.

Source: Proceedings of the American Mathematical Society; Sep2025, Vol. 153 Issue 9, p4013-4024, 12p

Subject Terms: FIRST-order logic, SCIENTIFIC models, PHILOSOPHY of science

Enhanced Cubic Spline Interpolation Method Incorporating Trapezoidal Fuzzy Number.

Authors: Karpagam, A. Suguna, M.

Source: Palestine Journal of Mathematics; 2025, Vol. 14 Issue 3, p581-589, 9p

Subject Terms: INTERPOLATION, FUZZY numbers, FUZZY algorithms, COMPUTATIONAL intelligence, UNCERTAINTY (Information theory), MATHEMATICAL models, NONLINEAR functions, FUZZY mathematics

A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems: A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems

Authors: BORGER, EGON

Source: Mathematical Logic Quarterly. 25:135-162

Subject Terms: partial implicational propositional calculus in two variables, representation theorems, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, semi-Thue system, recursive reduction, recursive classes of first-order logical formulae with equality, 0102 computer and information sciences, Thue and Post systems, etc, Automata and formal grammars in connection with logical questions, 01 natural sciences, Turing machine, partial recursive functions, Decidability of theories and sets of sentences, algorithmic systems, Turing machines and related notions, Other degrees and reducibilities in computability and recursion theory, many-one equivalence, word problem of Thue systems, 0101 mathematics, Markov algorithm, Word problems, etc. in computability and recursion theory, decision problems, register machine, Post normal calculus

File Description: application/xml

Access URL: https://zbmath.org/3668573
https://doi.org/10.1002/malq.19790250707
https://core.ac.uk/display/54850921
https://arpi.unipi.it/handle/11568/280
http://onlinelibrary.wiley.com/doi/10.1002/malq.19790250707/abstract
https://hdl.handle.net/11568/280

Balancing U-shaped assembly lines with collaborative robots: constraint programming approaches and Benders' decomposition algorithms.

Authors: Zheng, Chenyu Li, Zixiang Ponnambalam, S. G.

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10468-10489, 22p

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p580-614, 35p

Subject Terms: MATHEMATICAL proofs, COMPUTER logic, PHILOSOPHY of science, MATHEMATICAL logic, DISCRETE mathematics, WORD problems (Mathematics), RAMSEY numbers, PROOF theory, KOLMOGOROV complexity

INTERNAL AND EXTERNAL CALCULI: ORDERING THE JUNGLE WITHOUT BEING LOST IN TRANSLATIONS.

Authors: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier et al.

Source: Bulletin of the Section of Logic; Mar2025, Vol. 54 Issue 1, p59-151, 93p

Subject Terms: PROOF theory, NONCLASSICAL mathematical logic, INTUITIONISTIC mathematics, CONDITIONALS (Logic)