Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Lanese Ivan, Rawski Mariusz
Автор: Jean Krivine; Jean-Bernard Stefani Название: Reversible Computation ISBN: 3319208594 ISBN-13(EAN): 9783319208596 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
Foundations of Reversible Computation.- Software and Reversible Systems: A Survey of Recent Activities.- Simulation and Design of Quantum Circuits.- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview.- A Case Study for Reversible Computing: Reversible Debugging.- Towards Choreographic-Based Monitoring.- Reversibility in Chemical Reactions.- Reversible Control of Robots.- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.- Reversible Computation in Wireless Communications.- Error Reconciliation in Quantum Key Distribution Protocols.
Автор: Robert Gl?ck; Tetsuo Yokoyama Название: Reversible Computation ISBN: 3642363148 ISBN-13(EAN): 9783642363146 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.
Автор: Devitt Название: Reversible Computation ISBN: 3319405772 ISBN-13(EAN): 9783319405773 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi;
Автор: Michael Kirkedal Thomsen; Mathias Soeken Название: Reversible Computation ISBN: 3030214990 ISBN-13(EAN): 9783030214999 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions.
Автор: Gerhard W. Dueck; D. Michael Miller Название: Reversible Computation ISBN: 3642389856 ISBN-13(EAN): 9783642389856 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions.
Автор: Iain Phillips; Hafizur Rahaman Название: Reversible Computation ISBN: 3319599356 ISBN-13(EAN): 9783319599359 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. reversible circuit synthesis;
Автор: Kari Название: Reversible Computation ISBN: 3319994972 ISBN-13(EAN): 9783319994970 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Algorithms and Computation, WALCOM 2020, held in Singapore in March/April 2020. The 23 full and 4 short papers presented were carefully reviewed and selected from 66 submissions.
Clock Synchronization for Mobile Molecular Communication in Nanonetworks.- A Cooperative Molecular Communication for targeted drug Delivery.- Performance of Diffusion-based MIMO Molecular Communications and Dual Threshold Algorithm.- Binary Concentration Shift Keying with Multiple Measurements of Molecule Concentration in Mobile Molecular Communication.- Real-Time Seven Segment Display Detection and Recognition Online System using CNN.- A novel method for extracting high-quality RR intervals from noisy single-lead ECG signals.- Leak-resistant design of DNA strand displacement systems.- Chessboard EEG Images Classification for BCI Systems Using Deep Neural Network.- Causal Network Analysis and Fault Root Point Detection Based on Symbolic Transfer Entropy.- Personalized EEG feature extraction method based on filter bank and elastic network.- Release rate optimization based on M/M/c/c queue in local nanomachine-based targeted drug delivery.- Research on Course Control of Unmanned Surface Vehicle.- Design and Experiment of a Double-layer Vertical Axis Wind Turbine.- Real-Time Obstacle Detection Based on Monocular Vision for Unmanned Surface Vehicles.- A Method of Data Integrity Check and Repair in Big Data Storage Platform.- A Study of Image Recognition for Standard Convolution and Depthwise Separable Convolution.- A Novel Genetic Algorithm-based DES Key Generation Scheme.- Developing an Intelligent Agricultural System based on Long Short-Term Memory.- Detection of atherosclerotic lesions based on molecular Communication.- Design for Detecting Red Blood Cell Deformation at Different Flow Velocities in Blood Vessel.- Intelligent Power Controller of Wireless Body Area Networks based on Deep Reinforcement Learning.- Target Tracking Based on DDPG in Wireless Sensor Network.- A fuzzy tree system based on cuckoo search algorithm for target tracking in Wireless Sensor Network.- Sensor scheme for target tracking in Mobile Sensor Networks.- Molecular MIMO Communications Platform with BTSK for In-Vessel Network Systems.- Preliminary Studies on Flow Assisted Propagation of Fluorescent Microbeads in Microfluidic Channels for Molecular Communication Systems.- Comparative Evaluation of a New Sensor for Superparamagnetic Iron-Oxide Nanoparticles in a Molecular Communication Setting.- Localization of a Passive Molecular Transmitter with a Sensor Network.
Описание: This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
