Filter by
Logic Synthesis for FPGA-Based Finite State Machines
This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the peculiarities of field-programmable gate arrays (FPGA) chips and a FSM model. It shows that one of the peculiarities of FPGA chips is the existence of embedded memory blocks (EMB). The book is devoted to the solution of problems of logic syn…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24202-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, …
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23264-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Earth surface processes and environmental changes in East Asia : records from…
This book examines relationships between climate-hydrological changes and other phenomena including land use and natural disasters during the Holocene and recent past. In particular, periods of rapid climatic shifts such as global warming and global cooling are examined through paleohydrological and other studies of various lake-catchment systems in East Asia, from Mongolia in the north to Taiw…
- Edition
- -
- ISBN/ISSN
- 9784431555407
- Collation
- xi, 321 pages
- Series Title
- -
- Call Number
- 550
Location Science
This comprehensive and clearly structured book presents essential information on modern Location Science. The book is divided into three parts: basic concepts, advanced concepts and applications. Written by the most respected specialists in the field and thoroughly reviewed by the editors, it first lays out the fundamental problems in Location Science and provides the reader with basic backgrou…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13111-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Locating, Classifying and Countering Agile Land Vehicles: With Applications t…
This book examines real-time target tracking and identification algorithms with a focus on tracking an agile target. The authors look at several problems in which the tradeoff of accuracy and confidence must be made. These issues are explored within the context of specific tracking scenarios chosen to illustrate the tradeoffs in a simple and direct manner. The text covers the Gaussian wavelet e…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19431-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Local Welfare Policy Making in European Cities
This book focuses on how EU welfare policies are implemented at the local level in 11 European cities and how local policy making addresses women’s care responsibilities. The book studies the complex combination of and the relationships between local political processes, policies, institutions, structural conditions and outputs, as well as outcomes for the women’s labour market integration.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16163-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Acoustics of the Vowel - Preliminaries
It seems as if the fundamentals of how we produce vowels and how they are acoustically represented have been clarified: we phonate and articulate. Using our vocal chords, we produce a vocal sound or noise which is then shaped into a specific vowel sound by the resonances of the pharyngeal, oral, and nasal cavities, that is, the vocal tract. Accordingly, the acoustic description of vowels relate…
- Edition
- -
- ISBN/ISSN
- 9783034323918
- Collation
- -
- Series Title
- -
- Call Number
- 534 MAU a
Logic for Programming, Artificial Intelligence, and Reasoning: 20th Internati…
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48899-7
- Collation
- -
- Series Title
- -
- Call Number
- -
A Friendly Introduction to Differential Equations
n this book, there are five chapters: The Laplace Transform, Systems of Homogeneous Linear Differential Equations (HLDE), Methods of First and Higher Orders Differential Equations, Extended Methods of First and Higher Orders Differential Equations, and Applications of Differential Equations. In addition, there are exercises at the end of each chapter above to let students practice additional se…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 513 KAA f
Echinacea : herbal medicine with a wild history
This work provides detailed overviews and offer new insights into the biology, life histories, cultivation, markets, legal protection, chemistry and medical use of Echinacea species. The extensively detailed maps in this text are the most accurate of any produced, based on verified herbarium records. The information on ethnobotanical uses of Echinacea species, and especially E. angustifolia, is…
- Edition
- -
- ISBN/ISSN
- 9783319181561
- Collation
- xix, 238 pages
- Series Title
- -
- Call Number
- 580
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography