Search results: Found 24

Listing 1 - 10 of 24 << page
of 3
>>
Sort by
Quantitative Ansätze in den Literatur- und Geisteswissenschaften. Systematische und historische Perspektiven

Authors: --- --- ---
ISBN: 9783110523300 Year: Pages: 396 DOI: 10.1515/9783110523300 Language: German
Publisher: De Gruyter
Subject: Languages and Literatures
Added to DOAB on : 2018-05-31 14:06:11
License:

Loading...
Export citation

Choose an application

Abstract

Starting from the early 19th century, quantitative methods have been applied to describe, analyze, and interpret texts in literary studies and the humanities. With the emergence of the digital humanities, such approaches have gained in importance. The volume aims to historically contextualize and examine quantifying procedures in relation to theory and to assess the value of quantitative data in the humanities.

Applications of Secure Multiparty Computation

Authors: ---
Book Series: Cryptology and Information Security Series ISSN: 18716431 18798101 ISBN: 9781614995319 9781614995326 Year: Volume: 13 Pages: 264 DOI: 10.3233/978-1-61499-532-6-1 Language: English
Publisher: IOS Press
Subject: Computer Science
Added to DOAB on : 2017-02-08 18:24:57
License:

Loading...
Export citation

Choose an application

Abstract

We generate and gather a lot of data about ourselves and others, some of it highly confidential. The collection, storage and use of this data is strictly regulated by laws, but restricting the use of data often limits the benefits which could be obtained from its analysis. Secure multi-party computation (SMC), a cryptographic technology, makes it possible to execute specific programs on confidential data while ensuring that no other sensitive information from the data is leaked. SMC has been the subject of academic study for more than 30 years, but first attempts to use it for actual computations in the early 2000s – although theoretically efficient – were initially not practicable. However, improvements in the situation have made possible the secure solving of even relatively large computational tasks.This book describes how many different computational tasks can be solved securely, yet efficiently. It describes how protocols can be combined to larger applications, and how the security-efficiency trade-offs of different components of an SMC application should be chosen. Many of the results described in this book were achieved as part of the project Usable and Efficient Secure Multi-party Computation (UaESMC), which was funded by the European Commission.The book will be of interest to all those whose work involves the secure analysis of confidential data.

Experiments on flux qubits with pi-shifters

Author:
Book Series: Experimental Condensed Matter Physics / Karlsruher Institut für Technologie, Physikalisches Institut ISSN: 21919925 ISBN: 9783866446441 Year: Volume: 1 Pages: XI, 110 p. DOI: 10.5445/KSP/1000022237 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Physics (General)
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

The results of the research re-ported in this work show that tunable gap flux qubits have a potential for building quantum registers. Cavities coupled to flux qubits can be used for in-formation storage and transfer between qubits. SFS &#960;-shifters provide a simple approach to bias multi-qubit circuits. A possibility to change the qubit resonance frequency while preserving qubit coherence enables implementation of switchable coupling between qubits and cavities.

Neural Computation in Embodied Closed-Loop Systems for the Generation of Complex Behavior: From Biology to Technology

Authors: ---
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889456055 Year: Pages: 278 DOI: 10.3389/978-2-88945-605-5 Language: English
Publisher: Frontiers Media SA
Subject: Science (General) --- Neurology
Added to DOAB on : 2019-01-23 14:53:43
License:

Loading...
Export citation

Choose an application

Abstract

How can neural and morphological computations be effectively combined and realized in embodied closed-loop systems (e.g., robots) such that they can become more like living creatures in their level of performance? Understanding this will lead to new technologies and a variety of applications.To tackle this research question, here, we bring together experts from different fields (including Biology, Computational Neuroscience, Robotics, and Artificial Intelligence) to share their recent findings and ideas and to update our research community. This eBook collects 17 cutting edge research articles, covering neural and morphological computations as well as the transfer of results to real world applications, like prosthesis and orthosis control and neuromorphic hardware implementation.

Quantum simulation experiments with superconducting circuits

Author:
Book Series: Experimental Condensed Matter Physics / Karlsruher Institut für Technologie, Physikalisches Institut ISSN: 21919925 ISBN: 9783731507802 Year: Volume: 20 Pages: III, 149 p. DOI: 10.5445/KSP/1000081315 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Physics (General)
Added to DOAB on : 2019-07-28 18:37:01
License:

Loading...
Export citation

Choose an application

Abstract

While the universal quantum computer seems not in reach for the near future, this work focusses on analog quantum simulation of intriguing quantum models of light-matter interactions, with the goal of achieving a computational speed-up as compared to classical hardware. Existing building blocks of quantum hardware are used from superconducting circuits, that have proven to be a very suitable experimental platform for the implementation of model Hamiltonians at a high degree of controllability.

Second Generation General System Theory: Perspectives in Philosophy and Approaches in Complex Systems

Authors: --- ---
ISBN: 9783038424413 9783038424406 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Mathematics
Added to DOAB on : 2017-06-29 11:01:38
License:

Loading...
Export citation

Choose an application

Abstract

Following the classical work of Norbert Wiener, Ross Ashby, Ludwig von Bertalanffy and many others, the concept of System has been elaborated in different disciplinary fields, allowing interdisciplinary approaches in areas such as Physics, Biology, Chemistry, Cognitive Science, Economics, Engineering, Social Sciences, Mathematics, Medicine, Artificial Intelligence, and Philosophy. The new challenge of Complexity and Emergence has made the concept of System even more relevant to the study of problems with high contextuality. This Special Issue focuses on the nature of new problems arising from the study and modelling of complexity, their eventual common aspects, properties and approaches—already partially considered by different disciplines—as well as focusing on new, possibly unitary, theoretical frameworks. This Special Issue aims to introduce fresh impetus into systems research when the possible detection and correction of mistakes require the development of new knowledge. This book contains contributions presenting new approaches and results, problems and proposals. The context is an interdisciplinary framework dealing, in order, with electronic engineering problems; the problem of the observer; transdisciplinarity; problems of organised complexity; theoretical incompleteness; design of digital systems in a user-centred way; reaction networks as a framework for systems modelling; emergence of a stable system in reaction networks; emergence at the fundamental systems level; behavioural realization of memoryless functions.

Complexity, Criticality and Computation (C³)

Author:
ISBN: 9783038425144 9783038425151 Year: Pages: VI, 262 DOI: 10.3390/books978-3-03842-515-1 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Physics (General)
Added to DOAB on : 2017-10-02 11:37:22
License:

Loading...
Export citation

Choose an application

Abstract

Complex systems is a new approach to science, engineering, health and management that studies how relationships between parts give rise to the collective emergent behaviours of the entire system, and how the system interacts with its environment.A system can be thought of as complex if its dynamics cannot be easily predicted, or explained, as a linear summation of the individual dynamics of its components. In other words, the many constituent microscopic parts bring about macroscopic phenomena that cannot be understood by considering a single part alone (“the whole is more than the sum of the parts”). There is a growing awareness that complexity is strongly related to criticality: the behaviour of dynamical spatiotemporal systems at an order/disorder phase transition where scale invariance prevails.Complex systems can also be viewed as distributed information-processing systems. Consciousness emerging from neuronal activity and interactions, cell behaviour resultant from gene regulatory networks and swarming behaviour are all examples of global system behaviour emerging as a result of the local interactions of the individuals (neurons, genes, animals). Can these interactions be seen as a generic computational process? This question shapes the special issue, linking computation to complexity and criticality.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030449148 Year: Pages: 772 DOI: 10.1007/978-3-030-44914-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452377 Year: Pages: 425 DOI: 10.1007/978-3-030-45237-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Listing 1 - 10 of 24 << page
of 3
>>
Sort by