Search Results - "Mathematical theory of computation" :: K.UTB vyhledávací portál

Loading…

Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice

by Minato, Shin-ichi, Uno, Takeaki, Yasuda, Norihito, Horiyama, Takashi, Kawarabayashi, Ken-ichi, Yamashita, Shigeru, Ono, Hirotaka
Year of Publication 2025

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Year of Publication 2025

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Auf metrischen und differentialgeometrischen Konzepten basierende neue mathematische Algorithmen zur Sensordatenfusion mit Anwendungen in der Faser-Bragg-Gitter-Formsensorik

by Pauer, Hendrikje
Year of Publication 2021

Get full text

eBook

Loading…

Robust Monotone Submodular Function Maximization

by Orlin, James B., Schulz, Andreas S., Udwani, Rajan
Published in Integer Programming and Combinatorial Optimization (01.01.2016)

Get full text

Book Chapter

Loading…

Quantum computing for the quantum curious

by Hughes, Ciaran, Isaacson, Joshua, Perry, Anastasia, Sun, Ranbel F, Turner, Jessica
Year of Publication 2021

Get full text

eBook Book

Loading…

Designing a Knowledge Representation Tool for Subject Matter Structuring

by Adorni, Giovanni, Koceva, Frosina
Published in Graph Structures for Knowledge Representation and Reasoning (2016)

Get full text

Book Chapter

Loading…

Biological Computing

by Xu, Jin
Year of Publication 2025

Get full text

eBook

Loading…

An Efficient PTAS for Parallel Machine Scheduling with Capacity Constraints

by Chen, Lin, Jansen, Klaus, Luo, Wenchang, Zhang, Guochuan
Published in Combinatorial Optimization and Applications (2016)

Get full text

Book Chapter

Loading…

A First Introduction to Quantum Computing and Information

by Zygelman, Bernard
Year of Publication 2018

Get full text

eBook Book

Loading…

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

by Rabe, Florian, Farmer, William M, Passmore, Grant O, Youssef, Abdou
Year of Publication 2018

Get full text

eBook Conference Proceeding

Loading…

Optimization Models for a Real-World Snow Plow Routing Problem

by Kinable, Joris, van Hoeve, Willem-Jan, Smith, Stephen F.
Published in Integration of AI and OR Techniques in Constraint Programming (01.01.2016)

Get full text

Book Chapter

Loading…

Arto Salomaa: Mathematician, Computer Scientist, and Teacher: A Thematic Biography

by Paakki, Jukka
Year of Publication 09.10.2019

Get full text

eBook

Loading…

Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing

by Dejemeppe, Cyrille, Devolder, Olivier, Lecomte, Victor, Schaus, Pierre
Published in Integration of AI and OR Techniques in Constraint Programming (01.01.2016)

Get full text

Book Chapter

Loading…

Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

by Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla
Year of Publication 2019

Get full text

eBook

Loading…

Safe Baby AGI

by Bieger, Jordi, Thórisson, Kristinn R., Wang, Pei
Published in Artificial General Intelligence (2015)

Get full text

Book Chapter

Loading…

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

by Vojnar, Tomás, Zhang, Lijun
Year of Publication 2019

Get full text

eBook

Loading…

Maximizing Monotone Submodular Functions over the Integer Lattice

by Soma, Tasuku, Yoshida, Yuichi
Published in Integer Programming and Combinatorial Optimization (2016)

Get full text

Book Chapter

Loading…

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications

by Hameurlain, Abdelkader, Küng, Josef, Wagner, Roland, Decker, Hendrik
Year of Publication 2017

Get full text

eBook

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database