Бібліотека БДМУ

Головна

Спрощенний режим

Опис

Бази даних

Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ) - результати пошуку

Вид пошуку

К Н И Г И

Періодичні видання

Дисертації та автореферати

Фонд рідкісних видань

Електронна Навчальна література

Публікації засновників кафедр БДМУ

Нововведення у сфері охорони здоров'я

Календар пам'ятних дат

Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ)

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>S=Logic Design.<.>)

Загальна кiлькiсть документiв : 24
Показанi документи с 1 за 20

1-20 21-24

    Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support [[electronic resource] :] : third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, Proceedings / / ed. Cardoso, M. Jorge. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIX, 385 p. 169 illus. - Б. ц.
Рубрики: Optical data processing.
   Artificial intelligence.
   Health informatics.
   Bioinformatics.
   Logic design.
   Image Processing and Computer Vision.
   Artificial Intelligence.
   Health Informatics.
   Computational Biology/Bioinformatics.
   Logic Design.
Анотація: This book constitutes the refereed joint proceedings of the Third International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2017, and the 6th International Workshop on Multimodal Learning for Clinical Decision Support, ML-CDS 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 38 full papers presented at DLMIA 2017 and the 5 full papers presented at ML-CDS 2017 were carefully reviewed and selected. The DLMIA papers focus on the design and use of deep learning methods in medical imaging. The ML-CDS papers discuss new techniques of multimodal mining/retrieval and their use in clinical decision support.

Перейти: https://doi.org/10.1007/978-3-319-67558-9

Дод.точки доступу:
Cardoso, M. Jorge. \ed.\; Arbel, Tal. \ed.\; Carneiro, Gustavo. \ed.\; Syeda-Mahmood, Tanveer. \ed.\; Tavares, Joao Manuel R.S. \ed.\; Moradi, Mehdi. \ed.\; Bradley, Andrew. \ed.\; Greenspan, Hayit. \ed.\; Papa, Joao Paulo. \ed.\; Madabhushi, Anant. \ed.\; Nascimento, Jacinto C. \ed.\; Cardoso, Jaime S. \ed.\; Belagiannis, Vasileios. \ed.\; Lu, Zhi. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Artificial Neural Networks and Machine Learning – ICANN 2017 [[electronic resource] :] : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II / / ed. Lintas, Alessandra. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXXI, 801 p. 200 illus. - Б. ц.
    Зміст:
From Perception to Action --
From Neurons to Networks --
Brain Imaging; Recurrent Neural Networks --
Neuromorphic Hardware --
Brain Topology and Dynamics --
Neural Networks Meet Natural and Environmental Sciences --
Convolutional Neural Networks --
Games and Strategy --
Representation and Classification --
Clustering --
Learning from Data Streams and Time Series --
Image Processing and Medical Applications --
Advances in Machine Learning.
Рубрики: Artificial intelligence.
   Special purpose computers.
   Computer communication systems.
   Logic design.
   Operating systems (Computers).
   Optical data processing.
   Artificial Intelligence.
   Special Purpose and Application-Based Systems.
   Computer Communication Networks.
   Logic Design.
   Operating Systems.
   Image Processing and Computer Vision.
Анотація: The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions. They were organized in topical sections named: From Perception to Action; From Neurons to Networks; Brain Imaging; Recurrent Neural Networks; Neuromorphic Hardware; Brain Topology and Dynamics; Neural Networks Meet Natural and Environmental Sciences; Convolutional Neural Networks; Games and Strategy; Representation and Classification; Clustering; Learning from Data Streams and Time Series; Image Processing and Medical Applications; Advances in Machine Learning. There are 63 short paper abstracts that are included in the back matter of the volume.

Перейти: https://doi.org/10.1007/978-3-319-68612-7

