Filter by
Mathematical Modeling of the Human Brain
This open access book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95136-8
- Collation
- -
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- -
Handbook of Contact Mechanics = Exact Solutions of Axisymmetric Contact Problems
This open access book contains a structured collection of the complete solutions of all essential axisymmetric contact problems. Based on a systematic distinction regarding the type of contact, the regime of friction and the contact geometry, a multitude of technically relevant contact problems from mechanical engineering, the automotive industry and medical engineering are discussed. In additi…
- Edition
- 1
- ISBN/ISSN
- 9783662587096
- Collation
- XVI, 347 ill; lamp
- Series Title
- -
- Call Number
- -
De sphaera of Johannes de Sacrobosco in the Early Modern Period : The Authors…
This open access book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take a close look at key intellectuals and how they engaged with the main ideas of this qualitative introduction to geocentric cosmology. Johannes de Sacrobosco compiled his Tractatus de sphaera during the thirteenth century in the frame of his teaching activities a…
- Edition
- 1
- ISBN/ISSN
- 9783030308339
- Collation
- XV, 396 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Stoßprobleme in Physik, Technik und Medizin
Dieses Open Access Buch widmet sich dem Problem der Mechanik des Zusammenstoßes zweier makroskopischer Körper. Falls die Dynamik der Körper als Ganzes dies erlaubt, ohne in unüberschaubare Komplexität zu verfallen (in der Regel ist das nur für das reine Normalstoßproblem der Fall), werden allgemeine axialsymmetrische Stoßpartner betrachtet. Für das allgemeine räumliche Stoßproblem wi…
- Edition
- 1
- ISBN/ISSN
- 9783662602966
- Collation
- XV, 241 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Making Presentation Math Computable
This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XVIII, 197
- Series Title
- -
- Call Number
- XVIII, 197
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography