cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Sconfinati e inesplorati, “l’universu e lu pinsieru”
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2022

È una poesia che racconta di come in fondo il pensiero e l’universo siano simili: entrambi sconfinati e inesplorati. A inviarcela è stato un nostro lettore di Cefalù, l’86enne Filippo Culotta. S’intitola “L'universu e lu pinsieru”. Ci è piaciuta assai, dunque con il consenso dell’autore la condividiamo con voi, corredata di una traduzione a cura del professor Massimo Genchi del gruppo di ricerca dell’Atlante linguistico della Sicilia
Nella ricetta per la Terra, planetesimi Q.B.
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2022

Secondo un nuovo studio condotto da un team di ricerca guidato dall’Eth di Zurigo e dal centro PlanetS di Berna il nostro pianeta non si sarebbe formato solo dalla collisione di asteroidi condritici, come suggeriscono alcune ipotesi, ma anche dall’accrescimento casuale di numerosi planetesimi. Tutti i dettagli su Nature Astronomy
title: Valid Identity Problem for Shuffle Regular Expressions
Creators: name: Meyer, Albert R.
name: Rabinovich, Alexander
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: We show that the following problem is decidable: given are expressions $E_1$ and $E_2$ constructed
from variables by the regular operations and shuffle. Is the identity $E_1=E_2$
true for all instantiations of its variables by formal languages?
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 1, 2002, 109-125
Linz: Café Traxlmayr (gegründet 1847) - Innenraum mit Tischen und Stühlen
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1934

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
title: Normal Processes for Modeling the Desired Behavior of Distributed Autonomous Discrete Event Systems
Creators: name: Peluso, Eileen
name: Goldstine, Jonathan
name: Phoha, Shashi
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: In this paper, we formulate a class of language-based specifications for modeling the desired
  behavior of a system of distributed autonomous discrete event systems. We model
system behavior using a formal language-based representation of a process. We identify
singularity and congruence as inherent constraints on processes in such systems.
We define normal processes to be those that are both singular and congruent, and
show that normal processes are well-behaved. In particular, they possess a necessary
characteristic for conversion into automaton-based models, i.e., they can be uniquely
represented by a formal language.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 1, 2002, 127-142
L’Islanda come Marte 4,5 miliardi di anni fa
Creators: Valentina Guglielmo
Publisher: name: Media Inaf
Year: 2022

Dopo 10 milioni di anni, conosciamo il luogo di origine del meteorite Black Beauty: un cratere marziano situato in una delle regioni più antiche del pianeta, e che mostra somiglianze con la crosta odierna dell’Islanda. L’algoritmo impiegato dai ricercatori si può applicare anche ai crateri della Luna e di altri pianeti del Sistema solare
Buco nero zitto e buono, nella nube di Magellano
Creators: Redazione Eso
Publisher: name: Media Inaf
Year: 2022

È il primo buco nero “dormiente” che sia mai stato individuato in modo inequivocabile al di fuori della nostra galassia. Si chiama Vfts 243 e fa parte di un sistema binario che si trova nella Nebulosa Tarantola della Grande Nube di Magellano. La stella che ha dato origine al buco nero è scomparsa senza lasciare alcun segno d’essere esplosa come supernova
Wien: Restaurant Leopold Hauswirth - Innenraum mit Tischen und Stühlen
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1950

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Primo campione di Perseverance dal delta di Jezero
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2022

Perseverance ha raccolto il suo primo campione nel delta del fiume che anticamente scorreva nel cratere Jezero. Il carotaggio è stato nominato Swift Run, è lungo 6,7 centimetri e rappresenta il campione più lungo a oggi raccolto dalla missione. La roccia perforata si è rivelata una fra le più morbide che siano state scavate fino a oggi
Il Giove di Webb, con quella faccia un po’ così
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2022

Sono disponibili da ieri altre immagini del telescopio spaziale James Webb. Questa volta però riguardano soggetti del nostro cortile cosmico: Giove, alcune delle sue lune e un asteroide. I dettagli di Giove sono senza precedenti e il fatto di essere riusciti a tracciare un asteroide in movimento spinge il limite di velocità in queste osservazioni a 67 milliarcosecondi al secondo, più del doppio del previsto
Exploratory Analysis of Connected Fully Autonomous Vehicles on the Safety and Efficiency of Road Networks using Microsimulation
Creators: name: Neufville, Roxanne
Publisher: name: University of East London
Year: 2022

