Filters








1,599 Hits in 6.8 sec

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners [article]

Max Wisniewski and Alexander Steen and Christoph Benzmüller
2015 arXiv   pre-print
LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s).  ...  Further features of LeoPARD include a parser for all TPTP dialects, a command line interpreter, and generic means for the integration of external reasoners.  ...  We thank the reviewers for their valuable feedback. Moreover, we thank Tomer Libal and the students of the Leo-III project for their contributions to LeoPARD.  ... 
arXiv:1505.01629v1 fatcat:4lv5zmy46bdr7feas2shqcxrvy

LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners [chapter]

Max Wisniewski, Alexander Steen, Christoph Benzmüller
2015 Lecture Notes in Computer Science  
LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s).  ...  Further features of LeoPARD include a parser for all TPTP dialects, a command line interpreter and generic means for the integration of external reasoners.  ...  Introduction LeoPARD (Leo's Parallel ARchitecture and Datastructures) is designed as a generic system platform for implementing higher-order (HO) logic based knowledge representation and reasoning tools  ... 
doi:10.1007/978-3-319-20615-8_22 fatcat:sgmw6ajnfvh5xh53lmkembpiim

Prey Preference of Snow Leopard (Panthera uncia) in South Gobi, Mongolia

Wasim Shehzad, Thomas Michael McCarthy, Francois Pompanon, Lkhagvajav Purevjav, Eric Coissac, Tiayyba Riaz, Pierre Taberlet, Robert DeSalle
2012 PLoS ONE  
The amplicons were then sequenced using a next-generation sequencing platform. We observed a total of five different prey items from 81 fecal samples.  ...  After DNA was extracted from the feces, a region of ,100 bp long from mitochondrial 12S rRNA gene was amplified, making use of universal primers for vertebrates and a blocking oligonucleotide specific  ...  Acknowledgments We thank Rana Bayrakci for a critical review of the manuscript and for providing numerous helpful suggestions.  ... 
doi:10.1371/journal.pone.0032104 pmid:22393381 pmcid:PMC3290533 fatcat:n6vqfwk4czdqlavnbty2e4otpq

Design of Intrusion Detection Honeypot using Social Leopard Algorithm to detect IoT ransomware attacks

Sibi Chakkaravarthy S, D. Sangeetha, Meenalosini Vimal Cruz, V. Vaidehi, Balasubramanian R
2020 IEEE Access  
Figure 12 shows that the proposed IDH is cost-efficient and capable of running in a minimal configuration, and the time taken for ransomware detection is reasonable when deployed in IoT platform.  ...  For example, the CPU consumed in a single-core processor is higher than that of a multicore processor since it uses the parallel execution of threads in different cores.  ... 
doi:10.1109/access.2020.3023764 fatcat:ucwohwmrnrcapjsr4wxozm6vom

Horizon Scan of Transboundary Concerns Impacting Snow Leopard Landscapes in Asia

Hameeda Sultan, Wajid Rashid, Jianbin Shi, Inam ur Rahim, Mohammad Nafees, Eve Bohnett, Sajid Rashid, Muhammad Tariq Khan, Izaz Ali Shah, Heesup Han, Antonio Ariza-Montes
2022 Land  
The high-altitude region of Asia is prone to natural resource degradation caused by a variety of natural and anthropogenic factors that also threaten the habitat of critical top predator species, the snow  ...  The prerequisite to implementing such solutions is the adoption of cross-border collaboration (regional cooperation), the creation of peace parks, readiness to integrate transnational and cross-sectoral  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/land11020248 fatcat:rmpdwpy4ynabtl45chwwzb2ame

Natural Language Processing for Mimicking Clinical Trial Recruitment in Critical Care: A Semi-automated Simulation Based on the LeoPARDS Trial [article]

Hegler Tissot, Anoop Shah, Ruth Agbakoba, Amos Folarin, David Brealey, Steve Harris, Richard Dobson, Folkert Asselbergs
2019 biorxiv/medrxiv   pre-print
We manually reviewed clinical records for a random sample of additional patients identified by the algorithm but not identified for screening in the original trial.  ...  If implemented in real-time this could improve the efficiency of clinical trial recruitment.  ...  In order to formally describe the inclusion and exclusion criteria for the LeoPARDS trial, we defined a set of logical compounding functions (LCF).  ... 
doi:10.1101/19005603 fatcat:agloqpm3qrddxizrgy3yiynjse

Minimally invasive versus open pancreatoduodenectomy (LEOPARD-2): study protocol for a randomized controlled trial

Thijs de Rooij, Jony van Hilst, Koop Bosscha, Marcel G. Dijkgraaf, Michael F. Gerhards, Bas Groot Koerkamp, Jeroen Hagendoorn, Ignace H. de Hingh, Tom M. Karsten, Daan J. Lips, Misha D. Luyer, I. Quintus Molenaar (+5 others)
2018 Trials  
Methods/design: LEOPARD-2 is a randomized controlled, parallel-group, patient-blinded, multicenter, phase 2/3, superiority trial in centers that completed the Dutch Pancreatic Cancer Group LAELAPS-2 training  ...  However, several case-matched studies failed to demonstrate superiority of MIPD, and large registry studies from the USA even suggested increased mortality for MIPDs performed in low-volume (<10 MIPDs  ...  , finally, that (c) a power of 80% for a Kaplan-Meier analysis as its best alternative can only be achieved at the cost of a much higher and infeasible patient inclusion rate, we will analyze the data  ... 
doi:10.1186/s13063-017-2423-4 pmid:29298706 pmcid:PMC5753506 fatcat:dxrcnnb32vbv3dhmu2tiqgtrmy

Standardizing the double-observer survey method for estimating mountain ungulate prey of the endangered snow leopard

Kulbhushansingh R. Suryawanshi, Yash Veer Bhatnagar, Charudutt Mishra
2012 Oecologia  
However, most of the several currently available methods of estimating wild ungulate abundance are either diYcult to implement or too expensive for mountainous terrain.  ...  A rigorous method of sampling ungulate abundance in mountainous areas that can allow for some measure of sampling error is therefore much needed.  ...  Also, the observer detection probabilities were higher for simultaneous surveys than for spaced surveys.  ... 
doi:10.1007/s00442-011-2237-0 pmid:22231373 fatcat:bftumxfjireyroowy7hsniuhoq

Rosettes, Remingtons and Reputation: Establishing Potential Determinants of Leopard (Panthera pardus) Trophy Prices Across Africa

Alexander R. Braczkowski, Guy A. Balme, Amy Dickman, David W. Macdonald, Paul J. Johnson, Peter A. Lindsey, Luke T.B. Hunter
2015 African Journal of Wildlife Research  
In a number of African countries, the trophy hunting of large felids is an important revenue generator for landholders, governments and in some cases communities.  ...  However, if trophy size is not one of the most important factors determining the desirability of a hunt (which we judge by the price paid for a trophy hunt package), it may be more difficult to implement  ...  ACKNOWLEDGEMENTS We are grateful to Panthera for financial support.  ... 
doi:10.3957/056.045.0158 fatcat:oxcqdumbznfvbaek3l4w5augem

Carnivore diet analysis based on next-generation sequencing: application to the leopard cat (Prionailurus bengalensis) in Pakistan

WASIM SHEHZAD, TIAYYBA RIAZ, MUHAMMAD A. NAWAZ, CHRISTIAN MIQUEL, CAROLE POILLOT, SAFDAR A. SHAH, FRANÇOIS POMPANON, ERIC COISSAC, PIERRE TABERLET
2012 Molecular Ecology  
Here, we developed a methodology for carnivore diet analyses based on the next-generation sequencing.  ...  In general, our results confirmed that the leopard cat has a very eclectic diet and feeds mainly on rodents and particularly on the Muridae family.  ...  Acknowledgements The authors are thankful to A. Valentini, D. Rioux and L. Gielly for their valuable suggestions and comments throughout the course of this study.  ... 
doi:10.1111/j.1365-294x.2011.05424.x pmid:22250784 fatcat:u52mjsqn2bfyrddtr3gjp7ybra

Habitat Suitability Area Analysis for Leopard to Mitigate Human-Wildlife Conflict in Junnar Forest Division of Pune Forest Circle

Yogesh P. Badhe, Ravindra G. Jaybhaye
2021 Applied Ecology and Environmental Sciences  
The results of the analysis revealed that western mountainous and forest area is suitable for leopard habitat and in fact, it was original habitat of leopard.  ...  The main objective of the research paper is to identify the habitat suitability area for leopard in the Junnar forest division by using Analytic Hierarchy Process (AHP) method.  ...  The author also thanks the anonymous reviewers for their comments and suggestions which helped in improving the quality of the manuscript.  ... 
doi:10.12691/aees-9-5-2 fatcat:igx6f4gfkffovccr65whqvmyqy

Phylogeny of the Mexican coastal leopard frogs of the Rana berlandieri group based on mtDNA sequences

Alejandro Zaldı́var-Riverón, Virginia León-Regagnon, Adrián Nieto-Montes de Oca
2004 Molecular Phylogenetics and Evolution  
Phylogenetic relationships among specimens from 25 different locations for the six Mexican coastal leopard frog species of the Rana berlandieri species group were investigated using 797 bp of the mitochondrial  ...  Most of the clades recovered by both tree building methods are strongly supported, but conflicting clades recovered by each analysis are generally poorly supported.  ...  Acknowledgments We thank Florencia Bertoni, Elisa Cabrera-Guzm a an, Luis Jorge Garc ı ıa-M a arquez, Mart ı ın Flores, Sergio  ... 
doi:10.1016/s1055-7903(03)00141-6 pmid:15022756 fatcat:cnofzv7axbbo7cl62eklrggsfa

Getting Leopards to Change their Spots: Co-creating a New Professional Role Identity

Trish Reay, Elizabeth Goodrick, Susanne Boch Waldorff, Ann Casebeer
2017 Academy of Management Journal  
Her research has targeted mechanisms advancing change for health gain including: developing experiential learning platforms; broadening the stakeholder base for health system decision making; and, evaluating  ...  (1) revealing the influence of a hidden logic, (2) reinforcing the conflict between logics, (3) reframing the meaning of a dominant logic, and (4) re-embedding the new arrangement of logics.  ...  with higher quality care and increased access for patients.  ... 
doi:10.5465/amj.2014.0802 fatcat:sa26jozpqzfipbiaq2inhv34ki

Leopard Panthera pardus fusca Density in the Seasonally Dry, Subtropical Forest in the Bhabhar of Terai Arc, Nepal

Kanchan Thapa, Rinjan Shrestha, Jhamak Karki, Gokarna Jung Thapa, Naresh Subedi, Narendra Man Babu Pradhan, Maheshwar Dhakal, Pradeep Khanal, Marcella J. Kelly
2014 Advances in Ecology  
We provide the first density estimates for leopards in the Bhabhar and a baseline for long term population monitoring of leopards in Parsa Wildlife Reserve and across the Terai Arc.  ...  The camera trap grid, covering sampling area of 289 km2 with 88 locations, accumulated 1,342 trap nights in 64 days in the winter season of 2008-2009 and photographed 19 individual leopards.  ...  Plunkett for helping construct the leopard database.  ... 
doi:10.1155/2014/286949 fatcat:pajprn6knfgthhahk2g5ul7kdm

Forest cover and level of protection influence the island-wide distribution of an apex carnivore and umbrella species, the Sri Lankan leopard (Panthera pardus kotiya)

Andrew M. Kittle, Anjali C. Watson, Samuel A. Cushman, David. W. Macdonald
2017 Biodiversity and Conservation  
predicting better habitat suitability for leopards.  ...  ecological, climatic and anthropogenic factors in order to identify potentially suitable leopard habitat.  ...  Funding was provided by CERZA Conservation, The People's Trust for Endangered Species, a Rufford Small Grant, The Ministry of Environment and Natural Resources (Biodiversity Unit) Sri Lanka, and individual  ... 
doi:10.1007/s10531-017-1431-8 fatcat:meoproceszezvoa5b2hu3lu5xa
« Previous Showing results 1 — 15 out of 1,599 results