الصفحة 20
الصفحة 20
Frontiers in Algorithmics ; 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. The papers detail graph theory, scheduling and algorithm and complexity.
From Vectors to Tensors
It is true that there exist many books dedicated to linear algebra and some what fewer to multilinear algebra, written in several languages, and perhaps one can think that no more books are needed. However, it is also true that in algebra many new results are continuously appearing, different points of view can be used to see the mathematical objects and their associated structures, and different orientations can be selected to present the material, and all of them deserve publication. he book assumes a certain knowledge of linear algebra, and is intended as a textbook for graduate and postgraduate students and also as a consultation book. It is addressed to mathematicians, physicists, engineers, and applied scientists with a practical orientation who are looking for powerful tensor tools to solve their problems.
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.
From Hahn-Banach to Monotonicity
In this new edition of LNM 1693 the essential idea is to reduce questions on monotone multifunctions to questions on convex functions. However, rather than using a “big convexification” of the graph of the multifunction and the “minimax technique”for proving the existence of linear functionals satisfying certain conditions, the Fitzpatrick function is used. The journey begins with a generalization of the Hahn-Banach theorem uniting classical functional analysis, minimax theory, Lagrange multiplier theory and convex analysis and culminates in a survey of current results on monotone multifunctions on a Banach space.
Fractal Geometry, Complex Dimensions and Zeta Functions : Geometry and Spectra of Fractal Strings
Number theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal strings, that is, one-dimensional drums with fractal boundary. Key Features The Riemann hypothesis is given a natural geometric reformulation in the context of vibrating fractal strings Complex dimensions of a fractal string, defined as the poles of an associated zeta function, are studied in detail, then used to understand the oscillations intrinsic to the corresponding fractal geometries and frequency spectra Explicit formulas are extended to apply to the geometric, spectral, and dynamical zeta functions associated with a fractal Examples of such explicit formulas include a Prime Orbit Theorem with error term for self-similar flows, and a geometric tube formula The method of Diophantine approximation is used to study self-similar strings and flows Analytical and geometric methods are used to obtain new results about the vertical distribution of zeros of number-theoretic and other zeta functions Throughout new results are examined. The final chapter gives a new definition of fractality as the presence of nonreal complex dimensions with positive real parts, and discusses several open problems and extensions.
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 ; IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Fourier Series in Control Theory
Fourier Series in Control Theory successfully gathers all of the available theory of these "nonharmonic Fourier series" in one place, combining published results with new results, to create a unique source of such material for practicing applied mathematicians, engineers, and other scientific professionals.Starting with an overview of the problems of observability, controllability, and stabilization of linear systems and their interconnections, the text contains complete proofs along with a short, simplified, presentation of some properties of Bessel functions for the convenience of the reader. Only basic knowledge of functional analysis is required.
Foundations of Hyperbolic Manifolds
The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main results are the characterization of hyperbolic reflection groups and Euclidean crystallographic groups. The second part is devoted to the theory of hyperbolic manifolds. The main results are Mostow’s rigidity theorem and the determination of the global geometry of hyperbolic manifolds of finite volume. The third part integrates the first two parts in a development of the theory of hyperbolic orbifolds. The main result is Poincare«s fundamental polyhedron theorem.
Foundations of generic optimization ; Vol.2 : Applications of fuzzy control, genetic algorithms and neural networks
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks. This book offers researchers not only a solid background but also a snapshot of the current state of the art in this field.
Foundations of generic optimization : Vol.1 : A combinatorial approach to epistasis
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks. This book offers researchers not only a solid background but also a snapshot of the current state of the art in this field.
Foundations of Data Mining and Knowledge Discovery
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art for much of the current research. This book will prove extremely valuable and fruitful for data mining researchers, no matter whether they would like to uncover the fundamental principles behind data mining, or apply the theories to practical applications.
Foundations and novel approaches in data mining
Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” syndrome. Currently, application oriented engineers are only concerned with their immediate problems, which results in an ad hoc method of problem solving. Researchers, on the other hand, lack an understanding of the practical issues of data-mining for realworld problems and often concentrate on issues that are of no significance to the practitioners. In this volume, we hope to remedy problems by (1) presenting a theoretical foundation of data-mining, and (2) providing important new directions for data-mining research. A set of well respected data mining theoreticians were invited to present their views on the fundamental science of data mining.
Foundation Website Creation with CSS, XHTML, and JavaScript
Foundation Website Creation with CSS, XHTML, and JavaScript covers the entire process of building a website. This process involves much more than just technical knowledge, and this book provides you with all the information you'll need to understand the concepts behind designing and developing for the Web, as well as the best means to deliver professional, best-practice-based results. There is far more to building a successful website than knowing a little Hypertext Markup Language (HTML). The process starts long before any coding takes place, and this book introduces you to the agile development process, explaining why this method makes so much sense for web projects and how best to implement it. Planning is vital, so you'll also learn how to use techniques such as brainstorming, wireframes, mockups, and prototypes to get your project off to the best possible start and help ensure smooth progress as it develops.
Fossil earthquakes : The formation and preservation of pseudotachylytes
This book encompass the principl results of field investigations, analyses of meso-scale and micro-scale textures and structures, laboratory experiments, chemical analyses, conceptual fault models, as well as the implications of fault related pseudotachylyte an its related fault rocks for our understanding of earthquakes. We hope that this book helps to bridge the gap between seismology and geology and that it encourages further studies of earthquake and seismic faulting processes.
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
Formal aspects in security and trust ; Vol. 173 ; IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Forecasting with Exponential Smoothing : The State Space Approach
Exponential smoothing methods have been around since the 1950s, and are the most popular forecasting methods used in business and industry. Recently, exponential smoothing has been revolutionized with the introduction of a complete modeling framework incorporating innovations state space models, likelihood calculation, prediction intervals and procedures for model selection. In this book, all of the important results for this framework are brought together in a coherent manner with consistent notation. In addition, many new results and extensions are introduced and several application areas are examined in detail.
Food chemistry : A laboratory manual
FOOD CHEMISTRY A manual designed for Food Chemistry Laboratory courses that meet Institute of Food Technologists undergraduate education standards for degrees in Food Science Every chapter offers introductory summaries of key methodological concepts and interpretations of the results obtained from food experiments. The book provides a supplementary online Instructor’s Guide useful for adopting professors that includes a Solutions Manual and Preparation Manual for laboratory sessions.
Focal liver lesions : Detection, characterization, ablation
Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in imaging technology, the development of novel contrast agents, and the introduction of optimized scanning protocols have greatly facilitated the non-invasive detection and characterization of focal liver lesions. Furthermore, image-guided techniques for percutaneous tumor ablation have become an accepted alternative treatment for patients with inoperable liver cancer. This book provides a comprehensive and up-to-date overview of the role of diagnostic and interventional radiology in respect of liver tumors. The volume moves from background sections on methodology and segmental liver anatomy to the main sections on the diagnosis of benign and malignant liver lesions. An integrated approach, focused on the correlation of ultrasound, CT, and MR imaging findings, is presented. Finally, a full section describes the principles, methods, and results of percutaneous tumor ablation techniques.
