By C. Spötl, M. Luetscher, P. Rittig
Read Online or Download 4th International Workshop on Ice Caves PDF
Best international conferences and symposiums books
This quantity includes the 37 papers awarded on the ninth overseas Con- rence on Real-Time and Embedded Computing structures and functions (RT- CSA 2003). RTCSA is a world convention equipped for scientists and researchers from either academia and to carry extensive discussions on advancing applied sciences themes on real-time structures, embedded platforms, ubiq- tous/pervasive computing, and comparable subject matters.
This booklet constitutes the refereed complaints of the second one overseas convention on Embedded software program, EMSOFT 2002, held in Grenoble, France in October 2002. The e-book offers thirteen invited papers via best researchers and 17 revised complete papers chosen in the course of a aggressive around of reviewing. The publication spans the entire diversity of embedded software program, together with working structures and middleware, programming languages and compilers, modeling and validation, software program engineering and programming methodologies, scheduling and execution-time research, formal equipment, and communique protocols and fault-tolerance
This publication constitutes the refereed lawsuits of the thirteenth IFIP WG 10. five complex study operating convention on right layout and Verification tools, CHARME 2005, held in Saarbr? cken, Germany, in October 2005. The 21 revised complete papers and 18 brief papers provided including 2 invited talks and one educational have been conscientiously reviewed and chosen from seventy nine submissions.
- Foundations of Software Technology and Theoretical Computer Science: 19th Conference Chennai, India, December 13-15, 1999 Proceedings
- Computer Vision — ECCV 2002: 7th European Conference on Computer Vision Copenhagen, Denmark, May 28–31, 2002 Proceedings, Part I
- Advances in Spatial Databases: 5th International Symposium, SSD '97 Berlin, Germany, July 15–18, 1997 Proceedings
- Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
- Global Differential Geometry and Global Analysis: Proceedings of a Conference held in Berlin, 15–20 June, 1990
Additional resources for 4th International Workshop on Ice Caves
L. Most Austrian caves are developed in those areas. 6 km in vertical difference (Lamprechtsofen). 26 caves are longer than 10 km and 15 are deeper than 1 km. Often, these cave systems comprise several levels of conduits and mazes that developed in the Upper Miocene. They formed under (epi)phreatic conditions but are hydrologically inactive now as they lie far above the base level. Later, vadose canyon-shaft-systems, which are still partly active, intersect the older subhorizontal parts. Only in some cave systems a low lying hydrologically active epiphreatic level is accessible.
Karst and ice caves in the Austrian Alps L. Plan 1, C. Spötl 2 1 2 Cave and Karst Department, Natural History Museum Vienna, Austria Institute of Geology and Palaeontology, University of Innsbruck, Austria The territory of Austria has an area of 84,000 km², of which about 22 % are represented by karstifiable rocks, and approximately 14,400 caves have been registered up to now. The Eastern Alps cover about two thirds of Austria and host almost all of the country’s karst areas and caves. The main geological units of the Eastern Alps stretch east-west.
There, carbonates are present as marbles intercalated with schists and gneisses, as carbonatebearing schists, and as low-grade metamorphic limestones and dolomites. Contact- or stripe karst settings are widespread. Outstanding caves are the 1145 m deep Feichtner-Schachthöhle developed in a thin, steeply dipping layer of calcareous schists. A comparable situation exists at the 10 km long Spannagelhöhle, where a 20 m-thick slab of marble is sandwiched between gneisses. Both caves are located near actively retreating glaciers.
4th International Workshop on Ice Caves by C. Spötl, M. Luetscher, P. Rittig