Results 41 to 50 of about 66,342 (310)
Semantic Criteria of Correct Formalization [PDF]
, 2010 This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas ...
Lampert, Timm
core +2 more sources
LogisticsBackground: Urban mobility management faces growing challenges that require the analysis and optimization of sustainable solutions. Digital twins (DTs) have emerged as innovative tools for this assessment, but their implementation requires standardized ...
Andrea Grotto +3 more
doaj +1 more source
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Revista Iberoamericana de Estudios de DesarrolloIt is common to find «informal ownership» in Latin America in the context of illegal takings. Human settlements in Peru, favelas in Brazil, or camps in Chile, in all cases, a group of people builds land rights outside the law.
Guillermo Arribas
doaj +1 more source
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source
Advanced Materials Interfaces, EarlyView.UV–vis fluorescence spectroscopy enables sensitive monitoring of plant protein adsorption on AISI 316L stainless steel under food‐processing‐relevant conditions. Spectral deconvolution reveals adsorption‐induced changes associated with protein–surface interactions and conformational alterations, demonstrating the potential of the technique for ...
Alexander Khort +6 more
wiley +1 more source
Judging by the Rules? The emergence of evaluation practices
Valuation StudiesHow does evaluation work differently, and how do evaluation practices emerge, in different contexts? Drawing on a mixed-methods study of evaluation in figure skating and classical music, I discuss the divergent evaluative cultures in these settings ...
Stacy Lom
doaj +1 more source
Implementation of the Composition-nominative Approach to Program Formalization in Mizar [PDF]
Computer Science Journal of Moldova, 2018 In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on the first-order logic and axiomatic set theory.
Ievgen Ivanov +2 more
doaj
Advanced Materials Technologies, EarlyView.A liquid metal‐based strain‐sensing architecture to measure the deformation of a circular diaphragm against obstructed surfaces is formulated using finite element modeling and confocal imaging to establish the mechanical framework and is utilized to control diaphragm‐induced confinement on a bead array, as validated by biomolecular loading level ...
Abdullah‐Bin Siddique +4 more
wiley +1 more source