Дод.точки доступу:
Lintas, Alessandra. \ed.\; Rovetta, Stefano. \ed.\; Verschure, Paul F.M.J. \ed.\; Villa, Alessandro E.P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Artificial Intelligence and Soft Computing [[electronic resource] :] : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I / / ed. Rutkowski, Leszek. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXIV, 776 p. 293 illus. - Б. ц.
Рубрики: Artificial intelligence.
   Optical data processing.
   Algorithms.
   Logic design.
   Data mining.
   Special purpose computers.
   Artificial Intelligence.
   Computer Imaging, Vision, Pattern Recognition and Graphics.
   Algorithm Analysis and Problem Complexity.
   Logic Design.
   Data Mining and Knowledge Discovery.
   Special Purpose and Application-Based Systems.
Анотація: The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the first volume are organized in the following five parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; computer vision, image and speech analysis; and bioinformatics, biometrics and medical applications.

Перейти: https://doi.org/10.1007/978-3-319-59063-9

Дод.точки доступу:
Rutkowski, Leszek. \ed.\; Korytkowski, Marcin. \ed.\; Scherer, Rafal. \ed.\; Tadeusiewicz, Ryszard. \ed.\; Zadeh, Lotfi A. \ed.\; Zurada, Jacek M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Artificial Neural Networks and Machine Learning – ICANN 2017 [[electronic resource] :] : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I / / ed. Lintas, Alessandra. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXXI, 469 p. 191 illus. - Б. ц.
    Зміст:
From Perception to Action --
From Neurons to Networks --
Brain Imaging; Recurrent Neural Networks --
Neuromorphic Hardware --
Brain Topology and Dynamics --
Neural Networks Meet Natural and Environmental Sciences --
Convolutional Neural Networks --
Games and Strategy --
Representation and Classification --
Clustering --
Learning from Data Streams and Time Series --
Image Processing and Medical Applications --
Advances in Machine Learning.
Рубрики: Artificial intelligence.
   Special purpose computers.
   Computer communication systems.
   Logic design.
   Operating systems (Computers).
   Optical data processing.
   Artificial Intelligence.
   Special Purpose and Application-Based Systems.
   Computer Communication Networks.
   Logic Design.
   Operating Systems.
   Image Processing and Computer Vision.
Анотація: The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions. They were organized in topical sections named: From Perception to Action; From Neurons to Networks; Brain Imaging; Recurrent Neural Networks; Neuromorphic Hardware; Brain Topology and Dynamics; Neural Networks Meet Natural and Environmental Sciences; Convolutional Neural Networks; Games and Strategy; Representation and Classification; Clustering; Learning from Data Streams and Time Series; Image Processing and Medical Applications; Advances in Machine Learning. There are 63 short paper abstracts that are included in the back matter of the volume.

Перейти: https://doi.org/10.1007/978-3-319-68600-4

Дод.точки доступу:
Lintas, Alessandra. \ed.\; Rovetta, Stefano. \ed.\; Verschure, Paul F.M.J. \ed.\; Villa, Alessandro E.P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Theory and Practice of Model Transformation [[electronic resource] :] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / ed.: Guerra, Esther., van den Brand, Mark. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 183 p. 73 illus. - Б. ц.
Рубрики: Software engineering.
   Operating systems (Computers).
   Logic design.
   Management information systems.
   Computer science.
   Architecture, Computer.
   Programming languages (Electronic computers).
   Software Engineering.
   Operating Systems.
   Logic Design.
   Management of Computing and Information Systems.
   Computer System Implementation.
   Programming Languages, Compilers, Interpreters.
Анотація: This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

Перейти: https://doi.org/10.1007/978-3-319-61473-1

Дод.точки доступу:
Guerra, Esther. \ed.\; van den Brand, Mark. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    High Performance Computing [[electronic resource] :] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P / ed. Kunkel, Julian M. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XX, 743 p. 266 illus. - Б. ц.
    Зміст:
