1
by Cicalese, Ferdinando
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Errors Over a General Channel -- Variations on a Theme of Ulam and Rényi -- Time-outs -- Broadcast...

2
Published 2015
Springer Berlin Heidelberg
... submissions: 71 out of 261 in Track A, Design and Analysis, and 15 out of 59 in Track B, Engineering...

3
Published 2014
Springer Berlin Heidelberg
... the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting...

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Network Construction from Graphs with Out-Degree 1 -- On the Self-stabilization of Mobile Robots in Graphs...

5
by Urquhart, Neil
Published 2022
Springer International Publishing
... Research, and Mathematics. It is accompanied by a repository of source code, allowing readers to try out...

6
by Chambert-Loir, Antoine
Published 2022
Springer International Publishing
... (with solutions), and an introductory chapter covering the prerequisites, this text stems out lectures given...

7
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems -- New...

8
by Akram, Muhammad
Published 2018
Springer Nature Singapore
... neutrosophic soft graphs, before Chap. 8 rounds out the book by considering neutrosophic soft rough graphs...

9
by Draheim, Dirk
Published 2017
Springer International Publishing
.... It turns out that F.P. conditionalization meets and generalizes Jeffrey conditionalization, i.e., from...

10
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... for Quantified Boolean Formulas -- Solver Techniques and Algorithms -- Factoring Out Assumptions to Speed Up MUS...

11
Published 2006
Springer US
... dynamically and autonomously in order to improve its performance in carrying out tasks. The emergence...

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...

13
Published 2017
Springer International Publishing
... to reexamine the state of research in their field. To this end, a call was sent out to all known francophone...

14
Published 2010
Springer Berlin Heidelberg
... selected out of 42 submissions from 13 countries. The refereeing process was rigorous, involving at least...

15
Published 2017
Springer International Publishing
Table of Contents: ... the usability of healthcare systems in emergencies -- Watch out! User-centered Feedback Design for a V2X...

16
Published 2006
Springer Berlin Heidelberg
... speakers and from the technical sessions. We present four invited papers, 21 technical papers, selected out...

17
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... for Cutting Out Polygons with Lines -- On Unfolding Lattice Polygons/Trees and Diameter-4 Trees -- Restricted...

18
Published 2022
Springer International Publishing
Table of Contents: ...Networking and Architectures -- Accelerating GPU-Based Out-of-Core Stencil Computation...

19
Published 2005
Springer Berlin Heidelberg
... selected out of more than 100 submissions. There was a selection ?lter in which each paper was evaluated...

20
Published 2007
Springer Berlin Heidelberg
..., Turkey, the UK, the USA, and the US minor outlying islands...