1,016 research outputs found
Ai confini del welfare - Introduzione
No full textPer molto tempo i dottori della società. iano essi economisti o politici, si sono concentrati sui sintomi piuttosto che sulle cause del malessere sociale che si insinua sempre più profondamente nella società europea. Le riforme socio-economiche introdotte dai neo-liberali, lungi dall'essere ispirate dall'intenzione di andare alla radice dei mali che determinano l'insicurezza, la solitudine, l'esclusione, la povertà in cui ognuno di noi si imbatte quotidianamente per le strade delle nostre città, rafforzano le cause del malessere generale. [...] Sulla base di questa riflessione la tesi che emerge con forza dalle interviste raccolte in questo volume è che per arginare la dilagante vittoria dell'ideologia neoliberale sia necessario trovare il coraggio e la capacità di proporre una forma di società radicalmente diversa da quella che vede il mercato come unica stella polare da seguire nel complesso paesaggio da un paradgma rigido ad uno flessibile. Trovare risposte a domande come Che cos'è una società gisuta? E' ancora possibile ragionare su come configurare un sistema di cooperazione sociale inclusivo e rispettoso dei bisogni delle persone? Quali politiche strutturali strutturali potrebbero facilitare il ritorno di una robusta società civile impegnata, capace di giocare un ruolo primario nei proessi economici
Teoria economica e scelta politica in tempo di crisi
No full textScopo di queste pagine è presentare nel modo più succinto possibile
alcune riflessioni sorte durante il periodo in cui questo volume è andato
formandosi. Le risposte fornite dagli autori hanno riconfermato il mio
convincimento che la teoria economica non possa essere concepita come
una forma di ingegneria sociale, una scienza cioè che disegni e pianifichi
ex ante le modalità in cui la società e l’economia devono funzionare. Al
contrario, quella economica è una disciplina che dovrebbe aiutare la
società a ’compiere esperimenti nei confronti di se stessa’. Tali esperimenti
dovrebbero avere come fine ultimo quello di progettare politiche e
istituzioni economiche che producano il più alto standard di vita per tutti
compatibile con i requisiti dell’uguaglianza, della libertà e del rispetto
della dignità degli altri. Senza ovviamente tralasciare la salvaguardi
Code generation for CSM/ECSM models in COSMA environment Generacja kodu programu na podstawie modelu CSM/ECSM w środowisku COSMA /
No full textTyt. z nagłówka.References p. 58-59.Dostępny również w formie drukowanej.STRESZCZENIE: Środowisko COSMA, rozwijane w Instytucie Informatyki Politechniki Warszawskiej, powstało z myślą o weryfikacji modeli (model checking) systemów reaktywnych specyfikowanych przy pomocy automatów CSM (Concurrent State Machines) jak i ich rozszerzonej wersji (ECSM - Extended CSM). Rozszerzenie CSM o złożone struktury danych, atrybuty związane z przejściami i stanami oraz możliwość bezpośredniego użycia kody w C/C++ powodują, że model wyrażony w ECSM nie może być formalnie weryfikowany, a jedynie stanowić krok pośredni przy generacji kodu. W takim podejściu model CSM reprezentuje sterowanie i komunikację pomiędzy modułami systemu, podczas gdy ECSM - dane i szczegóły przetwarzania. Artykuł omawia generację kodu z modelu ECSM zilustrowaną przykładem. SŁOWA KLUCZOWE: weryfikacja, COSMA, generacja kodu, CSM, ECSM, automaty skończenie stanowe. ABSTRACT: The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Concurrent State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verifed by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example. KEYWORDS: model checking, COSMA, code generation, CSM, ECSM, FSM
C-peptide and insulin assays with the Mindray CL-2000i: Precision and comparability with different methods
No full textCode Generation for CSM/ECSM Models in COSMA Environment
No full textAbstract. The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Con-current State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verified by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example.
Code Generation For Csm/Ecsm Models In Cosma Environment
No full textThe COSMA software environment, developed in the Institute of Computer Science, WUT,was designed primarily for model checking of reactive systems specified in terms of ConcurrentState Machines (CSM). However, COSMA supports also Extended CSM (ECSM).The extensions allow for using complex data types and pieces of C/C++ code, attributedto CSM states and/or transitions. Because of these extensions, ECSM models cannot beverified by model checking, but they can be used as an intermediate step in code generation.The underlying CSM represent then the flow of control within cooperating components andthe communication among them while the extensions specify the data structures and thedetails of their processing.The paper discusses the code generation from ECSM diagrams. The approach is illustratedwith an example
Le pergamene degli Archivi di Bergamo. Carte medievali bergamasche II/2. Edizione di 150 documenti.
No full textC. Maratti, Ritratto di gentiluomo (Roma, Galleria Corsini)
No full textScheda di catalogo sull'operaCatalogue entr
Localization and Sensing for Hopping Robots.
No full textThis paper describes the state of the art of hopping robots for space exploration and new conceptual
advances in algorithms for localization and sensing of hopping robots. We first review the state of the art of
hopping robot systems and describe their characteristics with reference to past and current space missions. Then, we
briefly summarize the operational principles of minimally actuated jumping robots that are suitable for exploring
the unstructured terrain of celestial bodies. These principles are supported by the description of some of the key
mechanisms implemented, and by laboratory tests. Then, a new localization algorithm for hopping localization that
fuses camera, inertial and acceleration data to compute the most likely landing location of the robot is proposed.
To support localization with geo-referenced measures, we also briefly propose a new stereo system, based on
omnidirectional cameras, whose physical characteristics are well suited for a hopping robot. Computer simulations
of the localization algorithm, together with preliminary geometrical analysis of the proposed stereo system, support
our claims of their applicability to planetary exploration. Conclusions and plans for future development end the
paper
- …
