ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • C++  (1)
  • Introduced species  (1)
  • Springer  (2)
  • American Chemical Society
  • American Institute of Physics (AIP)
  • Society of Economic Geologists (SEG)
  • Springer Nature
  • 2000-2004  (2)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Behavioral ecology and sociobiology 48 (2000), S. 61-68 
    ISSN: 1432-0762
    Keywords: Key words  Plethodon spp. ; Introduced species ; Territoriality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract  Behavioral interactions with native species may influence the invasiveness of introduced species. The salamanders Plethodon glutinosus and P. jordani in the eastern United States share many life history traits and demonstrate complex interspecific interactions that range geographically from competitive exclusion to sympatry. P. jordani was introduced to Mountain Lake Biological Station, Virginia, USA, between the years 1935 and 1945. We tested whether competition for space may influence the invasion of P. jordani into native P. glutinosus habitat by utilizing data from natural distributions, a field experiment, and controlled laboratory experiments. No environmental variables differed where P. glutinosus and P. jordani were collected in the field at the site of P. jordani introduction. In the field experiment, P. glutinosus was more fully exposed during foraging bouts in cages shared with heterospecifics as opposed to ones shared with conspecific salamanders. Condition (mass relative to body length) of salamanders at the end of the 3 months did not differ between conspecific and heterospecific treatments. In the laboratory, P. glutinosus most often attained the single burrow in the arena, but residency status had no effect. Species cohabited the burrow 50% of the time. Pair-wise encounters in the laboratory indicated that both species spend less than 20% of the time in aggressive behaviors as juveniles. Adults showed no behavior interpreted by us as aggression during pair-wise encounters.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Automated software engineering 7 (2000), S. 315-343 
    ISSN: 1573-7535
    Keywords: formal specification ; model-based specification ; precondition ; postcondition ; executable specification ; concurrent constraint programming ; C++
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We have implemented a technique for execution of formal, model-based specifications. The specifications we can execute are written at a level of abstraction that is close to that used in nonexecutable specifications. The specification abstractions supported by our execution technique include using quantified assertions to directly construct post-state values, and indirect definitions of post-state values (definitions that do not use equality). Our approach is based on translating specifications to the concurrent constraint programming language AKL. While there are, of course, expressible assertions that are not executable, our technique is amenable to any formal specification language based on a finite number of intrinsic types and pre- and postcondition assertions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...