Matches in SemOpenAlex for { <https://semopenalex.org/work/W2731702105> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2731702105 abstract "The assumption of being able to perform infinite precision measurements does not only lead to undecidability, but it also introduces artifacts in the mathematical models that do not correspond to observable behaviours of systems under study. When bounded spatial regions are involved, such issues can be avoided if arbitrarily small sets of points are not definable in the mathematical setting. epsilon-semantics were introduced in this spirit. In this paper we investigate the use of epsilon-semantics deeper, in the context of reachability analysis of hybrid automata. In particular, we focus on two epsilon-semantics and reason about their computability. We then try our approach on biological model analysis to give evidence about the effectiveness of the methodology." @default.
- W2731702105 created "2017-07-14" @default.
- W2731702105 creator A5002905121 @default.
- W2731702105 creator A5027009916 @default.
- W2731702105 creator A5052391923 @default.
- W2731702105 creator A5084296935 @default.
- W2731702105 date "2014-01-27" @default.
- W2731702105 modified "2023-10-06" @default.
- W2731702105 title "Epsilon-Semantics computations on biological systems" @default.
- W2731702105 hasPublicationYear "2014" @default.
- W2731702105 type Work @default.
- W2731702105 sameAs 2731702105 @default.
- W2731702105 citedByCount "0" @default.
- W2731702105 crossrefType "journal-article" @default.
- W2731702105 hasAuthorship W2731702105A5002905121 @default.
- W2731702105 hasAuthorship W2731702105A5027009916 @default.
- W2731702105 hasAuthorship W2731702105A5052391923 @default.
- W2731702105 hasAuthorship W2731702105A5084296935 @default.
- W2731702105 hasConcept C110251889 @default.
- W2731702105 hasConcept C112505250 @default.
- W2731702105 hasConcept C11413529 @default.
- W2731702105 hasConcept C120665830 @default.
- W2731702105 hasConcept C121332964 @default.
- W2731702105 hasConcept C134306372 @default.
- W2731702105 hasConcept C136643341 @default.
- W2731702105 hasConcept C151730666 @default.
- W2731702105 hasConcept C152062344 @default.
- W2731702105 hasConcept C184337299 @default.
- W2731702105 hasConcept C192209626 @default.
- W2731702105 hasConcept C199360897 @default.
- W2731702105 hasConcept C2777669093 @default.
- W2731702105 hasConcept C2779343474 @default.
- W2731702105 hasConcept C33923547 @default.
- W2731702105 hasConcept C34388435 @default.
- W2731702105 hasConcept C41008148 @default.
- W2731702105 hasConcept C45374587 @default.
- W2731702105 hasConcept C80444323 @default.
- W2731702105 hasConcept C86803240 @default.
- W2731702105 hasConceptScore W2731702105C110251889 @default.
- W2731702105 hasConceptScore W2731702105C112505250 @default.
- W2731702105 hasConceptScore W2731702105C11413529 @default.
- W2731702105 hasConceptScore W2731702105C120665830 @default.
- W2731702105 hasConceptScore W2731702105C121332964 @default.
- W2731702105 hasConceptScore W2731702105C134306372 @default.
- W2731702105 hasConceptScore W2731702105C136643341 @default.
- W2731702105 hasConceptScore W2731702105C151730666 @default.
- W2731702105 hasConceptScore W2731702105C152062344 @default.
- W2731702105 hasConceptScore W2731702105C184337299 @default.
- W2731702105 hasConceptScore W2731702105C192209626 @default.
- W2731702105 hasConceptScore W2731702105C199360897 @default.
- W2731702105 hasConceptScore W2731702105C2777669093 @default.
- W2731702105 hasConceptScore W2731702105C2779343474 @default.
- W2731702105 hasConceptScore W2731702105C33923547 @default.
- W2731702105 hasConceptScore W2731702105C34388435 @default.
- W2731702105 hasConceptScore W2731702105C41008148 @default.
- W2731702105 hasConceptScore W2731702105C45374587 @default.
- W2731702105 hasConceptScore W2731702105C80444323 @default.
- W2731702105 hasConceptScore W2731702105C86803240 @default.
- W2731702105 hasIssue "1" @default.
- W2731702105 hasLocation W27317021051 @default.
- W2731702105 hasOpenAccess W2731702105 @default.
- W2731702105 hasPrimaryLocation W27317021051 @default.
- W2731702105 hasRelatedWork W1551630805 @default.
- W2731702105 hasRelatedWork W1887871432 @default.
- W2731702105 hasRelatedWork W2029183607 @default.
- W2731702105 hasRelatedWork W2084816568 @default.
- W2731702105 hasRelatedWork W2106142143 @default.
- W2731702105 hasRelatedWork W2128770734 @default.
- W2731702105 hasRelatedWork W2408574009 @default.
- W2731702105 hasRelatedWork W2530874236 @default.
- W2731702105 hasRelatedWork W2735861951 @default.
- W2731702105 hasRelatedWork W2739719243 @default.
- W2731702105 hasRelatedWork W2743286910 @default.
- W2731702105 hasRelatedWork W2763666638 @default.
- W2731702105 hasRelatedWork W2825557463 @default.
- W2731702105 hasRelatedWork W2908011342 @default.
- W2731702105 hasRelatedWork W2922620979 @default.
- W2731702105 hasRelatedWork W3014291813 @default.
- W2731702105 hasRelatedWork W3014439926 @default.
- W2731702105 hasRelatedWork W3175616061 @default.
- W2731702105 hasRelatedWork W2182556708 @default.
- W2731702105 hasRelatedWork W2744839249 @default.
- W2731702105 hasVolume "236" @default.
- W2731702105 isParatext "false" @default.
- W2731702105 isRetracted "false" @default.
- W2731702105 magId "2731702105" @default.
- W2731702105 workType "article" @default.