Workshop on Virtualization in High-Performance Cloud Computing (VHPC) --
Visualization at Scale: Deployment Case Studies and Experience Reports --
International Workshop on Performance Portable Programming Models for Accelerators (P
Рубрики: Input-output equipment (Computers).
   Architecture, Computer.
   Operating systems (Computers).
   Computer programming.
   Programming languages (Electronic computers).
   Logic design.
   Input/Output and Data Communications.
   Computer System Implementation.
   Operating Systems.
   Programming Techniques.
   Programming Languages, Compilers, Interpreters.
   Logic Design.
Анотація: This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017. The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops: Workshop on Virtualization in High-Performance Cloud Computing (VHPC) Visualization at Scale: Deployment Case Studies and Experience Reports International Workshop on Performance Portable Programming Models for Accelerators (P

Перейти: https://doi.org/10.1007/978-3-319-67630-2

Дод.точки доступу:
Kunkel, Julian M. \ed.\; Yokota, Rio. \ed.\; Taufer, Michela. \ed.\; Shalf, John. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Search Based Software Engineering [[electronic resource] :] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / / ed.: Menzies, Tim., Petke, Justyna. - 1st ed. 2017. - [S. l. : s. n.]. - XXVI, 197 p. 33 illus. - Б. ц.
    Зміст:
Search-Based Software Engineering --
Software testing --
Automated Program Repair --
Software Evolution --
Combinatorial Testing --
Software Requirements Analysis --
Software Configuration --
Multi-Objective Optimization --
Evolutionary computation --
Software Diversity --
Mutation Testing.
Рубрики: Software engineering.
   Operating systems (Computers).
   Programming languages (Electronic computers).
   Artificial intelligence.
   Algorithms.
   Logic design.
   Software Engineering.
   Operating Systems.
   Programming Languages, Compilers, Interpreters.
   Artificial Intelligence.
   Algorithm Analysis and Problem Complexity.
   Logic Design.
Анотація: This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions. SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing.

Перейти: https://doi.org/10.1007/978-3-319-66299-2

Дод.точки доступу:
Menzies, Tim. \ed.\; Petke, Justyna. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV [[electronic resource] :] : special Issue on Consistency and Inconsistency in Data-Centric Applications / / ed. Hameurlain, Abdelkader. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - IX, 185 p. 34 illus. - Б. ц.
    Зміст:
Basic Postulates for Inconsistency Measures --
Batch Composite Transactions in Stream Processing --
Enhancing User Rating Database Consistency through Pruning --
A Second Generation of Peer-to-Peer Semantic Wikis --
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant --
A Proximity-Based Understanding of Conditionals --
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.
Рубрики: Computer logic.
   Mathematical logic.
   Logic design.
   Operating systems (Computers).
   Microprocessors.
   Logics and Meanings of Programs.
   Mathematical Logic and Formal Languages.
   Logic Design.
   Operating Systems.
   Processor Architectures.
Анотація: LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications. The volume opens with an invited article on basic postulates for inconsistency measures. Three of the remaining six papers are revised, extended versions of papers presented at the First International Workshop on Consistency and Inconsistency, COIN 2016, held in conjunction with DEXA 2016 in Porto, Portugal, in September 2016. The other three papers were selected from submissions to a call for contributions to this edition. Each of the papers highlights a particular subtopic. However, all are concerned with logical inconsistencies that are either to be systematically avoided, or reasoned with consistently, i.e., without running the danger of an explosion of inferences.

Перейти: https://doi.org/10.1007/978-3-662-55947-5

Дод.точки доступу:
Hameurlain, Abdelkader. \ed.\; Kung, Josef. \ed.\; Wagner, Roland. \ed.\; Decker, Hendrik. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Reversible Computation [[electronic resource] :] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / / ed.: Phillips, Iain., Rahaman, Hafizur. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 255 p. 98 illus. - Б. ц.
Рубрики: Logic design.
   Input-output equipment (Computers).
   Computer memory systems.
   Artificial intelligence.
   Software engineering.
   Computer communication systems.
   Logic Design.
   Input/Output and Data Communications.
   Memory Structures.
   Artificial Intelligence.
   Software Engineering.
   Computer Communication Networks.
Анотація: 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. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.

Перейти: https://doi.org/10.1007/978-3-319-59936-6

Дод.точки доступу:
Phillips, Iain. \ed.\; Rahaman, Hafizur. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

10.

11.

    Neural Information Processing [[electronic resource] :] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI / / ed. Liu, Derong. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVIII, 912 p. 415 illus. - Б. ц.
    Зміст:
Machine Learning --
Reinforcement Learning --
Big Data Analysis --
Deep Learning --
Brain-Computer Interface --
Computational Finance --
Computer Vision, --
Neurodynamics --
Sensory Perception and Decision Making --
Computational Intelligence --
Neural Data Analysis --
Biomedical Engineering --
Emotion and Bayesian Networks --
Data Mining --
Time-Series Analysis --
Social Networks --
Bioinformatics --
Information Security and Social Cognition --
Robotics and Control --
Pattern Recognition --
Neuromorphic Hardware and Speech Processing.
Рубрики: Artificial intelligence.
   Optical data processing.
   Special purpose computers.
   Operating systems (Computers).
   Logic design.
   Artificial Intelligence.
   Image Processing and Computer Vision.
   Special Purpose and Application-Based Systems.
   Operating Systems.
   Logic Design.
Анотація: The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Перейти: https://doi.org/10.1007/978-3-319-70136-3

Дод.точки доступу:
Liu, Derong. \ed.\; Xie, Shengli. \ed.\; Li, Yuanqing. \ed.\; Zhao, Dongbin. \ed.\; El-Alfy, El-Sayed M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

12.

    Scaling OpenMP for Exascale Performance and Portability [[electronic resource] :] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings / / ed. de Supinski, Bronis R. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 350 p. 116 illus. - Б. ц.
    Зміст:
Advanced Implementations and Extensions --
OpenMP Application Studies --
Analyzing and Extending Tasking --
OpenMP 4 Application Evaluation --
Extended Parallelism Models: Performance Analysis and Tools --
Advanced Data Management with OpenMP.
Рубрики: Microprocessors.
   Programming languages (Electronic computers).
   Special purpose computers.
   Logic design.
   Architecture, Computer.
   Computer programming.
   Processor Architectures.
   Programming Languages, Compilers, Interpreters.
   Special Purpose and Application-Based Systems.
   Logic Design.
   Computer System Implementation.
   Programming Techniques.
Анотація: This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; OpenMP 4 Application Evaluation; Extended Parallelism Models: Performance Analysis and Tools; and Advanced Data Management with OpenMP.

Перейти: https://doi.org/10.1007/978-3-319-65578-9

Дод.точки доступу:
de Supinski, Bronis R. \ed.\; Olivier, Stephen L. \ed.\; Terboven, Christian. \ed.\; Chapman, Barbara M. \ed.\; Muller, Matthias S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

13.

    Artificial Intelligence and Soft Computing [[electronic resource] :] : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II / / ed. Rutkowski, Leszek. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXIV, 742 p. 247 illus. - Б. ц.
Рубрики: Artificial intelligence.
   Optical data processing.
   Algorithms.
   Logic design.
   Data mining.
   Special purpose computers.
   Artificial Intelligence.
   Computer Imaging, Vision, Pattern Recognition and Graphics.
   Algorithm Analysis and Problem Complexity.
   Logic Design.
   Data Mining and Knowledge Discovery.
   Special Purpose and Application-Based Systems.
Анотація: The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the second volume are organized in the following five parts: data mining; artificial intelligence in modeling, simulation and control; various problems of artificial intelligence; special session: advances in single-objective continuous parameter optimization with nature-inspired algorithms; special session: stream data mining.

Перейти: https://doi.org/10.1007/978-3-319-59060-8

Дод.точки доступу:
Rutkowski, Leszek. \ed.\; Korytkowski, Marcin. \ed.\; Scherer, Rafal. \ed.\; Tadeusiewicz, Ryszard. \ed.\; Zadeh, Lotfi A. \ed.\; Zurada, Jacek M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

14.

    Applications of Evolutionary Computation [[electronic resource] :] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I / / ed.: Squillero, Giovanni., Sim, Kevin. - 1st ed. 2017. - [S. l. : s. n.]. - XXIV, 905 p. 268 illus. - Б. ц.
    Зміст:
EvoBAFIN: Minimization of Systemic Risk for Directed Network Using Genetic Algorithm --
Pricing Rainfall Based Futures Using Genetic Programming --
Dynamic Portfolio Optimization in Ultra-High Frequency Environment --
EvoBIO: Integration of Reaction Kinetics Theory and Gene Expression Programming to Infer Reaction Mechanism --
De Novo DNA Assembly with a Genetic Algorithm Finds Accurate Genomes Even with Suboptimal Fitness --
EVE: Cloud-based Annotation of Human Genetic Variants --
Improving the Reproducibility of Genetic Association Results Using Genotype Resampling Methods --
Objective Assessment of Cognitive Impairment in Parkinson’s Disease Using Evolutionary Algorithm --
Characterizing the Influence of Rule-based Knowledge Representations in Biological Knowledge Extraction from Transcriptomics Data --
Enhancing Grammatical Evolution through Data Augmentation: Application to Blood Glucose Forecasting --
Genetic Programming Representations for Multi-dimensional Feature Learning in Biomedical Classification --
EvoCOMNET: Meta-heuristically Seeded Genetic Algorithm for Independent Job Scheduling in Grid Computing --
Analysis of Average Communicability in Complex Networks --
Configuring Dynamic Heterogeneous Wireless Communications Networks Using a Customized Genetic Algorithm --
Multi-Objective Evolutionary Algorithms for Influence Maximization in Social Networks --
A fast ILP-based Heuristic for the Robust Design of Body Wireless Sensor Networks --
EvoCOMPLEX: Lamarckian and Lifelong Memetic Search in Agent-based Computing --
Two-phase Strategy Managing Insensitivity in Global Optimization --
?Avenues for the Use of Cellular Automata in Image Segmentation --
Local Misfit Approximation in Memetic Solving of Ill-posed Inverse Problems --
The Two Regimes of Neutral Evolution: Localization on Hubs and Delocalized Diffusion --
EvoENERGY: Adaptive Batteries Exploiting On-line Steady-State Evolution Strategy --
Hybrid Multi-Ensemble Scheduling --
EvoGAMES: Driving in TORCS Using Modular Fuzzy Controllers --
Automated Game Balancing in Ms Pacman and StarCraft Using Evolutionary Algorithms --
Evolving Game-specific UCB Alternatives for General Video Game Playing --
Relief Camp Manager: A Serious Game Using the World Health Organization's Relief Camp Guidelines --
Analyisis of Vanilla Rolling Horizon Evolution Parameters in General Video Game Playing --
Darwin's Demons: Does Evolution Improve the Game --
EvoIASP: Evolutionary Art Using the Fly Algorithm --
Bagging and Feature Selection for Classification with Incomplete Data --
Surrogate-model Based Particle Swarm Optimization with Local Search for Feature Selection in Classification --
Feature Selection in High Dimensional Data by a Filter-Based Genetic Algorithm --
Brain Programming and the Random Search in Object Categorization --
Using Particle Swarm Optimization and the Silhouette Metric to Estimate the Number of Clusters, Select Features, and Perform Clustering --
EvoINDUSTRY: Container Vessel Stowage Planning System Using Genetic Algorithm --
The Artificial Immune Ecosystem: a Bio-inspired Meta-algorithm for Boosting Time Series Anomaly Detection with Expert Input --
Empirical Analysis of Optimization Methods for the Real-World Dial-a-Ride Problem --
EvoKNOW: Presenting the ECO: Evolutionary Computation Ontology --
A New Evolutionary Algorithm for Synchronization --
Large Scale Problems in Practice: The Effect of Dimensionality on the Interaction among Variables --
A Framework for Knowledge Integrated Evolutionary Algorithms --
DICE: A New Family of Bivariate Estimation of Distribution Algorithms Based on Dichotomized Multivariate Gaussian Distributions --
EvoNUM: Ranking Programming Languages for Evolutionary Algorithm Operations --
Distance-based Tournament Selection --
Preferences-Based Choice Prediction in Evolutionary Multi-Objective Optimization --
Numerical Optimization of ESA's Messenger Space Mission Benchmark --
EvoPAR: A VNS with Parallel Evaluation of Solutions for the Inverse Lighting Problem --
Evolving Cut-off Mechanisms and Other Work-Stealing Parameters for Parallel Programs --
Issues on GPU Parallel Implementation of Evolutionary High-dimensional Multi-objective Feature Selection --
Embedded Grammars for Grammatical Evolution on GPGPU --
A Performance Assessment of Evolutionary Algorithms in Volunteer Computing Environments: the Importance of Entropy --
EvoROBOT: Overcoming Initial Convergence in Multi-Objective Evolution of Robot Control and Morphology Using a Two-Phase Approach --
Evolutionary Adaptation to Social Information Use without Learning --
Interactive Evolution of Complex Behaviours through Skill Encapsulation --
Evolution and Morphogenesis of Simulated Modular Robots: A Comparison Between a Direct and Generative Encoding --
Continual and One-Shot Learning through Neural Networks with Dynamic External Memory.
Рубрики: Algorithms.
   Artificial intelligence.
   Special purpose computers.
   Architecture, Computer.
   Microprocessors.
   Logic design.
   Algorithm Analysis and Problem Complexity.
   Artificial Intelligence.
   Special Purpose and Application-Based Systems.
   Computer System Implementation.
   Processor Architectures.
   Logic Design.
Анотація: The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, collocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments). .

Перейти: https://doi.org/10.1007/978-3-319-55849-3

Дод.точки доступу:
Squillero, Giovanni. \ed.\; Sim, Kevin. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

15.

    Engineering Secure Software and Systems [[electronic resource] :] : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / / ed.: Bodden, Eric., Payer, Mathias., Athanasopoulos, Elias. - 1st ed. 2017. - [S. l. : s. n.]. - X, 241 p. 63 illus. - Б. ц.
    Зміст:
Cloud security, virtualization for security --
Mobile devices security --
Automated techniques for vulnerability discovery and analysis --
Model checking for security --
Verification techniques for security properties --
Security by design --
Web applications security --
Empirical secure software engineering --
Embedded software security.
Рубрики: Computer communication systems.
   Computer security.
   Logic design.
   Operating systems (Computers).
   Software engineering.
   Data encryption (Computer science).
   Computer Communication Networks.
   Systems and Data Security.
   Logic Design.
   Operating Systems.
   Software Engineering.
   Cryptology.
Анотація: This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.

Перейти: https://doi.org/10.1007/978-3-319-62105-0

Дод.точки доступу:
Bodden, Eric. \ed.\; Payer, Mathias. \ed.\; Athanasopoulos, Elias. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

16.

    Wang, Ran.
    Testing of Interposer-Based 2.5D Integrated Circuits [[electronic resource] /] : монография / Ran. Wang, Chakrabarty, Krishnendu. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 182 p. 118 illus., 102 illus. in color. - Б. ц.
    Зміст:
Introduction --
Pre-Bond Testing of the Silicon Interposer --
Post-Bond Scan-based Testing of Interposer Interconnects --
Test Architecture and Test-Path Scheduling --
Built-In Self-Test --
ExTest Scheduling and Optimization --
A Programmable Method for Low-Power Scan Shift in SoC Dies --
Conclusions.-.
Рубрики: Electronic circuits.
   Microprocessors.
   Logic design.
   Circuits and Systems.
   Processor Architectures.
   Logic Design.
Анотація: This book provides readers with an insightful guide to the design, testing and optimization of 2.5D integrated circuits. The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testing of the silicon interposer, at-speed interconnect testing, built-in self-test architecture, extest scheduling, and a programmable method for low-power scan shift in SoC dies. This book covers many testing techniques that have already been used in mainstream semiconductor companies. Readers will benefit from an in-depth look at test-technology solutions that are needed to make 2.5D ICs a reality and commercially viable. Provides a single-source guide to the practical challenges in testing of 2.5D ICs; Presents an efficient method to locate defects in a passive interposer before stacking; Describes an efficient interconnect-test solution to target through-silicon vias (TSVs), the redistribution layer, and micro-bumps for shorts, opens, and delay faults; Provides a built-in self-test (BIST) architecture that can be enabled by the standard TAP controller in the IEEE 1149.1 standard; Discusses two ExTest scheduling strategies to implement interconnect testing between tiles inside an SoC die; Includes a programmable method for shift-clock stagger assignment to reduce power supply noise during SoC die testing in 2.5D ICs.

Перейти: https://doi.org/10.1007/978-3-319-54714-5

Дод.точки доступу:
Chakrabarty, Krishnendu.; Wang, Ran. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

17.

    Amaru, Luca Gaetano.
    New Data Structures and Algorithms for Logic Synthesis and Verification [[electronic resource] /] : монография / Luca Gaetano. Amaru ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 156 p. 44 illus., 20 illus. in color. - Б. ц.
    Зміст:
Introduction --
Part 1. Logic Representation, Manipulation and Optimization --
Biconditional Logic --
Majority Logic --
Part 2. Logic Satisfiability and Equivalence Checking --
Exploiting Logic Properties to Speedup SAT --
Majority Normal Form Representation and Satisfiability --
Improvements to the Equivalence Checking of Reversible Circuits --
Conclusions.
Рубрики: Electronic circuits.
   Microprocessors.
   Logic design.
   Circuits and Systems.
   Processor Architectures.
   Logic Design.
Анотація: This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines. · Provides a comprehensive, theoretical study on majority and biconditional logic for logic synthesis; · Updates the current scenario in synthesis and verification – especially in light of emerging technologies; · Demonstrates applications to CMOS technology and emerging technologies.

Перейти: https://doi.org/10.1007/978-3-319-43174-1

Дод.точки доступу:
Amaru, Luca Gaetano. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

18.

    Lienig, Jens.
    Fundamentals of Electronic Systems Design [[electronic resource] /] : монография / Jens. Lienig, Bruemmer, Hans. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 241 p. 149 illus., 114 illus. in color. - Б. ц.
    Зміст:
Introduction --
Design Process and its Fundamentals --
System Architecture and Protection Requirements --
Reliability Analysis --
Thermal Management and Cooling --
Electromagnetic Compatibility (EMC) --
Recycling Requirements and Design for Environmental Compliance --
Appendix.
Рубрики: Electronic circuits.
   Microprocessors.
   Logic design.
   Circuits and Systems.
   Processor Architectures.
   Logic Design.
Анотація: This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements. Chapter by chapter, it deals with the challenges any modern system designer faces: The design process and its fundamentals, such as technical drawings and CAD, electronic system levels, assembly and packaging issues and appliance protection classes, reliability analysis, thermal management and cooling, electromagnetic compatibility (EMC), all the way to recycling requirements and environmental-friendly design principles. "This unique book provides fundamental, complete, and indispensable information regarding the design of electronic systems. This topic has not been addressed as complete and thorough anywhere before. Since the authors are world-renown experts, it is a foundational reference for today’s design professionals, as well as for the next generation of engineering students." Dr. Patrick Groeneveld, Synopsys Inc.

Перейти: https://doi.org/10.1007/978-3-319-55840-0

Дод.точки доступу:
Bruemmer, Hans.; Lienig, Jens. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

19.

    LaMeres, Brock J.
    Introduction to Logic Circuits & Logic Design with VHDL [[electronic resource] /] : монография / Brock J. LaMeres ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 475 p. 485 illus., 427 illus. in color. - Б. ц.
    Зміст:
Introduction --
Analog Vs. Digital --
Number Systems --
Digital Circuitry & Interfacing --
Combinational Logic Design --
VHDL (Part 1) --
MSI Logic --
Sequential Logic Design --
VHDL (Part 2) --
Behavioral Modeling Of Sequential Logic --
Memory --
Programmable Logic --
Arithmetic Circuits --
Computer System Design. .
Рубрики: Electronic circuits.
   Microprocessors.
   Logic design.
   Circuits and Systems.
   Processor Architectures.
   Logic Design.
Анотація: This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). This textbook enables readers to design digital systems using the modern HDL approach while ensuring they have a solid foundation of knowledge of the underlying hardware and theory of their designs. This book is designed to match the way the material is actually taught in the classroom. Topics are presented in a manner which builds foundational knowledge before moving onto advanced topics. The author has designed the content with learning goals and assessment at its core. Each section addresses a specific learning outcome that the learner should be able to “do” after its completion. The concept checks and exercise problems provide a rich set of assessment tools to measure learner performance on each outcome. This book can be used for either a sequence of two courses consisting of an introduction to logic circuits (Chapters 1-7) followed by logic design (Chapters 8-13) or a single, accelerated course that uses the early chapters as reference material. Written the way the material is taught, enabling a bottom-up approach to learning which culminates with a high-level of learning, with a solid foundation; Emphasizes examples from which students can learn: contains a solved example for nearly every section in the book; Includes more than 600 exercise problems, as well as concept check questions for each section, tied directly to specific learning outcomes.

