|
Showing 1 - 9 of
9 matches in All Departments
|
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (1st ed. 2023)
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
|
R1,944
Discovery Miles 19 440
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Conference on Unity of Logic and Computation,
CiE 2023, held in Batumi, Georgia, during July 24–28,
2023. The 23 full papers and 13 invited papers included in
this book were carefully reviewed and selected from 51 submissions.
They were organized in topical sections as follows: ​Degree
theory;Â Proof Theory;Â Computability;Â Algorithmic
Randomness;Â Computational Complexity;Â Interactive
proofs; and Combinatorial approaches.
|
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings (Paperback, 1st ed. 2019)
Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero
|
R1,570
Discovery Miles 15 700
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 15th
Conference on Computability in Europe, CiE 2019, held in Durham,
UK, in July 2019. The 20 revised full papers presented were
carefully reviewed and selected from 35 submissions. In addition,
this volume includes 7 invited papers. The conference CiE 2018 had
the following six special sessions: computational neuroscience,
history and philosophy of computing, lowness notions in
computability, probabilistic programming and higher-order
computation, smoothed and probabilistic analysis of algorithms, and
transnite computations.
|
Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings (Paperback, 1st ed. 2018)
Florin Manea, Russell G. Miller, Dirk Nowotka
|
R1,606
Discovery Miles 16 060
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 14th
Conference on Computability in Europe, CiE 2018, held in Kiel,
Germany, in July/ August 2017.The 26 revised full papers were
carefully reviewed and selected from 55 submissions. In addition,
this volume includes 15 invited papers. The conference CiE 2018 has
six special sessions, namely: Approximation and optimization,
Bioinformatics and bio-inspired computing, computing with imperfect
information, continuous computation, history and philosophy of
computing (celebrating the 80th birthday of Martin Davis), and
SAT-solving.
This book constitutes the refereed proceedings of the 10th
International Conference on Combinatorics on Words, WORDS 2015,
held in Kiel, Germany, in September 2015 under the auspices of the
EATCS. The 14 revised full papers presented were carefully reviewed
and selected from 22 submissions. The main object in the
contributions are words, finite or infinite sequences of symbols
over a finite alphabet. The papers reflect both theoretical
contributions related to combinatorial, algebraic, and algorithmic
aspects of words, as well as to contributions presenting
applications of the theory of words in other field of computer
science, linguistics, biology, bioinformatics, or physics.
|
Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings (Paperback, 1st ed. 2022)
Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly
|
R1,966
Discovery Miles 19 660
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 18th Conference on
Computability in Europe, CiE 2022, in Swansea, UK, in July 2022.
The 19 full papers together with 7 invited papers presented in this
volume were carefully reviewed and selected from 41 submissions.
The motto of CiE 2022 was "Revolutions and revelations in
computability". This alludes to the revolutionary developments we
have seen in computability theory, starting with Turing's and
Goedel's discoveries of the uncomputable and the unprovable and
continuing to the present day with the advent of new computational
paradigms such as quantum computing and bio-computing, which have
dramatically changed our view of computability and revealed new
insights into the multifarious nature of computation.
|
Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings (Paperback, 1st ed. 2021)
Liesbeth de Mol, Andreas Weiermann, Florin Manea, David Fernandez-Duque
|
R1,632
Discovery Miles 16 320
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 17th Conference on
Computability in Europe, CiE 2021, organized by the University of
Ghent in July 2021. Due to COVID-19 pandemic the conference was
held virtually. The 48 full papers presented in this volume were
carefully reviewed and selected from 50 submissions. CiE promotes
the development of computability-related science, ranging over
mathematics, computer science and applications in various natural
and engineering sciences, such as physics and biology, as well as
related fields, such as philosophy and history of computing. CiE
2021 had as its motto Connecting with Computability, a clear
acknowledgement of the connecting and interdisciplinary nature of
the conference series which is all the more important in a time
where people are more than ever disconnected from one another due
to the COVID-19 pandemic.
|
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings (Paperback, 1st ed. 2020)
Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
|
R1,596
Discovery Miles 15 960
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 16th Conference on
Computability in Europe, CiE 2020, which was planned to be held in
Fisciano, Italy, during June 29 until July 3, 2020. The conference
moved to a virtual format due to the coronavirus pandemic. The 30
full and 5 short papers presented in this volume were carefully
reviewed and selected from 72 submissions. CiE promotes the
development of computability-related science, ranging over
mathematics, computer science and applications in various natural
and engineering sciences, such as physics and biology, as well as
related fields, such as philosophy and history of computing. CiE
2020 had as its motto Beyond the Horizon of Computability,
reflecting the interest of CiE in research transgressing the
traditional boundaries of computability theory.
|
Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings (Paperback, 1st ed. 2017)
Jarkko Kari, Florin Manea, Ion Petre
|
R2,802
Discovery Miles 28 020
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 13th
Conference on Computability in Europe, CiE 2017, held in Turku,
Finland, in June 2017. The 24 revised full papers and 12 invited
papers were carefully reviewed and selected from 69 submissions.
The conference CiE 2016 has six special sessions, namly:
algorithmics for biology; combinatorics and algorithmics on words;
computability in analysis, algebra, and geometry; cryptography and
information theory; formal languages and automata theory; and
history and philosophy of computing.
his book constitutes the refereed proceedings of the 18th
International Conference on Descriptional Complexity of Formal
Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The
13 full papers presented together with 4 invited talks were
carefully reviewed and selected from 21 submissions.Descriptional
Complexity is a field in Computer Science that deals with the size
of all kind of objects that occur in computational models, such as
Turing Machines, finte automata, grammars, splicing systems and
others. The topics of this conference are related to all aspects of
descriptional complexity.
|
|