Results 31 to 40 of about 53,801 (280)
Model Checking Synchronized Products of Infinite Transition Systems
, 2007 Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability ...
Colin Stirling +2 more
core +1 more source
“There Are Places Full of Beauty”: Desettling High School Students' Scientific Writing
Science Education, EarlyView.ABSTRACT This study contributes to desettling and expanding expectations about the forms of scientific language that belong in students' scientific writing. The primary empirical focus is the analysis of 52 high school student abstracts articulating community‐based investigations, submitted as part of their participation in a student conference in a ...
Alejandra Frausto Aceves
wiley +1 more source
Approximation of proximities by aggregating T-indistinguishability operators [PDF]
, 2007 For a continuous Archimedean t-norm T a method to approximate a proximity relation R (i.e. a reflexive and symmetric fuzzy relation) by a T-transitive one is provided.
Garmendia, L., Recasens, J.
core +1 more source
A Bird's Eye View of English Grammar: Connecting the Dots in Two Dimensions
TESOL Quarterly, EarlyView.Abstract Over the past few decades, discussions on grammar instruction have primarily focused on teaching methodologies, such as whether grammar should be taught explicitly or implicitly, and whether the focus should be on form or forms. This paper, however, shifts the focus to grammar itself, aiming to provide a “shape” for pedagogical grammar.
Akira Tajino, Yoshitaka Kato
wiley +1 more source
Transitive closure and betweenness relations
Fuzzy Sets and Systems, 2001 Indistinguishability operators fuzzify the concept of equivalence relation and have been proved a useful tool in theoretical studies as well as in di0erent applications such as fuzzy control or approximate reasoning. One interesting problem is their construction. There are di0erent ways depending on how the data are given and on their future use.
Boixader Ibáñez, Dionís +2 more
openaire +3 more sources
Journal of Animal Ecology, EarlyView.This study combines replicated experimental manipulation, social network analysis, network permutations and meta‐analysis to disentangle active from spatially‐induced changes in animal network structure in the wild. It reveals that short‐term environmental changes primarily alter space use, with limited effects on social structure.
Camille N. M. Bordes +6 more
wiley +1 more source
Cyclic Proofs, Hypersequents, and Transitive Closure Logic [PDF]
, 2022 Anupam Das, Marianna Girlando
openalex +3 more sources
Algorithmic and Hardness Results for the Colorful Components Problems
, 2013 In this paper we investigate the colorful components framework, motivated by applications emerging from comparative genomics. The general goal is to remove a collection of edges from an undirected vertex-colored graph $G$ such that in the resulting graph
A. Avidor +7 more
core +1 more source
Journal of the Royal Anthropological Institute, EarlyView.The production‐distribution‐consumption triad has structured how anthropologists understand exchange for roughly a century. This article argues for expanding this triad to include an explicit focus on acquisition – the systems, processes, and practices of acquiring.
Hanna Garth
wiley +1 more source
Practical Reasoning for Very Expressive Description Logics
, 1999 Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones.
Horrocks, Ian +2 more
core +6 more sources