Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.

After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.

The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

L'introduzione forzata dell'istituto della Mediazione ha colto, un po' tutti, impreparati, forse perché si credeva (e ci si illudeva) che l'entrata in vigore di questa legge (come tante altre) potesse essere rinviata all'infinito. Ma così non è stato. Questa collana si pone l'ambizioso obiettivo di fornire a tutti, ed in particolare al cittadino "buon padre di famiglia", alcuni elementi base nella materia, e lo si è fatto decidendo di suddividere l"opera in più opuscoli, ciascuno dedicato a singoli argomenti per meglio "guidare" il lettore lungo la strada della "mediazione" alla quale auspichiamo il duro ma doveroso compito di sostituire la cultura del litigio con quella dell'accordo che elevi la civiltà di un paese preservando il rapporto sociale.

L'introduzione forzata dell.istituto della Mediazione ha colto, un po' tutti, impreparati, forse perché si credeva (e ci si illudeva) che l'entrata in vigore di questa legge (come tante altre) potesse essere rinviata all'infinito. Ma così non è stato. Questa collana si pone l'ambizioso obiettivo di fornire a tutti, ed in particolare al cittadino "buon padre di famiglia", alcuni elementi base nella materia, e lo si è fatto decidendo di suddividere l'opera in più opuscoli, ciascuno dedicato a singoli argomenti per meglio "guidare" il lettore lungo la strada della "mediazione" alla quale auspichiamo il duro ma doveroso compito di sostituire la cultura del litigio con quella dell'accordo che elevi la civiltà di un paese preservando il rapporto sociale.

L'artista contemporaneo Michelangelo Rossi ha un forte talento naturale, non solo per le sue eccellenti capacità compositive e padronanza tecnica, ma per l'abilità con la quale riesce a catturare la bellezza e la poesia nel mondo che ci circonda, traducendola sulla tela con colori stupendi e forme bellissime. Inizia il tuo viaggio nel magico mondo di "Terre Meravigliose" con il pluripremiato Michelangelo Rossi e goditi il mondo surreale e il panorama mozzafiato che la sua mente riesce ad esprimere, immergiti nella natura e i suoi scenari incantevoli e spettacolari sfogliando le pagine di "Terre Meravigliose".

"Un'anima in piena" è un'opera tra prosa e poesia che riflette sulla dimensione della precarietà: l'impasse di un uomo che cerca il bandolo attraverso una delirante lucidità esistenziale. La scrittura, dai toni accalorati e sincopati, scommette sulla mimesi di un defragante Ulisse, che ha perso non solo l'eroicità, ma persino il sentimento del vivere.

L'autore, specializzato nello sviluppo psico-prestazionale delle persone in virtù di una ricerca durata oltre vent.anni, spesi principalmente all'interno del mondo istituzionale nel campo delle applicazioni di potenziamento individuale, ha creato un metodo scientifico, misurabile e riproducibile, per mettere le persone in condizione di superare i propri limiti. Il volume illustra come tale procedimento, testato su migliaia di persone, favorisca la rivisitazione delle esperienze (convinzioni) individuali e il conseguente miglioramento del proprio orientamento al successo.

L.autore ha individuato una vera e propria sindrome irrealizzante che caratterizza la maggior parte delle persone. I suoi più recenti studi, oggetto di questo saggio, illustrano i curiosi meccanismi interiori che molto spesso limitano l'autorealizzazione. La scoperta approda all'elaborazione di un piano conoscitivo ragionato alla portata di tutti, attraverso cui liberarsi progressivamente dagli invalidanti condizionamenti culturali che derivano dalla diffusa educazione paternalistica. In sintesi, una vera e propria guida per incominciare a vivere con maggiore agio, dignità e potenza la propria vita personale, relazionale e professionale.

Il volume contiene tutti i concetti fondamentali per verifiche, interrogazioni, esami universitari e di stato. Argomenti trattati: geografia storica, clima e popolazioni; re, condottieri, guerre, battaglie, conquiste; politica, società, leggi, organizzazione militare; agricoltura, allevamento, industrie, mercati, vie commerciali, monete; culti, divinità, luoghi sacri; crchitetti, scultori, pittori, scrittori, filosofi; scoperte scientifiche, ingegneria idraulica ed edile, tecniche agricole e militari; salute, epidemie, teorie e pratiche mediche; abiti, case, cibi, spettacoli, scuole, rapporti familiari.

È un libro che racconta scoperte, soluzioni ed emozioni di e con giovani e ragazzi delle case famiglia napoletane, durante il progetto di scrittura autobiografica «... e il cielo è sempre più blu». Da questi microcosmi, ignorati dalla nostra cattiva coscienza, viene un percorso - si spera esportabile e vengono desideri, sogni, bugie a cui l'autrice vuole dare pubblica voce. Sono i «manoscritti del cuore» dei ragazzi, ma non come romantica effusione della vulgata popolare (il «cuore» come sede del bene e della «bellezza»), ma il primo, vero agone esistenziale con i sentimenti, il dolore, gli entusiasmi, le delusioni, l'odio e la rabbia...

Figura decisamente originale nel panorama scientifico del secolo scorso, eppure poco nota al grande pubblico, Franco Rasetti, fisico e naturalista, è stato il più stretto collaboratore di Enrico Fermi nel corso di quella stagione memorabile, che va dal 1926 al '38, passata poi alla storia come "il periodo d'oro" della fisica italiana. Il libro ricostruisce con accuratezza, sulla scorta di scrupolose ricerche d'archivio, attraverso documenti, lettere e testimonianze, gli scenari all'interno dei quali si consumano i maggiori contributi di Rasetti alla fisica della prima metà del Novecento, nonché le vicende umane che determinarono il suo precoce allontanamento dalla disciplina che l'aveva portato alla ribalta internazionale, mosso dal disgusto per le applicazioni belliche delle ricerche nucleari.

I crimini violenti rappresentano un campo della condotta umana semplicemente abnorme, deformato rispetto a un variegato quanto complesso spettro di presentazione della cosiddetta normalità, ma non estraneo ad essa. Il crimine violento viene analizzato in questo volume mediante gli strumenti della psicologia criminale, utilizzando numerosi riferimenti teorici, dalla psicopatologia alla psicologia giuridica, alla psicodinamica. Agile nella sua struttura, il testo mette in luce le diverse sfaccettature con cui si presenta la condotta criminale spinta al suo estremo.

La psicologia offre un valido supporto alle indagini investigative e alla lettura di casi giudiziari, aprendo la strada a un modo nuovo di affrontare la ricerca della verità sui fatti criminali. Il testo, che mette in luce i nodi fondamentali della psicologia investigativa (dalla teoria dell'indagine al profilo criminale, dallo studio della testimonianza oculare alla negoziazione, all'autopsia psicologica), è uno strumento agile e aggiornato per un'introduzione ai contenuti di una disciplina nuova ma ricca di possibilità di sviluppo.

SOCIOLOGIA RURALE E STORIA DELL'AGRICOLTURA - PER IL V ANNO ISTITUTI PROFESSIONALI (ECONOMIA AGRARIA E DELLO SVILUPPO TERRITORIALE) - ROSSI MARINA - FERRETTO MATILDE - BONESSA MICHELANGELO - UGO MURSIA EDITORE