description: The research had set out to explore the effects of the widespread introduction of driverless technology by using publicly available data and assessing the changes it brings to the efficiency and safety of the road network. ConFAVs were slowly introduced to the network and average vehicle delays and the level of service (LOS) of links observed, followed by a surrogate safety assessment. Two published behaviour models (Atkins and CoEXist), and a third model (Tested Logic) was created, which accounted for a change in ConFAV behaviour while following another ConFAV. A comparison of the change in the average vehicle delay and the total number of serious conflicts recorded, highlighted that the CoEXist behavioural model had performed the best in three types of junctions and was used to further analyse the case study. The case study involved 2 small, isolated networks within the Queen Elizabeth Olympic Park Area of London (‘Site A’ was residential and ‘Site B’ was commercial). ‘Site A’ performed well with delays but performed poorly when comparing the number of recorded conflicts against the increasing numbers of ConFAVs. ‘Site B’ showed limited improvement in LOS and performed poorly in the safety analysis as the number of recorded conflicts increased fourfold in some scenarios. The results of the case study led to a conclusion that increased numbers of ConFAVs driving in platoons within the network could reduce delays and as a result either maintained the LOS of the chosen route or made it better. The lead vehicle in the platoon was able to anticipate changes in signals and communicate this with the trailing vehicles, allowing them to perform better at signalised junctions. Platoons also increased network capacity on congested links allowing better performance in the average delays, as observed in Case Study B. However, greater numbers of platoons resulted in larger numbers of rear-end conflicts when a surrogate safety analysis was performed using Time to Collision (TTC) as a parameter. Thus, it was recommended that another method is used to investigate potential conflicts that could recognise and account for platoons.
title: Regular Nests
Creators: name: Shyr, Huei-Jan
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: A language over a finite alphabet $X$ is regular if it can be accepted by a finite automaton.
It is known that the family of all regular languages $L_3$ over $X$ is closed
under catenation. This paper is a study of the regular property of the catenation of
two languages. We call a family of languages $L$ a regular nest if the catenation of any
two languages in $L$ is regular. We construct some natural regular nests which contain
non-regular languages. We also investigate some languages which catenate with any
non-empty languages on the right (left) can never be regular. Such languages we call
them absolutely right (left) non-regular languages. We give an example of absolutely
right non-regular language which is not an absolutely left non-regular. We show that
for $X=\{a,b,c\}$, the well known context-sensitive language $\{a^nb^nc^n \mid n\geq 1\}$, and the
case when $|X|=2$, Dyck language $D$ and the balanced language $H$ are absolutely right
non-regular languages.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 1, 2002, 143-157
Goniosoma venustum C. L. Koch 1839
Creators: name: Ázara, Ludson Neves De
name: Ferreira, Rodrigo Lopes
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Opiliones
Gonyleptidae
Goniosoma
Goniosoma venustum

description: 46. Goniosoma venustum C. L. Koch, 1839
(Figs 14F, 15A, 36F)
Records in caves. RIO DE JANEIRO. Cambuci: Gruta das Furnas, id. by L.N. Ázara, (ISLA 1522). Varre-Sai: Caverna do Pirozzi, id. by L.N. Ázara, (ISLA 1503), (ISLA 14287).
Epigean records. BRAZIL. State and municipality unspecified (Koch 1839b). SÃO PAULO. Alto da Serra (Mello-Leitão 1923). RIO DE JANEIRO. Jacarepaguá (Mello-Leitão 1931); Santa Maria Madalena; Petrópolis (DaSilva & Gnaspini 2010).
description: Published as part of Ázara, Ludson Neves De & Ferreira, Rodrigo Lopes, 2018, Annotated checklist of Gonyleptoidea (Opiliones: Laniatores) associated with Brazilian caves, pp. 1-107 in Zootaxa 4439 (1) on page 51, DOI: 10.11646/zootaxa.4439.1.1, http://zenodo.org/record/1298055
Alla scoperta del Sole nelle onde radio
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2022

È stato pubblicato su “Solar Physics” uno studio, guidato da ricercatori dell’Inaf, che presenta il nuovo sistema SunDish per l’osservazione del Sole nelle onde radio con i radiotelescopi Inaf di Bologna e di Cagliari. I dati ottenuti, unici nel panorama astrofisico internazionale, integrano le osservazioni solari condotte in altre frequenze e saranno preziose per monitorare e comprendere meglio l’attività della nostra stella in vista del suo massimo, previsto per il 2024
Temporal graph exploration: restrictions and relaxations
Creators: name: Spooner, Jakob T.
Publisher: name: University of Leicester
Year: 2022
Subjects: Uncategorized

description: This thesis considers the problem of exploring temporal graphs. A temporal graph G = hG1; :::;GLi of order n is a sequence of L undirected graphs (or layers) indexed by the timesteps t 2 f1; : : : ;Lg, such that V (G1) = V (G) and E(Gt) E(G) for some underlying graph G with order n. To explore G is to visit each vertex at least once via a sequence of edge-traversals (called an exploration schedule), with each consecutive edge traversed during a timestep strictly greater than the last. The arrival time of an the timestep during which the last unvisited vertex is reached for the first time.There exists an algorithm producing exploration schedules with arrival time O(n2) for any always-connected (i.e., Gt is connected for all t 2 f1; : : : ;Lg) temporal graph, and an infinite family F of always-connected temporal graphs for which any exploration schedule has arrival time (n2) [38, 86]. We isolate a number of characteristics held by the members of F and prove lower/upper bounds on the arrival time of exploration schedules for temporal graphs that are restricted from possessing them. First, we consider structural restrictions in which an input temporal graph has (1) degree upper bounded by in each layer; and (2) at most k edges `missing' from the underlying graph in each layer; subquadratic upper bounds are proved in each case. We then consider `relaxed' exploration schedules that can traverse a ?nite number of edges ( 1) in each timestep, focusing on the cases when 2 or n=k traversals are allowed. We also consider, from a complexity standpoint, a number of relaxed problem variants, in which (1) less than n vertices are required to be explored by a candidate, and (2) an unlimited but ?nite number of edge traversals can be made by a candidate exploration schedule, providing both FPT-membership results and hardness/NP-completeness results.
Graz: Melodia-Bar - Innenraum mit Bar, Tischen und Stühlen
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1943

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Treno in ritardo per… tempesta solare
Creators: Marco Malaspina
Publisher: name: Media Inaf
Year: 2022

