Search results: Found 21

Listing 1 - 10 of 21 << page
of 3
>>
Sort by
The Amazing Journey of Reason

Author:
Book Series: SpringerBriefs in Computer Science ISBN: 9783030259624 Year: Pages: 113 DOI: 10.1007/978-3-030-25962-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-04 11:21:13
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing

Foundations of Software Science and Computation Structures

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

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​

Reversible Computation: Extending Horizons of Computing

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030473617 Year: Pages: 237 DOI: 10.1007/978-3-030-47361-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-17 00:00:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Computational Cognitive Modeling and Linguistic Theory

Authors: ---
Book Series: Language, Cognition, and Mind ISBN: 9783030318468 Year: Pages: 294 DOI: 10.1007/978-3-030-31846-8 Language: English
Publisher: Springer Nature
Subject: Linguistics
Added to DOAB on : 2020-06-17 00:00:42
License:

Loading...
Export citation

Choose an application

Abstract

This open access book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science. The approach of this book is novel in more ways than one. Assuming the mental architecture and procedural modalities of Anderson’s ACT-R framework, it presents fine-grained computational models of human language processing tasks which make detailed quantitative predictions that can be checked against the results of self-paced reading and other psycho-linguistic experiments. All models are presented as computer programs that readers can run on their own computer and on inputs of their choice, thereby learning to design, program and run their own models. But even for readers who won't do all that, the book will show how such detailed, quantitatively predicting modeling of linguistic processes is possible. A methodological breakthrough and a must for anyone concerned about the future of linguistics! (Hans Kamp) This book constitutes a major step forward in linguistics and psycholinguistics. It constitutes a unique synthesis of several different research traditions: computational models of psycholinguistic processes, and formal models of semantics and discourse processing. The work also introduces a sophisticated python-based software environment for modeling linguistic processes. This book has the potential to revolutionize not only formal models of linguistics, but also models of language processing more generally. (Shravan Vasishth)

Knowledge Graphs and Big Data Processing

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030531997 Year: Pages: 209 DOI: 10.1007/978-3-030-53199-7 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Political Science --- Business and Management
Added to DOAB on : 2020-09-01 00:02:02
License:

Loading...
Export citation

Choose an application

Abstract

This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term data analytics is often used interchangeably with intelligence, statistics, reasoning, data mining, knowledge discovery, and others. The goal of this book is to introduce some of the definitions, methods, tools, frameworks, and solutions for big data processing, starting from the process of information extraction and knowledge representation, via knowledge processing and analytics to visualization, sense-making, and practical applications. Each chapter in this book addresses some pertinent aspect of the data processing chain, with a specific focus on understanding Enterprise Knowledge Graphs, Semantic Big Data Architectures, and Smart Data Analytics solutions. This book is addressed to graduate students from technical disciplines, to professional audiences following continuous education short courses, and to researchers from diverse areas following self-study courses. Basic skills in computer science, mathematics, and statistics are required.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Emerging Memory and Computing Devices in the Era of Intelligent Machines

Author:
ISBN: 9783039285020 / 9783039285037 Year: Pages: 276 DOI: 10.3390/books978-3-03928-503-7 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2020-06-09 16:38:57
License:

Loading...
Export citation

Choose an application

Abstract

Computing systems are undergoing a transformation from logic-centric towards memory-centric architectures, where overall performance and energy efficiency at the system level are determined by the density, performance, functionality and efficiency of the memory, rather than the logic sub-system.

Keywords

3D-stacked --- DRAM --- in-DRAM cache --- low-latency --- low-power --- resistive memory --- crossbar --- in-memory computing --- analogue computing --- matrix-vector multiplication --- ECG --- voltage-controlled magnetic anisotropy --- magnetoresistive random access memory --- magnetic tunnel junction --- bioelectronic devices --- bionanohybrid material --- biomemory --- biologic gate --- bioprocessor --- protein --- nucleic acid --- nanoparticles --- SONOS --- flash memory --- charge spreading --- plasma treatment --- Oxygen-related trap --- data retention --- BCH --- decoder --- iBM --- GPU --- hybrid --- flash memory --- Galois field --- CUDA --- in-memory computing --- logic-in-memory --- non-von Neumann architecture --- configurable logic-in-memory architecture --- memory wall --- convolutional neural networks --- emerging technologies --- perpendicular Nano Magnetic Logic (pNML) --- silicon oxide-based memristors --- resistance switching mechanism --- variability --- conductive filament --- Weibull distribution --- quantum point contact --- real-time system --- dynamic voltage scaling --- task placement --- low-power technique --- nonvolatile memory --- neuromorphic system --- Hebbian training --- guide training --- memristor --- image classification --- STT-MRAM --- flip-flop --- power gating --- low-power --- bipolar resistive switching characteristics --- annealing temperatures --- solution-based dielectric --- resistive random access memory (RRAM) --- multi-level cell --- phase change memory --- programmable ramp-down current pulses --- Fast Fourier Transform --- in-memory computing --- associative processor --- non-von neumann architecture --- in-memory computing --- memristor --- RISC-V --- Internet of things --- blockchain --- U-shape recessed channel --- floating gate --- neuromorphic computing --- MCU (microprogrammed control unit) --- chalcogenide --- electrochemical metallization cell --- electrochemical metallization (ECM) --- ion conduction --- memristor --- self-directed channel (SDC) --- memristor --- crossbar array --- wire resistance --- synaptic weight --- character recognition --- n/a

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.

Hydrothermal Technology in Biomass Utilization & Conversion

Authors: --- ---
ISBN: 9783039286768 / 9783039286775 Year: Pages: 166 DOI: 10.3390/books978-3-03928-677-5 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2020-06-09 16:38:57
License:

Loading...
Export citation

Choose an application

Abstract

This book addresses a key innovative technology for decarbonization of the energy system: hydrothermal processing. It basically consists of treating biomass and wastes in a wet form, under pressure and temperature condition. This approach is becoming more and more attractive, as new feedstock and applications are appearing on the scene of bioeconomy and bioenergy. The hydrothermal processing of various type of biomass, waste, and residues, thus, raised the interest of many researchers and companies around the world, together with downstream upgrading processes and technologies: solid products as biochar, for instance, or liquid ones as crude bioliquids, are finding new market opportunities in circular economy schemes. The Special Issue collects recent innovative research works in the field, from basic to applied research, as well as pilot industrial applications/demo. It is a valuable set of references for those investing time and effort in research in the field.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532888 Year: Pages: 669 DOI: 10.1007/978-3-030-53288-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:41
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Listing 1 - 10 of 21 << page
of 3
>>
Sort by
Narrow your search

Publisher

MDPI - Multidisciplinary Digital Publishing Institute (13)

Springer Nature (8)


License

CC by-nc-nd (13)

CC by (8)


Language

english (18)

eng (3)


Year
From To Submit

2020 (21)