Formal System Verification State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends By Rolf Drechsler
English | PDF | 2018 | 193 Pages | ISBN : 3319576836 | 6.33 MB

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies. (more…)

0.00 avg. rating (0% score) - 0 votes

The European Union and the Eurozone under Stress: Challenges and Solutions for Repairing Fault Lines in the European Project

The European Union and the Eurozone under Stress: Challenges and Solutions for Repairing Fault Lines in the European Project By John Theodore, Jonathan Theodore, Dimitrios Syrrakos
English | PDF | 2017 | 256 Pages | ISBN : 3319522914 | 12 MB

This book explores the political and economic issues currently challenging EU member states affecting both the core Eurozone and non-core states. It analyses and explains how its own economic, and political, relationships have been critically influenced by fierce competition from its rivals in other major global economies, as well as by the systemic weaknesses in the economic and financial model it created. (more…)

0.00 avg. rating (0% score) - 0 votes

Strategic Supply Chain Management: The Development of a Diagnostic Model

Strategic Supply Chain Management: The Development of a Diagnostic Model By Safaa Sindi, Michael Roe
English | PDF | 2017 | 277 Pages | ISBN : 3319548425 | 5.58 MB

This book analyses the development of strategic supply chain modelling and its role in optimising decision-making in business, in relation to advances in technology and increased demand due to globalisation. The authors examine existing supply chain models in order to create a conceptual framework for a new diagnostic tool, offering a useful, realistic and meaningful contribution to the field, both theoretically and practically. (more…)

0.00 avg. rating (0% score) - 0 votes

Big Data: Related Technologies, Challenges and Future Prospects

Big Data: Related Technologies, Challenges and Future Prospects By Min Chen, Shiwen Mao, Yin Zhang, Victor C.M. Leung
English | PDF | 2014 | 100 Pages | ISBN : 3319062441 | 1.7 MB

This Springer Brief provides a comprehensive overview of the background and recent developments of big data. The value chain of big data is divided into four phases: data generation, data acquisition, data storage and data analysis. For each phase, the book introduces the general background, discusses technical challenges and reviews the latest advances. (more…)

0.00 avg. rating (0% score) - 0 votes

Pediatric Dermatopathology

Pediatric Dermatopathology By Thuy L. Phung, Teresa S. Wright, Crystal Y. Pourciau, Bruce R. Smoller
English | PDF | 2017 | 642 Pages | ISBN : 3319448226 | 100.8 MB

This book provides practicing pathologists, dermatologists, cutaneous oncologists and dermatopathologists with a reference textbook that reviews the clinical and histopathologic features of skin disorders that affect children, along with a discussion of the molecular pathogenesis for each disease as it is currently known. The book includes a concise discussion of the clinical presentation, as well as the histologic and, when appropriate, immunohistochemical features of each disease. (more…)

0.00 avg. rating (0% score) - 0 votes

Markov Models for Handwriting Recognition

Markov Models for Handwriting Recognition By Thomas Plötz, Gernot A. Fink
English | PDF | 2011 | 82 Pages | ISBN : 1447121872 | 1.2 MB

Since their first inception more than half a century ago, automatic reading systems have evolved substantially, thereby showing impressive performance on machine-printed text. The recognition of handwriting can, however, still be considered an open research problem due to its substantial variation in appearance. With the introduction of Markovian models to the field, a promising modeling and recognition paradigm was established for automatic handwriting recognition. (more…)

0.00 avg. rating (0% score) - 0 votes

Voice over IP Security: A Comprehensive Survey of Vulnerabilities and Academic Research

Voice over IP Security: A Comprehensive Survey of Vulnerabilities and Academic Research By Angelos D. Keromytis
English | PDF | 2011 | 96 Pages | ISBN : 1441998659 | 3.94 MB

Voice over IP (VoIP) and Internet Multimedia Subsystem technologies (IMS) are rapidly being adopted by consumers, enterprises, governments and militaries. These technologies offer higher flexibility and more features than traditional telephony (PSTN) infrastructures, as well as the potential for lower cost through equipment consolidation and, for the consumer market, new business models. However, VoIP systems also represent a higher complexity in terms of architecture, protocols and implementation, with a corresponding increase in the potential for misuse. (more…)

0.00 avg. rating (0% score) - 0 votes

Entropy Guided Transformation Learning: Algorithms and Applications

Entropy Guided Transformation Learning: Algorithms and Applications By Cícero Nogueira dos Santos, Ruy Luiz Milidiú
English | PDF | 2012 | 81 Pages | ISBN : 1447129776 | 3.2 MB

Entropy Guided Transformation Learning: Algorithms and Applications (ETL) presents a machine learning algorithm for classification tasks. ETL generalizes Transformation Based Learning (TBL) by solving the TBL bottleneck: the construction of good template sets. ETL automatically generates templates using Decision Tree decomposition.

(more…)

0.00 avg. rating (0% score) - 0 votes

Archaeological and Paleontological Research in Lagoa Santa: The Quest for the First Americans

 

Archaeological and Paleontological Research in Lagoa Santa: The Quest for the First Americans By Pedro Da-Gloria, Walter A. Neves, Mark Hubbe
English | PDF | 2017 | 404 Pages | ISBN : 3319574655 | 10.35 MB

This groundbreaking volume presents, for the first time in English, a broad historical review of the researches carried out over 170 years in the region of Lagoa Santa, Brazil, one of the most important archaeological regions in the Americas. From the pioneering work of the Danish naturalist Peter Lund in the XIX century to the recent research on the dispersion of early humans across South America, led by Walter A. Neves and colleagues, Lagoa Santa has offered remarkable findings, the largest collections of early human skeletons in the Americas, and has contributed to the overall discussions about the settlement of the Americas. (more…)

0.00 avg. rating (0% score) - 0 votes

Minerals and Allied Natural Resources and their Sustainable Development: Principles, Perspectives with Emphasis on the Indian Scenario

Minerals and Allied Natural Resources and their Sustainable Development: Principles, Perspectives with Emphasis on the Indian Scenario By Mihir Deb, Sanjib Chandra Sarkar
English | PDF | 2017 | 582 Pages | ISBN : 9811045631 | 19.88 MB

Nonrenewable natural resources – metallic and non-metallic minerals, industrial rocks and energy resources (both organic and inorganic), have been treated in a holistic manner in this book, including two important resources (soil and water), not commonly covered in most books on this topic. For the uninitiated reader, an introductory chapter looks into some basic definitions as well as nature and characteristics of mineral deposits followed by a chapter on the different crustal processes that produce the various ore deposits in the endogenous and exogenous environments. (more…)

0.00 avg. rating (0% score) - 0 votes