Results 91 to 100 of about 206,152 (285)
Nanocrystal Quality–Controlled Scintillation in Porous YAG:Ce Aerogels
Advanced Optical Materials, EarlyView.High‐temperature thermal treatment of YAG:Ce nanoscintillator aerogels increases light yield under ionizing radiation by up to eightfold without affecting timing performance. Additionally, low‐temperature atmospheric treatments reversibly modify the cerium oxidation state, revealing strong defect sensitivity and offering new strategies to optimize ...
Pavlo Mai +11 more
wiley +1 more source
Experiments in linear natural deduction
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
MARTINI S., MASINI, Andrea
openaire +3 more sources
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle [PDF]
, 2015 We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is
Jensen, Alexander Birch +2 more
core +1 more source
Advanced Robotics Research, EarlyView.Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley +1 more source
Meaning is Use: the Case of Propositional Identity
Bulletin of the Section of LogicWe study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj +1 more source
Resource control and strong normalisation [PDF]
, 2011 We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with either natural deduction or sequent calculus.
Ghilezan, Silvia +3 more
core +2 more sources
Grip and Grasp: Lizard Claw Inspired Robotic Manipulators
Advanced Robotics Research, EarlyView.Our study identifies the most effective lizard claw shape for use as an end effector in a bioinspired robotic manipulator. By examining key geometric features and combining them into comparative indices, the Crotaphytus collaris claw is found to be the best fit.
Hyeon Lee +4 more
wiley +1 more source
Supposition: No Problem for Bilateralism
Bulletin of the Section of LogicIn a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts.
Ryan Simonelli
doaj +1 more source
Parallelismo tra la dialettica socratica e l'e-learning
Studi sulla Formazione, 2015 What is a general methodology of science? What is a general theory of method? The article examines the two questions and summarizes the passages that connect – not only in a separate but also in a unified way – recognition, understanding, reasoning and ...
Barbara Todini
doaj +1 more source
Detection of Protein–Protein Interactions in Escherichia coli With Single Molecule Sensitivity
Advanced Science, EarlyView.This article describes a regulatory circuit in Escherichia coli able to detect protein–protein interactions with exquisite sensitivity. The interaction between two hybrid proteins fused to Bordetella pertussis adenylate cyclase and its activator calmodulin triggers a potent cyclic AMP signaling cascade.
Marilyne Davi, Daniel Ladant
wiley +1 more source