1,721,111 research outputs found
Monete frazionate. Quadri regionali, questioni cronologiche, aspetti economici
No full textPresentazione del progetto di ricerca condotto dal DiSPaC dell'Università degli Studi di Salerno con l'Università Cattolica di Milano. Il progetto intende affrontare lo studio di una particolare categoria di monete, ossia quegli esemplari deliberatamente frammentati in due o più porzioni nel corso della loro circolazione, al fine di creare due o più monete di valore minore, in periodi di insufficiente approvvigionamento di nominali divisionali da parte delle zecche ufficiali
Editoriale
Full text linkPresentazione della Rivista scientifica di Ateneo dell'Università degli Studi di Salerno. Si tratta di un nuovo progetto editoriale online a cui collaborano studiosi di diversa formazione, ricercatori e docenti universitari, sia come membri dei Comitati editoriale e scientifico, sia come Referees. Si tratta di una Rivista internazionale, open access, che adotta il procedimento di revisione tra pari (peer review) a doppio cieco (double blind), per garantire l’elevata qualità dei contenuti pubblicati. I principali temi trattati riguardano la numismatica antica (i ritrovamenti, la circolazione di moneta, le collezioni e la ricerca), la storia e l’economia del mondo antico, la storia degli studi inerenti la disciplina, l’archeologia
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM
No full textAmong model checking tools, the behaviour of a system is often formalized as a transition system with atomic propositions associated with states (Kripke structure). In current modeling languages, transitions are usually specified as updates of the systemâs variables to be performed when certain conditions are satisfied. However, such a low-level representation makes the description of complex transformations difficult, in particular in the presence of structured data. We present Objective/MC, a high-level language with imperative semantics for modeling finite-state systems. The language features are selected with the aim of enabling the translation of models into compact transition systems, amenable to efficient verification via model checking. To this end, we have developed a compiler of our high-level language into the modeling language of the PRISM probabilistic model checker. One of the main characteristics of the language is that it makes a very different treatment of global and local variables. It is assumed that global variables are actually the variables that describe the state of the modeled system, whereas local variables are only used to ease the specification of the systemâs internal mechanisms. In this paper, we give a complete formal definition of the language, its type system and static analyses, of the transformations to be performed at the level of the Control Flow Graph for the pruning of local variables, and of the PRISM code generation
La moneta di basso conto a Elea/Velia: uso e produzione
No full textPresentazione del progetto di ricerca del DisPaC/Università degli Studi di Salerno sui rinvenimenti monetali di Elea/Velia
Data management for coin finds and archaeological context in the Naples-Velia area
No full textI recenti scavi nelle aree archeologiche di Pompei e Velia hanno restituito un'enorme quantità di monete, attualmente in fase di studio da parte dei numismatici del Dipartimento di Scienze per i Beni Culturali dell'Università di Salemo.
L'articolazione dei contesti e dei materiali offre elementi per comprendere le dinamiche economiche delle due città, anche in relazione ad altre realtà locali: se il caso di Pompei riguarda una città priva di una propria moneta, Velia è caratterizzata da una zecca in attività fino alla fine del I a. C.
La ricerca, che parte dallo studio e dall'interpretazione delle specie monetali e dei loro contesti di rinvenimento, mette in luce quelle che sono le criticità della gestione di una grande quantità di dati e informazioni e della loro elaborazione.
A questo proposito, si è resa necessaria la gestione informatizzata dei dati, supportata anche dall'implementazione del sistema Numishare, attualmente in fase di sperimentazione. Lo scopo è quello di integrare i dati per l'interpretazione delle monete come reperti archeologici, sulla base delle informazioni relative alla natura e alle condizioni dei contesti. Questo approccio permette di raggiungere sia gli obiettivi della ricerca con la sistematizzazione della documentazione disponibile, l'interpretazione della natura dei ritrovamenti e delle caratteristiche della produzione e della circolazione delle monete, sia le esigenze di tutela. e valorizzazione, grazie all'accesso a documentazione non altrimenti disponibile e spesso sepolta nei depositi archeologici
Cat. nr. 1 - Piccolo scettro con sfera in vetro verde
No full textAmpia scheda su uno degli scettri rinvenuti nel corso delle ricerche condotte dal Dipartimento di Scienze dell'Antichità della Sapienza - Università di Roma sulle pendici nord-orientali del Palatino (Roma) ed attribuito all'imperatore Massenzio
Effects of municipal solid waste compost on soil fertility and nitrogen balance: lysimetric trials.
No full textGeochemistry and Sr-Nd isotopic composition of leucogranites and mafic enclaves from the Budduso’ intrusion, northern Sardinia
No full textPrimi risultati dell'applicazione dei fanghi conciari al mais da granella inserito in un avvicendamento biennale.
No full text- …
