134 Hits in 1.8 sec

Gamifying Program Analysis [chapter]

Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
2015 Lecture Notes in Computer Science  
If verification fails, our procedure suggests likely invariants, or program patches, that provide helpful information to the verification engineer and makes it easier to find the correct specification.  ...  This approach may require manual annotations to infer smart invariants. It is a 100% correct technique but at the price of precision.  ...  They also use good and bad states and a greedy set cover algorithm to obtain loop invariants.  ... 
doi:10.1007/978-3-662-48899-7_41 fatcat:vmnzu7l3vnb67ny3rehh6n7ij4

"the crowd keeps me in shape"

Max Van Kleek, Daniel A. Smith, Wendy Hall, Nigel Shadbolt
2013 Proceedings of the 22nd International Conference on World Wide Web - WWW '13 Companion  
This paper seeks to answer this question through an examination of sites, apps and online communities designed to help people improve their fitness, better manage their disease(s) and conditions, and to  ...  When the professional is removed from the loop, interventions may become less effective as patients are not guided to adhere to the prescribed programmes.  ...  the gamification elements were once again removed [15] .  ... 
doi:10.1145/2487788.2488082 dblp:conf/www/KleekSHS13 fatcat:wm3by4yhfff47ftciy6yiuawxq

Crowdsourcing program preconditions via a classification game

Daniel Fava, Dan Shapiro, Joseph Osborn, Martin Schäef, E. James Whitehead
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
Invariant discovery is one of the central problems in software verification.  ...  This paper reports on an approach that addresses this problem in a novel way; it crowdsources logical expressions for likely invariants by turning invariant discovery into a computer game.  ...  If the needed invariant is a relation between variables that cannot be inferred from the source code, these techniques must fall back on heuristics or fail to compute an invariant.  ... 
doi:10.1145/2884781.2884865 dblp:conf/icse/FavaSOSW16 fatcat:3bpdnngzvrfj3f3aqdghq6eoem

Towards a living earth simulator

M. Paolucci, D. Kossman, R. Conte, P. Lukowicz, P. Argyrakis, A. Blandford, G. Bonelli, S. Anderson, S. de Freitas, B. Edmonds, N. Gilbert, M. Gross (+8 others)
2012 The European Physical Journal Special Topics  
It will build on present approaches such as agent-based simulation and modeling, multiscale modelling, statistical inference, and data mining, moving beyond disciplinary borders to achieve a new perspective  ...  Likewise, complex human behaviour will be captured through gamification, bringing real-world participants into the Living Earth Simulator as living agents in the socioeconomic simulations.  ...  This goes beyond model validation by getting learning and continuous adjustment "into the loop".  ... 
doi:10.1140/epjst/e2012-01689-8 fatcat:z2ixn4drkbcp5gd3ugcvmwuh5q

The cone-of-learning: a visual comparison of learning systems

John Hamilton, Singwhat Tee
2016 The TQM Journal  
Research limitations/implications -We do not capture learning system feedback loops, but our cone-of-learning approaches can position against chosen competitors.  ...  Purpose -Four learning modes, interacting through students as different learning systems, are mapped into a cone-of-learning continuum that allows tertiary institutions to visually re-consider where within  ...  Biggs, 2003) Heaviest arrows indicate strongest paths, and reverse arrows indicate possible feedback loops.  ... 
doi:10.1108/tqm-09-2013-0111 fatcat:cirdxwkh3ngbzbfkfmnjpbjuhu

Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, Maroun Koussaifi
2021 Journal of universal computer science (Online)  
The problem is to put the user “in the loop”, i.e., provide adapted and intelligible descriptions of the emerging applications, and present them so that the user can accept, modify or reject  ...  Also, OCL invariants describe restrictions on the models, e.g., two required services (or two provided services) cannot be bound together.  ...  Through Moreover, ICE supports application edition by the user. Panel 2 displays the properties of a component or a service.  ... 
doi:10.3897/jucs.70515 fatcat:x4y3slwpsjgzle54bvqpahhnsa

Extended Editorial: Past, present and future of behaviourally adaptive engineered systems

Imre Horváth, José Pablo Suárez Rivero, Pedro Manuel Hernández Castellano
2019 Journal of Integrated Design & Process Science  
This research exemplifies a promising approach to simulate human-like strategic vision in self-adaptive systems through incorporating holonic superposition intelligence by gamification.  ...  It is enabled by computational algorithms for dynamic context modelling, inferring and reasoning, and message synthesis.  ... 
doi:10.3233/jid190006 fatcat:7lufxxm7yjbhjjbrsgsz6c6zsy