Presentato questa settimana a Warwick, al National Astronomy Meeting della Royal Astronomical Society, un progetto della Lancaster University per lo studio di possibili interferenze, prodotte da fluttuazioni dovute a fenomeni legati allo space weather, sui segnali ferroviari che regolano il traffico lungo alcune linee del Regno Unito
Wien: Pataky's Hungaria-Restaurant - Zigeuner Musik - ungarische Hausmannskost ab 18 Uhr geöffnet
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1963

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Lampo radio “boom boom boom”
Creators: Marco Malaspina
Publisher: name: Media Inaf
Year: 2022

Rilevato dal radiotelescopio Chime un fast radio burst dal “polso” lungo e regolare. Il team che ha firmato la scoperta, guidato da Daniele Michilli del Massachusetts Institute of Technology, ritiene che sia prodotto da una stella di neutroni a miliardi di anni luce di distanza dalla Terra. I risultati sono stati pubblicati ieri su Nature
SARS-CoV-2-Screening bei Aufnahme von Patienten in einem Verbund-Krankenhaus der Regelversorgung der Stadt Bonn
Creators: name: Yon-Dschun, Ko
name: Schumacher, Carmen
name: Wallau, Anja
name: Schmitz, Udo
name: Wilhelm, Klaus
name: Abels, Susanne
name: Streeck, Hendrik
name: Eis-Hübinger, Anna M.
Publisher: name: Robert Koch-Institut
Year: 2020
Subjects: subject: SARS-CoV-2-Screening
subject: SARS-CoV-2-Inzidenz
subject: Teststrategie
subject: COVID-19
subject: SARS-CoV-2
subject: Krankenhaus
subject: 610 Medizin und Gesundheit

description: Die Unklarheit, ob Patienten bei stationärer Aufnahme SARS-CoV-2-infiziert sind, stellt wegen den erforderlichen Maßnahmen zum Schutz vor Virusübertragungen auf Patienten und Personal eine besondere Herausforderung dar. Bei (zum Untersuchungszeitpunkt) niedriger Inzidenz in der Stadt Bonn konnten in der im Epidemiologischen Bulletin 43/2020 veröffentlichten Untersuchung keine relevanten Einträge unerkannter SARS-CoV-2-Infektionen in 2 untersuchten Bonner Kliniken beobachtet werden. Die regionale SARS-CoV-2 Inzidenz kann als Grundlage für die Entscheidung über eine ggf. kurzfristige Einführung von Screening-Untersuchungen bei Aufnahme in ein Krankenhaus der Region genutzt werden. Die Ergebnisse unterstützen die Vorgaben der nationalen Teststrategie SARS-CoV-2 in der empfohlen wird, die Testung stationär aufzunehmender Patienten und des Personals „unter Berücksichtigung der epidemiologischen Lage“ durchzuführen.
title: Field-ready implementation of linear economic model predictive control for microgrid dispatch in small and medium enterprises
Creators: name: Kull, Tobias
name: Zeilmann, Bernd
name: Fischerauer, Gerhard
Publisher: name: University of Bayreuth
Year: 2021
Subjects: subject: Model predictive control
subject: MPC
subject: hardware-in-the-loop
subject: HiL
subject: programmable logic controller
subject: PLC
subject: cyber physical system
subject: energy transition
subject: smart energy systems
subject: modellprädiktive Regelung
subject: speicherprogrammierbare Steuerung
subject: SPS
subject: 620

description: The increasing share of distributed renewable energy resources (DER) in the grid entails a paradigm shift in energy system operation demanding more flexibility on the prosumer side. In this work we show an implementation of linear economic model predictive control (MPC) for flexible microgrid dispatch based on time-variable electricity prices. We focus on small and medium enterprises (SME) where information and communications technology (ICT) is available on industrial level. Our implementation uses field devices and is evaluated in a hardware-in-the-loop (HiL) test bench to achieve high technological maturity. We use available forecasting techniques for power demand and renewable energy generation and evaluate their influence on energy system operation compared to optimal operation under perfect knowledge of the future and compared to a status-quo operation strategy without control. The evaluation scenarios are based on an extensive electricity price analysis to increase representativeness of the simulation results and are based on the use of historic real-world measurements in an existing production facility. Due to the real-world restrictions (imperfect forecast knowledge, implementation on field hardware, power fluctuations), between 72.2 % and 85.5 % of the economic optimum (rather than 100 %) is reached. Together with reduced operation cost, the economic MPC implementation on field-typical industrial ICT leads to an increased share of renewable energy demand.
Wien: Griechenbeisel - Innenraum mit Tischen und Stühlen
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1959

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Heteromitobates albiscriptus
Creators: name: Ázara, Ludson Neves De
name: Ferreira, Rodrigo Lopes
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Opiliones
Gonyleptidae
Heteromitobates
Heteromitobates albiscriptus

description: 47. Heteromitobates albiscriptus (Mello-Leitão, 1932)
Records in caves. Ribeirão Pires: Gruta da Quarta Divisão (Gnaspini & Trajano 1994).
Epigean records. BRAZIL. SÃO PAULO. Salesópolis (Soares & Bauab-Vianna 1970). RIO DE JANEIRO. Itatiaia (Mello-Leitão 1932).
description: Published as part of Ázara, Ludson Neves De & Ferreira, Rodrigo Lopes, 2018, Annotated checklist of Gonyleptoidea (Opiliones: Laniatores) associated with Brazilian caves, pp. 1-107 in Zootaxa 4439 (1) on page 51, DOI: 10.11646/zootaxa.4439.1.1, http://zenodo.org/record/1298055
Pulsar planet di massa terrestre: esotici e rari
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2022

