Results 21 to 30 of about 188,814 (295)
An Ontology-Based Knowledge Representation Method for Typhoon Events from Chinese News Reports
ISPRS International Journal of Geo-Information, 2023 Typhoons are destructive weather events. News media reports contain large amounts of typhoon information. Transforming this information into useful knowledge to provide a basis for mining typhoon knowledge and supporting disaster prevention and relief is
Danjie Chen +3 more
doaj +1 more source
Formal Component-Based Semantics [PDF]
, 2011 One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses.
Bas Spitters +15 more
core +4 more sources
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types [PDF]
, 2014 In this paper, we present an Agda formalization of a normalizer for simply-typed lambda terms. The normalizer consists of two coinductively defined functions in the delay monad: One is a standard evaluator of lambda terms to closures, the other a type ...
Abel, Andreas, Chapman, James
core +2 more sources
A Review on Mechanical Proving and Formalization of Mathematical Theorems
IEEE AccessThe field of artificial intelligence represents a frontier and a focal point of contemporary technological development. As an important embodiment of artificial intelligence applied to theoretical-level research, mechanical proving has been a subject of ...
Si Chen +3 more
doaj +1 more source
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
, 2012 This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS.
A. B. Avelar +23 more
core +2 more sources
A Formal Executable Semantics of Verilog [PDF]
, 2010 This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael +3 more
core +1 more source
Set-Theoretic Types for Polymorphic Variants [PDF]
, 2016 Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification.
Bonsangue M. +9 more
core +4 more sources
Enhancing the Ostrom social-ecological system framework through formalization
Ecology and Society, 2014 Frameworks play an important role in analyzing social-ecological systems (SESs) because they provide shared concepts and variables that enable comparison between and accumulation of knowledge across multiple cases. One prominent SES framework focusing on
Jochen Hinkel +2 more
doaj +1 more source
Online Tests in the News Browser: Linguistic and Speech Genre Characteristics [PDF]
Жанры речи, 2020 The object of the study are online tests in a news browser (Yandex, Mail.ru). The research focuses on the linguistic and genre characteristics of the test link – a part of this test, presented in the news browser as a link or icon and containing the ...
Vadim Viktorovich Dementyev
doaj +1 more source