Differential interaction nets (DIN) have been introduced by Thomas Ehrhard and Laurent Regnier as an extension of linear logic proof-nets. We prove that DIN enjoy an internal separation property: given two different normal nets, there exists a dual net separating them, in analogy with Böhm’s theorem for the λ-calculus. Our result implies in particular the faithfulness of every non-trivial denot...

Let’s fix some terminology at the start. A world (or possible world – for me, the ‘possible’ is redundant) is, first, an individual, not a set or class; second, a particular, not a property or universal; third, concrete in this sense: it is fully determinate in all qualitative respects; and, fourth, a maximal interrelated whole: each world is internally unified, and isolated from every other wo...

We have identified many dark-inducible (din) genes that are expressed in Arabidopsis leaves kept in the dark. In the present study we addressed the question of how plant cells sense the depletion of sugars, and how sugar starvation triggers din gene expression in suspension-cultured cells of Arabidopsis. Depletion of sucrose in the medium triggered marked accumulation of din transcripts. Suppre...

The explanatory criterion of relevance. The ordering of (possible and impossible) worlds by their closeness to actuality is determined by weighing the different similarities they have to actuality. The similarities to actuality that can make a world closer include resemblances in matters of particular fact. (A matter of particular fact is a fact about the history of the universe that is not ent...

Irrigated agriculture can modify the cycling and transport of nitrogen (N), due to associated water diversions, water losses, and changes in transport flow-paths. We investigate dominant processes behind observed long-term changes in dissolved inorganic nitrogen (DIN) concentrations and loads of the extensive (465,000 km2) semi-arid Amu Darya River basin (ADRB) in Central Asia. We specifically ...

Una dintre acţiunile cotidiene pentru orice persoană, din orice domeniu este citirea poştei electronice (e-mail). Mesajele trimise pot fi extrem de numeroase şi de mai multe feluri, fiind necesar un mecanism de clasificare a acestora pe categorii. Clienţii actuali de (programele care furnizează accesul la) e-mail au posibilitatea de a crea directoare şi reguli speciale care se transpun în mecan...

Transformatoarele de putere de înaltă tensiune reprezintă unele din cele mai costisitoare echipamente din staţiile electrice din sistemul electroenergetic. Defectele şi opririle accidentale ale acestora nu cauzează numai costuri cu reparaţiile; ele conduc şi la pierderi ecomonice datorate întreruperii alimentării consumatorilor. Testele preventive şi monitorizarea on-line sunt benefice pentru p...

The pronounced increase in the cycling and deposition of biologically reactive dissolved inorganic nitrogen (DIN) over large areas globally not only cause increased concentrations of DIN in surface waters, but it will also affect nutrient ratios in rivers, lakes and coastal areas. This review addresses the flux and fate of DIN, focusing NO3 in lakes of boreal and alpine catchments. Not only DIN...