Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Dynamic Vortex Phases and Pinning in Superconductors with Twin Boundaries

We investigate the pinning and driven dynamics of vortices interacting with twin boundaries using large scale molecular dynamics simulations on samples with near one million pinning sites. For low applied driving forces, the vortex lattice orients itself parallel to the twin boundary and we observe the creation of a flux gradient and vortex free region near the edges of the twin boundary. For increasing drive, we find evidence for several distinct dynamical flow phases which we characterize by the density of defects in the vortex lattice, the microscopic vortex flow patterns, and orientation of the vortex lattice. We show that these different dynamical phases can be directly related to microscopically measurable voltage - current V(I) curves and voltage noise. By conducting a series of simulations for various twin boundary parameters we derive several vortex dynamic phase diagrams.Comment: 5 figures, to appear in Phys. Rev.

High-accuracy determination of the neutron flux in the new experimental area n_TOF-EAR2 at CERN

A new high flux experimental area has recently become operational at the n_TOF facility at CERN. This new measuring station, n_TOF-EAR2, is placed at the end of a vertical beam line at a distance of approximately 20m from the spallation target. The characterization of the neutron beam, in terms of flux, spatial profile and resolution function, is of crucial importance for the feasibility study and data analysis of all measurements to be performed in the new area. In this paper, the measurement of the neutron flux, performed with different solid-state and gaseous detection systems, and using three neutron-converting reactions considered standard in different energy regions is reported. The results of the various measurements have been combined, yielding an evaluated neutron energy distribution in a wide energy range, from 2meV to 100MeV, with an accuracy ranging from 2%, at low energy, to 6% in the high-energy region. In addition, an absolute normalization of the n_TOF-EAR2 neutron flux has been obtained by means of an activation measurement performed with 197Au foils in the beam.Peer reviewe

Fungal Planet description sheets: 1042–1111

Novel species of fungi described in this study include those from various countries as follows: Antarctica, Cladosporium arenosum from marine sediment sand. Argentina, Kosmimatamyces alatophylus (incl. Kosmimatamyces gen. nov.) from soil. Australia, Aspergillus banksianus, Aspergillus kumbius, Aspergillus luteorubrus, Aspergillus malvicolor and Aspergillus nanangensis from soil, Erysiphe medicaginis from leaves of Medicago polymorpha, Hymenotorrendiella communis on leaf litter of Eucalyptus bicostata, Lactifluus albopicri and Lactifluus austropiperatus on soil, Macalpinomyces collinsiae on Eriachne benthamii, Marasmius vagus on soil, Microdochium dawsoniorum from leaves of Sporobolus natalensis, Neopestalotiopsis nebuloides from leaves of Sporobolus elongatus, Pestalotiopsis etonensis from leaves of Sporobolus jacquemontii, Phytophthora personensis from soil associated with dying Grevillea mccutcheonii. Brazil, Aspergillus oxumiae from soil, Calvatia baixaverdensis on soil, Geastrum calycicoriaceum on leaf litter, Greeneria kielmeyerae on leaf spots of Kielmeyera coriacea. Chile, Phytophthora aysenensis on collar rot and stem of Aristotelia chilensis. Croatia, Mollisia gibbospora on fallen branch of Fagus sylvatica. Czech Republic, Neosetophoma hnaniceana from Buxus sempervirens. Ecuador, Exophiala frigidotolerans from soil. Estonia, Elaphomyces bucholtzii in soil. France, Venturia paralias from leaves of Euphorbia paralias. India, Cortinarius balteatoindicus and Cortinarius ulkhagarhiensis on leaf litter. Indonesia, Hymenotorrendiella indonesiana on Eucalyptus urophylla leaf litter. Italy, Penicillium taurinense from indoor chestnut mill. Malaysia, Hemileucoglossum kelabitense on soil, Satchmopsis pini on dead needles of Pinus tecunumanii. Poland, Lecanicillium praecognitum on insects' frass. Portugal, Neodevriesia aestuarina from saline water. Republic of Korea, Gongronella namwonensis from freshwater. Russia, Candida pellucida from Exomias pellucidus, Heterocephalacria septentrionalis as endophyte from Cladonia rangiferina, Vishniacozyma phoenicis from dates fruit, Volvariella paludosa from swamp. Slovenia, Mallocybe crassivelata on soil. South Africa, Beltraniella podocarpi, Hamatocanthoscypha podocarpi, Coleophoma podocarpi and Nothoseiridium podocarpi (incl. Nothoseiridium gen. nov.)from leaves of Podocarpus latifolius, Gyrothrix encephalarti from leaves of Encephalartos sp., Paraphyton cutaneum from skin of human patient, Phacidiella alsophilae from leaves of Alsophila capensis, and Satchmopsis metrosideri on leaf litter of Metrosideros excelsa. Spain, Cladophialophora cabanerensis from soil, Cortinarius paezii on soil, Cylindrium magnoliae from leaves of Magnolia grandiflora, Trichophoma cylindrospora (incl. Trichophoma gen. nov.) from plant debris, Tuber alcaracense in calcareus soil, Tuber buendiae in calcareus soil. Thailand, Annulohypoxylon spougei on corticated wood, Poaceascoma filiforme from leaves of unknown Poaceae. UK, Dendrostoma luteum on branch lesions of Castanea sativa, Ypsilina buttingtonensis from heartwood of Quercus sp. Ukraine, Myrmecridium phragmiticola from leaves of Phragmites australis. USA, Absidia pararepens from air, Juncomyces californiensis (incl. Juncomyces gen. nov.) from leaves of Juncus effusus, Montagnula cylindrospora from a human skin sample, Muriphila oklahomaensis (incl. Muriphila gen. nov.)on outside wall of alcohol distillery, Neofabraea eucalyptorum from leaves of Eucalyptus macrandra, Diabolocovidia claustri (incl. Diabolocovidia gen. nov.)from leaves of Serenoa repens, Paecilomyces penicilliformis from air, Pseudopezicula betulae from leaves of leaf spots of Populus tremuloides. Vietnam, Diaporthe durionigena on branches of Durio zibethinus and Roridomyces pseudoirritans on rotten wood. Morphological and culture characteristics are supported by DNA barcodes

