Search Results - "Gebler, Daniel"

Response of Aquatic Plants to Extreme Alterations in River Morphology by Gebler, Daniel, Szoszkiewicz, Krzysztof

“…In this study, we aimed to identify the macrophyte pattern and diversity under exposure to substantial hydromorphological degradation in rivers, taking into…”
Get full text

The Macrophyte Index for Rivers (MIR) as an Advantageous Approach to Running Water Assessment in Local Geographical Conditions by Szoszkiewicz, Krzysztof, Jusik, Szymon, Pietruczuk, Karol, Gebler, Daniel

“…The Macrophyte Index for Rivers (MIR) was developed in 2007, and it was one of the first biological methods developed in Poland under the requirements of the…”
Get full text

Hyporheic flow in aquatic Ranunculus habitats in temperate lowland rivers in Central Europe by Marciniak, Marek, Gebler, Daniel, Grygoruk, Mateusz, Zalewska-Gałosz, Joanna, Szoszkiewicz, Krzysztof

“…[Display omitted] •Ranunculus prefers drainage conditions, i.e., upward flow in hyporheic zone.•Developing Ranunculus modifies hydraulic properties of the…”
Get full text

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems by Du, Wenjie, Deng, Yuxin, Gebler, Daniel

“…For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of…”
Get full text

Compositional bisimulation metric reasoning with Probabilistic Process Calculi by Gebler, Daniel, Larsen, Kim G., Tini, Simone

“…We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue…”
Get full text

Logical Characterization of Bisimulation Metrics by Castiglioni, Valentina, Gebler, Daniel, Tini, Simone

“…Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a…”
Get full text

Non-Linear Visualization and Importance Ratio Analysis of Multivariate Polynomial Regression Ecological Models Based on River Hydromorphology and Water Quality by Shah, Vishwa, Jagupilla, Sarath Chandra K., Vaccari, David A., Gebler, Daniel

“…Multivariate polynomial regression (MPR) models were developed for five macrophyte indices. MPR models are able to capture complex interactions in the data…”
Get full text

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes by Castiglioni, Valentina, Gebler, Daniel, Tini, Simone

“…We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational…”
Get full text

Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators by Gebler, Daniel, Tini, Simone

“…Bisimulation metric is a robust behavioural semantics for probabilistic processes. Given any SOS specification of probabilistic processes, we provide a method…”
Get full text

Compositionality of Approximate Bisimulation for Probabilistic Systems by Gebler, Daniel, Tini, Simone

“…Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and…”
Get full text

Hydromorphological Index for Rivers: A New Method for Hydromorphological Assessment and Classification for Flowing Waters in Poland by Szoszkiewicz, Krzysztof, Jusik, Szymon, Gebler, Daniel, Achtenberg, Krzysztof, Adynkiewicz-Piragas, Mariusz, Artur Radecki-Pawlik, Artur, Okruszko, Tomasz, Pietruczuk, Karol, Przesmycki, Marcin, Nawrocki, Przemysław

“…The method based on original metric called Hydromorphological Index for Rivers (HIR) was developed in 2017 for the purpose of the monitoring of the…”
Get full text

SOS rule formats for convex and abstract probabilistic bisimulations by D'Argenio, Pedro R., Lee, Matias David, Gebler, Daniel

“…Probabilistic transition system specifications (PTSSs) in the ntμfθ/ntμxθ format provide structural operational semantics for Segala-type systems that exhibit…”
Get full text

Tree rules in probabilistic transition system specifications with negative and quantitative premises by Lee, Matias David, Gebler, Daniel, D'Argenio, Pedro R.

“…Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that…”
Get full text

Integrating river hydromorphology and water quality into ecological status modelling by artificial neural networks by Gebler, Daniel, Wiegleb, Gerhard, Szoszkiewicz, Krzysztof

“…The aim of the study was to develop predictive models of the ecological status of rivers by using artificial neural networks. The relationships between five…”
Get full text

Algebraic Meta-Theory of Processes with Data by Gebler, Daniel, Goriac, Eugen-Ioan, Mousavi, Mohammad Reza

“…There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover,…”
Get full text

Molecular identification and habitat requirements of the hybrid Ranunculus circinatus x R. fluitans and its parental taxa R. circinatus and R. fluitans in running waters by Gebler, Daniel, Zalewska-Galosz, Joanna, Jopek, Magdalena, Szoszkiewicz, Krzysztof

“…Ranunculus species grouped in the section Batrachium (water crowfoots) indicate the most valuable fluvial habitat in Europe under the EU Habitats Directive,…”
Get full text

Molecular identification and habitat requirements of the hybrid Ranunculus circinatus × R. fluitans and its parental taxa R. circinatus and R. fluitans in running waters by Gebler, Daniel, Zalewska-Gałosz, Joanna, Jopek, Magdalena, Szoszkiewicz, Krzysztof

“…Ranunculus species grouped in the section Batrachium (water crowfoots) indicate the most valuable fluvial habitat in Europe under the EU Habitats Directive,…”
Get full text

Ecological states of watercourses regarding water quality parameters and hydromorphological parameters: deriving empirical equations by machine learning models by Najafzadeh, Mohammad, Ahmadi-Rad, Elahe Sadat, Gebler, Daniel

“…Environmental biomonitoring techniques have been widely applied to assess the quality states of toxic chemical compounds in surface freshwater quality. The…”
Get full text

Different intensities and directions of hyporheic water exchange in habitats of aquatic Ranunculus species in rivers—a case study in Poland by Marciniak, Marek, Gebler, Daniel, Grygoruk, Mateusz, Zalewska-Gałosz, Joanna, Szoszkiewicz, Krzysztof

“…Hyporheic water exchange driven by groundwater-surface water interactions constitutes habitat conditions for aquatic biota. In our study, we conducted a…”
Get full text

Modelling of ecological status of Polish lakes using deep learning techniques by Gebler, Daniel, Kolada, Agnieszka, Pasztaleniec, Agnieszka, Szoszkiewicz, Krzysztof

“…Since 2000, after the Water Framework Directive came into force, aquatic ecosystems’ bioassessment has acquired immense practical importance for water…”
Get full text