FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2922196358> ?p ?o ?g. }

• W2922196358 endingPage "154" @default.
• W2922196358 startingPage "132" @default.
• W2922196358 abstract "Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and electrical engineering. Building on the celebrated molecules-as-processes paradigm, they have become increasingly popular in computer science, with high-level languages and formal methods such as Petri nets, process algebra, and rule-based systems that are interpreted as ODEs. We consider the problem of comparing and minimizing ODEs automatically. Influenced by traditional approaches in the theory of programming, we propose differential equivalence relations. We study them for a basic intermediate language, for which we have decidability results, that can be targeted by a class of high-level specifications. An ODE implicitly represents an uncountable state space, hence reasoning techniques cannot be borrowed from established domains such as probabilistic programs with finite-state Markov chain semantics. We provide novel symbolic procedures to check an equivalence and compute the largest one via partition refinement algorithms that use satisfiability modulo theories. We illustrate the generality of our framework by showing that differential equivalences include (i) well-known notions for the minimization of continuous-time Markov chains (lumpability), (ii) bisimulations for chemical reaction networks recently proposed by Cardelli et al., and (iii) behavioral relations for process algebra with ODE semantics. Using ERODE, the tool that implements our techniques, we are able to detect equivalences in biochemical models from the literature that cannot be reduced using competing automatic techniques." @default.
• W2922196358 created "2019-03-22" @default.
• W2922196358 creator A5013220584 @default.
• W2922196358 creator A5023123658 @default.
• W2922196358 creator A5037431084 @default.
• W2922196358 creator A5090729724 @default.
• W2922196358 date "2019-07-01" @default.
• W2922196358 modified "2023-10-16" @default.
• W2922196358 title "Symbolic computation of differential equivalences" @default.
• W2922196358 cites W139143222 @default.
• W2922196358 cites W1551480811 @default.
• W2922196358 cites W1599936794 @default.
• W2922196358 cites W1850453539 @default.
• W2922196358 cites W1963619740 @default.
• W2922196358 cites W1968402813 @default.
• W2922196358 cites W1976268573 @default.
• W2922196358 cites W1983350265 @default.
• W2922196358 cites W1986397618 @default.
• W2922196358 cites W1986649132 @default.
• W2922196358 cites W1996984709 @default.
• W2922196358 cites W2004284025 @default.
• W2922196358 cites W2006466539 @default.
• W2922196358 cites W2013032123 @default.
• W2922196358 cites W2021473546 @default.
• W2922196358 cites W2030213535 @default.
• W2922196358 cites W2030592463 @default.
• W2922196358 cites W2032136678 @default.
• W2922196358 cites W2032806006 @default.
• W2922196358 cites W2040598439 @default.
• W2922196358 cites W2040860090 @default.
• W2922196358 cites W2041226400 @default.
• W2922196358 cites W2041572061 @default.
• W2922196358 cites W2044709552 @default.
• W2922196358 cites W2044811734 @default.
• W2922196358 cites W2045529195 @default.
• W2922196358 cites W2050872582 @default.
• W2922196358 cites W2053679183 @default.
• W2922196358 cites W2059145118 @default.
• W2922196358 cites W2068361557 @default.
• W2922196358 cites W2076829994 @default.
• W2922196358 cites W2078103992 @default.
• W2922196358 cites W2090771707 @default.
• W2922196358 cites W2099693848 @default.
• W2922196358 cites W2114710208 @default.
• W2922196358 cites W2119510512 @default.
• W2922196358 cites W2121061285 @default.
• W2922196358 cites W2121490181 @default.
• W2922196358 cites W2122360082 @default.
• W2922196358 cites W2127135659 @default.
• W2922196358 cites W2130414563 @default.
• W2922196358 cites W2130429899 @default.
• W2922196358 cites W2139941949 @default.
• W2922196358 cites W2147985467 @default.
• W2922196358 cites W2162607114 @default.
• W2922196358 cites W2163493106 @default.
• W2922196358 cites W2170774457 @default.
• W2922196358 cites W2752491749 @default.
• W2922196358 cites W291482096 @default.
• W2922196358 doi "https://doi.org/10.1016/j.tcs.2019.03.018" @default.
• W2922196358 hasPublicationYear "2019" @default.
• W2922196358 type Work @default.
• W2922196358 sameAs 2922196358 @default.
• W2922196358 citedByCount "14" @default.
• W2922196358 countsByYear W29221963582019 @default.
• W2922196358 countsByYear W29221963582020 @default.
• W2922196358 countsByYear W29221963582021 @default.
• W2922196358 countsByYear W29221963582022 @default.
• W2922196358 countsByYear W29221963582023 @default.
• W2922196358 crossrefType "journal-article" @default.
• W2922196358 hasAuthorship W2922196358A5013220584 @default.
• W2922196358 hasAuthorship W2922196358A5023123658 @default.
• W2922196358 hasAuthorship W2922196358A5037431084 @default.
• W2922196358 hasAuthorship W2922196358A5090729724 @default.
• W2922196358 hasBestOaLocation W29221963581 @default.
• W2922196358 hasConcept C118615104 @default.
• W2922196358 hasConcept C136119220 @default.
• W2922196358 hasConcept C153269930 @default.
• W2922196358 hasConcept C161771561 @default.
• W2922196358 hasConcept C199360897 @default.
• W2922196358 hasConcept C202444582 @default.
• W2922196358 hasConcept C2780069185 @default.
• W2922196358 hasConcept C28826006 @default.
• W2922196358 hasConcept C33923547 @default.
• W2922196358 hasConcept C34862557 @default.
• W2922196358 hasConcept C38677869 @default.
• W2922196358 hasConcept C41008148 @default.
• W2922196358 hasConcept C80444323 @default.
• W2922196358 hasConceptScore W2922196358C118615104 @default.
• W2922196358 hasConceptScore W2922196358C136119220 @default.
• W2922196358 hasConceptScore W2922196358C153269930 @default.
• W2922196358 hasConceptScore W2922196358C161771561 @default.
• W2922196358 hasConceptScore W2922196358C199360897 @default.
• W2922196358 hasConceptScore W2922196358C202444582 @default.
• W2922196358 hasConceptScore W2922196358C2780069185 @default.
• W2922196358 hasConceptScore W2922196358C28826006 @default.
• W2922196358 hasConceptScore W2922196358C33923547 @default.
• W2922196358 hasConceptScore W2922196358C34862557 @default.
• W2922196358 hasConceptScore W2922196358C38677869 @default.

• next