Fungal Planet description sheets: 1042–1111

Novel species of fungi described in this study include those from various countries as follows: Antarctica, Cladosporium arenosum from marine sediment sand. Argentina, Kosmimatamyces alatophylus (incl. Kosmimatamyces gen. nov.) from soil. Australia, Aspergillus banksianus, Aspergillus kumbius, Aspergillus luteorubrus, Aspergillus malvicolor and Aspergillus nanangensis from soil, Erysiphe medicaginis from leaves of Medicago polymorpha, Hymenotorrendiella communis on leaf litter of Eucalyptus bicostata, Lactifluus albopicri and Lactifluus austropiperatus on soil, Macalpinomyces collinsiae on Eriachne benthamii, Marasmius vagus on soil, Microdochium dawsoniorum from leaves of Sporobolus natalensis, Neopestalotiopsis nebuloides from leaves of Sporobolus elongatus, Pestalotiopsis etonensis from leaves of Sporobolus jacquemontii, Phytophthora personensis from soil associated with dying Grevillea mccutcheonii. Brazil, Aspergillus oxumiae from soil, Calvatia baixaverdensis on soil, Geastrum calycicoriaceum on leaf litter, Greeneria kielmeyerae on leaf spots of Kielmeyera coriacea. Chile, Phytophthora aysenensis on collar rot and stem of Aristotelia chilensis. Croatia, Mollisia gibbospora on fallen branch of Fagus sylvatica. Czech Republic, Neosetophoma hnaniceana from Buxus sempervirens. Ecuador, Exophiala frigidotolerans from soil. Estonia, Elaphomyces bucholtzii in soil. France, Venturia paralias from leaves of Euphorbia paralias. India, Cortinarius balteatoindicus and Cortinarius ulkhagarhiensis on leaf litter. Indonesia, Hymenotorrendiella indonesiana on Eucalyptus urophylla leaf litter. Italy, Penicillium taurinense from indoor chestnut mill. Malaysia, Hemileucoglossum kelabitense on soil, Satchmopsis pini on dead needles of Pinus tecunumanii. Poland, Lecanicillium praecognitum on insects' frass. Portugal, Neodevriesia aestuarina from saline water. Republic of Korea, Gongronella namwonensis from freshwater. Russia, Candida pellucida from Exomias pellucidus, Heterocephalacria septentrionalis as endophyte from Cladonia rangiferina, Vishniacozyma phoenicis from dates fruit, Volvariella paludosa from swamp. Slovenia, Mallocybe crassivelata on soil. South Africa, Beltraniella podocarpi, Hamatocanthoscypha podocarpi, Coleophoma podocarpi and Nothoseiridium podocarpi (incl. Nothoseiridium gen. nov.)from leaves of Podocarpus latifolius, Gyrothrix encephalarti from leaves of Encephalartos sp., Paraphyton cutaneum from skin of human patient, Phacidiella alsophilae from leaves of Alsophila capensis, and Satchmopsis metrosideri on leaf litter of Metrosideros excelsa. Spain, Cladophialophora cabanerensis from soil, Cortinarius paezii on soil, Cylindrium magnoliae from leaves of Magnolia grandiflora, Trichophoma cylindrospora (incl. Trichophoma gen. nov.) from plant debris, Tuber alcaracense in calcareus soil, Tuber buendiae in calcareus soil. Thailand, Annulohypoxylon spougei on corticated wood, Poaceascoma filiforme from leaves of unknown Poaceae. UK, Dendrostoma luteum on branch lesions of Castanea sativa, Ypsilina buttingtonensis from heartwood of Quercus sp. Ukraine, Myrmecridium phragmiticola from leaves of Phragmites australis. USA, Absidia pararepens from air, Juncomyces californiensis (incl. Juncomyces gen. nov.) from leaves of Juncus effusus, Montagnula cylindrospora from a human skin sample, Muriphila oklahomaensis (incl. Muriphila gen. nov.)on outside wall of alcohol distillery, Neofabraea eucalyptorum from leaves of Eucalyptus macrandra, Diabolocovidia claustri (incl. Diabolocovidia gen. nov.)from leaves of Serenoa repens, Paecilomyces penicilliformis from air, Pseudopezicula betulae from leaves of leaf spots of Populus tremuloides. Vietnam, Diaporthe durionigena on branches of Durio zibethinus and Roridomyces pseudoirritans on rotten wood. Morphological and culture characteristics are supported by DNA barcodes

