الصفحة 2
الصفحة 2
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.
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.
Data and applications security XX ; 20th Annual IFIP WG 11.3 Working Conference on data and applications security, Sophia Antipolis, France, July 31-August 2, 2006, Proceedings
For 20 years, the IFIP WG 11. 3 Working Conference on Data and Appli- tions Security (DBSEC) has been a major forum for presenting originalresearch results, practical experiences, and innovative ideas in data and applications - curity.Like the previous conference, the 20th DBSEC has proved to be up to this challenge. DBSEC 2006 received 56 submissions, out of which the program committee selected22 high-qualitypaperscoveringanumber of diverseresearchtopicssuch as access control, privacy, and identity management.
Cryptographic hardware and embedded systems - CHES 2006 ; 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
These are the proceedings of the Eighth Workshop on Cryptographic Hardware and Embedded Systems (CHES 2006) held in Yokohama, Japan, October 10-13, 2006. The CHES workshophas been sponsored by the International Association for Cryptographic Research (IACR) since 2004. The ?rst and the second CHES workshops were held in Worcester in 1999 and 2000, respectively, followed by Paris in 2001, San Francisco Bay Area in 2002, Cologne in 2003, Boston in 2004 and Edinburgh in 2005. This is the ?rst CHES workshop held in Asia.
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. He shows you how to build and program them from scratch, starting with the simplest robots and progressing in difficulty to a total of seven award–winning robots! You can download all the code, along with low–resolution videos that show how your robot works when it's finished. You don't need to be a programmer to develop these cool robots, because all the code is provided, but advanced developers will enjoy seeing the secrets of Benedettelli's code and techniques revealed.
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
Computer Vision, Graphics and Image Processing ; 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings
The Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP) is a forum bringing together researchers and practitioners in these related areas, coming from national and international academic institutes, from government research and development laboratories, and from industry. The proceedings of ICVGIP 2006, published in Springer's series Lecture Notes in Computer Science, comprise 85 papers that were selected for presentation from 284 papers, which were submitted from all over the world.
Computational linguistics and intelligent text processing ; Vol. 3878 ; 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for discussion of the internal art and craft of natural language processing research and the best practices in its applications.
Machine learning methods for reverse engineering of defective structured surfaces
Pascal Laube presents machine learning approaches for three key problems of reverse engineering of defective structured surfaces: parametrization of curves and surfaces, geometric primitive classification and inpainting of high-resolution textures. The proposed methods aim to improve the reconstruction quality while further automating the process. The contributions demonstrate that machine learning can be a viable part of the CAD reverse engineering pipeline.
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3835 : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Bioinorganic electrochemistry
Interfacial electrochemistry of redox metalloproteins and DNA-based molecules is presently moving towards new levels of structural and functional resolution. This is the result of powerful interdisciplinary efforts. Underlying fundamentals of biological electron and proton transfer is increasingly well understood although with outstanding unresolved issues. Comprehensive bioelectrochemical studies have mapped the working environments for bioelectrochemical electron transfer, supported by the availability of mutant proteins and other powerful biotechnology. Introduction of surface spectroscopy, the scanning probe microscopies, and other solid state and surface physics methodology has finally offered exciting new fundamental and technological openings in interfacial bioelectrochemistry of both redox proteins and DNA-based molecules.
Bioactive Confirmation II
Specific binding of a ligand to a receptor is a key step in a variety of biol- ical processes, such as immune reactions, enzyme cascades, or intracellular transport processes. The ligand-receptor terminology implies that the rec- tor molecule is signi?cantly larger than the ligand, and the term "bioactive conformation" usually characterizes the conformation of a ligand when it is bound to a receptor. In a more general sense, bioactive conformation applies toanymoleculeinabiologicallyrelevantboundstateregardlessofsizecons- erations. Mostofthecontributions tothisbookaddressligandsthat aremuch smaller than their receptors. X-ray crystallography and high resolution NMR spectroscopy are the two main experimental techniques used to study bioactive conformations. The- fore, the twovolumes ofthisbookcover approachesthat use either ofthetwo techniques, or a combination thereof.
Automatic video editor
Searching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate or correct. In our project, we worked on developing a system that receives the search word from the user and searches for it among a large number of videos using MSR-VTT dataset and COCO data set based on the elements that we see inside the video. Entered by the user. We have also worked on adding other options that the user can benefit from in modifying the videos, such as entering a black and white video clip and returning the result in color. The user can also enter a low-resolution video clip, and the system improves the accuracy of the video and sends it.
Anaphora : Analysis, Algorithms and Applications ; 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos Portugal, March 29-30, 2007, Selected Papers
This book presented sections on human processing and performance, language analysis and representation, resolution methodology and algorithms, as well as computational systems and applications.
An Undergraduate Primer in Algebraic Geometry
This book consists of two parts. The first is devoted to an introduction to basic concepts in algebraic geometry: affine and projective varieties, some of their main attributes and examples. The second part is devoted to the theory of curves: local properties, affine and projective plane curves, resolution of singularities, linear equivalence of divisors and linear series, Riemann–Roch and Riemann–Hurwitz Theorems.The approach in this book is purely algebraic. The main tool is commutative algebra, from which the needed results are recalled, in most cases with proofs. The prerequisites consist of the knowledge of basics in affine and projective geometry, basic algebraic concepts regarding rings, modules, fields, linear algebra, basic notions in the theory of categories, and some elementary point–set topology.
Algorithmes dapproximation
Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés.
Advances in image enhancement
In the era of the internet of things, images have played important roles in human–computer interactions, and with the arrival of big data technology, people have higher requirements regarding image quality, especially for images collected in dark light. This can be addressed through the development of camera hardware quality, i.e., the resolution and exposure time of cameras, which may require high computational costs. As an alternative, image enhancement techniques can exact salient features to improve the quality of captured images according to the differences in diverse features, although they suffer from some challenges, i.e., a low contrast, artifacts, and overexposure, thus making it decidedly necessary to determine how to use advanced image enhancement techniques.
Advanced Methods for Inconsistent Knowledge Management
This book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge management, analyzed by traditional mathematical methods using relational and logical representations.
Advanced machine learning and deep learning approaches for remote sensing
Provides research on how technologies such as artificial intelligence-based machine learning and deep learning can be applied to remote sensing. Through this, we can see the process of solving the existing problems of image and image signal processing for remote sensing. These techniques are computationally intensive and require the help of high-performance computing devices. With the development of devices such as GPUs, remote sensing technology, and aerial sensing technology, it is possible to monitor the Earth with high-resolution images and to obtain vast amounts of Earth observation data. The papers published in this reprint describe recent advances in big data processing and artificial intelligence-based technologies for remote sensing technology.
