Filters








5,136 Hits in 6.3 sec

Autonomous Agent Behaviour Modelled in PRISM -- A Case Study [article]

Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor Veres
2016 arXiv   pre-print
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe.  ...  To demonstrate the applicability of the approach we build and verify a model of an unmanned aerial vehicle (UAV) in an exemplary autonomous scenario, utilising this approach.  ...  UAV Example In this case study we consider a specific example (a simple search and retrieve example, with a UAV in a finite sized arena) to demonstrate our approach.  ... 
arXiv:1602.00646v2 fatcat:guytgqidsvgxpfebhhkqbb33me

Autonomous Agent Behaviour Modelled in PRISM – A Case Study [chapter]

Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor Veres
2016 Lecture Notes in Computer Science  
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe.  ...  To demonstrate the applicability of the approach we build and verify a model of an unmanned aerial vehicle (UAV) in an exemplary autonomous scenario, utilising this approach.  ...  The images or other third party material in this chapter are included in the work's Creative Commons license, unless indicated otherwise in the credit line; if such material is not included in the work's  ... 
doi:10.1007/978-3-319-32582-8_7 fatcat:ymphhazrn5h6rom5dd6gvkiwn4

Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction [article]

Sebastian Junges and Nils Jansen and Joost-Pieter Katoen and Ufuk Topcu
2016 arXiv   pre-print
This paper proposes to use probabilistic model checking to synthesize optimal robot policies in multi-tasking autonomous systems that are subject to human-robot interaction.  ...  Experimental results with a prototypical implementation using PRISM show promising results.  ...  Model construction and parsing. As most case studies can be succinctly described in the PRISM-language, parsing usually is not an issue. Here it is. Our models are up to 100,000 lines of PRISM code.  ... 
arXiv:1610.09409v1 fatcat:ooh7gl7475cmtjipxbgx56cvuy

The first portuguese Art Agency: a case study

Emanuel Cameira
2008 Portuguese Journal of Social Science  
of the artistic field and the singularity of the case-study and then seeing how they question each other.  ...  Abstract Observing agents and dealership processes relating to a particular artistic territory, specifically the plastic arts.  ...  Among the experiences referred to is the one that is the object of this case study, one far from passive in its connection with the system, with its casting preferably decided from among young plastic  ... 
doi:10.1386/pjss.7.2.131_1 fatcat:or26kqtrpvcy5j5royydz2fyge

Reference Group Perspective on State Behaviour: A Case Study of Estonia's Counterterrorism Policies

Mariya Y. Omelicheva
2009 Europe-Asia Studies  
Reference Group Perspective on State Behavior: A Case Study of Estonia's Counterterrorism Policies, Europe Asia Studies, 61(3): 483-504, 2009. Publisher's Official Version: <http://dx.  ...  The evidence examined in the study demonstrates that Estonia's primary reference groups, NATO and the EU, have influenced the republic's counterterrorism programme.  ...  Both share a core sociological insight that agents' behaviour is shaped by the groups to which they belong.  ... 
doi:10.1080/09668130902753317 fatcat:lso6k4y34vc2lbmapgosyrckwm

Development and Validation of an AI-Driven Model for the La Rance Tidal Barrage: A Generalisable Case Study [article]

Túlio Marcondes Moreira, Jackson Geraldo de Faria Jr, Pedro O.S. Vaz-de-Melo, Gilberto Medeiros-Ribeiro
2022 arXiv   pre-print
In this work, an AI-Driven (autonomous) model representation of the La Rance tidal barrage was developed using novel parametrisation and Deep Reinforcement Learning (DRL) techniques.  ...  Our model results were validated with experimental measurements, yielding the first Tidal Range Structure (TRS) model validated against a constructed tidal barrage and made available to academics.  ...  In this case study however, a discrete control solution was adopted when utilising the PPO algorithm, which allowed for the agent to learn a policy that uses turbines in pump mode -in contrast with continuous  ... 
arXiv:2202.05347v1 fatcat:spp2ibtgvrh55nh3d5xtgy5iby

Towards Refactoring of DMARF and GIPSY Case Studies -- A Team 5 SOEN6471-S14 Project Report [article]

Pavan Kumar Polu, Amjad Al Najjar, Biswajit Banik, Ajay Sujit Kumar, Gustavo Pereira, Prince Japhlet, Bhanu Prakash R., Sabari Krishna Raparla
2014 arXiv   pre-print
Afterwards, we identify the actors and stakeholders and draft a domain model for each framework.  ...  The research starts with a background study of these frameworks to determine their overall architectures.  ...  The evaluation of this code can then be done using either traditional model of GEE, AspectJ based model or problematic model checking using backend PRISM.  ... 
arXiv:1412.7533v1 fatcat:uk7bow6q3nembftgle7x3nem6u

A Case for Reverse Incorporation of Academic Legal Scholarship into Conflict Management Studies

Annie de Roo, Sanne Taekema
2015 Erasmus Law Review  
Special attention is given to the question of whether the disciplines united in the various research team members already constituted a kind of 'inter-discipline', through which a single object was studied  ...  The author concludes by making a somewhat bold case for reverse incorporation, that is, the need for (traditional) academic legal research to become an integral part of a more encompassing (inter-)discipline  ...  data' that are collected through the restrained prisms of distinct empirical subdisciplines, particularly where empirical studies are tilted by the austerity motive -think of the misguided conclusions  ... 
doi:10.5553/elr.000047 fatcat:gxxef3ncmvaubb4bsz4zy3frhy

