BOOKS with Alphabet F (Fa, Fb,Fc, Fd, Fe…... )

Overview: This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology..978-3-031-15007-4978-3-031-15008-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

Overview: Comprehensive overview of the state of the art.Both theoretical and applied aspects are covered.Authors are leading researchers from the community.This volume comprises the first part of the proceedings of the 10th International Conference on Finite Volumes for Complex Applications, FVCA, held in Strasbourg, France, during October 30 to November 3, 2023..The Finite Volume method, and several of its variants, is a spatial discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant succ

Overview: Thorough analysis of the newest developments in publishing in an electronic environment.Necessary foundation for anyone who wants to launch an electronic journal or digital library.Includes supplementInfonnation technology will have a significant impact in the publishing industry. Many publishers and institutions are experimenting with new ways of sharing knowledge. Internet sites are becoming more sophisticated, digital libraries and coHaboratories are being built. However it is stiH unc1ear, where this journey of change will take us. This book sets out to provide answers by examini

Overview: Provides a collection of tutorial papers accompanying lectures given at the FOSAD summer school in 2014, 2015 and 2016.Written by field experts for students, researchers and practitioners.Thoroughly r.FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia and industry, interested to approach the field, investigate ope

Overview: Reviews the major operational problems and current solutions in the area of human identification.Presents a specific focus on face biometrics using sensors that cover the electromagnetic spectrum moreThis authoritative text/reference presents acomprehensive review of algorithms and techniques for face recognition (FR),with an emphasis on systems that can be reliably used in operationalenvironments. Insights are provided by an international team of pre-eminentexperts into the processing of multispectral and hyperspectral face imagescaptured under uncontrolled environments. These discu

