Results 41 to 50 of about 67,345 (316)
Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk) [PDF]
I will introduce DatalogMTL - an extension of Datalog, augmenting it with operators known from metric temporal logic (MTL). DatalogMTL is an expressive language which allows us for complex temporal reasoning over a dense timeline and, at the same time ...
Wałęga, PA +1 more
core +1 more source
Conceptual Neighborhood Graphs of Discrete Time Intervals
ISPRS International Journal of Geo-InformationTemporal reasoning is an important part of the field of time geography and spatio-temporal data science. Recent advances in qualitative temporal reasoning have developed a set of 74 relations that apply between discretized time intervals of at least two ...
Matthew P. Dube, Brendan P. Hall
doaj +1 more source
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
Mining Spatio-temporal Data at Different Levels of Detail [PDF]
, 2008 Presented at the 11th AGILE International Conference on Geographic Information Science (AGILE 2008), Girona, Spain, 5-8 May 2008In this paper we propose a methodology for mining very large spatio-temporal datasets.
Elena Camossi +5 more
core +1 more source
IEEE AccessIn an increasingly fragmented digital media landscape, understanding the sustained acceptance of legacy media demands models that can effectively align heterogeneous platform representations and audience behaviors.
Peng Wang +2 more
doaj +1 more source
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
Temporal patterns: Smart-type reasoning and applications [PDF]
, 2017 Allen’s interval algebra is a calculus for temporal reasoning that was introduced in 1983. Reasoning with quali- tative time in Allen’s full interval algebra is nondeterministic polynomial time (NP) complete.
Hunsdale, Karen +3 more
core
Digital Relations in
ISPRS International Journal of Geo-InformationThere is voluminous literature concerning the scope of topological relations that span various embedding spaces from R1 to R2, Z2 , S1 and S2 , and T2.
Matthew P. Dube
doaj +1 more source
Deductive temporal reasoning with constraints [PDF]
Journal of Applied Logic, 2013 When modelling realistic systems, physical constraints on the resources available are often required. For example, we might say that at most N processes can access a particular resource at any moment, exactly M participants are needed for an agreement, or an agent can be in exactly one mode at any moment.
Clare Dixon +3 more
openaire +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