Toward Refactoring of DMARF and GIPSY Case Studies -- a Team 4 SOEN6471-S14 Project Report [article]

Afshin Somani, Ahmad Al-Sheikh Hassan, Anurag Reddy Pedditi, Challa Sai Sukesh Reddy, Vijay Nag Ranga, Saravanan Iyyaswamy Srinivasan, Hongyo Lao, Zhu Zhili
2014 arXiv   pre-print
Later sections illustrate the conceptual architecture of these case studies, for this we have referenced the original architecture to draw the important candidate concepts presented in the system, and  ...  Initially we present our work by analyzing the case studies of ongoing researches of DMARF and GIPSY by understanding their needs and requirements involving the major components in their respective systems  ...  The autonomic behaviour is encoded in a special ASSL construct denoted as SELF_OPTIMIZING policy [7] .  ... 
arXiv:1412.7534v1 fatcat:4keg6ahi4jf2xjg6m2plfznzeu

'Climatizing' military strategy? A case study of the Indian armed forces

Dhanasree Jayaram
2020 International Politics  
In this paper, the framework of climatization is used to analyse the triangular relationship, using the case study of the Indian military-by categorizing climatizing moves as symbolic, strategic, precautionary  ...  While considering climate change a security issue, the military's role in this discourse and praxis becomes critical as a security actor.  ...  The PhD study was facilitated by MAHE's Dr TMA Pai Scholarship.  ... 
doi:10.1057/s41311-020-00247-3 fatcat:5r2nym37nbfehkypldv6awr5eq

The Impact of Image on Translation Decision-Making in Dubbing into Arabic – Premeditated Manipulation par Excellence: The Exodus Song as a Case Study

Rashid Yahiaoui, Marwa J. Aldous, Ashraf Fattah
2021 Open Cultural Studies  
We employ a dual theoretical approach combining narrative theory and appraisal theory in order to evaluate patterns of manipulation within a scaled system to provide graded analysis that exposes the ideological  ...  in the target text that explicitly channels the voice of the translator.  ...  the case of our present case study.  ... 
doi:10.1515/culture-2021-0004 fatcat:h7a2vyo2dzftdkvzrwfprncxte

Integrating Sustainable Development and Children's Rights: A Case Study on Wales

Rhian Croke, Helen Dale, Ally Dunhill, Arwyn Roberts, Malvika Unnithan, Jane Williams
2021 Social Sciences  
This article offers a case study that draws upon the SDGs and the CRC and considers how recent guidance to Welsh public bodies for implementation attempts to contribute to a more integrated approach.  ...  Since devolution, the Welsh Government has actively pursued a 'sustainable development' and a 'children's rights' agenda.  ...  Children should be recognised as autonomous rights holders and empowered to be active agents inspiring transformative change.  ... 
doi:10.3390/socsci10030100 fatcat:jnufhfnz3nhn5jxsxbltr7pp6y

Prospective case control study on genetic assocation of apolipoprotein 2 with intraocular pressure

A Junemann
2004 British Journal of Ophthalmology  
Acknowledgements We are grateful to Robert Harvey and Salman Mirza for their help in this study. C M G Cheung, O M Durrani, P I Murray  ...  and decreased to 2 prism dioptres in right gaze.  ...  A left abduction deficit was noted (fig 1) and, with alternate cover testing, there was a 10 prism dioptre esotropia in primary position and at near, which increased to 20 prism dioptres on left gaze  ... 
doi:10.1136/bjo.2003.020305 pmid:15031182 pmcid:PMC1772093 fatcat:ucrnvqpjofgl5peukctlorqvjm

Digital Prospects of the Contemporary Feminist Movement for Dialogue and International Mobilization: A Case Study of the 25 November Twitter Conversation

Ainara Larrondo Ureta, Julen Orbegozo Terradillos, Jordi Morales i Gras
2021 Social Sciences  
Employing big data analysis to study social and communications phenomena, the results offer a picture of contemporary feminism through the kind of international digital dialogue or conversation that it  ...  creates, as well as questioning Twitter's validity in terms of cohesion when it comes to uniting forces in relation to one of the movement's most urgent struggles: eliminating violence against women in  ...  In the Spanish case, this means the "digital supremacy" of autonomous activist groups linked to the left wing.  ... 
doi:10.3390/socsci10030084 doaj:5c3e939a7de2492188178e81c2a6ded8 fatcat:umwszidqanbd7kbthci6c6yk4i

Advances in Quantitative Verification for Ubiquitous Computing [chapter]

Marta Kwiatkowska
2013 Lecture Notes in Computer Science  
of models and logics − industrially-relevant case studiesIn this lecture, we focus on three research questions: 1.  ...  a variety of energy sources − found and fixed a flaw in the protocol, due to lack of punishment for selfish behaviour − implemented in PRISM-games The challenges of ubiquitous computing • Autonomous  ... 
doi:10.1007/978-3-642-39718-9_3 fatcat:emkb7jqcurg37nhkdyeel6icma
« Previous Showing results 1 — 15 out of 5,136 results