Results 101 to 110 of about 3,424,284 (379)
Applications of q-Hermite Polynomials to Subclasses of Analytic and Bi-Univalent Functions
Fractal and Fractional, 2022 In mathematics, physics, and engineering, orthogonal polynomials and special functions play a vital role in the development of numerical and analytical approaches.
Caihuan Zhang +5 more
doaj +1 more source
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) [PDF]
EPTCS 129, 2013, pp. 360-383, 2013 We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of semantics called pretty-big-step semantics. We present a pretty-big-step semantics of a language with simple objects called O'While and specify a series of instrumentations of ...
arxiv +1 more source
A Formal Computational Semantics and Pragmatics of Speech Acts
International Conference on Computational Linguistics, 1988 This paper outlines a formal computational semantics and pragmatics of the major speech act types. A theory of force is given that allows us to give a semantically and pragmaticaly motivated taxonomy of speech acts.
E. Werner
semanticscholar +1 more source
A Metalanguage for Guarded Iteration
, 2018 Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifying ...
A Carboni +27 more
core +1 more source
Explainable Deep Multilevel Attention Learning for Predicting Protein Carbonylation Sites
Advanced Science, EarlyView.Selective carbonylation sites (SCANS) are conceptualized, designed, evaluated, and released. SCANS captures segment‐level, protein‐level, and residue embeddings features. It utilizes elaborate loss function to penalize cross‐predictions at the residue level.
Jian Zhang +6 more
wiley +1 more source
Empirical methods for computing phrasal and sentential semantics in Vietnamese
Vietnam Journal of Computer Science, 2017 The purpose of this paper is to build the sets of clauses in definite clause grammar, which can express the phrasal and sentential semantics. We build these sets based on the semantic models of computational and inferential methods for analyzing the ...
Son The Pham, Dang Tuan Nguyen
doaj +1 more source
Fast Split Bregman Based Deconvolution Algorithm for Airborne Radar Imaging
Remote Sensing, 2020 Deconvolution methods can be used to improve the azimuth resolution in airborne radar imaging. Due to the sparsity of targets in airborne radar imaging, an L 1 regularization problem usually needs to be solved.
Yin Zhang +5 more
doaj +1 more source
Semantic Annotation: The Mainstay of Semantic Web [PDF]
International Journal of Computer Applications Technology and
Research, Volume 2, Issue 6, 763-770, 2013, 2013 Given that semantic Web realization is based on the critical mass of metadata accessibility and the representation of data with formal knowledge, it needs to generate metadata that is specific, easy to understand and well-defined. However, semantic annotation of the web documents is the successful way to make the Semantic Web vision a reality.
arxiv +1 more source
Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core
Advanced Science, EarlyView.This study presents an explainable multimodal AI model, MAIGGT (Multimodal Artificial Intelligence Germline Genetic Testing), that combines whole‐slide histopathology with clinical data for accurate germline BRCA1/2 mutation prescreening. By integrating digital pathology and EHR phenotypes, MAIGCT enables cost‐effective, scalable hereditary breast ...
Zijian Yang +23 more
wiley +1 more source