1,061 Hits in 3.2 sec

OTTER 3.3 Reference Manual [article]

William McCune
2003 arXiv   pre-print
OTTER is a resolution-style theorem-proving program for first-order logic with equality.  ...  OTTER is coded in ANSI C, is free, and is portable to many different kinds of computer.  ...  Given a conjecture, OTTER can search for a proof, and MACE can look for a counterexample, usually from the same input file. MACE 2.0 is included in the standard OTTER 3.3 distribution packages.  ... 
arXiv:cs/0310056v1 fatcat:mxefccrnbvgqteci2i4roej6eq

What is the taxonomic status of East Asian otter species based on molecular evidence?: focus on the position of the Japanese otter holotype specimen from museum

Han-Chan Park, Nozomi Kurihara, Kyung Seok Kim, Mi-Sook Min, Sungyong Han, Hang Lee, Junpei Kimura
2019 Animal Cells and Systems  
The European otter population of L. l. lutra were clustered together with its subspecies, L. l. chinensis rather than the same subspecies, Korean otter population.  ...  Although the Japanese otter is regarded as a distinct species from the Eurasian otter (L. lutra), its phylogeny and taxonomic status are based on limited information on morphological and genetic data,  ...  Acknowledgments We gratefully express our gratitude to all who donated Otter samples for this study: The National Museum of Nature and Science, Tokyo, Japan and Korean Otter Research Center (KORC), Hwacheon-Gun  ... 
doi:10.1080/19768354.2019.1601133 pmid:31231587 pmcid:PMC6567078 fatcat:kqzgvpvhwje5bfsugme4e6r4ta

DNA metabarcoding-based diet survey for the Eurasian otter (Lutra lutra): Development of a Eurasian otter-specific blocking oligonucleotide for 12S rRNA gene sequencing for vertebrates

Priyanka Kumari, Ke Dong, Kyung Yeon Eo, Woo-Shin Lee, Junpei Kimura, Naomichi Yamamoto, Zuogang Peng
2019 PLoS ONE  
The 12S rRNA gene sequencing assay detected species belonging to fishes (95%) and amphibians (3.3%).  ...  The Eurasian otter (Lutra lutra) is an endangered species for which diet analyses are needed as part of its conservation efforts.  ...  The 12S rRNA gene sequencing assay detected species belonging to fishes (95%) and amphibians (3.3%).  ... 
doi:10.1371/journal.pone.0226253 pmid:31830120 pmcid:PMC6907848 fatcat:nxidbpg2xbcwvpvqhx5jl2jake

Trophic ecology and the use of shelters and latrines by the Neotropical otter (Lontra longicaudis) in the Taquari Valley, Southern Brazil

Carlos Benhur Kasper, Vinicius Augusto G. Bastazini, Juliana Salvi, Hamilton Cézar Z. Grillo
2008 Iheringia: Série Zoologia  
The otters are specialist feeders (Bsta = 0.24), with a diet based mostly on fish, especially those of the families Loricariidae and Cichlidae.  ...  There are very few references about the size of prey taken by the Neotropical otter (QUADROS & MONTEIRO-FILHO, 2001; KASPER et al., 2004b) .  ...  In this study, the term shelter refers to all the cavities that could give some protection against adverse weather conditions, and where otter spraints were found, indicating use by the otter.  ... 
doi:10.1590/s0073-47212008000400009 fatcat:k5d6a5w6xjbv7aospws7dcqxsy

Evaluating the Phylogenetic Status of the Extinct Japanese Otter on the Basis of Mitochondrial Genome Analysis

Daisuke Waku, Takahiro Segawa, Takahiro Yonezawa, Ayumi Akiyoshi, Taichiro Ishige, Miya Ueda, Hiroshi Ogawa, Hiroshi Sasaki, Motokazu Ando, Naoki Kohno, Takeshi Sasaki, Axel Janke
2016 PLoS ONE  
The Japanese otter (JO1) collected in Kanagawa was deeply nested in the Eurasian otter clade, whereas the Japanese otter (JO2) collected in Kochi formed a distinct independent lineage in the Lutra clade  ...  We observed that the two Japanese otters had close relationships with Eurasian otters, forming a monophyletic group (100% bootstrap probability).  ...  Protein-coding regions, CR, L-origin, and non-coding regions were identified manually by referring to the previously reported entire mitochondrial sequences of Eurasian otters (EF672696 and FJ236015).  ... 
doi:10.1371/journal.pone.0149341 pmid:26938434 pmcid:PMC4777564 fatcat:ywud2t4hnfayhlthxyvj5qfr3e

Evaluating river otter demography using noninvasive genetic methods

Kristin E. Brzeski, Micaela Szykman Gunther, Jeffrey M. Black
2013 Journal of Wildlife Management  
The Humboldt Bay region had a high density of river otters (0.93 otters/km) as compared to other coastal systems; resource attributes of Humboldt Bay could contribute to this difference.  ...  Our objective was to establish baseline demographic information for an understudied river otter population in northern California by estimating river otter abundance using noninvasive genetic sampling,  ...  Noninvasive genetic techniques are especially appropriate for evaluating river otter abundance because otters regularly deposit scat and other obvious markings (intestinal mucus referred to as jellies)  ... 
doi:10.1002/jwmg.610 fatcat:at36censoneu3p33cgh7bx3q7u

La tecnología habla-texto como herramienta de documentación para intérpretes: Nuevo método para compilar un corpus ad hoc y extraer terminología a partir de discursos orales en vídeo

