A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
OTTER 3.3 Reference Manual
[article]
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
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
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
Lutra maculicollis
2002
Mammalian Species
In KwaZulu-Natal, a captive adult female weighed 3.3 kg (Rowe-Rowe 1978b) . ...
Hutchison (Ducks Unlimited Canada) helped with references, and both Ducks Unlimited Inc. and the Delta Waterfowl Foundation provided logistic support. ...
doi:10.1644/0.712.1
fatcat:6c56wjotdjdu5c6wx4vpyj4uwe
Trophic ecology and the use of shelters and latrines by the Neotropical otter (Lontra longicaudis) in the Taquari Valley, Southern Brazil
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
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
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
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?
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)
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
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
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
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
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
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