Aleksandar Perović
YOU?
Author Swipe
View article: Trophic Interactions Are Key to Understanding the Effects of Global Change on the Distribution and Functional Role of the Brown Bear
Trophic Interactions Are Key to Understanding the Effects of Global Change on the Distribution and Functional Role of the Brown Bear Open
Biotic interactions are expected to influence species' responses to global changes, but they are rarely considered across broad spatial extents. Abiotic factors are thought to operate at larger spatial scales, while biotic factors, such as…
View article: Including biotic interactions in species distribution models improves the understanding of species niche: a case of study with the brown bear in Europe
Including biotic interactions in species distribution models improves the understanding of species niche: a case of study with the brown bear in Europe Open
Biotic interactions are expected to influence species’ responses to climate change, but they are usually not included when predicting future range shifts. We assessed the importance of biotic interactions to understand future consequences …
View article: Tableau for the logic ILP
Tableau for the logic ILP Open
A tableau system for a logic suitable for intuitionistic reasoning about probabilities is presented. Soundness and completeness of the system are proved. A decision procedure based on the tableau system is given.
View article: A Probabilistic Temporal Epistemic Logic
A Probabilistic Temporal Epistemic Logic Open
We introduce an expressive probabilistic temporal epistemic logic PTEL suitable to reason about uncertain knowledge of a non-rigid set of agents that can be changed during time. We define semantics for PTEL as Kripke models with epistemic …
View article: A Probabilistic Temporal Epistemic Logic
A Probabilistic Temporal Epistemic Logic Open
We introduce an expressive probabilistic temporal epistemic logic PTEL suitable to reason about uncertain knowledge of a non-rigid set of agents that can be changed during time. We define semantics for PTEL as Kripke models with epistemic …
View article: Statistical approach to selecting the optimal parameters for diagnosis of some connective tissue diseases
Statistical approach to selecting the optimal parameters for diagnosis of some connective tissue diseases Open
"¡In order to choose the optimal parameters for easier diagnosis of systemic autoimmune diseases, the authors focused on data dimensionality reduction, using both feature selection and feature extraction. The Multiple Correspondence Analys…
View article: Measures and Metrics of Biological Signals
Measures and Metrics of Biological Signals Open
The concept of biological signals is becoming broader. Some of the challenges are: searching for inner and structural characteristics; selecting appropriate modeling to enhance perceived properties in the signals; extracting the representa…
View article: Using questionnaire surveys and occupancy modelling to identify conservation priorities for the Critically Endangered Balkan lynx<i>Lynx lynx balcanicus</i>
Using questionnaire surveys and occupancy modelling to identify conservation priorities for the Critically Endangered Balkan lynx<i>Lynx lynx balcanicus</i> Open
With an estimated < 50 adult individuals remaining, the Critically Endangered Balkan lynx Lynx lynx balcanicus is one of the rarest, most threatened and least-studied large carnivores. To identify priority conservation areas and actions fo…
View article: A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One
A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One Open
The problem of developing authentication protocols dedicated to a specific scenario where an entity with limited computational capabilities should prove the identity to a computationally powerful Verifier is addressed. An authentication pr…
View article: On evaluations of propositional formulas in countable structures
On evaluations of propositional formulas in countable structures Open
Let L be a countable first-order language such that its set of constant symbols Const(L) is countable. We provide a complete infinitary propositional logic (formulas remain finite sequences of symbols, but we use inference rules with count…
View article: Brain connectivity extended and expanded
Brain connectivity extended and expanded Open
Background\nThe article is focused on the brain connectivity extensions and expansions, with the introductory elements in this section.\nMethod\nIn Causality measures and brain connectivity models, the necessary, basic properties demanded …