الصفحة 12
الصفحة 12
Applied cryptography and network security ; 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings
The book is organized in topical sections on signature schemes, computer and network security, cryptanalysis, group-oriented security, cryptographic protocols, anonymous authentication, identity-based cryptography, security in wireless, ad-hoc, and peer-to-peer networks, as well as efficient implementation.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
Applied cryptography and network security ; 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part II
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 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 algebra, algebraic algorithms and error-correcting codes ; 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes; algebra: rings and fields, polynomials, permutations, lattices; cryptography: cryptanalysis and complexity; computational algebra: algebraic algorithms and transforms; sequences and boolean functions.
Applications and Techniques in Information Security ; 11th International Conference, ATIS 2020, Brisbane, QLD, Australia, November 12–13, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information Security, ATIS 2020, held in Brisbane, QLD, Australia, in November 2020. Due to the COVID-19 pandemic the conference was be held online. The 8 full papers presented in the volume were carefully reviewed and selected from 24 submissions. The papers are focused on all aspects on techniques and applications in information security research.
Applications and Innovations in Intelligent Systems XIII ; Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artifical Intelligence
The papers in this volume present new and innovative developments in the field, divided into sections on Applied AI in Information Processing, Techniques for Applied AI, Industrial Applications and Medical Applications.This is the thirteenth volume in the Applications and Innovations series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefit.
Applications and innovations in intelligent systems XII ; Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innhovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge 2004. The papers present new and innovative developments in the field, divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, Classification and Design, and Analysis and Evaluation. This is the twelth volume in the Applications and Innovations series. The series serves as a key reference on the use of AI Technology to enable organisations to solve complex problems and gain significant business benefits. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XXI.
Android programming : The big Nerd Ranch guide (Big Nerd Ranch Guides)
For programmers with Kotlin experience. Based on Big Nerd Ranch's popular Android Bootcamp, this guide will lead you through the wilderness using hands-on example apps combined with clear explanations of key concepts and APIs. This book focuses on practical techniques for developing apps in Kotlin compatible with Android 7.0 (Nougat) through Android 12 and beyond. Write and run code every step of the way, using Android Studio to create apps that integrate with other apps, download and display pictures from the web, store data in databases, and more. Learn about the latest patterns and techniques, including Kotlin coroutines and Jetpack Compose, a new way to build Android UIs.
Android Programming : The Big Nerd Ranch Guide
An introductory Android book for programmers with Java experience. Based on Big Nerd Ranch’s popular Android Bootcamp course, this guide will lead you through the wilderness using hands-on example apps combined with clear explanations of key concepts and APIs. This book focuses on practical techniques for developing apps compatible with all versions of Android widely used today (Android 2.2 - 4.2). Write and run code every step of the way – creating apps that catalog crime scenes, browse photos, track your jogging route, and more.
An Invitation to Statistics in Wasserstein Space
This book presents the key aspects of statistics in Wasserstein spaces, i.e. statistics in the space of probability measures when endowed with the geometry of optimal transportation.
An Introduction to Optical Wireless Mobile Communications
Discusses existing conventional radio frequency (RF)-based wireless access technology and presents the challenges that can impact the requirements of the future wave of new wireless services in the context of artificial intelligence (AI) driven autonomous systems and machine-type communications. The relationship between visible light communications (VLC) and light fidelity (LiFi), is explored, and the major advantages of VLC and LiFi such as security and data density, and discuss existing research challenges are also introduced. Channel modeling techniques are provided for mobile multiuser scenarios, and will introduce key building blocks to achieve LiFi cellular networks achieving orders of magnitude improvements of area spectral efficiency compared to state-of-the-art. Challenges that arise from moving from a static point-to-point visible light link to a LiFi network that is capable of serving hundreds of mobile and fixed nodes are discussed. An overview of recent standardization activities and the commercialization challenges of this disruptive technology is also provided.
An Introduction to Language Processing with Perl and Prolog : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German
This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, and annotation schemes; defining words, tokens and parts of speech; and morphology. It then details the language-processing functions involved, including part-of-speech tagging using rules and stochastic techniques; using Prolog to write phase-structure grammars; parsing techniques and syntactic formalisms; semantics, predicate logic and lexical semantics; and analysis of discourse, and applications in dialog systems. The key feature of the book is the author's hands-on approach throughout, with extensive exercises, sample code in Prolog and Perl, and a detailed introduction to Prolog. The reader is supported with a companion website that contains teaching slides, programs, and additional material.
Algorithms in Bioinformatics : Theory and Implementation
Explores a comprehensive and insightful treatment of the practical application of bioinformatic algorithms in a variety of fields. Delivers a fulsome treatment of some of the main algorithms used to explain biological functions and relationships. It introduces readers to the art of algorithms in a practical manner which is linked with biological theory and interpretation. The book covers many key areas of bioinformatics, including global and local sequence alignment, forced alignment, detection of motifs, Sequence logos, Markov chains or information entropy. Other novel approaches are also described, such as Self-Sequence alignment, Objective Digital Stains (ODSs) or Spectral Forecast and the Discrete Probability Detector (DPD) algorithm. Readers will also benefit from the inclusion of: A detailed presentation of new methods, such as Self-sequence alignment, Objective Digital Stains and Spectral Forecast ; A treatment of sequence alignment, including local sequence alignment, global sequence alignment and forced sequence alignment with full implementations ; Discussions of position-specific weight matrices, including the count, weight, relative frequencies, and log-likelihoods matrices ; A detailed presentation of the methods related to Markov Chains as well as a description of their implementation in Bioinformatics and adjacent fields ; An examination of information and entropy, including sequence logos and explanations related to their meaning ; A chapter on philosophical transactions that allows the reader a broader view of the prediction process ; Extensive worked examples with detailed case studies that point out the meaning of different results
Algorithmic Aspects of Bioinformatics
Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while progress in molecular biology is in turn influencing the development of computer science methods. This book introduces some key problems in bioinformatics, discusses the models used to formally describe these problems, and analyzes the algorithmic approaches used to solve them. After introducing the basics of molecular biology and algorithmics, Part I explains string algorithms and alignments; Part II details the field of physical mapping and DNA sequencing; and Part III examines the application of algorithmics to the analysis of biological data. Exciting application examples include predicting the spatial structure of proteins, and computing haplotypes from genotype data. This book describes topics in detail and presents formal models in a mathematically precise, yet intuitive manner, with many figures and chapter summaries, detailed derivations, and examples. It is well suited as an introduction into the field of bioinformatics, and will benefit students and lecturers in bioinformatics and algorithmics, while also offering practitioners an update on current research topics.
AI virtual mouse system
Even today, many people still find interacting with computers and hardware to be an unpleasant experience, despite the development of input devices over decades. Computers and hardware should be tailored to our natural modes of communication: Body language and speech. Intelligent machines that can work alongside computers are now being developed, allowing for friendlier Human-Computer Interaction (HCI). this project, intends a hand gesture-based system that allows users to control virtual keyboard, desktop mouse movements and connect it with mobile phone in order to monitor and control.
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses can create predictive strategies, enhance their capabilities, better interact with customers, and streamline their business processes. Explores novel concepts and cutting-edge research and developments towards designing these fully automated advanced digital systems. Fostered by technological advances in artificial intelligence and machine learning, such systems potentially have a wide range of applications in robotics, human computing, sensing and networking. The chapters focus on models and theoretical approaches to guarantee automation in large multi-scale implementations of AI and ML systems; protocol designs to ensure AI systems meet key requirements for future services such as latency; and optimisation algorithms to leverage the trusted distributed and efficient complex architectures.
AI and IoT for smart city applications
Provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence (AI) and Internet of things (IoT) perspective. The technical research works presented here are focused on a number of aspects of smart cities: smart mobility, smart living, smart environment, smart citizens, smart government, and smart waste management systems as well as related technologies and concepts. This edited book offers critical insight to the key underlying research themes within smart cities, highlighting the limitations of current developments and potential future directions.
AI 2005 : Advances in artificial intelligence ; 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5-9, 2005, proceedings
The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney (UTS), Sydney, Australia from 5 to 9 December 2005. AI 2005 attracted a historical record number of submissions, a total of 535 papers. This volume of the proceedings contains the abstracts of three keynote speeches and all the full and short papers. The full papers were categorized into three broad sections, namely: AI foundations and technologies, computational intelligence, and AI in specialized domains. AI 2005 also hosted several tutorials and workshops, providing an interacting mode for specialists and scholars from Australia and other countries.
Agent and multi-agent systems : Technologies and applications ; 1st KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, Proceedings
The aim of the symposium was to provide an international forum for scientific - search in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to the modern software which has long been r- ognized as a promising technology for constructing autonomous, complex and intel- gent systems. A key development in the field of agent and multi-agent systems has been the specification of agent communication languages and formalization of - tologies. Agent communication languages are intended to provide standard decla- tive mechanisms for agents to communicate knowledge and make requests of each other, whereas ontologies are intended for conceptualization of the knowledge - main.
