Refine my results


Université de Fribourg

First fossil frog from Antarctica: implications for Eocene high latitude climate conditions and Gondwanan cosmopolitanism of Australobatrachia

Mörs, Thomas ; Reguero, Marcelo ; Vasilyan, Davit

In: Scientific Reports, 2020, vol. 10, p. 5051

Cenozoic ectothermic continental tetrapods (amphibians and reptiles) have not been documented previously from Antarctica, in contrast to all other continents. Here we report a fossil ilium and an ornamented skull bone that can be attributed to the Recent, South American, anuran family Calyptocephalellidae or helmeted frogs, representing the first modern amphibian found in Antarctica. The two bone...

Università della Svizzera italiana

When and how java developers give up static type safety

Mastrangelo, Luis ; Hauswirth, Matthias (Dir.) ; Nystrom, Nathaniel (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO008.

The main goal of a static type system is to prevent certain kinds of errors from happening at run time. A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type. Besides detecting these kinds of errors, a static type system can be an invaluable maintenance tool, can be useful for documentation purposes, and can aid in generating ...

Consortium of Swiss Academic Libraries

Multiple traces boundary integral formulation for Helmholtz transmission problems

Hiptmair, R. ; Jerez-Hanckes, C.

In: Advances in Computational Mathematics, 2012, vol. 37, no. 1, p. 39-91