Fungal Planet description sheets: 1284–1382

Novel species of fungi described in this study include those from various countries as follows: Antartica, Cladosporium austrolitorale from coastal sea sand. Australia, Austroboletus yourkae on soil, Crepidotus innuopurpureus on dead wood, Curvularia stenotaphri from roots and leaves of Stenotaphrum secundatum and Thecaphora stajsicii from capsules of Oxalis radicosa. Belgium, Paraxerochrysium coryli (incl. Paraxerochrysium gen. nov.) from Corylus avellana. Brazil, Calvatia nordestina on soil, Didymella tabebuiicola from leaf spots on Tabebuia aurea, Fusarium subflagellisporum from hypertrophied floral and vegetative branches of Mangifera indica and Microdochium maculosum from living leaves of Digitaria insularis. Canada, Cuphophyllus bondii fromagrassland. Croatia, Mollisia inferiseptata from a rotten Laurus nobilis trunk. Cyprus, Amanita exilis oncalcareoussoil. Czech Republic, Cytospora hippophaicola from wood of symptomatic Vaccinium corymbosum. Denmark, Lasiosphaeria deviata on pieces of wood and herbaceousdebris. Dominican Republic, Calocybella goethei among grass on a lawn. France (Corsica) , Inocybe corsica onwetground. France (French Guiana) , Trechispora patawaensis on decayed branch of unknown angiosperm tree and Trechispora subregularis on decayed log of unknown angiosperm tree. Germany, Paramicrothecium sambuci (incl. Paramicrothecium gen. nov.)ondeadstemsof Sambucus nigra. India, Aureobasidium microtermitis from the gut of a Microtermes sp. termite, Laccaria diospyricola on soil and Phylloporia tamilnadensis on branches of Catunaregam spinosa. Iran, Pythium serotinoosporum from soil under Prunus dulcis. Italy, Pluteus brunneovenosus on twigs of broad leaved trees on the ground. Japan, Heterophoma rehmanniae on leaves of Rehmannia glutinosa f. hueichingensis. Kazakhstan, Murispora kazachstanica from healthy roots of Triticum aestivum. Namibia, Caespitomonium euphorbiae (incl. Caespitomonium gen. nov.)from stems of an Euphorbia sp. Netherlands, Alfaria junci, Myrmecridium junci, Myrmecridium juncicola, Myrmecridium juncigenum, Ophioceras junci, Paradinemasporium junci (incl. Paradinemasporium gen. nov.), Phialoseptomonium junci, Sporidesmiella juncicola, Xenopyricularia junci and Zaanenomyces quadripartis (incl. Zaanenomyces gen. nov.), fromdeadculmsof Juncus effusus, Cylindromonium everniae and Rhodoveronaea everniae from Evernia prunastri, Cyphellophora sambuci and Myrmecridium sambuci from Sambucus nigra, Kiflimonium junci, Saro cladium junci, Zaanenomyces moderatricis academiae and Zaanenomyces versatilis from dead culms of Juncus inflexus, Microcera physciae from Physcia tenella, Myrmecridium dactylidis from dead culms of Dactylis glomerata, Neochalara spiraeae and Sporidesmium spiraeae from leaves of Spiraea japonica, Neofabraea salicina from Salix sp., Paradissoconium narthecii (incl. Paradissoconium gen. nov.)from dead leaves of Narthecium ossifragum, Polyscytalum vaccinii from Vaccinium myrtillus, Pseudosoloacrosporiella cryptomeriae (incl. Pseudosoloacrosporiella gen. nov.)fromleavesof Cryptomeria japonica, Ramularia pararhabdospora from Plantago lanceolata, Sporidesmiella pini from needles of Pinus sylvestris and Xenoacrodontium juglandis (incl. Xenoacrodontium gen. nov. and Xenoacrodontiaceae fam. nov.)from Juglans regia. New Zealand, Cryptometrion metrosideri from twigs of Metrosideros sp., Coccomyces pycnophyllocladi from dead leaves of Phyllocladus alpinus, Hypoderma aliforme from fallen leaves Fuscopora solandri and Hypoderma subiculatum from dead leaves Phormium tenax. Norway, Neodevriesia kalakoutskii from permafrost and Variabilispora viridis from driftwood of Picea abies. Portugal, Entomortierella hereditatis from abio film covering adeteriorated limestone wall. Russia, Colpoma junipericola from needles of Juniperus sabina, Entoloma cinnamomeum on soil in grasslands, Entoloma verae on soil in grasslands, Hyphodermella pallidostraminea on a dry dead branch of Actinidia sp., Lepiota sayanensis onlitterinamixedforest, Papiliotrema horticola from Malus communis , Paramacroventuria ribis (incl. Paramacroventuria gen. nov.)fromleaves of Ribes aureum and Paramyrothecium lathyri from leaves of Lathyrus tuberosus. South Africa, Harzia combreti from leaf litter of Combretum collinum ssp. sulvense, Penicillium xyleborini from Xyleborinus saxesenii , Phaeoisaria dalbergiae from bark of Dalbergia armata, Protocreopsis euphorbiae from leaf litter of Euphorbia ingens and Roigiella syzygii from twigs of Syzygium chordatum. Spain, Genea zamorana on sandy soil, Gymnopus nigrescens on Scleropodium touretii, Hesperomyces parexochomi on Parexochomus quadriplagiatus, Paraphoma variabilis from dung, Phaeococcomyces kinklidomatophilus from a blackened metal railing of an industrial warehouse and Tuber suaveolens in soil under Quercus faginea. Svalbard and Jan Mayen, Inocybe nivea associated with Salix polaris. Thailand, Biscogniauxia whalleyi oncorticatedwood. UK, Parasitella quercicola from Quercus robur. USA , Aspergillus arizonicus from indoor air in a hospital, Caeliomyces tampanus (incl. Caeliomyces gen. nov.)fromoffice dust, Cippumomyces mortalis (incl. Cippumomyces gen. nov.)fromatombstone, Cylindrium desperesense from air in a store, Tetracoccosporium pseudoaerium from air sample in house, Toxicocladosporium glendoranum from air in a brick room, Toxicocladosporium losalamitosense from air in a classroom, Valsonectria portsmouthensis from airinmen'slockerroomand Varicosporellopsis americana from sludge in a water reservoir. Vietnam, Entoloma kovalenkoi on rotten wood, Fusarium chuoi inside seed of Musa itinerans , Micropsalliota albofelina on soil in tropical evergreen mixed forest sand Phytophthora docyniae from soil and roots of Docynia indica. Morphological and culture characteristics are supported by DNA barcodes