Filters








5,686 Hits in 6.6 sec

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties [chapter]

Normann Decker, Martin Leucker, Daniel Thoma
2013 Lecture Notes in Computer Science  
We study monitoring of visibly context-free properties. These properties reflect the common concept of nesting which arises naturally in software systems.  ...  To go beyond impartiality, we develop a construction for anticipatory monitors from visibly push-down ω-automata by utilizing a decision procedure for emptiness.  ...  For the full CaRet logic, or more generally, for any visibly context-free language, we provided a three-valued monitoring approach adhering both, to the maxims of impartiality and anticipation.  ... 
doi:10.1007/978-3-642-40787-1_11 fatcat:l3cunqlltrdezdmrmxbhmbjpo4

Introduction to Runtime Verification [chapter]

Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
2018 Lecture Notes in Computer Science  
We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem  ...  The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV.  ...  Acknowledgment All the authors acknowledge the support of the ICT COST Action IC1402 Runtime Verification beyond Monitoring (ARVI).  ... 
doi:10.1007/978-3-319-75632-5_1 fatcat:rziwb2322rdzjpl4aejedjv57u

Regulating Visibility: Secrecy and Surveillance in Insular Religious Communities

Deirdre McDonald
2018 Surveillance & Society  
The role of secrecy in these communities involves dynamic strategies invoked for many reasons in equally numerous contexts.  ...  Here, I suggest an opportunity emerges for the study of secrecy in relation to the notion of regulating visibility by reorienting the focus from the roles of secrets and of secretive practices to one that  ...  Acknowledgments The author wishes to thank Eric Stoddart and Susanne Wigorts Yngvesson, the anonymous reviewers, and the editorial board of this special issue for their incisive comments and advice, and  ... 
doi:10.24908/ss.v16i4.6773 fatcat:2povuxf7tze53dac5kmnlfls6m

Just Cognition: Scientific Research on Bias and Some Implications for Legal Procedure and Decision‐Making

Gary Edmond, Kristy A. Martire
2019 Modern law review  
Judges are expected to be impartial. Traditionally, common law judges have been concerned about bias and even the appearance of bias.  ...  Through examples, and drawing upon scientific research, it questions legal approaches and discusses the implications of more empirically-based approaches to bias for decision making and institutional legitimacy  ...  Whatever the precise nomenclature, judges are expected (and assumed) to be impartial. 34 This requires that they approach decisions 'with an open mind that is free of prejudgment and prejudice'. 35  ... 
doi:10.1111/1468-2230.12424 fatcat:yirkvttiffcbjivi6dm4b6vwcu

Balancing multiple interests: Embedding innovation intermediation in the agricultural knowledge infrastructure

