Results 111 to 120 of about 444,050 (330)
Idealismo e refutação do idealismo na filosofia crítica de Kant
Kriterion, 2013 O presente trabalho versa sobre o tema, central no projeto filosófico de Kant, da refutação do idealismo, concentrando-se em dois momentos da Crítica da Razão Pura (CRP): a Dedução Transcendental e a Refutação do Idealismo.
Pedro Costa Rego
doaj
A System for Deduction-based Formal Verification of Workflow-oriented Software Models
, 2014 The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered.
Klimek, Radoslaw
core +2 more sources
Microengineered Gradient Hydrogels for Mechanobiology
Advanced Healthcare Materials, EarlyView.Gradient hydrogels are used to mimic the mechanical heterogeneity in native tissues, offering powerful in vitro platforms to study cell‐material interactions in diverse pathophysiological contexts. Here, we present a comprehensive review of the design and experimental considerations for stiffness gradient hydrogels, discussing exemplary achievements ...
Shin Wei Chong +4 more
wiley +1 more source
Logical consequence in modal logic II: Some semantic systems for S4 [PDF]
, 1974 : This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain
Weaver, George
core
Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells
Advanced Materials, EarlyView.This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno +16 more
wiley +1 more source
Forum: Qualitative Social Research, 2002 The Special Research Centre 186 ("Sonderforschungsbereich") on "Status-Passages and Life-Course" at Bremen was initiated in 1988. Last year, members of the centre published four volumes summarising some of their main results.
Siegfried Lamnek
doaj
Automatic Deduction Theorem of Overall Transfer Equation of Multibody System
, 2014 Transfer matrix method for multibody System (MSTMM) is a new multibody dynamics method developed in recent 20 years. It has been widely used in both science research and engineering for its special features as follows: without global dynamics equations ...
X. Rui, Jianshu Zhang, Qinbo Zhou
semanticscholar +1 more source
Advanced Materials, EarlyView.The Y supersaturation in the [Ba‐Cu(I/II)‐O] transient liquid composition is the driving force toward YBCO nucleation and growth in TLAG. Tuning the initial (Ba:Cu) molar ratio in the ink composition determines the YBCO epitaxial nucleation through supersaturation control.
Lavinia Saltarelli +12 more
wiley +1 more source
Counterfactual Logic and the Necessity of Mathematics [PDF]
This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is ...
Elgin, Samuel
core
Concepts in cardiology : a historical perspective [PDF]
, 1999 Our current knowledge of the anatomy and physiology of the circulatory system has been reached by deduction and reasoning over several centuries.
Grech, Victor E. +1 more
core