About: Epsilon-Semantics computations on biological systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Epsilon-Semantics computations on biological systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.sciencedirect.com/science/article/pii/S0890540114000121
Description	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. 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. (en)
Title	Epsilon-Semantics computations on biological systems Epsilon-Semantics computations on biological systems (en)
skos:prefLabel	Epsilon-Semantics computations on biological systems Epsilon-Semantics computations on biological systems (en)
skos:notation	RIV/00216224:14330/14:00075302!RIV15-MSM-14330___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(EE2.3.20.0256), S
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Fabriková, Jana
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	14887
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/14:00075302
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Hybrid systems; Epsilon-Semantics; Reachability problem (en)
http://linked.open.../riv/klicoveSlovo	Epsilon-Semantics Hybrid systems Reachability problem
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[DF2104691A80]
http://linked.open...i/riv/nazevZdroje	Information and computation
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Local team and international consortium for computational modelling of a cyanobacterial cell
http://linked.open...UplatneniVysledku	2014
http://linked.open...v/svazekPeriodika	236
http://linked.open...iv/tvurceVysledku	Fabriková, Jana Casagrande, Alberto Dreossi, Tommaso Piazza, Carla
http://linked.open...ain/vavai/riv/wos	000337655300004
issn	0890-5401
number of pages	17 (xsd:int)
http://bibframe.org/vocab/doi	10.1016/j.ic.2014.01.011
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software