A5083347350- Formal Methods in Verification
- Logic, Reasoning, and Knowledge
- Freshwater macroinvertebrate diversity and ecology
- Aquatic Ecosystems and Phytoplankton Dynamics
- Hydrology and Watershed Management Studies
- Logic, programming, and type systems
- Semantic Web and Ontologies
- Soil and Water Nutrient Dynamics
- Hydrology and Sediment Transport Processes
- Water Quality and Pollution Assessment
- Integrated Water Resources Management
- Hydrological Forecasting Using AI
- Fish Ecology and Management Studies
- Peatlands and Wetlands Ecology
- Petri Nets in System Modeling
- Advanced Software Engineering Methodologies
- Botany and Plant Ecology Studies
- Distributed systems and fault tolerance
- Advanced Algebra and Logic
- Coastal wetland ecosystem dynamics
- Software Reliability and Analysis Research
- AI-based Problem Solving and Planning
- Bayesian Modeling and Causal Inference
- Service-Oriented Architecture and Web Services
- Botany, Ecology, and Taxonomy Studies
University of Life Sciences in Poznań
2015-2024
University of Lisbon
2024
Vrije Universiteit Amsterdam
2013-2017
Amsterdam UMC Location Vrije Universiteit Amsterdam
2012-2016
University of Insubria
2016
L. N. Gumilyov Eurasian National University
2015
University of Life Sciences in Lublin
2014
Unlike in land plants, photosynthesis many aquatic plants relies on bicarbonate addition to carbon dioxide (CO2) compensate for the low diffusivity and potential depletion of CO2 water. Concentrations vary greatly with catchment geology. In this study, we investigate whether there is a link between these concentrations frequency freshwater possessing use trait. We show, globally, that plant species trait increases concentration. Regionally, however, reduced at sites where concentration...
The Macrophyte Index for Rivers (MIR) was developed in 2007, and it one of the first biological methods Poland under requirements Water Framework Directive to assess ecological status running waters. It is based on quantitative qualitative evaluation 153 indicator taxa. aim this study evaluate ability MIR method detect trophic degradation rivers compare its efficiency with other macrophyte metrics. Our investigation 100 sites, representing a very clear gradient from near oligotrophic...
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. argue that uniform continuity (generalizing the earlier proposed property non-expansiveness) captures essential nature and allows now also reason compositionally about recursive processes. characterize distance between processes composed by algebra operators. Combining these results, we demonstrate how systems specified continuous...
The variation of a number parameters characterizing aquatic plant assemblages in rivers across wide trophic gradient was investigated to evaluate their usefulness for Polish national river monitoring system. Analyses were conducted at 100 sites included the system, representing uniform type, i.e., small- and medium-sized lowland with sandy substrate. Results botanical surveys, which supplemented comprehensive monthly quality records, obtained from database. By analyzing Jaccard distances...
The study focused on modelling of macropyte indices against physico-chemical parameters waters by artificial neural networks. Several macrophyte diversity were analysed (species richness—N, the Shannon index—H′, Simpson index—D, and Pielou index—J) as well ecological status index (the Macrophyte Index for Rivers—MIR). aim was to verify knowledge about potential application macrophytes in environmental monitoring. A Multi-Layer Perceptron type network used analyses. included 260 river sites...
The method based on original metric called Hydromorphological Index for Rivers (HIR) was developed in 2017 the purpose of monitoring hydromorphological status flowing waters Poland.It fulfils requirements EU Water Framework Directive (WFD).It allows assessment both lowland rivers as well mid-altitude and highland streams.The proposed system can be used to assess natural heavily modified artificial channels.The basis is a field survey, which supplemented by analysis Geographic Information...
Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. many applications too sensitive to exact probabilities of transitions. Approximate bisimulation provides robust stable with respect implementation measurement errors behavior. We general method quantify how much process combinator expands approximate distance. As direct application we...
Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose logical characterization bisimulation based on simple variant Hennessy-Milner logic. Our is novel notions mimicking formulae distance between formulae. The former are weak version well known characteristic allow us characterize also (ready) simulation bisimilarity. latter 1-bounded pseudometric that mirrors Hausdorff Kantorovich lifting...
Abstract Ranunculus species grouped in the section Batrachium (water crowfoots) indicate most valuable fluvial habitat Europe under EU Habitats Directive, and recognition of their environmental preferences plays a crucial role efficient conservation. Moreover, water crowfoots are used various monitoring systems throughout Europe. The aim this study was to identify distribution patterns two common crowfoot ( fluitans , R. circinatus ) hybrid × relation variables rivers. Various chemical...
We propose a SOS-based method for decomposing modal formulae nondeterministic probabilistic processes. The purpose is to reduce the satisfaction problem of formula process verifying whether its subprocesses satisfy certain obtained from decomposition. By our decomposition, we obtain (pre)congruence formats bisimilarity, ready similarity and similarity.
Monitoring of water ecosystems in Kazakhstan is based generally on chemical indicators.Biological indicators, such as macroinvertebrates and a phytoplankton are rarely used.Sometimes some macrophyte species used for the assessment quality.the aim study was to analyse possibilities introduction polish monitoring system aquatic plants rivers watercourses.the method uses Macrophyte Index (MIr) it has been prepared purposes EU Water Framework directive.The systematic structure kazakhstan's were...
Abstract Since 2000, after the Water Framework Directive came into force, aquatic ecosystems’ bioassessment has acquired immense practical importance for water management. Currently, due to extensive scientific research and monitoring, we have gathered comprehensive hydrobiological databases. The amount of available data increases with each subsequent year efficient analysis these requires use proper mathematical tools. Our study challenges comparison modelling potential between four indices...
Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior guarantee isimilarity is a congruence.Similar to case of rule tyft/tyxt, we show well-foundedness requirement unnecessary setting. To achieve this, first define an extended version which quantitative premises conclusions include nested convex combinations distributions. This also...