Gastrointestinal digeneans (Platyhelminthes: Trematoda) of horseshoe and vesper bats (Chiroptera: Rhinolophidae and Vespertilionidae) in Serbia

The qualitative and quantitative analyses of the digenean fauna of bats were conducted for the first time in Serbia. The sample comprised of 118 individuals of 12 bat species (Rhinolophus ferrumequinum, Myotis mystacinus, M. alcathoe, M. brandtii, M. oxygnathus, M. myotis, Hypsugo savii, Pipistrellus pipistrellus, P. nathusii, Plecotus auritus, P. austriacus and Nyctalus noctula) collected from 15 sites throughout Serbia. Six digenean species were identified: Lecithodendrium linstowi, Plagiorchis sp., Prosthodendrium longiforme, P. chilostomum, P. parvouterus and Mesotretes peregrinus. The helminths were recorded from 35 individual hosts (29.7 %). The species Lecithodendrium linstowi infected the highest percentage of hosts (19.5 %), with a mean abundance of 4.6. GLM analysis of exploratory factors showed that host species and host sex had a significant influence on parasite load, while locality and host age did not influence parasite abundance. No evidence of zoonotic species was found.Helminthologia (2017), 54(1): 17-2

SATURN D6.5 - Final Report

The objective of the SATURN (Strategic Allocation of Traffic Using Redistribution in the Network) project is to make novel and credible use of market-based demand-management mechanisms to redistribute air traffic in the European airspace. This reduces congestion and saves the airspace users operational costs. The project is motivated by frequent demand and capacity imbalances in the European airspace network, which are forecast to continue in the near future. The present and foreseen ways of dealing with such imbalances mainly concern strategic and tactical capacity-side interventions, such as resectorisation and opening of more sectors to deal with excess demand. These are followed by tactical demand management measures, if needed. As a result, not only do substantial costs arise, but airspace users are also typically left with no choice but to comply with imposed air traffic flow management measures. The project shows how economic signals could be given to airspace users and air navigation service providers (ANSPs) to improve capacity-demand balancing, airspace design and usage, and what the benefits would be of a centralised planner compared with those of decentralised maximisation of self interests (by the ANSPs and/or airspace users)

An austempering study of ductile iron alloyed with copper

Austempered ductile iron (ADI) has proved to be an excellent material as it possesses attractive properties: high strength, ductility and toughness are combined with good wear resistance and machinability. These properties can be achieved upon adequate heat treatment which yields the optimum microstructure for a given chemical composition. In this paper the results of an investigation the austempering of ADI alloyed with 0.45 % Cu for a range of times and temperatures are reported. The microstructure and fracture mode developed throughout these treatments have been identified by means of light and scanning electron microscopy and X-ray diffraction analysis. It was shown that the strength, elongation and impact energy strongly depend on the amounts of bainitic ferrite and retained austenite. Based on these results, and optimal processing window was established

Supplementary data for article: Filipović, N. R.; Bjelogrlić, S. K.; Pelliccia, S.; Jovanović, V. B.; Kojić, M.; Senćanski, M.; La Regina, G.; Silvestri, R.; Muller, C. D.; Todorović, T. R. Selenotriapine - An Isostere of the Most Studied Thiosemicarbazone with Pronounced pro-Apoptotic Activity, Low Toxicity and Ability to Challenge Phenotype Reprogramming of 3-D Mammary Adenocarcinoma Tumors, 2017. https://doi.org/10.1016/j.arabjc.2017.11.017

Supplementary material for: [https://doi.org/10.1016/j.arabjc.2017.11.017]Related to published version: [http://cherry.chem.bg.ac.rs/handle/123456789/320

Geodesic flows on Riemannian g.o. spaces

We prove the integrability of geodesic flows on the Riemannian g.o. spaces of compact Lie groups, as well as on a related class of Riemannian homogeneous spaces having an additional principal bundle structure.Comment: 12 pages, minor corrections, final versio

On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Using XML and XSLT for flexible elicitation of mental-health risk knowledge

Current tools for assessing risks associated with mental-health problems require assessors to make high-level judgements based on clinical experience. This paper describes how new technologies can enhance qualitative research methods to identify lower-level cues underlying these judgements, which can be collected by people without a specialist mental-health background. Methods and evolving results: Content analysis of interviews with 46 multidisciplinary mental-health experts exposed the cues and their interrelationships, which were represented by a mind map using software that stores maps as XML. All 46 mind maps were integrated into a single XML knowledge structure and analysed by a Lisp program to generate quantitative information about the numbers of experts associated with each part of it. The knowledge was refined by the experts, using software developed in Flash to record their collective views within the XML itself. These views specified how the XML should be transformed by XSLT, a technology for rendering XML, which resulted in a validated hierarchical knowledge structure associating patient cues with risks. Conclusions: Changing knowledge elicitation requirements were accommodated by flexible transformations of XML data using XSLT, which also facilitated generation of multiple data-gathering tools suiting different assessment circumstances and levels of mental-health knowledge