Mahmoud Gaber, Gloria Corpas Pastor, Ahmed Omer
2020 Trans Revista de traductología  
A gold-standard transcription was manually prepared for each video in order to be used as a reference text and to be compared against the automatic transcription obtained by each ASR tool.  ...  Corpusbased term extraction is covered in Section 3.3. Section 3.4 discusses the top-performing ASR system from those analysed in our study.  ... 
doi:10.24310/trans.2020.v0i24.7876 fatcat:wpzp4ezxfzhjrlrzm2nnsdw7mi

Marking behaviour and census of Eurasian otters (Lutra lutra) in riverine habitats: what can scat abundances and non-invasive genetic sampling tell us about otter numbers?

Marcia Sittenthaler, Eva Maria Schöll, Christoph Leeb, Elisabeth Haring, Rosemarie Parz-Gollner, Klaus Hackländer
2020 Mammal Research  
Otter densities in our study areas ranged from 0.16 to 0.28 otters per stream kilometre.  ...  abundance and otter numbers.  ...  Alleles were analysed using automatic allele recognition and manually reviewed with GENEMAPPER 5.0 software (Applied Biosystems, USA).  ... 
doi:10.1007/s13364-020-00486-y fatcat:le2tpe4qbbcs7iifaotcikmrky

Spatial and seasonal factors are key determinants in the aggregation of helminths in their definitive hosts: Pseudamphistomum truncatum in otters (Lutra lutra)

E. Sherrard-Smith, S.E. Perkins, E.A. Chadwick, J. Cable
2015 International Journal of Parasitology  
Here, Pseudamphistomum truncatum (Opisthorchiida) parasitic infection within the definitive otter host (Lutra lutra) is used as a model system.  ...  Pseudamphistomum truncatum was highly aggregated within otters, with aggregation stronger in the Midlands (England) and Wales than in the southwestern region of the United Kingdom.  ...  Samples were provided by the Cardiff University Otter Project funded by the Environment Agency.  ... 
doi:10.1016/j.ijpara.2014.09.004 pmid:25444862 fatcat:gxbk53xb35g5zmw276dxox6ufu

Environmental Factors May Drive the Post-release Movements of Surrogate-Reared Sea Otters

Sarah L. Becker, Teri E. Nicholson, Karl A. Mayer, Michael J. Murray, Kyle S. Van Houtan
2020 Frontiers in Marine Science  
We gave 11,396 days of captive care to 56 otters, reintroduced them into the wild, and observed them over 894 total field days after release.  ...  From 2001 to 2018, the Monterey Bay Aquarium rescued stranded sea otter pups and reared them in captivity through a surrogacy program using non-releasable adult females.  ...  The sea otter surrogacy and reintroduction programs were supported by grants from the Paul M. Angell Family Foundation, Arthur L. and Elaine V. Johnson Foundation, and the Flora Family Foundation.  ... 
doi:10.3389/fmars.2020.539904 fatcat:sqwfd6tjrzfg3ikvgzvn2lky7m

Assessing noninvasive hair and fecal sampling for monitoring the distribution and abundance of river otter

Chris J. Johnson, Dexter P. Hodder, Shannon Crowley
2013 Ecological research  
Body snares were more effective at collecting otter hair, but there was relatively little additional cost to using both sampling instruments.  ...  However, the noninvasive techniques did not represent the full distribution and fine-scale movements of otter, as observed using radiotelemetry.  ...  The pooled home range of all telemetered otter was 3.3 times the size of the home range inferred using hair samples (Table 3) .  ... 
doi:10.1007/s11284-013-1071-8 fatcat:vt6vequ3lvfh3dewm5t7pm6j2i

The genomic structure of Brucella strains isolated from marine mammals gives clues to evolutionary history within the genus

Gisèle Bourg, David O'Callaghan, Maria Laura Boschiroli
2007 Veterinary Microbiology  
All the strains contained 89 three rrn loci, two in the large chromosome and one in the small. 90 91 3.3 Phylogenetic analysis of the marine Brucella isolates.  ...  The terrestrial strains are represented by the reference strains for each species and/or biovar using data from (Michaux-Charachon et al., 1997) .  ... 
doi:10.1016/j.vetmic.2007.06.002 pmid:17624692 fatcat:fpujm23atnbpvjdash6zkkmr6i

Photopolarimetric Sensitivity to Black Carbon Content of Wildfire Smoke: Results From the 2016 ImPACT-PM Field Campaign

O. V. Kalashnikova, M. J. Garay, K. H. Bates, C. M. Kenseth, W. Kong, C. D. Cappa, A. I. Lyapustin, H. H. Jonsson, F. C. Seidel, F. Xu, D. J. Diner, J. H. Seinfeld
2018 Journal of Geophysical Research - Atmospheres  
The C6 MODIS 3 km Dark Target AOD retrievals are shown for reference.  ...  The plume-averaged b abs from the SP2 was 3.3 (±2.7) Mm −1 , while that estimated from the PSAP and nephelometer was 8.3 (±6.1) Mm −1 .  ... 
doi:10.1029/2017jd028032 fatcat:dw6iy6qxrjakxhuoanh55vquuu

A comparison and summary of aerosol optical properties as observed in situ from aircraft, ship, and land during ACE-Asia

Sarah J. Doherty
2005 Journal of Geophysical Research  
Single scatter albedo showed excellent agreement among all platforms other than the Twin Otter, with discrepancies generally <0.02.  ...  The flight tracks were both centered on the same latitude. e The C-130 and Twin Otter flew parallel stacked legs in an east-west direction on this day.  ...  The Twin Otter measurements were supported by the Office of Naval Research with grant N00014-97-1-0132. The chemical data for the Ron Brown were provided by Patricia Quinn.  ... 
doi:10.1029/2004jd004964 fatcat:5uqfbisgqfhs7ny657orosfcdy
« Previous Showing results 1 — 15 out of 1,061 results