الصفحة 34
الصفحة 34
Applied Cryptography and Network Security ; 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part I
This two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 46 revised full papers presented were carefully reviewed and selected from 214 submissions. The papers were organized in topical sections named: cryptographic protocols cryptographic primitives, attacks on cryptographic primitives, encryption and signature, blockchain and cryptocurrency, secure multi-party computation, post-quantum cryptography.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applications of Fuzzy Sets Theory ; 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings
The book is organized in topical sections on fuzzy set theory, fuzzy information access and retrieval, fuzzy machine learning, fuzzy architectures and systems; and special sessions on intuitionistic fuzzy sets and soft computing in image processing.
Applications of evolutionary computing ; Vol. 3907 : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings
This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2006, held in Budapest, Hungary, in April 2006. The 65 revised full papers and 13 revised short papers presented were carefully reviewed and selected from a total of 149 submissions. In accordance with the seven workshops covered, the papers are organized in topical sections on evolutionary bioinformatics, evolutionary computation in communications, networks, and connected systems, evolutionary computation in hardware optimization, evolutionary computation in image analysis and signal processing, interactive evolution and humanized computational intelligence, evolutionary music and art, and evolutionary algorithms in stochastic and dynamic environments.
Applications of declarative programming and knowledge management ; 15th international conference on applications of declarative programming and knowledge management, INAP 2004, and 18th workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Applications and Usability of Interactive TV; 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2019, in Rio de Janeiro, Brazil, in October 2019. The 10 full papers presented were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on Design and Development; Second Screen and Crossmedia; Interaction Techniques and Technologies; Accessibility; User Experience.
Application of power electronics converters in smart grids and renewable energy systems
Focuses on the applications of Power Electronics Converters in smart grids and renewable energy systems. The topics covered include methods to CO2 emission control, schemes for electric vehicle charging, reliable renewable energy forecasting methods, and various power electronics converters. The converters include the quasi neutral point clamped inverter, MPPT algorithms, the bidirectional DC-DC converter, and the push–pull converter with a fuzzy logic controller.
Android Essentials
Android Essentials is a no–frills, no–nonsense, code–centric run through the guts of application development on Google's Mobile OS. This book uses the development of a sample application to work through topics, focusing on giving developers the essential tools and examples required to make viable commercial applications work. Covering the entirety of the Android catalog in less than 150 pages is simply impossible. Instead, this book focuses on just four main topics: the application life cycle and OS integration, user interface, location–based services, and networking.
Analysis and Modelling of Faces and Gestures ; 2nd International workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings
During the last 30 years, face recognition and related problems such as face detection/tracking and facial expression recognition have attracted researchers from both the engineering and psychology communities. In addition, extensive research has been carried out to study hand and body gestures. The understanding of how humans perceive these important cues has significant scientific value and extensive applications. this one-day workshop (AMFG 2005) provided a focused international forum to bring together well-known researchers and research groups to review the status of recognition, analysis and modeling of faces and gestures, to discuss the challenges that we are facing, and to explore future directions. Overall, 30 papers were selected from 90 submitted manuscripts. The topics of these papers range from feature representation, robust recognition, learning, and 3D modeling to psychology.
Analysis and Design of Information Systems : Third ed.
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and user-friendly survey to all aspects of business transformation and analysis, and aims to provide the complex set of tools covering all types of systems, including legacy, transactional, database, and web/e-commerce topics.
An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. A study of the fundamental concepts of logic, sets, and functions follows, before focus turns to methods of proof. Having covered the core of a transition course, the author goes on to present a selection of advanced topics that offer opportunities for extension or further study. Throughout, appendices touch on historical perspectives, current trends, and open questions, showing mathematics as a vibrant and dynamic human enterprise.This second edition has been reorganized to better reflect the layout and curriculum of standard transition courses. It also features recent developments and improved appendices. An Invitation to Abstract Mathematics is ideal for those seeking a challenging and engaging transition to advanced mathematics, and will appeal to both undergraduates majoring in mathematics, as well as non-math majors interested in exploring higher-level concepts.
An introduction to ontology engineering
Provides the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on experience in ontology development that illustrate the theory. The book is divided into three blocks: Block I: logic foundations for ontologies both regarding the languages (mainly First Order predicate Logic, Description Logics, and OWL) and automated reasoning. Block II: developing good ontologies with methods and methodologies, the top-down approach with foundational ontologies, and the bottom-up approach to extract as much useful content as possible from legacy material. Block III: advanced topics with a selection of areas of specialisation, including Ontology-Based Data Access, the interaction between ontologies and natural languages (multilingual ontologies, controlled natural language), and advanced modelling with additional language features (fuzzy and temporal ontologies)
Ambient Intelligence in Everyday Life : Foreword by Emile Aarts
Originating from the Workshop on Ambient Intelligence in Everyday Life held at the Miramar Congress Center, San Sebastian, Spain, in July 2005, this book is devoted to the cognitive aspects of ambient intelligence. The 15 carefully reviewed and revised articles presented are organized in topical sections on human-centric computing, ambient interfaces, and architectures for ambient intelligence.
Algorithms on Trees and Graphs : With Python Code
Introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness proofs as well as worst-case analyses. Centered around the fundamental issue of graph isomorphism, the content goes beyond classical graph problems of shortest paths, spanning trees, flows in networks, and matchings in bipartite graphs. Advanced algorithmic results and techniques of practical relevance are presented in a coherent and consolidated way. Numerous illustrations, examples, problems, exercises, and a comprehensive bibliography support students and professionals in using the book as a text and source of reference. Furthermore, Python code for all algorithms presented is given in an appendix. Topics and features: Algorithms are first presented on an intuitive basis, followed by a detailed exposition using structured pseudocode / Correctness proofs are given, together with a worst-case analysis of the algorithms / Full implementation of all the algorithms in Python / An extensive chapter is devoted to the algorithmic techniques used in the book / Solutions to all the problems
Algorithms and Programming : Problems and Solutions
This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered includes such topics as combinatorics, sorting, searching, queues, grammar and parsing, selected well-known algorithms and much more.
Algorithms and Models for the Web-Graph ; 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings
The book address a wide variety of topics related to the study of the Web-graph such as random graph models for the Web-graph, PageRank analysis and computation, decentralized search, local partitioning algorithms,and traceroute sampling. The Web-graph has been the focal point of a tremendous amount of research for more than a decade. The view of the Web as a graph has great practical importance and has also generated much interesting theoretical work.
Algorithms and computation ; Vol. 4288: 17th International symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006. The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.
Algorithms and computation ; Vol. 3827 ; 16th International symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC 2005, held in China in 2005. The 112 revised full papers presented were carefully reviewed and selected from 549 submissions. The papers are organized in topical sections on computational geometry, computational optimization, graph drawing and graph algorithms, computational complexity, approximation algorithms, internet algorithms, quantum computing and cryptography, data structure, computational biology, experimental algorithm mehodologies and online algorithms, randomized algorithms, parallel and distributed algorithms, graph drawing and graph algorithms, computational complexity, combinatorial optimization, computational biology, computational complexity, computational optimization, computational geometry, approximation algorithms, graph drawing and graph algorithms, computational geometry, approximation algorithms, graph drawing and graph algorithms, and data structure.
Algorithms and computation ; 15th international symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings
This volume contains the proceedings of the 15th Annual International Sym- sium on Algorithms and Computation (ISAAC 2004), held in Hong Kong, 2004. ISAAC is an annual international symposium that covers a wide range of topics,namelyalgorithmsandcomputation. aftar review process the committee selected 76 papers, the decisions being based on originality and relevance to the ?eld of algorithms and computation.
Algorithms and Complexity ; 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings
Here are the refereed proceedings of the 6th Italian Conference on Algorithms and Computation, CIAC 2006. The 33 revised full papers presented together with 3 invited papers address such topics as sequential, parallel and distributed algorithms, data structures, approximation algorithms, randomized algorithms, on-line algorithms, graph algorithms, analysis of algorithms, algorithm engineering, algorithmic game theory, computational biology, computational complexity, communication networks, computational geometry, cryptography, discrete optimization, graph drawing, mathematical programming, and quantum algorithms.