A Survey on Teaching and Learning Recursive Programming

2014 Informatics in Education. An International Journal  
Some researchers have been tackling the issue of teaching and learning recursion through the lenses of cognitive sciences and psychology, inferring the mental models of recursion (Sanders et al., 2006  ...  By exhibiting a systematic way to move back and forth from recursion to loops, while maintaining the meaning invariant, these didactic approaches aim at demystifying recursion without resorting to a low-level  ... 
doaj:1f52d79b705445b2930b35c178722510 fatcat:a2fffzbierfarnwwwntve5jvoq

Constructivist Dialogue Mapping Analysis of Ant Adaptation

2020 Informatics in Education. An International Journal  
This gamification impacts how much food ants must collect to make a new baby ant.  ...  Shortly, she will conserve the two ideas into one through concept formation, inferring missing information from that concept.  ... 
doi:10.15388/infedu.2020.05 fatcat:qlur42mx2fhhbmglve5pur4pp4


2019 2019 20th International Conference on Intelligent System Application to Power Systems (ISAP)  
These optimized values are used to establish the closed-loop stable operation of a DAB converter and the technique is validated through MATLAB simulations.  ...  The transfer function is derived which is an open-loop stable system, and in order to establish closed-loop stability, fractional order PID controller is used in this paper.  ...  Through this operation huge amount of reschedulable consumption capacities can be involved in the demand side management. pp. 332-336 T3S6.3 Scheduling of EV Charging Station for Demand Response Support  ... 
doi:10.1109/isap48318.2019.9065935 fatcat:n5yuhvudcfemzhr4tazxeei4fi

Kalpa Publications in Computing Abduction by Non-Experts

Nikolaj Bjørner, Dejan Jovanovi´c, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
automatically, but it is easy to check if an inference makes a Horn clause valid.  ...  We argue that Horn clauses form a good base for crowdsourcing since they are easy to subdivide, and that logic abduction is a suitable task since it is hard to find abductive inferences for Horn clauses  ...  All these approaches need data points from different executions and apply different learning techniques, such as decision trees [20] , ice-based learning [14] , or deep learning [26] , to infer an invariants  ... 

Ecooperatic Music Game Theory [chapter]

David Kanaga
2018 Zenodo  
Playing is a process of moving through possibility spaces.  ...  Cope's EMI does not allow for real-time play with the games which have been 'inferred', but we can see that they could be.  ... 
doi:10.5281/zenodo.1193765 fatcat:v64oq7c2trg6nmulbpz6vmvqfi

Augmenting Digital Sheet Music through Visual Analytics

Matthias Miller, Daniel Fürst, Hanna Hauptmann, Daniel A. Keim, Mennatallah El‐Assady
2022 Computer graphics forum (Print)  
The musical structure depends on the horizontal (temporal) dimension, which can be inferred from the compound features rhythm or harmony.  ...  Rotation invariant queries (as indicated in the right figure) help to identify rotated examples of a search template.  ... 
doi:10.1111/cgf.14436 fatcat:6effqyt5gnhovf2a3bzmty46q4

From Datafication to Data State: Making Sense of China's Social Credit System and Its Implications

Anne S. Y. Cheung, Yongxi Chen
2021 Law and Social Inquiry  
A "data state" is defined as a governance model enabling the state to comprehensively monitor, evaluate, and control its subjects through datafication, leaving them little room to defend their autonomy  ...  Although gamification is possible, the SCS has a "looping effect," by which it can adjust its categorization.  ...  algorithms to infer categories of identity."  ... 
doi:10.1017/lsi.2021.56 fatcat:e2rzf2szhndaflml2cisfaucmi

Scientific, Legal, and Ethical Concerns About AI-Based Personnel Selection Tools: A Call to Action

Nancy Tippins, Frederick Oswald, S. Morton McPhail
2021 Personnel Assessment and Decisions  
If a machine learning algorithm is used to infer which job applicants will have a higher likelihood of good job performance, what is the quality and strength of the evidence to support this inference?  ...  broad sweep of possible assessments involving technologies, data, and algorithms that are associated with new approaches to selection that might involve such data as facial recognition; virtual reality; gamification  ... 
doi:10.25035/pad.2021.02.001 fatcat:67mqkoo27zcbbdwfyyxyibwy3e
« Previous Showing results 1 — 15 out of 134 results