Results 91 to 100 of about 70,024 (314)
Deduction chains for common knowledge
, 2006 Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula ϕ, the deduction chains of ϕ are built up by systematically decomposing ϕ into its subformulae.
Kretz, Mathis, Studer, Thomas
core +1 more source
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
, 2005 Cyclic structures underlie formal mathematical reasoning, and replication and folding play a crucial role in the complexity of proofs. These two aspects of the geometry of proofs are discussed.
openaire +2 more sources
Deductions and counter-deductions in South Africa [PDF]
HAU: Journal of Ethnographic Theory, 2017 The real economy as a concept has taken root not only in highly developed economies but also in those characterized by “the rapid growth of aspiration accompanied by massive incorporation of people into the current market economy, through the expansion of indebtedness and financial devices … [and] the impossibility to pay,” where plural and shifting ...
openaire +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
Spreadsheet-Based Sudoku as a Tool for Teaching Logical Deduction [PDF]
, 2010 Drawing on the contributions of two recent studies by Sugden (2007) and Luterbach, Rodriguez, and Milling (2010) in Spreadsheets in Education, this study illustrates that Excel-based Sudoku is an effective tool for teaching logical deduction. This study
Clarence C. Y. Kwan
core
Enhancing Problem-Solving Skills and Motivation through Cooperative Learning
Revue des Sciences Humaines, 2016 In the present paper, the goal set to assist learners in the process of strategically seeking as well as applying information is given a major consideration in the realm of education.
Ahlam Debache
doaj
Regards sur la nature : place de l’observation dans les textes astronomiques latins
Pallas, 2013 In antiquity, astronomical knowledge came essentially from philosophy, mathematics and logic. One can then question the role given to the observation of phenomena. To answer this question, we chose to analyze some of the demonstrations presented in Latin
Émilie-Jade Poliquin
doaj +1 more source
Spin and Charge Control of Topological End States in Chiral Graphene Nanoribbons on a 2D Ferromagnet
Advanced Materials, EarlyView.Chiral graphene nanoribbons on a ferromagnetic gadolinium‐gold surface alloy display tunable spin and charge states at their termini. Atomic work function variations and exchange fields enabe transitions between singlet, doublet, and triplet configurations.
Leonard Edens +8 more
wiley +1 more source
, 2000 Preface - D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, L. Viganò. Labelled Proof Systems for Intuitionistic Provability - V. Balat, D. Galmiche. Normal Multimodal Logics with Interaction Axioms - M. Baldoni. The SAT Problem of Signed CNF Formulas
Vigano', Luca +4 more
core