Our Approach to Formal Verification of Token Economy Models

Author(s):  
Oleksandr Letychevskyi ◽  
Volodymyr Peschanenko ◽  
Maksym Poltoratskyi ◽  
Yuliia Tarasich
Author(s):  
O. Letychevsky ◽  
V. Peschanenko ◽  
V. Radchenko ◽  
M. Poltoratzkyi ◽  
P. Kovalenko ◽  
...  

2008 ◽  
Author(s):  
Dominick Dephilillis ◽  
Peter E. Quintieri ◽  
Heather K. Noble ◽  
Jose F. Reyes ◽  
Sangeeta Akundi

1997 ◽  
Author(s):  
Gordon L. Paul ◽  
Paul Stuve ◽  
Anthony A. Menditto

2020 ◽  
pp. 115-140
Author(s):  
Mirko Dai Prà
Keyword(s):  

Il presente lavoro si pone lo scopo di descrivere un intervento diretto ad un paziente con disabilità cognitiva e disturbo Bipolare e la valutazione degli esiti rispetto a: comportamenti di aggressività e furto, terapie farmacologiche assunte e Qualità della Vita. Metodo: È stato utilizzato un intervento integrato con tecniche di tipo Comportamentale e Cognitivo condotto dall'équipe riabilitativa a seguito di valutazione funzionale del caso con modello Comportamentale ABC (Antecedenti Behavior Conseguenze) con un paziente di 41 anni con disabilità cognitiva di tipo moderato e disturbo Bipolare. L'intervento è stato progettato con modelli di condizionamento operante e l'équipe riabilitativa è stata istruita. Al primo intervento è seguito un secondo additivo di token economy volto a rinforzare i comportamenti acquisiti. In fine è stato eseguito un intervento di tipo Cognitivo seguendo i principi della psicoeducazione ed è stato adattato alle capacità di comprensione dell'utente. Gli outcome sono stati il tipo e la quantità di farmaci assunti, il numero di comportamenti aggressivi e di comportamenti di furto, i risultati relativi alla Qualità della Vita percepita. È stato condotto uno studio di caso. Risultati: Sono diminuiti comportamenti di Aggressività e furto, diminuita l'assunzione di Benzodiazepine e di Antipsicotici, diminuita la somministrazione di terapie meccaniche restrittive quali terapia al bisogno Intra Muscolo e isolamento in camera, migliorata la Qualità della Vita nei domini Ruolo e salute Fisica, Salute in Generale, Vitalità, Attività Sociali Ruolo e Stato emotivo. Conclusioni: L'intervento si è dimostrato efficace a livello di decremento di comportamenti problema, diminuzione dei farmaci assunti e di Qualità della Vita percepita. Il lavoro offre spunti di riflessione relativi ai fattori del gruppo di lavoro e dei singoli che possono favorire l'intervento.


2019 ◽  
Vol 2 (4) ◽  
pp. 260-266
Author(s):  
Haru Purnomo Ipung ◽  
Amin Soetomo

This research proposed a model to assist the design of the associated data architecture and data analytic to support talent forecast in the current accelerating changes in economy, industry and business change due to the accelerating pace of technological change. The emerging and re-emerging economy model were available, such as Industrial revolution 4.0, platform economy, sharing economy and token economy. Those were driven by new business model and technology innovation. An increase capability of technology to automate more jobs will cause a shift in talent pool and workforce. New business model emerge as the availabilityand the cost effective emerging technology, and as a result of emerging or re-emerging economic models. Both, new business model and technology innovation, create new jobs and works that have not been existed decades ago. The future workers will be faced by jobs that may not exist today. A dynamics model of inter-correlation of economy, industry, business model and talent forecast were proposed. A collection of literature review were conducted to initially validate the model.


Author(s):  
Pierre-Loïc Garoche

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.


Sign in / Sign up

Export Citation Format

Share Document