Search Results - "Cartesianism"

Mind, Body, and Morality New Perspectives on Descartes and Spinoza

Subjects: “…Martina Reuter, Frans Svensson, Deborah Brown, Mikko Yrjönsuuri, Karolina Hübner, Lisa Shapiro, Valtteri Viljanen, Peter Myrdal, Arto Repo, Olli Koistinen,John Carriero, Tomas Ekenberg, Calvin Normore, Denis Kambouchner, Lilli Alanen, René Descartes, Baruch Spinoza, mind-body union, personal identity, François Poulain de la Barre, non-embodied vision, Meditations, sensory perception, Optics, the self, activity, passivity, self-consciousness, essence constitution, ideas, knowledge, reality, Leibniz, Cartesian cognition, res extensa, intuition, Augustine, Abelard, good, evil, morality, solid contentment, virtue, wisdom…”
OAPEN Library: description of the publication

Chapter 1 Introduction by Reuter, Martina

Subjects: “…Martina Reuter, Frans Svensson, Deborah Brown, Mikko Yrjönsuuri, Karolina Hübner, Lisa Shapiro, Valtteri Viljanen, Peter Myrdal, Arto Repo, Olli Koistinen,John Carriero, Tomas Ekenberg, Calvin Normore, Denis Kambouchner, Lilli Alanen, René Descartes, Baruch Spinoza, mind-body union, personal identity, François Poulain de la Barre, non-embodied vision, Meditations, sensory perception, Optics, the self, activity, passivity, self-consciousness, essence constitution, ideas, knowledge, reality, Leibniz, Cartesian cognition, res extensa, intuition, Augustine, Abelard, good, evil, morality, solid contentment, virtue, wisdom…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Aerial Robotics for Inspection and Maintenance

Subjects: “…Cartesian manipulator…”
DOAB: download the publication
DOAB: description of the publication

Smart Manufacturing

Subjects: “…Cartesian coordinate robot…”
DOAB: download the publication
DOAB: description of the publication

Advanced Techniques for Design and Manufacturing in Marine Engineering

Subjects: “…Cartesian adaptive grids…”
DOAB: download the publication
DOAB: description of the publication

Advancements in the Practical Applications of Agents, Multi-Agent Systems and Simulating Complex Systems

Subjects: “…Cartesian genetic programming…”
DOAB: download the publication
DOAB: description of the publication

Optimization of Motion Planning and Control for Automatic Machines, Robots and Multibody Systems

Subjects: “…fully Cartesian coordinates…”
DOAB: download the publication
DOAB: description of the publication

Modelling and Control of Mechatronic and Robotic Systems, Volume II

Subjects: “…Cartesian kinematics…”
DOAB: download the publication
DOAB: description of the publication

Applied Mathematics to Mechanisms and Machines

Subjects: “…fully Cartesian coordinates…”
DOAB: download the publication
DOAB: description of the publication

Graph-Theoretic Problems and Their New Applications by Werner, Frank

Subjects: “…Cartesian product…”
DOAB: download the publication
DOAB: description of the publication

Molecular Computing and Bioinformatics by Zeng, Xiangxiang

Subjects: “…Cartesian product graph…”
DOAB: download the publication
DOAB: description of the publication

Animal Narratology

Subjects: “…Cartesian dualism…”
DOAB: download the publication
DOAB: description of the publication

If fibromyalgia did not exist, we should have invented it. A short history of a controversial syndrome by S. Perrot

Connect to this object online.

Chapter System, Hypothesis, and Experiments: Pierre-Sylvain Régis by DEL PRETE, Antonella

DOAB: download the publication
DOAB: description of the publication

Chapter System, Hypothesis, and Experiments: Pierre-Sylvain Régis by DEL PRETE, Antonella

OAPEN Library: download the publication
OAPEN Library: description of the publication

Unsettling Responsibility in Science Education Indigenous Science, Deconstruction, and the Multicultural Science Education Debate / by Higgins, Marc

Table of Contents: “…Tinkering with/in the Multicultural Science Education Debate: Towards Positioning An(Other) Ontology -- 6. Positioning Cartesianism as an Ontology Within Science Education: Towards a More Response-Able Inheritance with Dr. …”
Link to Metadata

All Things Flow Fluid Mechanics for the Natural Sciences by Smyth, William

Table of Contents: “…1 Introduction2 Review of elementary linear algebra3 Cartesian vectors and tensors 4 Tensor calculus5 Fluid kinematics6 Fluid dynamics7 Vortices8 Waves9 Nonlinear, hydrostatic flow over topography…”
Access online version

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences / by Wen, Chih-Yung, Jiang, Yazhong, Shi, Lisong

Table of Contents: “…Introduction -- Non-dissipative Core Scheme of CESE Method -- CESE Schemes with Numerical Dissipation -- Multi-Dimensional CESE Schemes on Cartesian Meshes -- CESE Schemes on Unstructured Meshes -- High-Order CESE Schemes -- Numerical Features of CESE Schemes -- Application: Hypersonic Aerodynamics -- Application: Compressible Multi-Fluid -- Other Applications -- Summary.…”
Link to Metadata

Fundamentals of Matrix Algebra by Hartman, Gregory

Table of Contents: “…1 Systems of Linear Equations -- 1.1 Introduction to Linear Equations -- 1.2 Using Matrices To Solve Systems of Linear Equations -- 1.3 Elementary Row Operations and Gaussian Elimination -- 1.4 Existence and Uniqueness of Solutions -- 1.5 Applications of Linear Systems -- 2 Matrix Arithmetic -- 2.1 Matrix Addition and Scalar Multiplication -- 2.2 Matrix Multiplication -- 2.3 Visualizing Matrix Arithmetic in 2D -- 2.4 Vector Solutions to Linear Systems -- 2.5 Solving Matrix Equations AX = B -- 2.6 The Matrix Inverse -- 2.7 Properties of the Matrix Inverse -- 3 Operations on Matrices -- 3.1 The Matrix Transpose -- 3.2 The Matrix Trace -- 3.3 The Determinant -- 3.4 Properties of the Determinant -- 3.5 Cramer’s Rule -- 4 Eigenvalues and Eigenvectors -- 4.1 Eigenvalues and Eigenvectors -- 4.2 Properties of Eigenvalues and Eigenvectors -- 5 Graphical Explorations of Vectors -- 5.1 Transformations of the Cartesian Plane -- 5.2 Properties of Linear Transformations -- 5.3 Visualizing Vectors: Vectors in Three Dimensions…”
Access online version

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata