Sailing Routes in the World of Computation

14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

AvFlorin Manea,Russell G. Miller

Häftad, Engelska, 2018

Del 10936 i serien Lecture Notes in Computer Science

555 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2018-07-05
Mått:155 x 235 x 25 mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:434
Förlag:Springer International Publishing AG
ISBN:9783319944173

Utforska kategorier

Innehållsförteckning

A Journey To Computably Enumerable Structures (Tutorial Lectures).- Polynomial-time Presentations of Algebraic Number Fields (Extended abstract).- Multiple Permitting and Array Noncomputability.- Degrees of Categoricity for Prime and Homogeneous Models.- Universality in Freezing Cellular Automata.- A Deontic Logic Reasoning Infrastructure.- Optimised Program Extraction for Induction and Coinduction.- Computing Tree Width: From Theory to Practice and Back.- Using Structural Properties for Integer Programs.- From Eventually Different Functions to Pandemic Numberings.- Divide and Conquer Computation of the Multi-String BWT and LCP Array.- Some Observations on Infinitary Complexity.- Taming Koepke's Zoo.- Online Computability and Differentiation in the Cantor Space.- Turing's Vision and Deep Learning.- Computing and Scheduling with Explorable Uncertainty.- Diminishable Parameterized Problems and Strict Polynomial Kernelization.- New Nonterminal Complexity Results for Semi-Conditional Grammars.- Kernelization Lower Bounds for Finding Constant-Size Subgraphs.- On General Sum Approximations of Irrational Numbers.- Computability of Ordinary Differential Equations.- Topological Analysis of Representations.- A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines.- Weak Reduction Principle and Computable Metric Spaces.- Decidable and Undecidable Fragments of First-Order Concatenation Theory.- Algorithm Analysis through Proof Complexity.- Computing with SAT Oracles: Past, Present & Future.- The Isometry Degree of a Computable Copy of ℓᵖ.- Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms.- A c.e. Weak Truth Table Degree which is Array Noncomputable and r-maximal.- The Complexity of Tukey Types and Cofinal Types.- Functionals of Type 3 as Realisers of Classical Theorems in Analysis.- Enumeration Degrees and Topology.- A Taxonomy of Deviant Encodings.- Elementary Bi-embeddability Spectra of Structures.- A Generic m-reducibility.- Some Nonstandard Equivalences in Reverse Mathematics.- Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended abstract).- What is the Concept of Computation?.- Witness Hiding without Extractors or Simulators.- Algorithms and Geometric Constructions.- Computing with Multisets : A Survey on Reaction Automata Theory.

Mer från samma författare

Del 11558

Computing with Foresight and Industry

Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero

Häftad, 2019

572 kr

Computing with Foresight and Industry

Giuseppe Primiero, Daniel Paulusma, Barnaby Martin, Florin Manea

E-bok

2019

718 kr

Del 12098

Beyond the Horizon of Computability

Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly

Häftad, 2020

572 kr

Beyond the Horizon of Computability

Arno Pauly, Florin Manea, Gianluca Della Vedova, Marcella Anselmo

E-bok

2020

739 kr

Del 12813

Connecting with Computability

Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque

Häftad, 2021

555 kr

Connecting with Computability

David Fernandez-Duque, Florin Manea, Andreas Weiermann, Liesbeth De Mol

E-bok

2021

732 kr

Del 13359

Revolutions and Revelations in Computability

Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly

Häftad, 2022

720 kr

Revolutions and Revelations in Computability

Arno Pauly, Florin Manea, Johanna N. Y. Franklin, Ulrich Berger

E-bok

2022

903 kr

Del 13967

Unity of Logic and Computation

Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea

Häftad, 2023

798 kr

Unity of Logic and Computation

Florin Manea, Steffen Lempp, Besik Dundua, Gianluca Della Vedova

E-bok

2023

985 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Combinatorics on Words

Dirk Nowotka, Florin Manea

E-bok

2015

718 kr