الصفحة 12
الصفحة 12
Geometric Methods in Algebra and Number Theory
The transparency and power of geometric constructions has been a source of inspiration to generations of mathematicians. The beauty and persuasion of pictures, communicated in words or drawings, continues to provide the intuition and arguments for working with complicated concepts and structures of modern mathematics. This volume contains a selection of articles exploring geometric approaches to problems in algebra, algebraic geometry and number theory.
Geographic information metadata for spatial data infrastructures : Resources, interoperability and information retrieval
Metadata play a fundamental role in both DLs and SDIs. Commonly defined as "structured data about data" or "data which describe attributes of a resource" or, more simply, "information about data", it is an essential requirement for locating and evaluating available data. Therefore, this book focuses on the study of different metadata aspects, which contribute to a more efficient use of DLs and SDIs. The three main issues addressed are: the management of nested collections of resources, the interoperability between metadata schemas, and the integration of information retrieval techniques to the discovery services of geographic data catalogs (contributing in this way to avoid metadata content heterogeneity).
Generative and transformational techniques in software engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.The 7 tutorial lectures presented together with 5 short tutorials and 4 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations, methods, examples, and tool support.
Gathering Hopewell : Society, Ritual and Ritual Interaction
In this book, twenty-one researchers in interwoven efforts immerse themselves and the reader in this vibrant archaeological record in order to richly reconstruct the faces, actions, and motivations Hopewellian people in their social and ritual life. Using a personalized and locally contextualized approach, the authors explore Hopewellian leadership, systems of social ranking and prestige, animal-totemic clan organization, kinship structures, sodalities, gender, community organizations, strategies of intercommunity alliance, and interregional travels for power questing, pilgrimage, healing, tutelage, and acquiring rituals.
Game-Theoretical Semantics : Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala and Saarinen
This book is a collection of studies applying game-theoretical concepts and ideas to analysing the semantics of natural language and some formal languages. The bulk of the book consists of several papers by Hintikka, Carlson and Saarinen and discusses several of the central problems of the semantics of natural language.The topics covered are the semantics of natural language quantifiers, conditionals, pronouns and anaphora more generally. Hintikka’s famous essay presenting examples of "branching quantifier structures" in English, as well as one formulating his "any-every thesis", are included. The book also includes Hintikka’s closely argued philosophical discussion of the relationships between the new semantical games with the language games of Wittgenstein.
Fuzzy Equational Logic
The book deals with similarity relations defined on a set with functions. The functions are required to map similar elements to similar ones. The book presents basic mathematical properties of structures consisting of similarity-preserving functions and logics for reasoning about similarities. The presented text is self-contained. The notions and results are demonstrated through examples which are graphically illustrated. The book is useful for researchers, but it can also be used as a graduate text.
Fundamentals of Structural Dynamics : Theory and Computation
Emphasizes numerical methods, nonlinear response of structures, and the analysis of continuous systems (e.g., wave propagation). Fundamentals of Structural Dynamics: Theory and Computation builds the theory of structural dynamics from simple single-degree-of-freedom systems through complex nonlinear beams and frames in a consistent theoretical context supported by an extensive set of MATLAB codes that not only illustrate and support the principles, but provide powerful tools for exploration. The book is designed for students learning structural dynamics for the first time but also serves as a reference for professionals throughout their careers.
Fundamentals of Magnetism
In the last decade a tremendous progress has taken place in understanding the basis of magnetism, especially in reduced dimensions. In the first part, the fundamentals of magnetism are conveyed for atoms and bulk-like solid-state systems providing a basis for the understanding of new phenomena which exclusively occur in low-dimensional systems as the giant magneto resistance. This wide field is discussed in the second part and illustrated by copious examples. This textbook is particularly suitable for graduate students in physical and materials sciences. It includes numerous examples, exercises, and references.
Fundamentals of anatomy and physiology of speech, language, and hearing
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed illustrations. High-resolution Anatomage virtual dissection table figures derived from real cadavers offer an unparalleled glimpse into the anatomical structures of the human body, featuring true-to-life colors and an impressive level of detail. Topics explored include respiration, phonation, articulation, swallowing, resonance, hearing, balance, neuroanatomy, and neurophysiology.
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory.
Fundamentals of nanoscale film analysis
The book describes the fundamentals of materials characterization from the standpoint of the incident photons or particles which interrogate nanoscale structures. These induced reactions lead to the emission of a variety of detected of particles and photons. It is the energy and intensity of the detected beams that is the basis of the characterization of the materials. The array of experimental techniques used in nanoscale materials analysis covers a wide range of incident particle and detected beam interactions.
Fundamental approaches to software engineering ; 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
Fundamental approaches to software engineering ; 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Fundamental approaches to software engineering ; 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.
Functional Structures in Networks : AMLn - A Language for Model Driven Development of Telecom Systems
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects and designers. This method emphasizes modeling the (very complex) functional structure of networks in a way that is independent of any hardware and software design methodology
Functional Molecular Nanostructures
in This book some recent advances in the structural design of nanoscale assemblies are shown, along with examples from the following areas: supramolecular catalysis, photoactive assemblies, molecular recognition and switches, and electroactive assemblies.The last decade has witnessed an unprecedented pursuit of discrete, nanoscale supramolecular aggregates, built by modern methods of self-assembly strategies. Several efficient new synthetic methods have been developed for engineering spectacular multicomponentsupramolecular aggregates.
Functional and logic programming ; 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
Frontiers in Surface Nanophotonics : Principles and Applications
This book explores the role of surface effects in optical phenomena in nanoscience, from two different perspectives. At the level of systems of nanostructures, it translates into larger density on interfaces, which in turn leads to such intriguing collective effects as plasmonics or multiple reflection and refraction phenomena.
Frontiers in Materials Research
This book covers recent progress in advanced materials research as reviewed by forefront researchers in contributions which would also be suitable for researchers and postgraduates in a related field. It starts with comprehensive reviews of exotic materials for electronic devices, such as wide gap semiconductors and organic materials. They are followed by recent topics on eco- and bio-friendly materials, which attract more and more attention in the materials research community. Atomic scale characterization and control of nanostructured materials are discussed in later chapters that review the general possibilities for precise control of structures and properties in the developments of advanced materials.
Frontiers in Algorithmics ; 2nd Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, held in Changsha, China, in June 2008.The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 80 submissions. The papers were selected for 9 special focus tracks in the areas of biomedical informatics, discrete structures, geometric information processing and communication, games and incentive analysis.