Перейти: https://doi.org/10.1007/978-3-319-34195-8

Дод.точки доступу:
LaMeres, Brock J. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

20.

    Rahimi, Abbas.
    From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators [[electronic resource] /] : монография / Abbas. Rahimi, Benini, Luca., Gupta, Rajesh K. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XV, 197 p. 86 illus., 48 illus. in color. - Б. ц.
    Зміст:
Introduction --
Part 1. Predicting and Preventing Errors --
Instruction-Level Tolerance --
Sequence-Level Tolerance --
Procedure-Level Tolerance --
Kernel-Level Tolerance --
Hierarchically Focused Guardbanding --
Part 2. Detecting and Correcting Errors --
Work-Unit Tolerance --
Memristive-Based Associative Memory for Error Recovery --
Part 3. Accepting Errors --
Accuracy-Configurable OpenMP --
An Approximation Workflow for Exploiting Data-Level Parallelism in FPGA Acceleration --
Memristive-Based Associative Memory for Approximate Computational Reuse --
Spatial and Temporal Memoization --
Outlook.
Рубрики: Electronic circuits.
   Microprocessors.
   Logic design.
   Circuits and Systems.
   Processor Architectures.
   Logic Design.
Анотація: This book focuses on computing devices and their design at various levels to combat variability. The authors provide a review of key concepts with particular emphasis on timing errors caused by various variability sources. They discuss methods to predict and prevent, detect and correct, and finally conditions under which such errors can be accepted; they also consider their implications on cost, performance and quality. Coverage includes a comparative evaluation of methods for deployment across various layers of the system from circuits, architecture, to application software. These can be combined in various ways to achieve specific goals related to observability and controllability of the variability effects, providing means to achieve cross layer or hybrid resilience. · Covers challenges and opportunities in identifying microelectronic variability and the resulting errors at various layers in the system abstraction; · Enables readers to assess how various levels of circuit and system design can mitigate the effects of variability; · Demonstrates overall system architecture of what is now called “approximate computing” paradigm in massively parallel integrated architectures and accelerators.

Перейти: https://doi.org/10.1007/978-3-319-53768-9

Дод.точки доступу:
Benini, Luca.; Gupta, Rajesh K.; Rahimi, Abbas. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

1-20 21-24

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)