Effects of helium and nitrogen as pressurants in nitrogen tetroxide transfer

Study investigates effects of helium and nitrogen as pressurants in nitrogen tetroxide transfer from one vessel to another at a higher elevation. Results may contribute to creation of new environmental systems and improved oxygen solubility in water to promote fish life

Step-Indexed Relational Reasoning for Countable Nondeterminism

Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems. Because countable choice introduces non-continuous behaviour, it is well-known that developing semantic models for programming languages with countable nondeterminism is challenging. We present a step-indexed logical relations model of a higher-order functional programming language with countable nondeterminism and demonstrate how it can be used to reason about contextually defined may- and must-equivalence. In earlier step-indexed models, the indices have been drawn from {\omega}. Here the step-indexed relations for must-equivalence are indexed over an ordinal greater than {\omega}

Hydromorphological classification of Slovenian rivers

This paper provides an overview of hydromorphological and related classifications of rivers in Slovenia and elsewhere. The Rosgen classification is presented in greater detail; it was used in the study as the basis for developing the first Slovenian hydromorphological classification. A hydromorphological survey form was designed to classify rivers and used in the office and field survey of hydromorphological variables in the 95 river sections selected in Slovenia. In the river sections studied, hydromorphological types were identified by analyzing the co-occurrence of selected hydromorphological variables. This method was used to identify 10 hydromorphological types, for which the main hydromorphological features are presented in this paper. Based on the results of the first hydromorphological classification of Slovenian rivers, guidelines are provided for future work

Habsburške deželnoknežje posesti v notranjosti Istre v luči obračunov iz leta 1439

Leta 1435 je potekla zastava zemljiških gospostev, ki sta jih avstrijska vojvoda Leopold in Ernest februarja in marca 1407 prepustila Reinprechtu II. Walseejskemu kot odškodnino za dolg v višini 32.000 dukatov, med njimi tudi precejšen del centralne Istre obsegajoča Pazinska grofija, ki so jo Habsburžani prejeli leta 1374 z dedovanjem po istrski veji goriških grofov. Prav iz začetka tega obdobja, iz leta 1439 se je ohranila knjiga letnih obračunov habsburških zemljiških gospostev, katere obračuni za gospostva Pazin, Vranja in Završje predstavljajo najstarejši administrativni vir za to ozemlje in nudijo vpogled v upravo in poslovanje z zemljiško posestjo. Gospodarski potencial habsburške komorne posesti v Pazinski grofiji, kot jo dokumentirajo obračuni s konca tridesetih let 15. stoletja, je temeljil predvsem na kmetijski proizvodnji. Med prihodki gospostva so imeli največji pomen vino, žito (predvsem pšenica, rž in oves), drobnica in sir. Celotni letni prihodki habsburške komorne posesti v Istri v letih 1437-1438, so znašali 620 mark 38 soldov, od tega je odpadlo na pazinsko gospostvo 451 m 154 ß, na završko 123 m 96 ß in na vranjsko 46 m 108 ß. Temu nasproti obračuni postavljajo letne izdatke – ki se nanašajo predvsem na plače uradnikov in gradbeno-vzdrževalna dela – v skupni višini 215 m 6 ß; od tega v pazinskem gospostvu 130 m 111 ß, v Vranji 32 m 153 ß in v Završju 51 m 62 ß. Bilanca obravnavanih obračunov kaže okvirni letni dohodek okoli 400 mark beneških soldov, ki so ga Habsburžanom prinašala istrska komorna gospostva, kar – za primerjavo – ustreza približno 10% deležu celotnega habsburškega komornega dohodka na Kranjskem in v Istri

Seashell farming in Marano and Grado lagoon according to L. R. n. 31/2005

La produzione di molluschi bivalvi ed in particolare della vongola verace ha trovato un ambiente favorevole nelle lagune e in piccola parte nelle coste dell’Alto Adriatico a partire dal delta del Po fino al golfo di Trieste. Le produzioni 17 annuali si aggirano sulle 50.000 ton. e l’Italia risulta essere il primo produttore europeo. L’allevamento di molluschi, iniziatosi nella laguna di Marano nella seconda metà degli anni 80 dopo un certo periodo di sperimentazione ha assunto sempre più importanza dal punto di vista economico, tanto da raggiungere in questi ultimi anni le produzioni derivanti dalla pesca in libero accesso. Considerata la necessità di contemperare le esigenze produttive con quelle di una gestione delle risorse alieutiche della laguna compatibile con le esigenze di conservazione e tutela dell’ambiente lagunare, la legge regionale 16 dicembre 2005, n. 31 indica che le Amministrazioni comunali competenti per territorio esplichino le funzioni amministrative di rilascio delle concessioni di superfici lagunari per l’allevamento di molluschi bivalvi attraverso bandi che si conformino agli indirizzi del regolamento attuativo della succitata LR 31/2005. Detto regolamento è stato approvato in via preliminare dalla Giunta regionale con deliberazione n. 3447/2005. Esso prevede che le modalità di rilascio delle concessioni siano tali da consentire una gestione delle risorse alieutiche compatibili con le esigenze di conservazione e tutela dell’ecosistema lagunare e delle altre tipologie di pesca. Tale indicazione dell’Amministrazione regionale si esplicita nella previsione che gli aggiudicatari delle concessioni siano soggetti alle vigenti disposizioni in materia di valutazione di incidenza ai sensi della LR 43/1990 nonché del DPR 357/1997. Le superfici da mettere a bando per il rilascio delle concessioni, secondo regolamento, saranno individuate ogni tre anni attenendosi , come detto, sia ad aspetti di tutela e conservazione dell’ambiente sia a considerazioni di natura sociale ed amministrativa (rispetto degli usi civici, eguaglianza e parità tra aventi diritto, ecc.).Seashell production has found a favourable environment in the Northern Adriatic lagoons, moving from Po Delta to the gulf of Trieste. The annual production is around 50.000 tons, and Italy is the first European producer. Seashell farming has started in Marano lagoon in the second half of the Eighties, and after a first experimental period it has gained an increasing economic importance. Indeed, in the last years the production is comparable to that deriving from wild seashell collection. Both the production and the conservation requirements must however be considered. For this reason, the Regional Law 16 December 2005, n. 31 states that the Municipalities involved in the lagoon management must assign only a certain number of seashell farming concessions, following the rules indicated by LR 31/2005. The concessions must be released in order to allow a management of the resource that is compatible with the conservation needs of the lagoonal environment and with the presence of other fishing methods. According to the regulations, the areas that can be given in concession will be defined every three years taking into account both conservation needs and social and administration requirements