Marco Montali's Books

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By: Marco Montali

Write a review Read reviews Take a Quiz Solve Book Puzzle

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By: Marco Montali

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

416

Publisher

Springer Science & Business Media

Published Date

ISBN 10

364214537X

ISBN 13

9783642145377

Culture and Policy-Making

Pluralism, Performativity, and Semiotic Capital

By: Marco Cremaschi,Carlotta Fioretti,Terri Mannarini,Sergio Salvatore

Write a review Read reviews Take a Quiz Solve Book Puzzle

Culture and Policy-Making

Pluralism, Performativity, and Semiotic Capital

By: Marco Cremaschi,Carlotta Fioretti,Terri Mannarini,Sergio Salvatore

This book advances the understanding and modelling of sensemaking and cultural processes as being crucial to the scientific study of contemporary complex societies. It outlines a dynamic, processual conception of culture and a general view of the role of cultural dynamics in policy-making, drawing three significant methodological implications: pluralism, performativity, and semiotic capital. It focuses on the theoretical and methodological aspects of the analysis of culture and its dynamics that could be applied to the developing of policymaking and, in general, to the understanding of social phenomena. It draws from the experience and data of a large-scale project, RECRIRE, funded by the H2020 program that mapped the symbolic universes across Europe after the economic crisis. It further develops the relationship between culture and policy-making discussed in two previous volumes in this series, and constitutes the ideal third and final element of this trilogy. The book is a useful tool for academics involved in studying cultural dynamics and for policy-oriented researchers and decision-makers attentive to the cultural dimensions of the design, implementation and reception of public policies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

217

Publisher

Springer Nature

Published Date

ISBN 10

3030719677

ISBN 13

9783030719678

Shocking Frogs

Galvani, Volta, and the Electric Origins of Neuroscience

By: Marco Piccolino,Marco Bresadola

Write a review Read reviews Take a Quiz Solve Book Puzzle

Shocking Frogs

Galvani, Volta, and the Electric Origins of Neuroscience

By: Marco Piccolino,Marco Bresadola

... and still we could never suppose that fortune were to be so friendly to us, such as to allow us to be perhaps the first in handling, as it were, the electricity concealed in nerves, in extracting it from nerves, and, in some way, in putting it under everyone's eyes." With these words, Luigi Galvani announced to the world in 1791 his discovery that nervous conduction and muscle excitation are electrical phenomena. The result of more than years of intense experimental work, Galvani's milestone achievement concluded a thousand-year scientific search, in a field long dominated by the antiquated beliefs of classical science. Besides laying the grounds for the development of the modern neurosciences, Galvani's discovery also brought to light an invention that would forever change humankind's everyday life: the electric battery of Alessandro Volta. In an accessible style, written for specialists and general readers alike, Shocking Frogs retraces the steps of both scientific discoveries, starting with the initial hypotheses of the Enlightenment on the involvement of electricity in life processes. So doing, it also reveals the inconsistency of the many stereotypes that an uncritical cultural tradition has imparted to the legacies of Galvani and Volta, and proposes a decidedly new image of these monumental figures.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

352

Publisher

Oxford University Press

Published Date

ISBN 10

0199782210

ISBN 13

9780199782215

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By: Marco Montali

Write a review Read reviews Take a Quiz Solve Book Puzzle

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By: Marco Montali

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

416

Publisher

Springer Science & Business Media

Published Date

ISBN 10

364214537X

ISBN 13

9783642145377

Book's by Marco Montali

Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models

Culture and Policy-Making

Culture and Policy-Making

Shocking Frogs

Shocking Frogs

Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models

Username

Password

Username

Password

Password again

Birthday

Email