Results 41 to 50 of about 114,330 (265)
IEEE Access, 2018 In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order logic theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the ...
Zheng Yang, Hang Lei
doaj +1 more source
Journal of King Saud University: Computer and Information Sciences, 2023 In the perspective of logic mining, the attribute selection, and the objective function of the best logic is the two main factors that identifies the effectiveness of our proposed logic mining model. The non-significant attributes selected will cause the
Nur 'Afifah Rusdi +4 more
doaj +1 more source
Refinement of Higher-Order Logic Programs [PDF]
, 2003 A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda ...
Robert Colvin +3 more
openaire +2 more sources
Synthesis of a comprehensive population code for contextual features in the awake sensory cortex
eLife, 2021 How cortical circuits build representations of complex objects is poorly understood. Individual neurons must integrate broadly over space, yet simultaneously obtain sharp tuning to specific global stimulus features.
Evan H Lyall +5 more
doaj +1 more source
Formalization of Linear Space Theory in the Higher-Order Logic Proving System
Journal of Applied Mathematics, 2013 Theorem proving is an important approach in formal verification. Higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and stronger semantics. Higher-order logic is more expressive.
Jie Zhang, Danwen Mao, Yong Guan
doaj +1 more source
DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach [PDF]
Materials Research, 2014 Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically.
Nirmal Kumar +2 more
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Molecular Oncology, EarlyView.This review summarizes the transcription factors, repressive chromatin‐modifying complexes, and epigenetic mechanisms that control fetal hemoglobin repression. Notably, many regulators of γ‐globin silencing also function in transcriptional and epigenetic networks that drive cancer, highlighting opportunities to translate advances in hemoglobinopathy ...
Meigen Yu +3 more
wiley +1 more source
Henkin semantics for reasoning with natural language
Journal of Language Modelling, 2016 The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source
Higher-Order Illative Combinatory Logic [PDF]
The Journal of Symbolic Logic, 2013 AbstractWe show a model construction for a system of higher-order illative combinatory logic thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system of Barendregt, Bunder and Dekkers ...
openaire +4 more sources