A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Gamifying Program Analysis
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
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"
2013
Proceedings of the 22nd International Conference on World Wide Web - WWW '13 Companion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 38th International Conference on Software Engineering - ICSE '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2012
The European Physical Journal Special Topics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2016
The TQM Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Journal of universal computer science (Online)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Integrated Design & Process Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Program
2019
2019 20th International Conference on Intelligent System Application to Power Systems (ISAP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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 ...
fatcat:asw2gxz6ozayfpw3mdettd3gkm
Ecooperatic Music Game Theory
[chapter]
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2022
Computer graphics forum (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2021
Law and Social Inquiry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2021
Personnel Assessment and Decisions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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