الصفحة 27
الصفحة 27
Lattices and Ordered Algebraic Structures
Lattices and Ordered Algebraic Structures provides a lucid and concise introduction to the basic results concerning the notion of an order. Although as a whole it is mainly intended for beginning postgraduates, the prerequisities are minimal and selected parts can profitably be used to broaden the horizon of the advanced undergraduate. The treatment is modern, with a slant towards recent developments in the theory of residuated lattices and ordered regular semigroups.
LATIN 2008 : Theoretical Informatics ; 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the Theory of Computing. Previous conferences havebeen organized twiceinBrazil: SaoPaulo (1992) and Campinas (1998); twice in Chile: Valpara so (1995) and Valdivia (2006); once in Uruguay: Punta del Este (2000); once in Mexico: Cancun (2002); and once in Argentina: Buenos Aires (2004). This volume contains the proceedings of the 8th Latin American Theore- cal INformatics Symposium (LATIN 2008), which was held in Buzio s, Rio de Janeiro, Brazil, April 7 11, 2008.
Lateral Alignment of Epitaxial Quantum Dots
Accurate positioning of self-organized nanostructures on a substrate surface can be regarded as the Achilles’ heel of nanotechnology. This perception also applies to self-assembled semiconductor quantum dots. This book describes the full range of possible strategies to laterally align self-assembled quantum dots on a substrate surface, starting from pure self-ordering mechanisms and culminating with forced alignment by lithographic positioning. The text addresses both short- and long-range ordering phenomena and paves the way for the future high integration of single quantum dot devices on a single chip. Contributions by the best-known experts in this field ensure that all relevant quantum-dot heterostructures are elucidated from diverse relevant perspectives.
Laser in restorative dentistry
The application of lasers in restorative dentistry has revolutionized dental treatments, offering enhanced precision, reduced discomfort, and improved clinical outcomes. Lasers have become a valuable tool in procedures such as cavity preparation, caries removal, tooth whitening, and composite resin curing. Their ability to selectively target diseased tissue while preserving healthy structures minimizes trauma and promotes faster healing. Moreover, lasers offer a less invasive alternative to traditional mechanical methods, often eliminating the need for anesthesia. This technology's versatility allows for its use in both hard and soft tissue treatments, including gingival recontouring and managing peri-implant diseases. As laser technology continues to advance, its integration into restorative dental practices offers significant potential for improved patient care, greater procedural efficiency, and long-term durability of restorations. Future developments in laser applications are expected to expand their role, making them an indispensable asset in modern dentistry.
Laser additive manufacturing: design, materials, processes and applications
Laser-based additive manufacturing (LAM) is a revolutionary advanced digital manufacturing technology developed in recent decades, which is also a key strategic technology for technological innovation and industrial sustainability. This technology unlocks the design and constraints of traditional manufacturing and meets the needs of complex geometry fabrication and high-performance part fabrication. A deeper understanding of the design, materials, processes, structures, properties and applications is desired to produce novel functional devices, as well as defect-free structurally sound and reliable LAM parts.The topics in this Special Issue reprint include macro- and micro-scale additive manufacturing with lasers, such as structure/material design, fabrication, modeling and simulation, in situ characterization of additive manufacturing processes and ex situ materials characterization and performance, with an overview that covers various applications in aerospace, biomedicine, optics and energy.
Languages and Compilers for Parallel Computing ; 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in July/August 2008.The 18 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 35 submissions. The papers address all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing and comprise
Languages and Compilers for Parallel Computing ; 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007.The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
Languages and Compilers for High Performance Computing ; 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, been made available publically on the web, and become a basis for several research projects. We discuss our experience using Cetus for a selection of these research projects. The focus of this paper is not the projects themselves, but rather how Cetus made these projects possible, how the needs of these projects influenced the development of Cetus, and the solutions we applied to problems we encountered with the infrastructure. We believe the research community can benefit from such a discussion, as shown by the strong interest in the mini-workshop on compiler research infrastructures where some of this information was first presented.
K-Theory : An Introduction
From the Preface: K-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem. For each projective algebraic variety, Grothendieck constructed a group from the category of coherent algebraic sheaves, and showed that it had many nice properties. Atiyah and Hirzebruch considered a topological analog defined for any compact space X, a group K{X) constructed from the category of vector bundles on X. It is this ''topological K-theory" that this book will study. Topological K-theory has become an important tool in topology. Using K- theory, Adams and Atiyah were able to give a simple proof that the only spheres which can be provided with H-space structures are S1, S3 and S7. Moreover, it is possible to derive a substantial part of stable homotopy theory from K-theory.
Knowledge management : Systems and processes in the AI era
Aimed at students and managers who seek detailed insights into contemporary knowledge management (KM). It explains the concepts, theories, and technologies that provide the foundation for knowledge management; the systems and structures that constitute KM solutions; and the processes for developing, deploying, and evaluating these KM solutions. It serves as a complete introduction to the subject of knowledge management, incorporating technical and social aspects, as well as concepts, practical examples, traditional KM approaches, and emerging topics. This third edition has been revised and expanded to include more coverage of emergent trends such as cloud computing, online communities, crowdsourcing and artificial intelligence.
Journal on Data Semantics X
Web semantics and semi-structured data , Semantic caching , Data warehousing and semantic data mining , Spatial, temporal, multimedia and multimodal semantics , Semantics in data visualization , Semantic services for mobile users , Supporting tools , Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not from the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board.
JavaScript data structures and algorithms : An Introduction to understanding and implementing core data structure and algorithm fundamentals
Combines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all specifically relevant to JavaScript Provides background information on object-oriented programming and native JavaScript concepts to help understand how everything fits together Illustrates how these theoretical computer science concepts ties back to practical applications in software engineering
Java Methods for Financial Engineering : Applications in Finance and Investment
This book is structured around the main theories and models used by practitioners to engineer finance and investment tools. The methods developed and implemented in the text are organized as chapters which cover the core areas.
Java Challenges 100+ : Proven Tasks that Will Prepare You for Anything
Expand your knowledge of Java with this entertaining learning guide, which features 100+ exercises and programming challenges. Java Challenges will prepare you for your next exam or job interview, and covers many practical topics, such as strings, arrays, data structures, recursion, and date and time. The APIs and other material included in this book are Java 17 compatible. You will: Improve your Java knowledge by solving enjoyable but challenging programming puzzles / Solve mathematical problems, recursions, strings, arrays and more / Manage data processing and data structures like lists, sets, maps / Handle advanced recursion as well as binary trees, sorting and searching / Gamify key fundamentals for fun and easier reinforcement
Java : how to program. Late objects : Introducing Jshell
Introduction to Computers, the Internet and Java / Introduction to Java Applications; Input/Output and Operators / Control Statements: Part 1; Assignment, ++ and Operators / Control Statements: Part 2; Logical Operators / Methods / Arrays and ArrayLists / Introduction to Classes and Objects / Classes and Objects: A Deeper Look / Object-Oriented Programming: Inheritance / Object-Oriented Programming: Polymorphism and Interfaces / Exception Handling: A Deeper Look / JavaFX Graphical User Interfaces / JavaFX GUI / Strings, Characters and Regular Expressions / Files, Input/Output Streams, NIO and XML Serialization / Generic Collections / Lambdas and Streams / Recursion / Searching, Sorting and Big O / Generic Classes and Methods: A Deeper Look / Custom Generic Data Structures / JavaFX Graphics and Multimedia / Concurrency / Accessing Databases with JDBC / Introduction to JShell: Java 9's REPL for Interactive Java
IUTAM Symposium on Vibration Control of Nonlinear Mechanisms and Structures ; Proceedings of the IUTAM Symposium held in Munich, Germany, 18-22 July 2005
The objective of the Symposium was to evaluate the limits of performance that can beachievedby controlling the dynamics, and to point out gaps in present research and give links for areas offuture research.Mainly, it brought together leading experts from quite different areas presenting theirpoints of view.
IUTAM symposium on topological design optimization of structures, machines and materials ; Status and perspectives
Contains the refereed and edited versions of papers presented at the IUTAM Symposium on Topological Design Optimization of Structures. The IUTAM Symposium provided a forum for the exchange of ideas for - ture developments in the area of topological design optimization. This enc- passed the application to ?uid-solid interaction problems, acoustics problems, and to problems in biomechanics, as well as to other multiphysics problems.
IUTAM Symposium on Hamiltonian Dynamics, Vortex Structures, Turbulence ; Proceedings of the IUTAM Symposium held in Moscow, 25–30 August, 2006
This work brings together previously unpublished notes contributed by participants of the IUTAM Symposium on Hamiltonian Dynamics, Vortex Structures, Turbulence (Moscow, 25-30 August 2006). The study of vortex motion is of great interest to fluid and gas dynamics: since all real flows are vortical in nature, applications of the vortex theory are extremely diverse, many of them (e.g. aircraft dynamics, atmospheric and ocean phenomena) being especially important. The last few decades have shown that serious possibilities for progress in the research of real turbulent vortex motions are essentially related to the combined use of mathematical methods, computer simulation and laboratory experiments. These approaches have led to a series of interesting results which allow us to study these processes from new perspectives.
IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering ; Proceedings of the IUTAM Symposium held in Hamburg, Germany, July 23-26, 2007
This book collects contributions from leading scientists working on the following topics: Ocean waves, probabilistic models of sea waves, fluid-loading on structures including pipes, cables, drill-strings etc., behavior of floating systems, stability and capsizing of ships, coupled structural behavior, sloshing in tanks, CFD validation and verification.
IUTAM symposium on elementary vortices and coherent structures : Significance in turbulence dynamics ; Proceedings of the IUTAM Symposium held at Kyoto International Community House, Kyoto, Japan, 26-28 October, 2004
This book contains 40 contributions presented there, the subjects of which cover vortex dynamics, coherent structures, chaotic advection and mixing, statistical properties of turbulence, rotating and stratified turbulence, instability and transition, dynamics of thin vortices, finite-time singularity, and superfluid turbulence. The book should be useful for readers of graduate and advanced levels in the field of fluid turbulence.
