-
1
المؤلفون: Sebastian Berndt, Leah Epstein, Klaus Jansen, Asaf Levin, Marten Maack, Lars Rohwedder
المساهمون: QE Econometrics, RS: GSBE other - not theme-related research
المصدر: Journal of Computer and System Sciences, 134, 42-72. Academic Press Inc.
مصطلحات موضوعية: FOS: Computer and information sciences, 000 Computer science, knowledge, general works, APPROXIMATION SCHEMES, General Computer Science, Computer Networks and Communications, Applied Mathematics, The migration factor, ALGORITHMS, Theoretical Computer Science, DUAL VERSION, Computational Theory and Mathematics, Computer Science, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), Worst-case analysis, Bin covering
-
2
المؤلفون: Laura Bozzelli, Angelo Montanari, Adriano Peron
المساهمون: Arkadev Chattopadhyay Paul Gastin, Bozzelli, L., Montanari, A., Peron, A., Arkadev Chattopadhyay, Paul Gastin
المصدر: ACM Transactions on Computational Logic. 24:1-32
مصطلحات موضوعية: Interval temporal logic, Model checking, Computational Mathematics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 000 Computer science, knowledge, general works, Pushdown systems, General Computer Science, Logic, Computer Science::Logic in Computer Science, Computer Science, Computer Science::Formal Languages and Automata Theory, Theoretical Computer Science
وصف الملف: ELETTRONICO
-
3
المؤلفون: Casel, Katrin, Fernau, Henning, Grigoriev, Alexander, Schmid, Markus L., Whitesides, Sue, Larsen, Kim G., Bodlaender, Hans L., Raskin, Jean-Francois
المساهمون: QE Operations research, RS: GSBE ETBC, Data Analytics and Digitalisation, RS: GSBE Theme Data-Driven Decision-Making, RS: FSE DACS Mathematics Centre Maastricht
المصدر: Maastricht University
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), 83, 30:1-30:15
Discrete & Computational Geometry, 69, 937-980. Springer Verlagمصطلحات موضوعية: Computational Geometry (cs.CG), FOS: Computer and information sciences, c00 - Mathematical and Quantitative Methods: General, Visibility graphs, exact algorithms, Graph recognition, 02 engineering and technology, Computational Complexity (cs.CC), Theoretical Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, Geometric graph classes, 060201 languages & linguistics, Visibility layout, 000 Computer science, knowledge, general works, 06 humanities and the arts, Mathematical and Quantitative Methods: General, NP-completeness, Computer Science - Computational Complexity, Computational Theory and Mathematics, 0602 languages and literature, Computer Science, Computer Science - Computational Geometry, 020201 artificial intelligence & image processing, Geometry and Topology, F.2.2, MathematicsofComputing_DISCRETEMATHEMATICS
-
4
المؤلفون: Juha Kärkkäinen, Marcin Piątkowski, Simon J. Puglisi
المساهمون: Chatzigiannakis, Ioannis, Indyk, Piotr, Kuhn, Fabian, Muscholl, Anna, Practical Algorithms and Data Structures on Strings research group / Juha Kärkkäinen, Helsinki Institute for Information Technology, Department of Computer Science, Finnish Centre of Excellence in Algorithmic Data Analysis Research (Algodan), Bioinformatics, Genome-scale Algorithmics research group / Veli Mäkinen, Algorithmic Bioinformatics
المصدر: Theoretical Computer Science. 942:180-199
مصطلحات موضوعية: String inference, 000 Computer science, knowledge, general works, General Computer Science, LCP array, education, 0102 computer and information sciences, 02 engineering and technology, 113 Computer and information sciences, Quantitative Biology::Genomics, 01 natural sciences, Theoretical Computer Science, 010201 computation theory & mathematics, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, NP-hardness, 020201 artificial intelligence & image processing, Computer Science::Data Structures and Algorithms, Computer Science::Formal Languages and Automata Theory
-
5
المؤلفون: Paolo Baldan, Alessandra Raffaetà
المصدر: Theoretical Computer Science. 935:174-199
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 000 Computer science, knowledge, general works, Settore INF/01 - Informatica, General Computer Science, F.1.2, F.3.2, F.4.1, Behaviour preserving quotient, Event structures, History-preserving bisimilarity, Minimisation, Logic in Computer Science (cs.LO), Theoretical Computer Science, Computer Science, Behaviour-preserving quotient
-
6
المؤلفون: Laurent Feuilloley, Pierre Fraigniaud
المساهمون: Networks, Graphs and Algorithms (GANG), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
المصدر: DISC 2017-31st International Symposium on Distributed Computing
DISC 2017-31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria. pp.1-15, ⟨10.4230/LIPIcs.DISC.2017.16⟩مصطلحات موضوعية: FOS: Computer and information sciences, 000 Computer science, knowledge, general works, Computer Science - Distributed, Parallel, and Cluster Computing, Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, Computer Science, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Distributed, Parallel, and Cluster Computing (cs.DC), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Software, Theoretical Computer Science
-
7
المؤلفون: Ziyun Huang, Qilong Feng, Jianxin Wang, Jinhui Xu
المصدر: Algorithmica. 84:3034-3053
مصطلحات موضوعية: 000 Computer science, knowledge, general works, General Computer Science, Applied Mathematics, Computer Science, Computer Science Applications
-
8
المصدر: ACM Transactions on Computation Theory. 14:1-26
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Computational Complexity, 000 Computer science, knowledge, general works, Computational Theory and Mathematics, Computer Science, Computational Complexity (cs.CC), F.2.0, MathematicsofComputing_DISCRETEMATHEMATICS, Theoretical Computer Science
-
9
المؤلفون: Bhattacharya, Binay, Das, Sandip, Dev, Subhadeep Ranjan
المصدر: Theoretical Computer Science. 906:64-75
مصطلحات موضوعية: 000 Computer science, knowledge, general works, General Computer Science, Computer Science, Theoretical Computer Science
-
10
المؤلفون: Cai, Jin-Yi, Fu, Zhiguo, Girstmair, Kurt, Kowalczyk, Michael
المصدر: computational complexity. 32
مصطلحات موضوعية: Computational Mathematics, 000 Computer science, knowledge, general works, Computational Theory and Mathematics, General Mathematics, Computer Science, Theoretical Computer Science
-
11
مصطلحات موضوعية: 060201 languages & linguistics, FOS: Computer and information sciences, 000 Computer science, knowledge, general works, General Computer Science, 06 humanities and the arts, 02 engineering and technology, Computational Complexity (cs.CC), Theoretical Computer Science, Computer Science - Computational Complexity, 0602 languages and literature, Computer Science, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, 020201 artificial intelligence & image processing, Data Structures and Algorithms (cs.DS)
وصف الملف: application/pdf
-
12
المصدر: Leibniz International Proceedings in Informatics
18:1-18:15مصطلحات موضوعية: Mathematics::Combinatorics, 000 Computer science, knowledge, general works, Computer Science::Discrete Mathematics, TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY, Computer Science, Computer Science::Data Structures and Algorithms, MathematicsofComputing_DISCRETEMATHEMATICS
وصف الملف: application/pdf
-
13
المصدر: SIAM Journal on Discrete Mathematics. 36(2):1102-1123
مصطلحات موضوعية: FOS: Computer and information sciences, graph algorithms, 000 Computer science, knowledge, general works, Discrete Mathematics (cs.DM), General Mathematics, matching, combinatorial reconfiguration, combinatorial shortest paths, 52B05, TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY, Computer Science - Data Structures and Algorithms, Computer Science, Data Structures and Algorithms (cs.DS), 05C85, Computer Science - Discrete Mathematics, MathematicsofComputing_DISCRETEMATHEMATICS
وصف الملف: application/pdf
-
14
المؤلفون: Alexandros Hollender, Paul Goldberg
المصدر: Journal of Computer and System Sciences. 122:34-62
مصطلحات موضوعية: FOS: Computer and information sciences, Discrete mathematics, Computer Science::Computer Science and Game Theory, 000 Computer science, knowledge, general works, Hairy ball theorem, Toroid, General Computer Science, Computer Networks and Communications, Applied Mathematics, Computational Complexity (cs.CC), Computer Science::Computational Complexity, PPAD, Theoretical Computer Science, Computer Science - Computational Complexity, Computational Theory and Mathematics, Computer Science - Computer Science and Game Theory, Computer Science, Tangent vector, Ball (mathematics), Computational problem, Computer Science and Game Theory (cs.GT), Mathematics, Conceptual level
-
15
-
16
-
17
-
18
المصدر: Algorithmica. 84:304-324
مصطلحات موضوعية: Combinatorics, Tree (data structure), 000 Computer science, knowledge, general works, General Computer Science, Applied Mathematics, Computer Science, Computer Science Applications, Mathematics
-
19
المؤلفون: Orr Fischer, Talya Eden, Nimrod Fiat, Rotem Oshman, Fabian Kuhn
المصدر: Distributed Computing. 35:207-234
مصطلحات موضوعية: Extremal combinatorics, 000 Computer science, knowledge, general works, Matching (graph theory), Computer Networks and Communications, Open problem, 0102 computer and information sciences, 01 natural sciences, Upper and lower bounds, Theoretical Computer Science, Combinatorics, 03 medical and health sciences, 0302 clinical medicine, Computational Theory and Mathematics, 010201 computation theory & mathematics, Hardware and Architecture, 030220 oncology & carcinogenesis, Computer Science, Partition (number theory), Circuit complexity, Connection (algebraic framework), Time complexity, Mathematics
-
20
المؤلفون: Junjie Ye, Yixin Cao, R. B. Sandeep, Ashutosh Rai
المساهمون: Wagner, Michael
المصدر: 26th Annual European Symposium on Algorithms (ESA 2018)
مصطلحات موضوعية: FOS: Computer and information sciences, Polynomial, General Computer Science, 02 engineering and technology, 0102 computer and information sciences, Edge (geometry), engineering.material, 01 natural sciences, Combinatorics, Polynomial kernel, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), 0101 mathematics, Mathematics, 000 Computer science, knowledge, general works, Applied Mathematics, 010102 general mathematics, Diamond, A diamond, Computer Science Applications, Kernel (image processing), 010201 computation theory & mathematics, Computer Science, Theory of computation, engineering, 020201 artificial intelligence & image processing, Null graph