LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 42

Search options

  1. Article ; Online: Hide-and-Seek in a Highly Human-Dominated Landscape: Insights into Movement Patterns and Selection of Resting Sites of Rehabilitated Wolves (Canis lupus) in Northern Italy

    Torretta, Elisa / Corradini, Andrea / Pedrotti, Luca / Bani, Luciano / Bisi, Francesco / Dondina, Olivia

    Animals. 2022 Dec. 22, v. 13, no. 1

    2022  

    Abstract: Assessing the behavioural responses of floating wolves to human presence is crucial for investigating the chance of wolf populations expanding into urbanised landscapes. We studied the movement ecology of three rehabilitated wolves in a highly human- ... ...

    Abstract Assessing the behavioural responses of floating wolves to human presence is crucial for investigating the chance of wolf populations expanding into urbanised landscapes. We studied the movement ecology of three rehabilitated wolves in a highly human-dominated landscape (Po Plain, Italy) to explore wolf’s plasticity amid widespread human pressure. To reach this aim, we estimated individual 95% utilisation distributions (UD) after the release and inspected both 95% UDs and net squared displacements to identify individual movement patterns; tested for differences in movement patterns during day and night; and analysed the selection of resting sites during dispersal movement in a highly human-altered environment. Both the 95% UDs and step lengths were smaller for wolves settling in suitable areas than for those settling in more urbanised areas. All wolves exhibited strong temporal segregation with humans during all movement phases, particularly while dispersing across highly urbanised areas. Main roads and proximity to built-up areas were shown to limit wolves’ dispersal, whereas small-wooded patches that provide shelter during rest facilitated long-distance movements. This study provides important insights into wolf movement and settling in urban and peri-urban areas, providing critical knowledge to promote human–carnivore coexistence.
    Keywords Canis lupus ; ecology ; humans ; landscapes ; urbanization ; wolves ; Italy
    Language English
    Dates of publication 2022-1222
    Publishing place Multidisciplinary Digital Publishing Institute
    Document type Article ; Online
    ZDB-ID 2606558-7
    ISSN 2076-2615
    ISSN 2076-2615
    DOI 10.3390/ani13010046
    Database NAL-Catalogue (AGRICOLA)

    More links

    Kategorien

  2. Book ; Online: From Gs-monoidal to Oplax Cartesian Categories

    Fritz, Tobias / Gadducci, Fabio / Trotta, Davide / Corradini, Andrea

    Constructions and Functorial Completeness

    2022  

    Abstract: Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories ... ...

    Abstract Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories whose arrows are generalised relations, with enough structure to talk about domains and partial functions, but less structure than cartesian bicategories. The aim of this paper is threefold. The first goal is to extend the original definition of gs-monoidality by enriching it with a preorder on arrows, giving rise to what we call oplax cartesian categories. Second, we show that (preorder-enriched) gs-monoidal categories naturally arise both as Kleisli categories and as span categories, and the relation between the resulting formalisms is explored. Finally, we present two theorems concerning Yoneda embeddings on the one hand and functorial completeness on the other, the latter inducing a completeness result also for lax functors from oplax cartesian categories to $\mathbf{Rel}$.
    Keywords Computer Science - Logic in Computer Science ; Mathematics - Category Theory ; F.3 ; F.4
    Publishing date 2022-05-13
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  3. Book ; Conference proceedings: Algebra and coalgebra in computer science

    Corradini, Andrea

    4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings

    (Lecture notes in computer science ; 6859)

    2011  

    Institution CALCO
    Event/congress CALCO (4, 2011.08.30-09.2, Winchester) ; International Conference on Algebra and Coalgebra in Computer Science (4, 2011.08.30-09.02, Winchester)
    Author's details Andrea Corradini ... (eds.)
    Series title Lecture notes in computer science ; 6859
    Keywords Theoretische Informatik ; Koalgebra ; Algebra ; Formale Methode
    Language English
    Size XIII, 419 S., graph. Darst., 24 cm
    Publisher Springer
    Publishing place Heidelberg u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3642229433 ; 9783642229435 ; 9783642229442 ; 3642229441
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  4. Book ; Conference proceedings: Algebra and coalgebra in computer science

    Corradini, Andrea

    4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings

    (Lecture notes in computer science ; 6859)

    2011  

    Institution CALCO
    Event/congress CALCO (4, 2011.08.30-09.2, Winchester) ; International Conference on Algebra and Coalgebra in Computer Science (4, 2011.08.30-09.02, Winchester)
    Author's details Andrea Corradini ... (eds.)
    Series title Lecture notes in computer science ; 6859
    Keywords Theoretische Informatik ; Koalgebra ; Algebra ; Formale Methode
    Language English
    Size XIII, 419 S., graph. Darst., 24 cm
    Publisher Springer
    Publishing place Heidelberg u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3642229433 ; 9783642229435 ; 9783642229442 ; 3642229441
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  5. Article ; Online: Assessment of genetic diversity, population structure and wolf-dog hybridisation in the Eastern Romanian Carpathian wolf population.

    Jarausch, Anne / von Thaden, Alina / Sin, Teodora / Corradini, Andrea / Pop, Mihai I / Chiriac, Silviu / Gazzola, Andrea / Nowak, Carsten

    Scientific reports

    2023  Volume 13, Issue 1, Page(s) 22574

    Abstract: The Carpathian Mountains have been constantly inhabited by grey wolves and present one of the largest distribution areas in Europe, comprising between 2300 and 2700 individuals in Romania. To date, however, relatively little is known about the Romanian ... ...

    Abstract The Carpathian Mountains have been constantly inhabited by grey wolves and present one of the largest distribution areas in Europe, comprising between 2300 and 2700 individuals in Romania. To date, however, relatively little is known about the Romanian wolf population. We aimed to provide a first assessment of genetic diversity, population structure and wolf-dog hybridisation based on 444 mostly non-invasively collected samples in the Eastern Romanian Carpathians. Pack reconstruction and analysis of population genetic parameters were performed with mitochondrial DNA control-region sequencing and microsatellite genotyping. We found relatively high levels of genetic diversity, which is similar to values found in previous studies on Carpathian wolves from Poland and Slovakia, as well as to the long-lasting Dinaric-Balkan wolf population. We found no significant population structure in our study region, suggesting effective dispersal and admixture. Analysis of wolf-dog hybridisation using a Single Nucleotide Polymorphism panel optimised for hybrid detection revealed low rates of admixture between wolves and domestic dogs. Our results provide evidence for the existence of a genetically viable wolf population in the Romanian Carpathians. The genetic data obtained in this study may serve as valuable baseline information for the elaboration of monitoring standards and management plans for wolves in Romania.
    MeSH term(s) Animals ; Genetics, Population ; Wolves/genetics ; Romania ; Europe ; Genetic Variation
    Language English
    Publishing date 2023-12-19
    Publishing country England
    Document type Journal Article
    ZDB-ID 2615211-3
    ISSN 2045-2322 ; 2045-2322
    ISSN (online) 2045-2322
    ISSN 2045-2322
    DOI 10.1038/s41598-023-48741-x
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

  6. Article ; Online: Predicting kill sites of an apex predator from GPS data in different multiprey systems

    Oliveira, Teresa / Carricondo‐Sanchez, David / Mattisson, Jenny / Vogt, Kristina / Corradini, Andrea / Linnell, John D. C. / Odden, John / Heurich, Marco / Rodríguez‐Recio, Mariano / Krofel, Miha

    Ecological Applications. 2023 Mar., v. 33, no. 2 p.e2778-

    2023  

    Abstract: Kill rates are a central parameter to assess the impact of predation on prey species. An accurate estimation of kill rates requires a correct identification of kill sites, often achieved by field‐checking GPS location clusters (GLCs). However, there are ... ...

    Abstract Kill rates are a central parameter to assess the impact of predation on prey species. An accurate estimation of kill rates requires a correct identification of kill sites, often achieved by field‐checking GPS location clusters (GLCs). However, there are potential sources of error included in kill‐site identification, such as failing to detect GLCs that are kill sites, and misclassifying the generated GLCs (e.g., kill for nonkill) that were not field checked. Here, we address these two sources of error using a large GPS dataset of collared Eurasian lynx (Lynx lynx), an apex predator of conservation concern in Europe, in three multiprey systems, with different combinations of wild, semidomestic, and domestic prey. We first used a subsampling approach to investigate how different GPS‐fix schedules affected the detection of GLC‐indicated kill sites. Then, we evaluated the potential of the random forest algorithm to classify GLCs as nonkills, small prey kills, and ungulate kills. We show that the number of fixes can be reduced from seven to three fixes per night without missing more than 5% of the ungulate kills, in a system composed of wild prey. Reducing the number of fixes per 24 h decreased the probability of detecting GLCs connected with kill sites, particularly those of semidomestic or domestic prey, and small prey. Random forest successfully predicted between 73%–90% of ungulate kills, but failed to classify most small prey in all systems, with sensitivity (true positive rate) lower than 65%. Additionally, removing domestic prey improved the algorithm's overall accuracy. We provide a set of recommendations for studies focusing on kill‐site detection that can be considered for other large carnivore species in addition to the Eurasian lynx. We recommend caution when working in systems including domestic prey, as the odds of underestimating kill rates are higher.
    Keywords Lynx lynx ; algorithms ; carnivores ; data collection ; predation ; prey species ; probability ; ungulates ; Europe
    Language English
    Dates of publication 2023-03
    Publishing place John Wiley & Sons, Inc.
    Document type Article ; Online
    Note JOURNAL ARTICLE
    ZDB-ID 1074505-1
    ISSN 1939-5582 ; 1051-0761
    ISSN (online) 1939-5582
    ISSN 1051-0761
    DOI 10.1002/eap.2778
    Database NAL-Catalogue (AGRICOLA)

    More links

    Kategorien

  7. Book ; Online: Encoding Incremental NACs in Safe Graph Grammars using Complementation

    Corradini, Andrea / Saadat, Maryam Ghaffari / Heckel, Reiko

    2020  

    Abstract: In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs). However, having both attributes and NACs in GGs renders the behavioural ... ...

    Abstract In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs). However, having both attributes and NACs in GGs renders the behavioural analysis (e.g. unfolding) of such systems more complicated. We address this issue by an approach to encode NACs using a complementation technique. We consider the correctness of our encoding under the assumption that the grammar is safe and NACs are incremental, and outline how this result can be extended to unsafe, attributed grammars.

    Comment: In Proceedings GCM 2020, arXiv:2012.01181
    Keywords Computer Science - Logic in Computer Science ; Parallelism and concurrency
    Publishing date 2020-12-02
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  8. Article: Animal movements occurring during COVID-19 lockdown were predicted by connectivity models

    Corradini, Andrea / Peters, Wibke / Pedrotti, Luca / Hebblewhite, Mark / Bragalanti, Natalia / Tattoni, Clara / Ciolli, Marco / Cagnacci, Francesca

    Global ecology and conservation. 2021 Dec., v. 32

    2021  

    Abstract: Recent events related to the measures taken to control the spread of the Coronavirus (SARS-CoV-2) reduced human mobility (i.e. anthropause), potentially opening connectivity opportunities for wildlife populations. In the Italian Alps, brown bears have ... ...

    Abstract Recent events related to the measures taken to control the spread of the Coronavirus (SARS-CoV-2) reduced human mobility (i.e. anthropause), potentially opening connectivity opportunities for wildlife populations. In the Italian Alps, brown bears have recovered after reintroduction within a complex anthropogenic matrix, but failed to establish a metapopulation due to reduced connectivity and human disturbance (i.e. infrastructure, land use, and human mobility). Previous work from Peters et al. (2015, Biol. Cons. 186, 123–133) predicted the main corridors and suitable hot spots for road network crossing for this population across all major roads and settlement zones, to link most suitable habitats. Bears used the identified hot spots for road network crossing over the years, but major barriers such as main motor roads were not overcome, possibly due to functional anthropogenic disturbance, specifically human mobility. By analyzing 404 bear occurrences reported to local authorities (as bear-related complaints) collected between 2016 and 2020 (March 9th - May 18th), hence including the COVID-19 related lockdown, we tested the effect of human presence on brown bears' use of space and hot spots for road network crossing. Animals occupied human-dominated spaces and approached hot spots for crossing at a higher rate during the lockdown than in previous years, suggesting that connectivity temporarily increased with reduced human mobility for this population. As a result of their increased use of hot spots, bears expanded their use of suitable areas beyond the population core area. Movement of animals across structural barriers such as roads and human settlements may therefore occur in absence of active disturbance. We also showed the value of predictive models to identify hot spots for animal barrier crossing, the knowledge of which is critical when implementing management solutions to enhance connectivity. Understanding the factors that influence immigration and emigration across metapopulations of large mammals, particularly carnivores that may compete indirectly with humans for space or directly as super-predators, is critical to ensure the long-term viability of conservation efforts for their persistence. We argue that dynamic factors such as human mobility may play a larger role than previously recognized.
    Keywords COVID-19 infection ; Severe acute respiratory syndrome coronavirus 2 ; anthropogenic activities ; humans ; immigration ; land use ; roads ; viability ; wildlife ; Alps region
    Language English
    Dates of publication 2021-12
    Publishing place Elsevier B.V.
    Document type Article
    ZDB-ID 2814786-8
    ISSN 2351-9894
    ISSN 2351-9894
    DOI 10.1016/j.gecco.2021.e01895
    Database NAL-Catalogue (AGRICOLA)

    More links

    Kategorien

  9. Book ; Conference proceedings: Graph transformations

    Corradini, Andrea

    third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 ; proceedings

    (Lecture notes in computer science ; 4178)

    2006  

    Institution ICGT
    Event/congress ICGT (3, 2006.09.17-23, NatalRioGrandedoNorte) ; International Conference on Graph Transformations (3, 2006.09.17-23, NatalRioGrandedoNorte)
    Author's details Andrea Corradini ... (eds.)
    Series title Lecture notes in computer science ; 4178
    Keywords Computer science ; Graph grammars
    Language English
    Size XII, 472 S., graph. Darst.
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3540388702 ; 9783540388708
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  10. Book ; Conference proceedings: Graph transformations

    Corradini, Andrea

    third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 ; proceedings

    (Lecture notes in computer science ; 4178)

    2006  

    Institution ICGT
    Event/congress ICGT (3, 2006.09.17-23, NatalRioGrandedoNorte) ; International Conference on Graph Transformations (3, 2006.09.17-23, NatalRioGrandedoNorte)
    Author's details Andrea Corradini ... (eds.)
    Series title Lecture notes in computer science ; 4178
    Keywords Computer science ; Graph grammars
    Language English
    Size XII, 472 S., graph. Darst.
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3540388702 ; 9783540388708
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

To top