الصفحة 8
الصفحة 8
Development and characterization of a dispersion-encoded method for low-coherence interferometry
This book discusses an extension to low-coherence interferometry by dispersion-encoding. The approach is theoretically designed and implemented for applications such as surface profilometry, polymeric cross-linking estimation and the determination of thin-film layer thicknesses. During a characterization, it was shown that an axial measurement range of 79.91 µm with an axial resolution of 0.1 nm is achievable. Simultaneously, profiles of up to 1.5 mm in length were obtained in a scan-free manner. This marked a significant improvement in relation to the state-of-the-art in terms of dynamic range.
Developing Ambient Intelligence ; Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)
The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most leading-edge research and contain contributions that have been formally reviewed and chosen by a selected International Program Committee. The contributions cover a wide range of AmI topics.
Designing and evaluating e-management decision tools : The integration of decision and negotiation models into internet-multimedia technologies
Presents the most relevant concepts for designing intelligent decision tools in an Internet-based multimedia environment and assessing the tools using concepts of statistical design of experiments. The book covers : Decision modeling paradigms , Visual interactive decision modeling , Online preference elicitation , collaborative decision making , negotiation and conflict resolution , marketing decision optimization , and guidelines for designing and evaluating decision support tools. This book is designed for the following uses: 1) for researchers and engineers, who are seeking recent advances and who are developing e-management systems; 2) for practitioners and managers, who seek insights about ICT potential and using ICT for business intelligence management; and 3) for students, who seek theoretical and practical concepts of building and evaluating prototype decision tools.
Deep learning and computer vision in remote sensing-II
Computer vision (CV) have seen a massive rise in popularity in the remote sensing field over the last few years. This success is mostly due to the effectiveness of deep learning (DL) algorithms. However, remote sensing data acquisition and annotation, as well as information extraction from massive remote sensing data, are still challenging. This reprint collected novel developments in the field of deep learning and computer vision methods for remote sensing. Papers dealing with fundamental theoretical analyses, as well as those demonstrating their application to real-world problems, have been published. With practical examples and real-world case studies, this reprint provides a valuable resource for researchers, professionals, and students seeking to harness the power of deep learning in the field of remote sensing.
Deep learning and computer vision in remote sensing-I
In the last few years, huge amounts of progress have been made regarding remote sensing in the field of computer vision. This success and progress is mostly due to the effectiveness of deep learning (DL) algorithms. In addition, the remote sensing community has shifted its attention to DL, and DL algorithms have been used to achieve significant success in many image analysis tasks. However, with regard to remote sensing, a number of challenges caused by difficulties in data acquisition and annotation have not been fully solved yet. This reprint is a collection of novel developments in the field of remote sensing using computer vision, deep learning, and artificial intelligence. The articles published involve fundamental theoretical analyses as well as those demonstrating their application to real-world problems.
Decision Procedures : An Algorithmic Point of View
Concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
Database theory - ICDT 2005 ; 10th international conference, Edinburgh, UK, January 5-7, 2005, Proceedings
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were “extended abstracts” and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti?c journals.
Database and expert systems applications ; DEXA 2020 International workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, held in September 2020: The 11th International Workshop on Biological Knowledge Discovery from Data, BIOKDD 2020, the 4th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2020, the 2nd International Workshop on Machine Learning and Knowledge Graphs, MLKgraphs2019. Due to the COVID-19 pandemic the conference and workshop were held virtually. The 10 papers were thoroughly reviewed and selected from 15 submissions, and discuss a range of topics including: knowledge discovery, biological data, cyber security, cyber-physical system, machine learning, knowledge graphs, information retriever, data base, and artificial intelligent.
Database and expert systems applications ; 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, which will be held online in September 2020. The 38 full papers presented together with 20 short papers plus 1 keynote papers in these volumes were carefully reviewed and selected from a total of 190 submissions.
Database and expert systems applications ; 31st International conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, which will be held online in September 2020. The 38 full papers presented together with 20 short papers plus 1 keynote papers in these volumes were carefully reviewed and selected from a total of 190 submissions.
Data science in theory and practice : Techniques for big data analytics and complex data sets
Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various disciplines, like banking, finance, health care, bioinformatics, security, education, and social services. Written in five parts, the book examines some of the most commonly used and fundamental mathematical and statistical concepts that form the basis of data science. The authors go on to analyze various data transformation techniques useful for extracting information from raw data, long memory behavior, and predictive modeling. Readers will also learn from topics like: Analyses of foundational theoretical subjects, including the history of data science, matrix algebra and random vectors, and multivariate analysis A comprehensive examination of time series forecasting, including the different components of time series and transformations to achieve stationarity Introductions to both the R and Python programming languages, including basic data types and sample manipulations for both languages An exploration of algorithms, including how to write one and how to perform an asymptotic analysis A comprehensive discussion of several techniques for analyzing and predicting complex data sets
Data mining with computational intelligence
Finding information hidden in data is as theoretically difficult as it is practically important. With the objective of discovering unknown patterns from data, the methodologies of data mining were derived Wang and Fu present in detail the state of the art on how to utilize fuzzy neural networks, multilayer perceptron neural networks, radial basis function neural networks, genetic algorithms, and support vector machines in such applications. They focus on three main data mining tasks: data dimensionality reduction, classification, and rule extraction. The book is targeted at researchers in both academia and industry, while graduate students and developers of data mining systems will also profit from the detailed algorithmic descriptions.
Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques
This book will give the reader a perspective into the core theory and practice of data mining and knowledge discovery (DM&KD). Its chapters combine many theoretical foundations for various DM&KD methods, and they present a rich array of examples—many of which are drawn from real-life applications. Most of the theoretical developments discussed are accompanied by an extensive empirical analysis, which should give the reader both a deep theoretical and practical insight into the subjects covered.
Data Integration in the Life Sciences ; 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings
it cover a wide spectrum of theoretical and practical issues including scienti?c work?ows, - notation in data integration, mapping and matching techniques, and modeling of life science data. It presenting research on new models, methods, or algorithms and 6 papers presenting imp- mentation of systems or experience with systems in practice.
Data and applications security and privacy XXXIV ; 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2020, held in Regensburg, Germany, in June 2020.* The 14 full papers and 8 short papers presented were carefully reviewed and selected from 39 submissions. The papers present high-quality original research from academia, industry, and government on theoretical and practical aspects of information security. They are organized in topical sections named network and cyber-physical systems security; information flow and access control; privacy-preserving computation; visualization and analytics for security; spatial systems and crowdsourcing security; and secure outsourcing and privacy.
Coordination, organizations, institutions, and norms in agent systems II ; AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers
In recent years, social and organizational aspects of agency have become major research topics in MAS. Recent applications of MAS on Web services, grid c- puting and ubiquitous computing highlight the need for using these aspects in order to ensure social order within such environments. Openness, heterogeneity, and scalability of MAS, in turn, pose new demands on traditional MAS int- action models and bring forward the need to look into the environment where agents interact and at di?erent ways of constraining or regulating interactions.it provide theoretically demanding and interdisciplinary research questions at d- ferent levels of abstraction.
Control of Redundant Robot Manipulators : Theory and Experiments
This monograph provides a comprehensive and thorough treatment of the problem of controlling a redundant robot manipulator. It presents the latest research from the field with a good balance between theory and practice. All theoretical developments are verified both via simulation and experimental work on an actual prototype redundant robot manipulator
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
