Buscar
Mostrando ítems 21-30 de 306
SteelCore: An extensible concurrent separation logic for effectful dependently typed programs
(Association for Computing Machinery, 2020-08)
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming ...
Enhancing Mammogram Images with Segmentation and Colorization for Assisting Breast Cancer Detection
(2020)
This paper presents a combined sequence of the K-mean clustering of mammogram images to identify the region of interest and false colorization of the region of interest to enhance digital mammograms in the context of ...
Equivalences for Free Univalent Parametricity for Effective Transport
(2018)
Homotopy Type Theory promises a unification of the concepts of equality and equivalence in Type Theory, through the introduction of the univalence principle. However, existing proof assistants based on type theory treat ...
Investigation of the resonance-assisted hydrogen bond in model ß-diketones through localized molecular orbital analysis of the spin-spin coupling constants related to the O-H· · ·O hydrogen bond
(John Wiley & Sons Ltd, 2014-09)
The resonance-assisted hydrogen bond (HB) phenomenon has been studied theoretically by a localized molecular orbital (LMO) decomposition of the spin–spin coupling constants between atoms either involved or close to the ...
Short communication: Identification of subclinical cow mastitis pathogens in milk by matrix-assisted laser desorption/ionization time-of-flight mass spectrometry
(ELSEVIER SCIENCE INC, 2010)
Subclinical mastitis is a common and easily disseminated disease in dairy herds. Its routine diagnosis via bacterial culture and biochemical identification is a difficult and time-consuming process. In this work, we show ...
Centennial of X-ray diffraction: development of an unpromising experiment with a wrong explanation
(Taylor & Francis Ltd, 2016-07)
In February 1912 in Munich, P. P Ewald, one of A. Sommerfeld's Ph.D. students, consulted M. Laue on matters related to crystal optics, his thesis subject. During the conversation, Laue conceived the idea that a crystal ...
Juez inteligente. Sistema experto que asiste al Juez en la valoración de la Prueba JudicialJuez inteligente. Expert system that assists the judge in the assessment of judicial proof
(Pontificia Universidad Católica del PerúPE, 2021)
Aportaciones al desarrollo de software asistente para pruebas matemáticas
(Universidad Michoacana de San Nicolás de Hidalgo, 2021-11)
Mathematical proofs are one of the pillars of mathematics at a universal level. This fact, added to the difficulty presented by university-level students with mathematical proofs, has led theorists in educational mathematics ...
A posteriori error analysis of mixed finite element methods for stress-assisted diffusion problems
(2022)
We develop the a posteriori error analysis for mixed-primal and fully-mixed finite element methods approximating the stress-assisted diffusion of solutes in elastic materials. The systems are formulated in terms of stress, ...