Passando al setaccio i dati di archivio di 800 pulsar osservate dal Jodrell Bank Observatory negli ultimi 50 anni, un team di astronomi della University of Manchester ha scoperto che i pianeti di massa terrestre in orbita attorno alle pulsar sono estremamente rari. Ciò spiegherebbe perché Psr B1257+12, scoperto trent’anni fa, rimanga l’unico sistema di pianeti di massa approssimativamente simile a quella della Terra in orbita attorno a una stella di neutroni
AstroBio è in volo: un laboratorio in un chip
Creators: Rossella Spiga
Publisher: name: Media Inaf
Year: 2022

Il mini satellite italiano AstroBio CubeSat è partito oggi a bordo di Vega-C dalla Guyana francese. Dalla quota di circa 5900 chilometri dovrà testare, in condizioni estreme, alcune tecnologie per l'individuazione di biomolecole nello spazio. Tecnologie che potranno poi essere impiegate su Marte, Europa o Encelado. Ne parliamo con John Brucato, astrobiologo dell’Inaf e co-responsabile del progetto AstroBio CubeSat
Nature premia il video di Samuele Ronchini
Creators: Ufficio Comunicazione Gssi
Publisher: name: Media Inaf
Year: 2022

Girato all’Osservatorio astronomico di Campo Imperatore e ispirato a Gw 170817, l’evento che segnò la nascita dell’astronomia multimessaggera, il video di Samuele Ronchini – dottorando al Gssi e associato Inaf e Infn – cerca di immaginare la futura “tripletta d’oro”: fotoni, onde gravitazionali e neutrini emessi dalla stessa sorgente astrofisica. Al giovane ricercatore va un premio di 5000 euro
title: A Kleene/Büchi-Like Theorem for Clock Languages
Creators: name: Bouyer, Patricia
name: Petit, Antoine
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: We propose in this paper a generalization of the famous Kleene/B{\"{u}}chi's theorem on
formal languages, one of the cornerstones of theoretical computer sCience, to the timed
model of clock languages. These languages extend the now classical timed languages
introduced by Alur and Dill as a suitable model for real-time systems. As a corollary
of our main result, we get a simple algebraic characterization of timed languages
recognized by (updatable) timed automata.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 2, 2002, 167-186
KI und Evolution
Creators: name: Fortmann-Grote, Carsten
Publisher: name: Zenodo
Year: 2024

description: Diese Präsentation wurde im Rahmen der Veranstaltungsreihe “MPI Winter Talks” am 30. April 2024 am Max-Planck-Institut für Evolutionsbiologie gehalten. Der Autor dankt für das Interesse und die lebhafte Beteiligung an der anschliessenden Diskussion. Alle Abbildungen stehen soweit nicht anders angegeben unter Creative Commons Attribution Share-Alike Lizenz Version 4.0. Für weitere Informationen zu Fragen des Copyright und der Weiternutzung und -verbreitung, besuchen Sie bitte die Internetaddresse https://creativecommons.org/licenses/by-sa/4.0/deed.en. Der Autor steht unter der Email carsten.fortmann-grote@evolbio.mpg.de für Fragen, Kritik, und Anmerkungen zur Verfügung.
alaparicioc/Estimating_annual_flows_from_censuses_v1.0.0
Creators: name: Aparicio-Castro, Andrea
name: Wiśniowski, Arkadiusz
name: Rowe, Francisco
Publisher: name: Zenodo
Year: 2020
Subjects: Migration flows
International migration
South America
Census data
Bayesian inference
Demographic accounting

description: This first realise corresponds to data and code implemented in the paper titled "A Bayesian Approach to Estimate Annual Bilateral Migration Flows for South America Using Census Data".
Wien: Grinzingerkeller im Wiener Rathauskeller mit Tischen und Stühlen
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1956

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Webb, cinque meraviglie dell’universo che verrà
Creators: Marco Malaspina
Publisher: name: Media Inaf
Year: 2022

Nebulosa della Carena, nebulosa planetaria Ngc 3132, spettro dell’atmosfera dell’esopianeta Wasp-96b, il Quintetto di Stephan e un ammasso di galassie che, agendo da lente gravitazionale, spinge lo sguardo del telescopio a oltre 13 miliardi di anni luce. Sono le prime immagini full-color prodotte da Jwst, svelate oggi dalla Nasa. Marco Tavani (presidente Inaf): «La nostra comunità è orgogliosa di essere parte attiva in questa straordinaria missione»
Graz: Bodega - Innenraum mit Bar, Bänken, Tischen und Stühlen
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1942

description: Verzeichnung=Description=Inventaire 12.05.2020 Automatisiert nach HAN-Import
description: Verzeichnung=Description=Inventaire ISAD(G) / HAN Katalogisierungsregeln für Archivbestände Detailliert
Heteromitobates harlequin DaSilva & Gnaspini 2010
Creators: name: Ázara, Ludson Neves De
name: Ferreira, Rodrigo Lopes
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Opiliones
Gonyleptidae
Heteromitobates
Heteromitobates harlequin

description: 48. Heteromitobates harlequin DaSilva & Gnaspini, 2010
Records in caves. SÃO PAULO. Santo André: Caverna do Quarto Patamar (DaSilva & Gnaspini 2010). Epigean records. BRAZIL. SÃO PAULO. Salesópolis; Santo André (DaSilva & Gnaspini 2010).
description: Published as part of Ázara, Ludson Neves De & Ferreira, Rodrigo Lopes, 2018, Annotated checklist of Gonyleptoidea (Opiliones: Laniatores) associated with Brazilian caves, pp. 1-107 in Zootaxa 4439 (1) on page 51, DOI: 10.11646/zootaxa.4439.1.1, http://zenodo.org/record/1298055
title: Pomsets for Local Trace Languages
Creators: name: Kuske, Dietrich
name: Morin, Rémi
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: Mazurkiewicz traces can be seen as equivalence classes of words or as pomsets. Their
generalization by local traces was formalized by Hoogers, Kleijn and Thiagarajan
as equivalence classes of step firing sequences. First we introduce a pomset representation
for local traces. Extending B{\"{u}}chi's Theorem and a previous generalization to
Mazurkiewicz traces, we show then that a local trace language is recognized by a finite
step transition system if and only if its class of pomsets is bounded and definable in
Monadic Second Order logic.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 2, 2002, 187-224
Trio à Violino Primo, Secondo & Basso [C-Dur] : Oppera III : [Op.3, Nr. 1]
Creators: name: Filtz, Anton
Publisher: name: [s.n.]
Year: 1760

description: Stimmen: Violine I (violino primo) ; Violine II (violino secondo) ; Bassinstrument (basso) ; Umschlag
description: Del Signore Antonio Fils
description: Verzeichnung=Description=Inventaire 2009 Übernahme Rekatalogis. AK UB durch Medea 2002-2005
description: Verzeichnung=Description=Inventaire Januar 2020 HAN-Katalogisierungsregeln
title: Black Box Checking
Creators: name: Peled, Doron
name: Vardi, Moshe Y.
name: Yannakakis, Mihalis
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: Two main approaches are used for increasing the quality of systems: in model checking,
one checks properties of a known design of a system; in testing, one usually checks
whether a given implementation, whose internal structure is often unknown, conforms
with an abstract design. We are interested in the combination of these techniques.
Namely, we would like to be able to test whether an implementation with unknown
structure satisfies some given properties. We propose and formalize this problem of
black box checking and suggest several algorithms. Since the input to black box checking
is not given initially, as is the case in the classical model of computation, but is
learned through experiments, we propose a computational model based on games with
incomplete information. We use this model to analyze the complexity of the problem.
We also address the more practical question of finding an approach that can detect
errors in the implementation before completing an exhaustive search.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 2, 2002, 225-246
Trio à Violino Primo, Secondo & Basso [B-Dur] : [Op. 3, Nr. 3]
Creators: name: Filtz, Anton
Publisher: name: [s.n.]
Year: 1760

description: Stimmen: Violine I (violino primo) ; Violine II (violino secondo) ; Bassinstrument (basso)
description: Del Signore Antonio Fils
description: Verzeichnung=Description=Inventaire 2009 Übernahme Rekatalogis. AK UB durch Medea 2002-2005
description: Verzeichnung=Description=Inventaire Januar 2020 HAN-Katalogisierungsregeln
[Sinfonie in Es-Dur] : Overtura à 6
Creators: name: Filtz, Anton
Publisher: name: [s.n.]
Year: 1760

description: Stimmen: Violine I (violino primo) (2 Ex.) ; Violine II (violino secondo) (2 Ex.) ; Viola (viola) ; Bassinstrument (basso) (2 Ex.) ; Horn I (corno primo) ; Horn I (im Altschlüssel notiert) (corno primo in alto viola) ; Horn II (corno secondo) ; Horn II (im Altschlüssel notiert) (corno secondo in alto viola)
description: Del Signore Antonio Fils
description: Verzeichnung=Description=Inventaire 2009 Übernahme Rekatalogis. AK UB durch Medea 2002-2005
description: Verzeichnung=Description=Inventaire Januar 2020 HAN-Katalogisierungsregeln
title: The Computing Power of Programs over Finite Monoids
Creators: name: Tesson, Pascal
name: Thérien, Denis
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: The formalism of programs over monoids has been studied for its close connection
to parallel complexity classes defined by small-depth boolean circuits. We investigate
two basic questions about this model. When is a monoid rich enough that it can
recognize arbitrary languages (provided no restriction on length is imposed)? When is
a monoid weak enough that all its computations can be realized in polynomial length?
Surprisingly, these two properties appear to be dual to each other.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 2, 2002, 247-258
Planet Patrol e il Tes(s)oro dei cittadini scienziati
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2022

Si chiama Planet Patrol. È un progetto di scienza partecipata per la ricerca di falsi pianeti nei dati del satellite Nasa Tess. E a distanza di un anno dall'avvio ha già raccolto i suoi primi frutti, identificando su 999 candidati esopianeti del catalogo Tess Triple-9 709 veri candidati esopianeti e 144 falsi positivi. L’astrofisico campano Luca Cacciapuoti è l’autore principale dello studio, pubblicato su Mnras, che riporta i risultati della ricerca. Lo abbiamo intervistato
Meglio il robot dell’astronauta
Creators: Patrizia Caraveo
Publisher: name: Media Inaf
Year: 2022

Da una parte costi proibitivi e finanziamenti meno generosi, dall’altra i progressi nell’utilizzo dell’intelligenza artificiale rendono le macchine sempre più performanti rispetto all’essere umano. Ne parla l’astrofisica Patrizia Caraveo in una recensione pubblicata domenica scorsa sul Sole24Ore che, con il consenso dell'autrice, vi riproponiamo oggi su Media Inaf
Trio à Violino Primo, Secondo & Basso [A-Dur] : [Op. 3, Nr. 2]
Creators: name: Filtz, Anton
Publisher: name: [s.n.]
Year: 1760

description: Stimmen: Violine I (violino primo) ; Violine II (violino secondo) ; Bassinstrument (basso) ; Umschlag
description: Del Signore Antonio Fils
description: Verzeichnung=Description=Inventaire 2009 Übernahme Rekatalogis. AK UB durch Medea 2002-2005
description: Verzeichnung=Description=Inventaire Januar 2020 HAN-Katalogisierungsregeln
title: Local Logics for Traces
Creators: name: Walukiewicz, Igor
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: The $\mu$-calculus over dependence graph representation ?? traces is considered. It is shown
that the plain $\mu$-calculus cannot express all monadic second-order (MSO) properties of
dependence graphs. Several extensions of the $\mu$-calculus are presented and it is proved
that these extensions are equivalent in expressive power to MSO logic. The satisfiability
problem for these extensions is PSPACE-complete.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 2, 2002, 259-290
title: Characterizations of Certain Matroids via Flats
Creators: name: Al-Hawary, Talal A.
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: The aim of this paper is to discuss properties of open-regular-flats, open-feeble-flats,
alternative-sets and inner-flats. Moreover, we characterize some peculiar matroids via
these notions. Finally, we provide a new decomposition of strong maps.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 3, 2002, 295-301
L’esordio di Webb è una lente gravitazionale
Creators: Claudia Mignone
Publisher: name: Media Inaf
Year: 2022

È stata rilasciata la prima immagine a colori del telescopio spaziale James Webb, in una diretta speciale dalla Casa Bianca: ritrae un ammasso di galassie la cui massa deflette e amplifica la luce di galassie ancora più lontane, luce che è partita oltre tredici miliardi di anni fa. Altre immagini e dati spettroscopici sono attesi alle 16.30 ora italiana di oggi, martedì 12 luglio
[Sinfonie in Es-Dur] : Overtura à 8
Creators: name: Filtz, Anton
Publisher: name: [s.n.]
Year: 1760

description: Stimmen: Violine I (violino primo) (2 Ex.) ; Violine II (violino secondo) (2 Ex.) ; Viola (viola) ; Bassinstrument (basso) (3 Ex., davon 1 mit Bezifferung) ; Flöte I (flauto traversiero primo) ; Flöte II (flauto traversiero secondo) ; Horn I (corno primo in Es) ; Horn I (im Altschlüssel notiert) (corno primo in alto viola) ; Horn II (corno secondo in Es) ; Horn II (im Altschlüssel notiert) (corno secondo in alto viola) ; Trompete I (clarino primo) ; Trompete II (clarino secondo) ; Pauke (timbale)
description: Del Signore Fils
description: Verzeichnung=Description=Inventaire 2009 Übernahme Rekatalogis. AK UB durch Medea 2002-2005
description: Verzeichnung=Description=Inventaire Januar 2020 HAN-Katalogisierungsregeln
title: Tight Lower Bound for the State Complexity of Shuffle of Regular Languages
Creators: name: Câmpeanu, Cezar
name: Salomaa, Kai
name: Yu, Sheng
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: The upper bound for the state complexity of the shuffle of two regular languages is
$2^{mn}-1$. We prove that this bound can be reached for some (not necessarily complete)
deterministic finite automata With, respectively, $m$ and $n$ states. Our construction uses
an alphabet of size 5.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 3, 2002, 303-310
Scoperte 34 nane ultrafredde in sistemi binari
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2022

Per le nane brune è difficile stabilire quante di esse vivano in coppia, perché sono così deboli che non sono molti i sistemi binari noti. Per cercare di aumentare la popolazione di questo campione, un cittadino scienziato ha utilizzato la piattaforma Astro Data Lab del Noirlab scoprendo 34 nuovi sistemi binari nani ultrafreddi nelle vicinanze del Sole, quasi raddoppiando il numero di tali sistemi conosciuti
I test di Jwst superano le aspettative
Creators: Claudia Mignone
Publisher: name: Media Inaf
Year: 2022

Sono ufficialmente pronti per le attività scientifiche il Fine Guidance Sensor e lo spettrografo del vicino infrarosso (NirSpec) a bordo del telescopio spaziale James Webb, come dimostrano alcune anteprime rilasciate nei giorni scorsi. Cresce intanto l'attesa per le prime immagini a colori e i primi dati spettroscopici del potente osservatorio astronomico, che saranno pubblicati martedì 12 luglio, in concomitanza con l'inizio ufficiale della missione scientifica
title: Semiring Frameworks and Algorithms for Shortest-Distance Problems
Creators: name: Mohri, Mehryar
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2002

description: We define general algebraic frameworks for shortest-distance problems based on the
structure ?? semirings. We give a generic algorithm for finding single-source shortest
distances in a weighted directed graph when the weights satisfy the conditions of our
general semiring framework. The same algorithm can be used to solve efficiently classical
shortest paths problems or to find the k-shortest distances in a directed graph.
It can be used to solve single-source shortest-distance problems in weighted directed
acyclic graphs over any semiring. We examine several semirings and describe some
specific instances of our generic algorithms to illustrate their use and compare them
with existing methods and algorithms. The proof of the soundness of all algorithms
is given in detail, including their pseudocode and a full analysis of their running time
complexity.
description: Journal of Automata, Languages and Combinatorics, Volume 7, Number 3, 2002, 321-350
Seed innovations and performance of African indigenous vegetables producers: Evidence from Kenya
Creators: name: Alulu, Joseph
name: Muendo, Kavoi
name: Mbeche, Robert
name: Mithöfer, Dagmar
Publisher: name: Unknown
Year: 2024
Subjects: Agricultural and Food Policy
Production Economics
Productivity Analysis

description: Rapidly expanding population, increasing urbanization, climate change and declining arable land pose a threat to food security in Sub-Saharan Africa (SSA). Efficiency in agricultural production thus becomes an integral aspect. Seed is a fundamental input, however, seed systems in SSA, more so in underutilized crops such as African Indigenous Vegetables (AIV) remain to be constraining. Using household-level data from 445 AIV producing households in Kenya, this study sought to assess the association between seed innovations and performance, as measured by efficiency and income. The study employs bias-corrected Stochastic Meta-Frontier Approach to estimate technical efficiency (TE), allocative efficiency (AE), economic efficiency (EE) and technology gap ratios (TGRs) while accounting for potential technological heterogeneity as well as self-selection bias. We also implement Inverse Probability Weighted Regression Adjustment (IPWRA) for association between seed innovations and income. Results suggest that adopters of seed innovations outperform their non-adopter counterparts on average in both meta-technical, allocative and economic efficiencies and income.
title: The economics of tin control
Creators: name: Ungphakorn, Puey
Publisher: name: London School of Economics and Political Science (LSE)
Year: 1949
Subjects: subject: H Social Sciences
subject: HC Economic History and Conditions

description: The economic problem of the tin industry is essentially the problem of price fluctuations, which lead to the instability of producers' income and employment. In the past, high prices did not meet with effective short-run reaction of the consumers, who were unorganised; but they caused, after a time-lag, a large increase in output. The consequent tendency for price to fall was precipitated during the general depression by a sharp decline in demand . Price then remained low for a long time, owing to the short-run price-inelasticities of both supply and demand.
 Producers were highly organised and had a propensity to combine. Low prices brought about a producers' restriction scheme , made possible by the governments who had strong interests in the tin industry. The restriction scheme succeeded in raising price J but not in stabilising it. It cre.ated, in addition, a number of economic, social and moral problems.
 The present study covers the p eriod from 1914-18 to the present day. The problem is stated in Chapter I. The next two chapters discuss consumption and the demand function. Production is described in Chapter IV; and the financial control of the industry and Governments' interests are analysed in Chapter V. Chapter VI makes an analytical study of costs. The next part of the work (Chs.VII to X) is devoted to the examination of the actions of the Producers and the States. In the last chapter, the prospect o~ tin control is discussed in the light of past experience, the I .T.O. Charter, the Wheat Agreement, Butfer Stock and other proposals.
 In the course of the study, the works of Rowe, Knorr, Eastham, Schut and other writers on the subject are critically
 examined.
Mitogoniella modesta
Creators: name: Ázara, Ludson Neves De
name: Ferreira, Rodrigo Lopes
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Opiliones
Gonyleptidae
Mitogoniella
Mitogoniella modesta

description: 50. Mitogoniella modesta (Perty, 1833)
(Figs 15D, 37B)
Records in caves. BAHIA. Santa Luzia: Gruta do Lapão, id. by L.N. Ázara, (ISLA 9517); Lapa da Pedra do Sino (DaSilva & Gnaspini 2010).
Epigean records. BRAZIL. ALAGOA. Murici; Quebrangulo. BAHIA. Helísio; Medrado (Ázara et al. 2013);
Santa Luzia (DaSilva & Gnaspini 2010). PERNAMBUCO. Caruaru; Jaqueira (Ázara et al. 2013).
description: Published as part of Ázara, Ludson Neves De & Ferreira, Rodrigo Lopes, 2018, Annotated checklist of Gonyleptoidea (Opiliones: Laniatores) associated with Brazilian caves, pp. 1-107 in Zootaxa 4439 (1) on pages 53-54, DOI: 10.11646/zootaxa.4439.1.1, http://zenodo.org/record/1298055
Sulle nane brune, nuvole di sabbia
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2022

Un nuovo studio condotto utilizzando i dati di archivio del telescopio spaziale Spitzer della Nasa ha permesso di scoprire la presenza di nubi di silicati nell'atmosfera superiore di diverse nane brune, un tratto comune a molti di questi corpi lontani. Tutti i dettagli su Monthly Notices of the Royal Astronomical Society
I sistemi planetari intorno a giovani nane rosse
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2022

In uscita su Astronomy & Astrophysics, il primo studio statistico di sistemi planetari osservati con il metodo delle velocità radiali a concentrarsi su un campione ristretto di nane rosse di tipo early, ovvero con masse comprese tra 0,7 e 0,3 masse solari. Le osservazioni di questo studio a guida Inaf sono state effettuate con lo spettrografo Harps-N al Telescopio nazionale Galileo
Materia oscura, leggera ma non troppo
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2022

Studiare le firme cosmologiche prodotte da modelli di materia oscura leggera che tengono conto dell’abbondanza degli elementi chimici e delle temperature delle particelle nell’universo primordiale, è quanto ha fatto un gruppo di fisici guidati dall’Università di New York. I risultati dello studio suggeriscono che la materia oscura non può avere una massa troppo piccola, altrimenti l'universo sarebbe diverso da come appare
title: Random Polynomial-Time Attacks and Dolev-Yao Models
Creators: name: Baudet, Mathieu
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2006

description: In this paper we present an extension of DoleV-Yao models for security protocols with
a notion of random polynomial-time (Las Vegas) computability. First we notice that
Dolev-Yao models can be seen as transition systems, possibly infinite. We then extend
these transition systems with computation times and probabilities. The extended
models can account for normal Dolev-Yao transitions as well as nonstandard opera-
tions such as inverting a one-way function. Our main contribution consists of showing
that under reasonable assumptions the extended models are equivalent to standard
Dolev-Yao models as far as (safety) security properties are concerned.
description: Journal of Automata, Languages and Combinatorics, Volume 11, Number 1, 2006, 7-21
title: Languages That Require Full Scanning of Words to Determine Membership
Creators: name: Higgins, Peter M.
name: Alwan, Suhear
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2013

description: We introduce the full scan condition on a language, which captures the idea that the
membership question for a word $w$ cannot be determined from a given prefix, suffix
pair. We study the corresponding one-sided conditions, establish relationships between
them, characterize these languages in the regular case through their minimal automata
and syntactic monoids, and develop techniques for testing regularity of a language.
Finally we investigate a topology on the free monoid that arises in the course of our
research.
description: Journal of Automata, Languages and Combinatorics, Volume 18, Number 2, 2013, 71-95
title: Timed Extensions of π Calculus
Creators: name: Chen, Jing
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2006

description: The purpose of this paper is to incorporate a notion of time in $\pi$ calculus. Timed $\pi$ --
the timed extensions of $\pi$ calculus -- are calculi for timed mobile processes, which can
model not only evolving systems but also systems with real-time behaviors. We first
present such a calculus with the assumption that actions consume no time; a theory of
timed bisimulations is studied, and it is shown that the important algebraic properties
of $\pi$ calculus are preserved in the timed setup; a notion of maximal progress with
respect to time is a feature of this calculus, arising due to the assumption extension.
We also present briefly a second timed $\pi$, under the opposite assumption that every
action should consume some time; this calculus is simpler in the sense that its set of
operators is of the same "size" as for standard $\pi$, and it makes no assumption of maximal
progress, or urgency of $\tau$-actions. The expressive power and axiomatizability for both
calculi are discussed, and illustrated with some examples.
description: Journal of Automata, Languages and Combinatorics, Volume 11, Number 1, 2006, 23-58
Bennu, un asteroide da maneggiare con cura
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2022

Sulla superficie di Bennu si sprofonda, i massi che la compongono sono completamente slegati e il materiale che lo costituisce è molto simile a quello delle meteoriti carbonacee alterate dall’acqua. Sono questi alcuni dei principali risultati di due studi realizzati con tutti i dati raccolti durante il campionamento della sonda Osiris-Rex sull’asteroide
Rede gehalten bei der Versammlung der Commission de l'éducation nationale (von Polen)
Creators: name: Piramowicz, Grzegorz
Publisher: name: [s.n.]
Year: 1776

description: von [Grzegorz] Piramowicz
description: Bl. 195: leer
description: Öffentliche Bibliothek der Universität Basel
description: Französisch
Mitogoniella mucuri Azara et al. 2013
Creators: name: Ázara, Ludson Neves De
name: Ferreira, Rodrigo Lopes
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Opiliones
Gonyleptidae
Mitogoniella
Mitogoniella mucuri

description: 51. Mitogoniella mucuri Ázara et al., 2013
(Figs 15E, F, 37C, D)
Records in caves. MINAS GERAIS. Caraí: Caverna do Sumidouro, (ISLA 3971), (ISLA 3968); Matutina: Lapa
do Campo de Futebol; Novo Oriente de Minas: Caverna do Roxo; Cabeceira da Americaninha; Caverna do Ribeirão Anastácio I. Padre Paraíso: Lapa do Córrego Vieira (Ázara et al. 2013).
Epigean records. BRAZIL. MINAS GERAIS. Alagoa; Caraí (Ázara et al. 2013).
Remark. This species was recorded associated with artificial mines in the municipalities of Alagoa and Caraí (Ázara et al. 2013).
description: Published as part of Ázara, Ludson Neves De & Ferreira, Rodrigo Lopes, 2018, Annotated checklist of Gonyleptoidea (Opiliones: Laniatores) associated with Brazilian caves, pp. 1-107 in Zootaxa 4439 (1) on pages 54-55, DOI: 10.11646/zootaxa.4439.1.1, http://zenodo.org/record/1298055
title: A Confinement Criterion for Securely Executing Mobile Code
Creators: name: Grall, Hervé
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2006

description: Mobile programs, like applets, are not only ubiquitous but also potentially malicious.
We study the case where mobile programs are executed by a host system in a secured
environment, in order to control the accesses from mobile programs to local resources.
The article deals with the following question: how can we ensure that the local environment
is secure? We answer by giving a confinement criterion: if the type of the
local environment satisfies it, then no mobile program can directly access a local resource.
The criterion, which is type-based and hence decidable, is valid for a functional
language with references. By proving its validity, we solve a conjecture stated by Leroy
and Rouaix at POPL '98. Moreover, we show that the criterion cannot be weakened by
giving counter-examples for all the environment types that do not satisfy the criterion,
and that it is pertinent by detailing the example of a specific security architecture. The
main contribution of the article is the proof method, based on a language annotation
that keeps track of code origin and that enables the study of the interaction frontier
between the local code and the mobile code. The generalization of the method is finally
discussed.
description: Journal of Automata, Languages and Combinatorics, Volume 11, Number 1, 2006, 59-106