Refine
Year of publication
- 2014 (2758) (remove)
Document Type
- Article (1078)
- Part of Periodical (358)
- Book (269)
- Working Paper (213)
- Contribution to a Periodical (173)
- Doctoral Thesis (168)
- Report (148)
- Review (146)
- Part of a Book (83)
- Conference Proceeding (34)
Language
- German (1390)
- English (1207)
- Croatian (70)
- Portuguese (28)
- French (19)
- Turkish (12)
- Multiple languages (10)
- Spanish (7)
- Bosnian (2)
- Danish (2)
Has Fulltext
- yes (2758) (remove)
Keywords
- Deutsch (38)
- Literatur (35)
- Rilke, Rainer Maria (35)
- Ukraine (24)
- USA (22)
- taxonomy (22)
- Deutschland (21)
- Russland (21)
- Benjamin, Walter (19)
- new species (19)
Institute
- Präsidium (355)
- Medizin (273)
- Gesellschaftswissenschaften (203)
- Wirtschaftswissenschaften (182)
- Center for Financial Studies (CFS) (146)
- Physik (131)
- Sustainable Architecture for Finance in Europe (SAFE) (101)
- Biowissenschaften (99)
- House of Finance (HoF) (99)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (86)
The pi-calculus is a well-analyzed model for mobile processes and mobile computations.
While a lot of other process and lambda calculi that are core languages of higher-order concurrent and/or functional programming languages use a contextual semantics observing the termination behavior of programs in all program contexts, traditional program equivalences in the pi-calculus are bisimulations and barbed testing equivalences, which observe the communication capabilities of processes under reduction and in contexts.
There is a distance between these two approaches to program equivalence which makes it hard to compare the pi-calculus with other languages. In this paper we contribute to bridging this gap by investigating a contextual semantics of the synchronous pi-calculus with replication and without sums.
To transfer contextual equivalence to the pi-calculus we add a process Stop as constant which indicates success and is used as the base to define and analyze the contextual equivalence which observes may- and should-convergence of processes.
We show as a main result that contextual equivalence in the pi-calculus with Stop conservatively extends barbed testing equivalence in the (Stop-free) pi-calculus. This implies that results on contextual equivalence can be directly transferred to the (Stop-free) pi-calculus with barbed testing equivalence.
We analyze the contextual ordering, prove some nontrivial process equivalences, and provide proof tools for showing contextual equivalences. Among them are a context lemma, and new notions of sound applicative similarities for may- and should-convergence.
The Paddys River Wetlands in the New South Wales Southern Highlands, southwest of Sydney, are characterised by several watercourses with associated swamps (fens), some of which, on Forestry Corporation of NSW land, have been the focus for removal of Pinus radiata wildings by the Penrose Swamps Conservation Group. In this study we map a population of Eucalyptus aquatica trees in one of these swamps perched above Paddys River (latitude 34.65575o S, longitude 150.21831o E; 600 m elevation). Eucalyptus aquatica is geographically restricted to the Paddys River area and is listed as a threatened species at state and national levels. New findings on the physical characteristics of the swamp in relation to the bedrock geology, stream geomorphology, peat development and the main native plant species, are presented. The occurrence of clumps of Eucalyptus aquatica appears to be independent of the type or thickness of the growing substrate. Rather it is suggested that a continuous supply of water and the shelter afforded by the narrow valley may be key factors determining the distribution of the trees at the study site. An on-going programme of research is underway to study other occurrences of Eucalyptus aquatica.
The Queensland Herbarium Regional Ecosystem Survey and Mapping (QHRESM) program has contributed almost 90000 (89389) specimens to the Queensland Herbarium in Brisbane accounting for 28% of the specimens added to the Herbarium between 1970 and 2011. These specimens have been collected across all bioregions and vegetation communities in Queensland in a systematic sampling program driven by the requirement to sample comprehensively all vegetation communities. The QHRESM’s Queensland Herbarium (BRI) specimens represent more than 79% of the native, and 73% of the naturalised vascular flora of Queensland, as well as making valuable contributions to the bryophytes, lichens and liverworts collections. The data and specimens collected enhance our ability to assess local, state and continental-scale plant diversity, and will be used by botanists, ecologists, governments, business and the public for long into the future.
Natural vegetation of freely draining beach sand ridges in the valley of the Upper Myall River on the lower North Coast of NSW is sclerophyllous open forest or woodland. Based on previous experience on the nearby Eurunderee area, the vegetation on the sand ridges was classified into three types. These were mapped using aerial photographs and field observation. In transects, each 50 m long, the presence of species was scored in 10, 5 X 5 m quadrats. 48 such transects were used sampling all three types of vegetation on the sand ridges and also vegetation in periodically waterlogged sites adjacent to the ridges. Data from the transects, subjected to an ordination using principal components analysis, revealed clear separation between vegetation of the ridges and that of periodically waterlogged sites. In the ordination, vegetation of the ridges formed a continuum with the three types occupying characteristic parts of the continuum, reflecting their respective distributions on sands with different geomorphological histories. The most grassy, tallest forest, termed Dry Sclerophyll Forest (DSF) is on sands either recently disturbed or deposited (Holocene) or closely overlying other substrates. Banksia serrata occurs in DSF. The least grassy, most sclerophyllous, lowest forest or woodland, termed Dry Heath Forest (DHF), occurs on sands apparently little disturbed since they were laid down in the Pleistocene. Banksia aemula occurs in DHF. An intermediate forest, in which Banksia aemula and Banksia serrata occur together, Intermediate Dry Forest (IDF), is most widely found on the sand mass close to Bombah Broadwater. This sand is postulated to have been reworked during the last Glacial Period. In short, the vegetation of these sand ridges largely varies with time since they were laid down or last disturbed in a major way. Preliminary observations indicate the degree of podsolization of their soils is similarly related to this variation in time.
Lysimachia mauritiana Lam. (family Primulaceae), a small short-lived herb native to India, Indian and Pacific Ocean islands, and coastal east Asia, is described as a new naturalised record from the eastern suburbs of Sydney, New South Wales, Australia. It was first recorded in 1981 near Coogee, and grows in exposed rock crevices and seepages on the seacoast, very similar to its natural habitat overseas. Lysimachia mauritiana is known to have been cultivated in the area in 1961 in a home garden, which is the likely source of this introduction; it appears to be spreading locally as a weed.
Vegetation of Little Bora Nature Conservation Trust Agreement, North Western Slopes, New South Wales
(2014)
The vegetation of the Little Bora Nature Conservation Trust Agreement property (560 ha in area), 8 km south east of Bingara (lat 29° 55’S long 150° 37’) in the Gwydir Shire and within the Nandewar Bioregion is described. Eight vegetation communities are defined based on flexible UPGMA analysis of cover-abundance scores of all vascular plant taxa. These communities are mapped based on ground truthing, ADS40 imagery interpretation, topography and substrate. Communities described are: 1) Melaleuca bracteata – Eucalyptus melanophloia – Eucalyptus camaldulensis Woodland, 2) Callitris glaucophylla – Eucalyptus melanophloia – Eucalyptus albens Woodland, 3) Callitris glaucophylla – Eucalyptus melanophloia – Brachychiton populneus Woodland, 4) Eucalyptus albens Woodland, 5) Eucalyptus caleyi – Eucalyptus albens – Callitris glaucophylla Woodland, 6) Callitris glaucophylla – Eucalyptus melanophloia – Eucalyptus albens Woodland, 7) Austrostipa verticillata – Austrostipa scabra Derived Grassland, 8) Eucalyptus melliodora – Eucalyptus dealbata Woodland. A total of 232 vascular plant taxa were found of which 14% were considered exotic in origin. 66 ha of listed threatened communities were mapped along with populations of a currently listed Extinct plant (TSC Act) Dodonaea stenophylla.
A population of 700 Blandfordia cunninghamii Lindl. (family Blandfordiaceae) plants in the Blue Mountains, 100 km west of Sydney, New South Wales was monitored over a period of seven years, during which a part of the population area was burnt in a Hazard Reduction Burn (HRB). The survey measured flowering of Blandfordia cunninghamii in both the burnt and unburnt areas. In part of the unburnt area flowering (in December) was strongly correlated with previous September rainfall, but in another unburnt area there was no flowering at all over the seven years. An enhanced flowering response after fire was found in the burnt area and the diminution of this enhanced response in subsequent years was found to be logarithmic (taking into account potential rainfall effects). No recruitment of juvenile plants after fire was observed. 87% of seeds of Blandfordia cunninghamii were found to be germinable. Slow juvenile growth of Blandfordia cunninghamii in the field was measured over seven years. Seed was collected for two major seedbanks, the NSW Plantbank at the Australian Botanic Garden, Mt Annan and the Millennium Seedbank at Kew in the United Kingdom.
Background: Alzheimer's disease is a common debilitating dementia with known heritability, for which 20 late onset susceptibility loci have been identified, but more remain to be discovered. This study sought to identify new susceptibility genes, using an alternative gene-wide analytical approach which tests for patterns of association within genes, in the powerful genome-wide association dataset of the International Genomics of Alzheimer's Project Consortium, comprising over 7 m genotypes from 25,580 Alzheimer's cases and 48,466 controls.
Principal findings: In addition to earlier reported genes, we detected genome-wide significant loci on chromosomes 8 (TP53INP1, p = 1.4×10−6) and 14 (IGHV1-67 p = 7.9×10−8) which indexed novel susceptibility loci.
Significance: The additional genes identified in this study, have an array of functions previously implicated in Alzheimer's disease, including aspects of energy metabolism, protein degradation and the immune system and add further weight to these pathways as potential therapeutic targets in Alzheimer's disease.
Der vollständige Titel der vorliegenden Arbeit lautet: Sprachwandel in Chur: 'Aufnahmen des Sprachatlasses der deutschen Schweiz (SDS) konfrontiert mit der Mundart von heute'. Entsprechend dieses Programmes sollen folgende Fragen beantwortet werden:
o Was für Aenderungen können wir in der Churer Mundart ausmachen?
o In welche Richtung gehen diese Aenderungen? Lassen sich Tendenzen ausmachen?
o Welche Einflüsse führten zu den festgestellten Veränderungen?
Es ist klar, dass im Rahmen dieser Arbeit nur ein Teil allen Sprachwandels in Chur festgehalten werden konnte. Es ist aber durchaus möglich, anhand der erfassen Veränderungen Schlüsse zu ziehen, die sich auch auf die Mundart von Chur überhaupt übertragen lassen.
Schwerpunktmässig wurden für diese Arbeit Vokalismus und morphologisch-syntaktische Probleme bevorzugt behandelt. Für Konsonantismus eignet sich die Form der schriftlichen Umfrage wenig (Vgl. Kap.l.3.). Der Wandel im mundartlichen Wortschatz ist zu gross, als dass er auch nur annähernd vollständig behandelt werden könnte. Und Stiefkinder mussten auch satzmelodische und rhythmische Probleme bleiben. Dafür wurden anhand ausgesuchter Beispiele Phänomene erfasst, bei welchen der SDS nicht als Grundlage dienen konnte.
Wichtig ist für diese Arbeit, dass mit "der Mundart von heute" auch wirklich heutige Mundart erfasst wurde. Es sollte also keineswegs eine "richtige" Churer Mundart rekonstruiert (auch wenn dies mit den Verweisen auf die SDS-Karten implizit natürlich gemacht worden ist), sondern vielmehr mit den Aussagen der Gewährspersonen (Gwp) gearbeitet werden. In diesem Sinne kann Sekundärliteratur Erhellung bringen, soll aber nicht Untersuchungsgegenstand sein.
SAFE Newsletter : 2014, Q2
(2014)