Results 11 to 20 of about 272 (180)
Focal points in tacit bargaining problems:Experimental evidence [PDF]
, 2013 We use a new experimental design to test Schelling's hypotheses about the nature and effectiveness of focal points in tacit bargaining problems. In our design, as in many real-world bargaining problems, each player's strategies are framed as proposals ...
Tsutsui, Kei +10 more
core +1 more source
Extending Forgetting-Based Abduction Using Nominals [PDF]
, 2019 Abductive reasoning produces hypotheses to explain new observations with respect to some background knowledge. This paper focuses on ABox abduction in ontologies, where knowledge is expressed in description logics and both the observations and hypotheses
Schmidt, Renate; id_orcid +3 more
core +1 more source
The Study Of Important Mathematical Applications Of Ancient India
, 2022 In all ancient civilizations, the first expression of mathematical knowledge appears in the form of a calculation system. In very early societies, numbers were represented by a set of lines.
Swapnil Ramesh Gadhawe
core +1 more source
CSAKD: Determining Absolute Ligand Affinities From 19F NMR Chemical Shift Anisotropy
Angewandte Chemie, EarlyView.Affinity determination is crucial in drug discovery, yet remains difficult for weakly binding fragments. We introduce chemical shift anisotropy KD$K_{\text{D}}$ (CSAKD) by 19F$^{19}{\rm F}$ NMR relaxation experiments, a titration‐free method that requires no isotopic labeling.
Simon H. Rüdisser +2 more
wiley +2 more sources
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Advanced Robotics Research, EarlyView.Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Testing Data Types Implementations from Algebraic Specifications
, 2008 International audienceAlgebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms.
Pascale Le Gall +3 more
core +1 more source
Logic minimization and rule extraction for identification of functional sites in molecular sequences [PDF]
, 2012 Background Logic minimization is the application of algebraic axioms to a binary dataset with the purpose of reducing the number of digital variables and/or rules needed to express it.
Lee, Mei-Ling Ting +8 more
core +1 more source
Advanced Science, EarlyView.We report the fast generation of biocompatible solutions of highly 13C‐hyperpolarized (≈11%) partially‐deuterated ketoisocaproate within <6 min using spin‐lock‐induced crossing and reversible exchange with parahydrogen (SLIC‐SABRE). This enables rapid detection of branched‐chain‐amino‐acid transferase 1 (BCAT1) protein expression and investigation of ...
Stefan Petersen +18 more
wiley +1 more source