Timebound

Timebound

Author: Rysa Walker

Publisher:

Published: 2013

Total Pages: 0

ISBN-13: 9781477848159

DOWNLOAD EBOOK

When a murder in the past destroys the foundation of her present-day life, Kate uses her genetic ability to time-travel to stop the murder and attempt to change the timeline--which may erase the memory of the boy she loves.


Distributed Computing

Distributed Computing

Author: Shlomi Dolev

Publisher: Springer

Published: 2006-10-05

Total Pages: 599

ISBN-13: 3540446273

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Symposium on Distributed Computing, DISC 2006. The book presents 35 revised full papers together with 1 invited paper and 13 announcements of ongoing works, all carefully selected for inclusion in the book. The entire scope of current issues in distributed computing is addressed, ranging from foundational and theoretical topics to algorithms and systems issues and to applications in various fields.


Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Author: Kurt Jensen

Publisher: Springer

Published: 2004-03-09

Total Pages: 622

ISBN-13: 3540247300

DOWNLOAD EBOOK

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos ́ e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between di?erent communities including, but not - mited to, those devoted to formal methods, software and hardware veri?cation, static analysis, programming languages, software engineering, real-time systems, and communication protocols that share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures, and methodologies, TACAS aims to support researchers in their quest to improve the utility, rel- bility, ?exibility, and e?ciency of tools for building systems. TACASseekstheoreticalpaperswithaclearlinktotoolconstruction,papers describingrelevantalgorithmsandpracticalaspectsoftheirimplementation,- pers giving descriptions of tools and associated methodologies, and case studies with a conceptual message.


Survey Research in the Social Sciences

Survey Research in the Social Sciences

Author: Charles Y. Glock

Publisher: Russell Sage Foundation

Published: 1967-12-31

Total Pages: 566

ISBN-13: 1610448413

DOWNLOAD EBOOK

Survey research was for a long time thought of primarily as a sociological tool. It is relatively recently that this research method has been adopted by other social sciences and related professional disciplines. The amount and quality of its use, however, vary considerably from field to field. This volume describes the elementary logic of survey design and analysis and provides, for each discipline, an evaluation of how survey research has been used and conceivably may be used to deal with the central problems of each field.


Algorithms and Complexity

Algorithms and Complexity

Author: Bozzano G Luisa

Publisher: Elsevier

Published: 1990-09-12

Total Pages: 1014

ISBN-13: 9780444880710

DOWNLOAD EBOOK

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.


Interconnection Networks and Mapping and Scheduling Parallel Computations

Interconnection Networks and Mapping and Scheduling Parallel Computations

Author: Derbiau Frank Hsu

Publisher: American Mathematical Soc.

Published: 1995

Total Pages: 354

ISBN-13: 0821802380

DOWNLOAD EBOOK

The interconnection network is one of the most basic components of a massively parallel computer system. Such systems consist of hundreds or thousands of processors interconnected to work cooperatively on computations. One of the central problems in parallel computing is the task of mapping a collection of processes onto the processors and routing network of a parallel machine. Once this mapping is done, it is critical to schedule computations within and communication among processors so that the necessary inputs for a process are available where and when the process is scheduled to be computed. This book contains the refereed proceedings of a DIMACS Workshop on Massively Parallel Computation, held in February 1994. The workshop brought together researchers from universities and laboratories, as well as practitioners involved in the design, implementation, and application of massively parallel systems. Focusing on interconnection networks of parallel architectures of today and of the near future, the book includes topics such as network topologies, network properties, message routing, network embeddings, network emulation, mappings, and efficient scheduling.


On the Move to Meaningful Internet Systems: OTM 2014 Workshops

On the Move to Meaningful Internet Systems: OTM 2014 Workshops

Author: Robert Meersman

Publisher: Springer

Published: 2014-10-18

Total Pages: 679

ISBN-13: 3662455501

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the following 9 international workshops: OTM Academy, OTM Industry Case Studies Program, Cloud and Trusted Computing, C&TC, Enterprise Integration, Interoperability, and Networking, EI2N, Industrial and Business Applications of Semantic Web Technologies, INBAST, Information Systems, om Distributed Environment, ISDE, Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society, META4eS, Mobile and Social Computing for collaborative interactions, MSC, and Ontology Content, OnToContent 2014. These workshops were held as associated events at OTM 2014, the federated conferences "On The Move Towards Meaningful Internet Systems and Ubiquitous Computing", in Amantea, Italy, in October 2014. The 56 full papers presented together with 8 short papers, 6 posters and 5 keynotes were carefully reviewed and selected from a total of 96 submissions. The focus of the workshops were on the following subjects models for interoperable infrastructures, applications, privacy and access control, reliability and performance, cloud and configuration management, interoperability in (System-of-)Systems, distributed information systems applications, architecture and process in distributed information system, distributed information system development and operational environment, ontology is use for eSociety, knowledge management and applications for eSociety, social networks and social services, social and mobile intelligence, and multimodal interaction and collaboration.


Divine Providence

Divine Providence

Author: Emanuel Swedenborg

Publisher: The Swedenborg Foundation

Published: 2003

Total Pages: 491

ISBN-13: 0877855056

DOWNLOAD EBOOK

In Divine Providence, Swedish scientist-turned-seer Emanuel Swedenborg undertakes the difficult task of bridging his transcendent vision of a perfectly loving God with the sometimes unloving world where we all live.


The Metaphysics of Identity

The Metaphysics of Identity

Author: André Gallois

Publisher: Routledge

Published: 2016-06-23

Total Pages: 202

ISBN-13: 113501566X

DOWNLOAD EBOOK

The philosophical problem of identity and the related problem of change go back to the ancient Greek philosophers and fascinated later figures including Leibniz, Locke, and Hume. Heraclitus argued that one could not swim in the same river twice because new waters were ever flowing in. When is a river not the same river? If one removes one plank at a time when is a ship no longer a ship? What is the basic nature of identity and persistence? In this book, André Gallois introduces and assesses the philosophical puzzles posed by things persisting through time. Beginning with essential historical background to the problem he explores the following key topics and debates: mereology and identity, including arguments from 'Leibniz's Law' the constitution view of identity the 'relative identity' argument concerning identity temporary identity four-dimensionalism, counterpart and multiple counterpart theory supervenience the problem of temporary intrinsics the necessity of identity Indeterminate identity presentism criteria of identity conventionalism about identity. Including chapter summaries, annotated further reading and a glossary, this book is essential reading for anyone seeking a clear and informative introduction to and assessment of the metaphysics of identity.