Filter by
Space–Time Conservation Element and Solution Element Method : Advances and …
This open access book introduces the fundamentals of the space–time conservation element and solution element (CESE) method, which is a novel numerical approach for solving equations of physical conservation laws. It highlights the recent progress to establish various improved CESE schemes and its engineering applications. With attractive accuracy, efficiency, and robustness, the CESE method …
- Edition
- 1
- ISBN/ISSN
- 9789819908769
- Collation
- IX, 139 hlm,: ill, lamp;
- Series Title
- 13
- Call Number
- -
Control Theory Tutorial : Basic Concepts Illustrated by Software Examples
This open access Brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon has a view of the whole. Each concept is illustra…
- Edition
- -
- ISBN/ISSN
- 978-3-319-91707-8
- Collation
- XI, 111
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 620 FRA c
Geometric Quantization and Applications to Fields and Fluids
This open access book explains geometric quantization from a physicist’s perspective. After presenting the general formalism, it delves into several examples reflecting current research interests in high-energy physics and condensed matter physics. Applications explore Chern-Simons theory, theta vacuum, the Hall effect, fluid dynamics, and elements of noncommutative geometry. The content i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-65801-3
- Collation
- X, 129
- Series Title
- SpringerBriefs in Physics (SpringerBriefs in Physics)
- Call Number
- 530 NAI g
Inquisitive Logic: Consequence and Inference in the Realm of Questions
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefo…
- Edition
- Volume 60
- ISBN/ISSN
- 978-3-031-09705-8
- Collation
- XX, 272
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
The Everyday Life of an Algorithm
This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in a series of ever more demanding for…
- Edition
- 1
- ISBN/ISSN
- 9783030005788
- Collation
- IX, 151 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 23rd Internationa…
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45231-5
- Collation
- XV, 644
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 22nd Internationa…
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected fro…
- Edition
- 1
- ISBN/ISSN
- 9783030171278
- Collation
- XV, 542
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography