Search results:
Found 21
Listing 1 - 10 of 21 | << page >> |
Sort by
|
Choose an application
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
Choose an application
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.
Mathematical Logic and Foundations --- Discrete Mathematics in Computer Science --- Programming Languages, Compilers, Interpreters --- Programming Techniques --- Logic in AI --- Computer Systems Organization and Communication Networks --- 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 --- emerging models of computation --- logical aspects of computational complexity --- models of software security --- logical foundations of data bases --- mathematics --- artificial intellegence --- formal logic --- linguistics --- Mathematical foundations --- Mathematical logic --- Discrete mathematics --- Maths for computer scientists --- Programming & scripting languages: general --- Compilers & interpreters --- Computer programming / software engineering --- Artificial intelligence --- Computer networking & communications
Choose an application
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.
Logic Design --- Computer System Implementation --- Computer Communication Networks --- Special Purpose and Application-Based Systems --- Software Engineering --- Operating Systems --- open access --- reversible computation --- semantics of reversible computation --- formal methods --- models of computation --- circuit design --- simulation --- robotics --- debugging --- quantum computing --- wireless communications --- programming languages --- dependability --- modelling of biochemical systems --- computer networks --- engineering --- software engineering --- parallel processing systems --- theoretical computer science --- Computer architecture & logic design --- Systems analysis & design --- Network hardware --- Expert systems / knowledge-based systems --- Operating systems
Choose an application
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)
Philosophy of Language --- Psycholinguistics --- Semantics --- Psycholinguistics and Cognitive Lingusitics --- Linguistics --- Open Access --- ACT-R Based Left-corner Parser --- Incremental Dynamic Predicate Logic --- Cataphoric Presupposition Resolution --- Cognitive Aspects of Processing Semantic Representations --- Enriched Semantics --- Language Interpretation Processes --- Meaning Representations in Formal Semantics --- Natural Language Processing --- Processing Enriched Logical Forms --- Processing of Lexical Semantic and Syntactic Representations --- Psycholinguistics on Incremental Interpretation --- Real-time Construction of Syntactic Representations --- Real-time Semantic Interpretation --- Semantics and Processing --- Philosophy of language --- Semantics, discourse analysis, stylistics
Choose an application
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.
Database Management --- Information Systems Applications (incl. Internet) --- Logic in AI --- Computer Appl. in Administrative Data Processing --- Business Information Systems --- Computer and Information Systems Applications --- Computer Application in Administrative Data Processing --- artificial intelligence --- big data --- data analytics --- data handling --- data integration --- data mining --- databases --- digital storage --- domain knowledge --- graph theory --- information management --- information technology --- integrated data --- internet --- knowledge management --- knowledge-based system --- ontologies --- semantics --- Databases --- Database programming --- Information retrieval --- Internet searching --- Artificial intelligence --- Public administration --- Information technology: general issues --- Business mathematics & systems
Choose an application
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.
Software Engineering --- Theory of Computation --- Artificial Intelligence --- Computer Systems Organization and Communication Networks --- Computer Hardware --- Simulation and Modeling --- Computer Engineering and Networks --- Computer Science --- architecture verification and validation --- artificial intelligence --- automata theory --- computer systems --- correlation analysis --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- model checking --- programming languages --- semantics --- software architecture --- software design --- software quality --- verification and validation --- Open Access --- Computer science --- Mathematical theory of computation --- Artificial intelligence --- Computer networking & communications --- Computer hardware --- Computer modelling & simulation
Choose an application
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.
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
Choose an application
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.
Programming Languages, Compilers, Interpreters --- Computer Systems Organization and Communication Networks --- Control Structures and Microprogramming --- Information Systems and Communication Service --- Natural Language Processing (NLP) --- Theory of Computation --- artificial intelligence --- computer networks --- computer programming --- computer security --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- mathematics --- model checking --- object-oriented programming --- parallel processing systems --- program compilers --- semantics --- software architecture --- software design --- software engineering --- software quality --- verification and validation --- Programming & scripting languages: general --- Compilers & interpreters --- Computer networking & communications --- Algorithms & data structures --- Natural language & machine translation --- Computer science --- Mathematical theory of computation
Choose an application
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.
hydrothermal carbonization (HTC) --- brewer’s spent grains (BSG) --- hydrochar --- acid addition --- two-steps carbonization --- hydrothermal liquefaction (HTL) --- Spirulina --- hydroprocessing --- hydrotreating --- upgrading --- hydrodeoxygenation (HDO) --- hydrodenitrogenation (HDN) --- fractional distillation --- drop-in biofuels --- nitrogen distribution --- hydrothermal processes --- Germany --- fuzzy Delphi method --- fuzzy logic cognitive map --- coal --- biomass --- hydrochar --- process economics --- sensitivity analysis --- cost of electricity --- lignin --- biorefinery --- hydrothermal liquefaction --- biocrude --- depolymerization --- hydrothermal liquefaction --- aqueous co-product --- nutrient recovery --- struvite --- EROI --- hydrothermal carbonization (HTC) --- life cycle assessment (LCA) --- sewage sludge --- electricity and heat production --- agricultural yield --- primary sludge --- secondary sludge --- deinked sludge --- fiber rejects --- hydrochar --- combustion indices --- fuel properties --- microalgal oils --- microalgae extraction --- lipids --- biofuel --- cell wall disruption --- hydrothermal disintegration --- freeze-dried --- fresh harvested --- Scenedesmus rubescens
Choose an application
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.
Software Engineering --- Theory of Computation --- Computer Systems Organization and Communication Networks --- Artificial Intelligence --- Information Systems and Communication Service --- Computer Hardware --- Computer Engineering and Networks --- Database Management System --- architecture verification and validation --- artificial intelligence --- computer hardware --- computer networks --- computer programming --- computer systems --- data security --- distributed computer systems --- embedded systems --- formal logic --- linguistics --- model checking --- network protocols --- parallel processing systems --- signal processing --- software architecture --- software design --- software quality --- verification and validation --- Open Access --- Computer science --- Mathematical theory of computation --- Computer networking & communications --- Artificial intelligence --- Computer hardware
Listing 1 - 10 of 21 | << page >> |
Sort by
|