Laurens Klerkx, Cees Leeuwis
2008 Technovation  
and impartiality.  ...  Using a case-study approach, the paper focuses on the relationships between a for-profit intermediary organisation in The Netherlands and several parties for which it performs various bridging functions  ...  and regulation, and standards work; independent advice and mentoring on protecting intellectual property; and evaluation of the outcomes of innovation collaboration (see Howells, 2006, pp. 721-722 , for  ... 
doi:10.1016/j.technovation.2007.05.005 fatcat:53fjeurrmbfarhrol5gnubabva

Ensuring Agricultural Sustainability through Remote Sensing in the Era of Agriculture 5.0

Vanesa Martos, Ali Ahmad, Pedro Cartujo, Javier Ordoñez
2021 Applied Sciences  
The application of RS is indispensable today for a highly productive and sustainable agriculture.  ...  This study can be helpful for researchers, academics, and young students aspiring to play a role in the achievement of sustainable agriculture.  ...  Similarly, cooperation from MC Biodrone, an agricultural company in Spain, is highly appreciated in terms of facilitating vegetation indeices maps for olive crops (Figures 6 and 7) .  ... 
doi:10.3390/app11135911 fatcat:txvdhn73ynbwlffad6nufw7nki

Reporting on existing Codes and Guidelines

Mari-Liisa Parder, Marten Juurik
2019 Zenodo  
This deliverables studies the existing range of codes and guidelines on ethics and integrity across disciplines, the existing literature, codes and documentation - what is currently recognized as reference  ...  Nathan Emmerich for AcSS Project; RESPECT; Kathinka Evers' EU work on standards.  ...  In addition, impartiality is referred to in the context of: "Impartiality means avoidance of confusing roles and relationships in a way that may give rise to reasonable doubt concerning conflicts of interest  ... 
doi:10.5281/zenodo.3560777 fatcat:np6mqchgpnbfzpbcudctoyggom

Doing social network ethics: a critical, interdisciplinary approach

Simon Jones
2017 Information Technology and People  
It presents a methodology for thinking about and doing ethics which can be used by IT practitioners. 2 ethical issues arising from these contexts, legal and regulatory issues, and practical solutions and  ...  The approach proposed has practical value for teachers and students of computer ethics, as well as for IT practitioners.  ...  Property and ownership rights might be established for specific categories of personal data affording them legal and technical protection in a manner similar to DRM systems for intellectual property.  ... 
doi:10.1108/itp-04-2016-0093 fatcat:pyey5bcksvdnvdkl4oq3t4qlwq

Everyday curation? Attending to data, records and record keeping in the practices of self-monitoring

Kate Weiner, Catherine Will, Flis Henwood, Rosalind Williams
2020 Big Data & Society  
In the paper, we adopt and develop the idea of curation as a theory of attention.  ...  We suggest self-monitoring produces partial data, both in the sense that it embodies these judgements, and also because monitoring might be conducted intermittently.  ...  Acknowledgements We would like to thank all the people who volunteered to participate in the research for their time and interest. We are grateful to the editors of Big Data & Society, three  ... 
doi:10.1177/2053951720918275 fatcat:ol6gbhrf6vhspobtwcovpu5s6m

Eye Tracking in Infancy Research

Gustaf Gredebäck, Scott Johnson, Claes von Hofsten
2009 Developmental Neuropsychology  
Eye movement data are rich, precise, and impartial-free from bias, even if unintentional.  ...  Traditional methods are easy to implement and virtually free for many researchers who have access to undergraduate assistants.  ... 
doi:10.1080/87565640903325758 pmid:20390589 fatcat:aolgsyt2jrgi7k5krctdu77uve

The moment of Leveson: Beyond 'First Amendment fundamentalism' in news regulatory policies

Paul K. Jones
2012 Pacific Journalism Review – Te Koakoa  
This article thus weighs up recommendations of the Finklestein and Boreham reviews in this context.  ...  Broadcast models of structural and content regulation would disappear along with spectrum scarcity and other 'old media' trappings. All that is now at serious risk.  ...  Again and again Counsel Jay put to Lord Black the proposition that a statutory system was more likely to deliver both universal participation and visibly impartial complaints handling.  ... 
doi:10.24135/pjr.v18i2.264 fatcat:yx4qbkrf6jc5tfeorvbcwe4ky4

Lifecycle Design and Management: An Outlook on the Eco-sustainable-corporation

Rinaldo C. Michelini, Roberto P. Razzoli
2013 Procedia Technology - Elsevier  
conformance certification› account and the other specific operation context details, which supply essential tools and techniques permitting the project management accomplishment.  ...  The engineer's activity is central reference in the challenge, with series of innovative opportunities, which include the ‹product-service› delivery, the ‹sustainable corporation› institute, the ‹lifecycle  ...  For free take-back) • Eco-transparency: the contractors manage PLM, SE and RL data, granting full visibility • Accredited quality: the supply overseen is entrusted to third-party certification bodies The  ... 
doi:10.1016/j.protcy.2013.12.072 fatcat:2ig2wumkone65gtucpxub7qbeq

From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics [article]

Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2020 arXiv   pre-print
However, a wide range of formulas are not monitorable under this approach, meaning that they have a prefix for which satisfaction and violation will always remain undetermined no matter how it is extended  ...  Runtime monitoring is commonly used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions.  ...  Acknowledgements The authors would like to thank Li Bingchen for discovering the formula mentioned in  ... 
arXiv:1807.08203v4 fatcat:7gdblwbavvckljdf6rwu343umi

Framing justice claims as legal rights: how law (mis)handles injustices [chapter]

Marie-Pierre Granger, Orsolya Salát
2020 Justice and Vulnerability in Europe  
This logic is visible in the context of housing, where the CJEU relied on the first generation right to private and family life (Article 7 CFR) as a basis for recognizing a right to accommodation protecting  ...  , while at the same time providing incentives for the improvement of substandard properties'. 6 EU law applies a similar framework, except that the default position of the 'right' is taken by EU free  ... 
doi:10.4337/9781839108488.00013 fatcat:ottfvb4qungdvgg5ulxfbk3lvu

Transparency, corruption, and mismanagement: an analysis of Brazilian municipalities
Transparência, corrupção e má gestão: uma análise dos municípios brasileiros

Mariana Batista, Virginia Rocha, José Luiz Alves dos Santos
2020 Revista de Administração Pública  
ACKNOWLEDGEMENTS This study was developed within the scope of the project "More Resources or Better Management. " The project is funded by the Foundation for Science and Technology Development of the State  ...  The author Virginia Rocha is grateful to the Coordination for the Improvement of Higher Education Personnel (CAPES) for her doctoral scholarship.  ...  In this sense, for instance, government officials could anticipate that practices of transparency would generate monitoring and then avoid corrupt behavior -even if the actual monitoring activities do  ... 
doi:10.1590/0034-761220190290x fatcat:wmgswrglcrbjbdkm3ld43hnbnm
« Previous Showing results 1 — 15 out of 5,686 results