Overview: Presents new passive electronic components, in which the relationship between the current and the voltage at the terminals is described by differential equations of fractional order (i.e., fractal imp.This book describes a new type of passive electronic components, called fractal elements, from a theoretical and practical point of view. The authors discuss in detail the physical implementation and design of fractal devices for application in fractional-order signal processing and systems. The concepts of fractals and fractal signals are explained, as well as the fundamentals of fract

Overview: Guides readers to a mathematical crossroads in analysis.Provides powerful techniques of functional analysis (macroscopic approach) for the study of diffusion processes.Furnishes a profound stochastic This book is an easy-to-read reference providing a link between functional analysis and diffusion processes. More precisely, the book takes readers to a mathematical crossroads of functional analysis (macroscopic approach), partial differential equations (mesoscopic approach), and probability (microscopic approach) via the mathematics needed for the hard parts of diffusion processes. Thi

Overview: A comprehensive introduction to the physics of galaxies, stars, the interstellar and intergalactic medium in the early Universe.The topic of this book is particularly timely, as many new important obs.The exploration of the first billion years of the history of the Universe, from the so-called Dark Ages to cosmic reionisation, represents one of the great challenges of contemporary astrophysics and one of the main drivers for future observational facilities. ..The book contains the elaborated notes of lectures given at the 36th Saas-Fee Advanced Course "First Light in the Universe" by

Overview: This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems organized in Central-Eastern Europe. Its predecessors wereCEEMAS’99andDAIMAS’97,whichtookplaceinSt. Petersburg,Russia,aswell as DIMAS’95, which took place in Cracow, Poland. Organizers of all these events made efforts to make them wide-open to participants from all over the world. This would have been impossible without some help from friendly centers in the Czech Republic, England, France,

Overview: Provides detailed information on how microscopy can help to clarify the cause of sudden and unexpected death.Demonstrates both typical and unusual findings with the aid of numerous high-quality color .This book, which combines the features of an atlas and a textbook, presents findings in forensic histology, immunohistochemistry, and cytology based on microscopic investigations using different stainings and different antibodies. The principal aim is to provide practitioners with detailed information and guidance on how microscopy can help to clarify the cause of sudden and unexpected

Overview: Unique translation of Kaufman‘s final 1936 work.Lays-out a detailed introduction and background to Kaufmann‘s work.Contains extracts from personal anecdotes from former students and colleagues.IncludeThis volume contains the English translation of Felix Kaufmann‘s (1895-1945) main work Methodenlehre der Sozialwissenschaften (1936). In this book, Kaufmann develops a general theory of knowledge of the social sciences in his role as a cross-border commuter between Husserl‘s phenomenology, Kelsen‘s pure theory of law and the logical positivism of the Vienna Circle. This multilayered inqu

Overview: 978-3-528-08677-0978-3-322-84320-3

Overview: 978-3-663-03641-8978-3-663-04830-5

Overview: Umfassender Katalog von ca. 3200 Schiller-Vertonungen.Mit ausführlichen Kommentierungen.Mit Namen- und Werkregister.Das Kompendium verzeichnet alle nachweisbaren Schiller-Vertonungen, die von den 1780er Jahren bis zur Gegenwart entstanden sind. Dabei wurden sowohl Schillers Gedichte als auch seine Dramen berücksichtigt. Überwiegend handelt es sich um Lieder, Chöre, Kantaten, Schauspielmusiken und Opern, aber auch um Programmmusik und Werke mit einem Schiller-Zitat als Motto oder Titel. Darüber hinaus wurden Parodien und Vertonungen von Schiller unterschobenen Texten sowie die zahlrei

Overview: The volume "Fuzziness in Database Management Systems" is a highly informative, well-organized and up-to-date collection of contributions authored by many of the leading experts in its field. Among the contributors are the editors, Professors Patrick Bose and Janusz Kacprzyk, both of whom are known internationally. The book is like a movie with an all-star cast. The issue of fuzziness in database management systems has a long history. It begins in 1968 and 1971, when I spent my sabbatical leaves at the IBM Research Laboratory in San Jose, California, as a visiting scholar. During thes

Overview: Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.978-3-642-94034-7978-3-642-94434-5

Overview: Einstieg in die wichtigsten Problemfelder.Kategorien zur Beschreibung und Analyse filmischer Erzähl- und Darstellungsstrategien.Mit detailliertem Inhaltsverzeichnis, Sachregister und LiteraturverzeichFilm, Fernsehen und Video nehmen im Alltag, in Schule und Universität einen immer größeren Raum ein. Knut Hickethiers Einführung ermöglicht einen Einstieg in die wichtigsten Problemfelder dieser Medien und bietet Kategorien der Beschreibung und Analyse filmischer Erzähl- und Darstellungsstrategien.978-3-476-02752-8Series ISSN 0558-3667 Series E-ISSN 2512-5222

Overview: Vor 140 Jahren starb Amalie Struve, eine der bekanntesten weiblichen Teilnehmerinnen der Badischen Revolution von 1848/49. An der Seite ihres Mannes Gustav Struve hat sie aktiv an der Badischen Revolution teilgenommen. Über ihre Erinnerungen aus den badischen Freiheitskämpfen hinaus, die 1850 in Hamburg erschienen, war sie auch im amerikanischen Exil als Schriftstellerin tätig. In zahlreichen Artikeln hat sich Amalie Struve temperamentvoll und engagiert vor allem zu Frauenfragen geäußert. Engagiert plädierte sie für eine bessere Ausbildung der jungen Mädchen, für die Möglichkeit ökon

Overview: Advances the concept of ‘freedom research‘ as a new means of conceptualising research in education studies.Argues that ethics, values and virtues need to be clarified to ensure the researcher can reseThis book sets out a new and distinctive means of conceptualising research in the field of Education: ‘Freedom Research’. Freedom research is a conceptual understanding of research free from the strictures of orthodoxy; which adapts or knowingly critiques conventions about the ways in which research should be conducted. Underpinning this concept is the argument that the conventions of tr

Overview: Presents a framework consisting of several supervised machine learning procedures to trade in the Cryptocurrencies Market.Compares the performance of 5 different forecasting trading signals among them.This book presents a system that combines the expertise of four algorithms, namely Gradient Tree Boosting, Logistic Regression, Random Forest and Support Vector Classifier to trade with several cryptocurrencies. A new method for resampling financial data is presented as alternative to the classical time sampled data commonly used in financial market trading. The new resampling method us