28 resultater (0,23957 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Distributed Computing and Intelligent Technology - - Bog - Springer International Publishing AG - Plusbog.dk

Distributed Computing and Intelligent Technology - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 19th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2023, which was held in Bhubaneswar, India, in January 2023. The 20 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers are organized in the following topical sections: Invited Talks; Distributed Computing; Intelligent Technology.

DKK 604.00
1

Interactive Theorem Proving - - Bog - Springer International Publishing AG - Plusbog.dk

Interactive Theorem Proving - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

DKK 416.00
1

Advances in Neural Networks – ISNN 2015 - - Bog - Springer International Publishing AG - Plusbog.dk

Advances in Neural Networks – ISNN 2015 - - Bog - Springer International Publishing AG - Plusbog.dk

The volume LNCS 9377 constitutes the refereed proceedings of the 12th International Symposium on Neural Networks, ISNN 2015, held in Jeju, South Korea in October 2015. The 55 revised full papers presented were carefully reviewed and selected from 97 submissions. These papers cover many topics of neural network-related research including intelligent control, neurodynamic analysis, memristive neurodynamics, computer vision, signal processing, machine learning, and optimization.

DKK 416.00
1

Pattern Recognition - - Bog - Springer International Publishing AG - Plusbog.dk

Pattern Recognition - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 9th Mexican Conference on Pattern Recognition, MCPR 2017, held in Huatulco, Mexico, in June 2017. The 29 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on pattern recognition and artificial intelligence techniques, image processing and analysis, robotics and remote sensing, natural language processing and recognition, applications of pattern recognition.

DKK 426.00
1

DNA Computing and Molecular Programming - - Bog - Springer International Publishing AG - Plusbog.dk

DNA Computing and Molecular Programming - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 22nd International Conference on DNA Computing and Molecular Programming, DNA 22, held Munich, Germany, in September 16 The 11 full papers presented together with 10 invited and tutorial talks were carefully selected from 55 submissions Research in DNA computing and molecular programming draws together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems

DKK 423.00
1

Programming Languages and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Programming Languages and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

DKK 349.00
1

Mobile Web and Intelligent Information Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Mobile Web and Intelligent Information Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 12th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2015, held in Rome, Italy, in August 2015. The 17 full papers and 3 short papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as mobile services and applications; usability and visualization; mobile networks and applications; mobile data services; smart phones and mobile commerce applications.

DKK 375.00
1

Ad-hoc, Mobile, and Wireless Networks - - Bog - Springer International Publishing AG - Plusbog.dk

Ad-hoc, Mobile, and Wireless Networks - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2017, held in Messina, Italy, in September 2017. The 22 full and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions were organized in topical sections named: internet of things; security; smart city; ad-hoc networks; implementations and validations; wireless sensor networks; data management; wireless systems.

DKK 426.00
1

Games and Learning Alliance - - Bog - Springer International Publishing AG - Plusbog.dk

Games and Learning Alliance - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 5th International Conference on Games and Learning Alliance, GALA 2016, held in Utrecht, The Netherlands, in December 2016. The 27 revised regular papers presented together with 14 poster papers were carefully reviewed and selected from 55 submissions. The papers cover topics such as games and sustainability; games for math and programming; games and health; games and soft skills; games and management; games and learning; game development and assessment; and mobile games.

DKK 426.00
1

The Semantic Web – ISWC 2017 - - Bog - Springer International Publishing AG - Plusbog.dk

The Semantic Web – ISWC 2017 - - Bog - Springer International Publishing AG - Plusbog.dk

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.

DKK 426.00
1

The Semantic Web – ISWC 2017 - - Bog - Springer International Publishing AG - Plusbog.dk

The Semantic Web – ISWC 2017 - - Bog - Springer International Publishing AG - Plusbog.dk

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.

DKK 426.00
1

Scale Space and Variational Methods in Computer Vision - - Bog - Springer International Publishing AG - Plusbog.dk

Scale Space and Variational Methods in Computer Vision - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, held in Kolding, Denmark, in June 2017. The 55 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in the following topical sections: Scale Space and PDE Methods; Restoration and Reconstruction; Tomographic Reconstruction; Segmentation; Convex and Non-Convex Modeling and Optimization in Imaging; Optical Flow, Motion Estimation and Registration; 3D Vision.

DKK 426.00
1

Information Systems Security - - Bog - Springer International Publishing AG - Plusbog.dk

Information Systems Security - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the18th International Conference on Information Systems Security, ICISS 2022, held in Tirupati, India, during December 16-20, 2022 The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 55 submissions. They were organized in topical sections as follows: ​ostinato: cross-host attack correlation through attack activity similarity detection; DKS-PKI: a distributed key server architecture for public key infrastructure;generating-set evaluation of bloom filter hardening techniques in private record linkage; etc

DKK 519.00
1

Internet of Vehicles – Technologies and Services - - Bog - Springer International Publishing AG - Plusbog.dk

Internet of Vehicles – Technologies and Services - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the Third International Conference on Internet of Vehicles, IOV 2016, held in Nadi, Fiji, in December 2016.The 22 full papers presented were carefully reviewed and selected from 55 submissions. IOV 2016 is intended to play an important role for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IOV architectures, protocols, services, and applications, as well as to identify emerging research topics and define the future directions of IOV.

DKK 434.00
1

Artificial Intelligence in Music, Sound, Art and Design - - Bog - Springer International Publishing AG - Plusbog.dk

Artificial Intelligence in Music, Sound, Art and Design - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 12th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2023, held as part of Evo* 2023, in April 2023, co-located with the Evo* 2023 events, EvoCOP, EvoApplications, and EuroGP. The 20 full papers and 7 short papers presented in this book were carefully reviewed and selected from 55 submissions. They cover a wide range of topics and application areas of artificial intelligence, including generative approaches to music and visual art, deep learning, and architecture.

DKK 616.00
1

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Model and Data Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-based modeling, reasoning and reuse; event-B and modeling languages; context modeling and model transformation; data mining; query processing; modeling activities and inference; prediction and recommendation; requirement and systems engineering.

DKK 416.00
1

Image Analysis and Recognition - - Bog - Springer International Publishing AG - Plusbog.dk

Image Analysis and Recognition - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Image Analysis and Recognition, ICIAR 2015, held in Niagara Falls, ON, Canada, in July 2015. The 55 revised full papers and 5 short papers presented were carefully reviewed and selected from 80 submissions. The papers are organized in the following topical sections: image quality assessment; image enhancement; image segmentation, registration and analysis; image coding, compression and encryption; dimensionality reduction and classification; biometrics; face description, detection and recognition; human activity recognition; robotics and 3D vision; medical image analysis; and applications.

DKK 416.00
1

Intersections in Simulation and Gaming - - Bog - Springer International Publishing AG - Plusbog.dk

Intersections in Simulation and Gaming - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed post-conference proceedings of the 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and the 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, held in Melbourne, VIC, Australia, in September 2016. The 28 revised full papers included in the volume were carefully reviewed and selected from 55 submissions. They are organized in the following topical sections: Making the grade; Come to think of it; From here to fidelity; The name of the game; and Ahead of the game.

DKK 426.00
1

Databases Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Databases Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 27th Australasian Database Conference, ADC 2016, held in Sydney, NSW, Australia, in September 2016. The 33 full papers presented together with 11 demo papers were carefully reviewed and selected from 55 submissions. The mission of ADC is to share novel research solutions to problems of today''s information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research. The topics of the presented papers are related to all practical and theoretical aspects of advanced database theory and applications, as well as case studies and implementation experiences.

DKK 416.00
1

Phytosequestration - Abrar Yousuf - Bog - Springer International Publishing AG - Plusbog.dk

Phytosequestration - Abrar Yousuf - Bog - Springer International Publishing AG - Plusbog.dk

Most imperative environmental concerns are Cultural eutrophication pertaining to industrialization and urbanization which lead to proliferation of weeds in aquatic environs disturbing these ecosystems. Alarming increase in CO 2 , CH 4 , CFC''s, N 2 O and water vapour in the atmosphere cause enhanced greenhouse effect, among all these CO 2 is accountable for 55-60 % of total enhanced effect. Phyto- and Nutrient sequestration via plants helps storage of atmospheric CO 2 in the vegetation to get rid of contaminants. Carbon and nutrient sequestration can be braided together for sustainable development goals. The chapters adopt the hierarchy as follows: significance of quality environs, quantification and bio-monitoring of culprit contaminants, the issues relevant to global warming and accelerated eutrophication and their ecological impacts followed by various sequestration technologies.

DKK 434.00
1

Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic - Patricia Melin - Bog - Springer International Publishing AG - Plusbog.dk

Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic - Patricia Melin - Bog - Springer International Publishing AG - Plusbog.dk

In this book four new methods are proposed. In the first method the generalized type-2 fuzzy logic is combined with the morphological gra-dient technique. The second method combines the general type-2 fuzzy systems (GT2 FSs) and the Sobel operator; in the third approach the me-thodology based on Sobel operator and GT2 FSs is improved to be applied on color images. In the fourth approach, we proposed a novel edge detec-tion method where, a digital image is converted a generalized type-2 fuzzy image. In this book it is also included a comparative study of type-1, inter-val type-2 and generalized type-2 fuzzy systems as tools to enhance edge detection in digital images when used in conjunction with the morphologi-cal gradient and the Sobel operator. The proposed generalized type-2 fuzzy edge detection methods were tested with benchmark images and synthetic images, in a grayscale and color format. Another contribution in this book is that the generalized type-2 fuzzy edge detector method is applied in the preprocessing phase of a face rec-ognition system; where the recognition system is based on a monolithic neural network. The aim of this part of the book is to show the advantage of using a generalized type-2 fuzzy edge detector in pattern recognition applications. The main goal of using generalized type-2 fuzzy logic in edge detec-tion applications is to provide them with the ability to handle uncertainty in processing real world images; otherwise, to demonstrate that a GT2 FS has a better performance than the edge detection methods based on type-1 and type-2 fuzzy logic systems.

DKK 426.00
1

Intelligent Computer Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

Intelligent Computer Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.

DKK 426.00
1