Author: National Research Council CanadaPublisher:
ISBN:
Category : Research
Languages : en
Pages : 170
Book Description
NRCL.
Author: National Research Council CanadaPublisher:
ISBN:
Category : Research
Languages : en
Pages : 170
Book Description
A Modular Three-dimensional Finite-difference Ground-water Flow Model
Author: Michael G. McDonaldPublisher:
ISBN:
Category : Groundwater
Languages : en
Pages : 606
Book Description
Documentation of a Computer Program (RES1) to Simulate Leakage from Reservoirs Using the Modular Finite-difference Ground-water Flow Model (MODFLOW)
Author: Jon P. FenskePublisher:
ISBN:
Category : Groundwater flow
Languages : en
Pages : 114
Book Description
Automated Deduction – CADE 27
Author: Pascal FontainePublisher: Springer Nature
ISBN: 3030294366
Category : Computers
Languages : en
Pages : 603
Book Description
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
A Functional Description of the Edvac [an Automatically-sequence Serial Binary Electronic Digital Computer
Author: Moore School of Electrical EngineeringPublisher:
ISBN:
Category : Calculators
Languages : en
Pages : 1794
Book Description
Experimental and Efficient Algorithms
Author: Celso C. RibeiroPublisher: Springer Science & Business Media
ISBN: 3540220674
Category : Computers
Languages : en
Pages : 595
Book Description
This book constitutes the refereed proceedings of the Third International Workshop on Experimental and Efficient Algorithms, WEA 2004, held in Angra dos Reis, Brazil in May 2004. The 40 revised full papers presented together with abstracts of two invited talks were carefully reviewed and selected from numerous submissions. The book is devoted to the areas of design, analysis, and experimental evaluation of algorithms. Among the topics covered are scheduling, heuristics, combinatorial optimization, evolutionary optimization, graph computations, labeling, robot navigation, shortest path algorithms, flow problems, searching, randomization and derandomization, string matching, graph coloring, networking, error detecting codes, timetabling, sorting, energy minimization, etc.
Civil War and State Formation
Author: Felix GerdesPublisher: Campus Verlag
ISBN: 3593419750
Category : Political Science
Languages : en
Pages : 303
Book Description
Nach dem langen Bürgerkrieg der 1990er Jahre galt Liberia unter der Präsidentschaft des Warlords Charles Taylor vielen Beobachtern als gescheiterter Staat. Seit der Machtübernahme durch Ellen Johnson Sirleaf im Jahr 2006 wird die Landesentwicklung weithin als Erfolgsgeschichte bewertet. Felix Gerdes zeigt, welche strukturellen Änderungen zu diesem Wandel und damit zur relativen Stabilisierung führten. Seine Analysen machen deutlich, dass die liberianischen Kriege gerade nicht die Zerstörung des Staates bedeuteten, sondern als Teil des Prozesses der Staatsbildung zu verstehen sind. Die Betrachtungen der Kontinuitäten und Brüche der politischen Verfasstheit Liberias ermöglichen eine fundierte Bewertung der anhaltenden strukturellen Probleme der Nachkriegsordnung.
Frontiers of Combining Systems
Author: Carsten LutzPublisher: Springer
ISBN: 3319242466
Category : Computers
Languages : en
Pages : 362
Book Description
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.
Advances in Case-Based Reasoning
Author: Susan CrawPublisher: Springer
ISBN: 3540461191
Category : Computers
Languages : en
Pages : 668
Book Description
The papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held at The Robert Gordon University in Aberdeen, UK. This conference followed a series of very succe- ful well-established biennial European workshops held in Trento, Italy (2000), Dublin, Ireland (1998), Lausanne, Switzerland (1996), and Paris, France (1994), after the initial workshop in Kaiserslautern, Germany (1993). These meetings have a history of attracting ?rst-class European and international researchers and practitioners in the years interleaving with the biennial international co- terpart ICCBR; the 4th ICCBR Conference was held in Vancouver, Canada in 2001. Proceedings of ECCBR and ICCBR conferences are traditionally published by Springer-Verlag in their LNAI series. Case-Based Reasoning (CBR) is an AI problem-solving approach where pr- lems are solved by retrieving and reusing solutions from similar, previously solved problems, and possibly revising the retrieved solution to re?ect di?erences - tween the new and retrieved problems. Case knowledge stores the previously solved problems and is the main knowledge source of a CBR system. A main focus of CBR research is the representation, acquisition and maintenance of case knowledge. Recently other knowledge sources have been recognized as important: indexing, similarity and adaptation knowledge. Signi?cant knowledge engine- ing e?ort may be needed for these, and so the representation, acquisition and maintenance of CBR knowledge more generally have become important.
Author: