Search results for "Programming Language"
showing 10 items of 624 documents
Kvanttikoneohjelmointi
2016
Työssä tutkittiin kvanttiohjelmointikielten nykytilaa. Tavoitteena oli pintapuolisesti kartoittaa millaisia kieliä on olemassa, mitä niiden erot ovat ja miksi niitäonkehitetty,vaikkakäytännönkvanttitietokoneitaeivieläolekaan.Tämätutki- mustavoite toteutui hyvin. Johtopäätöksenä voidaan sanoa, että kvanttiohjelmoin- tikieliä on kehitetty suhteellisen paljon kvanttitietokoneiden puuttumiseen nähden, ja ne eroavat monilta osin. Myös niiden kehittämiseen löydettiin paljon hyviä syitä. In this paper the current state of quantum programming languages was studied. The objective was to do a survey of existing languages, their differences, and the reasons for their development, even though practical…
Grimaces et lèvres pincées : remarques sur la ritualisation pénale (Pascal, Wittgenstein) (Grimaces and Pursed Lips: Remarks on the judicial ritualiz…
2018
Cet article vise à clarifier le recours à une famille de métaphores qui entoure fréquemment le procès (ritualisation, théâtralisation, mise en scène, cérémonie de type religieux), et défend la thèse que la notion de ritualisation judiciaire exprime avant tout la louable intention d'accorder à la justice internationale pénale un temps et des occasions sans finalité préconçue, mais qui permettent la manifestation d'une diversité d'émotions. Il prend principalement appui sur la comparaison des Pensées et des Lettres provinciales de Pascal d'une part, sur le…
A Roles-Based Approach to Variable-Oriented Programming
2008
Delocalized variable plans pose problems for novice programmers trying to read and write programs. Variable-oriented programming is a programming paradigm that emphasizes the importance of variable-related plans, and localizes actions pertaining to each variable together in one place in the program code. This paper revisits the idea of variable-oriented programming and shows how it can be founded on roles of variables: stereotypes of variable use suitable for teaching to novices. The paper sketches out how variable-oriented, roles-based programming could be implemented using either a new programming language or a framework built on an existing language. The possible applications, merits, an…
Corrigendum: ExGUtils: A Python Package for Statistical Analysis With the ex-Gaussian Probability Density
2018
Constructing co-presence through shared VR gameplay
2021
This study analyzes how participants playing VR games construct co-presence and shared gameplay. The analysis focuses on instances of play where one person is wearing the VR equipment, and other participants are located nearby without the ability to directly interact with the game. We first show how the active player using the VR equipment draws on talk and embodied activity to signal their presence in the shared physical environment, while simultaneously conducting actions in the virtual space, and thus creates spaces for the other participants to take part in gameplay. Second, we describe how other participants draw on the contextual configurations of the moment in displaying co-presen…
Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications
2011
Agile development benefits from fast feedback from various stakeholders. If implemented in a suitable way, formal methods can enhance the agile development process. With an executable formal specification, it is possible to analyse and simulate the behaviour of the target system before it is being built. However, for the users' and developers' natural participation in the development process, it is necessary to use a real end-user interface and bind it to the execution environment being used in the simulations and animations. This requires, though, that the execution model used to simulate the specification is appropriately changed to facilitate the use of these user interfaces. The authors…
Understanding beginners' mistakes with Haskell
2015
AbstractThis article presents an overview of student difficulties in an introductory functional programming (FP) course taught in Haskell. The motivation for this study stems from our belief that many student difficulties can be alleviated by understanding the underlying causes of errors and by modifying the educational approach and, possibly, the teaching language accordingly. We analyze students' exercise submissions and categorize student errors according to compiler error messages and then manually according to the observed underlying cause. Our study complements earlier studies on the topic by applying computer and manual analysis while focusing on providing descriptive statistics of d…
Formal specification of open standards and the case of RSS v2.0
2014
Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…
Use of a Semantic Language to Reduce the Indeterminacy in Agents Communication
2014
In the field of agent communications uncertainty and vagueness in the message content and in the achievable results play a primordial role when two agents (human or artificial) communicate. Even though the importance of vagueness and uncertainty has been recognized long ago, only recently mechanisms related to the communications’ semantics that allow a practical approach have been designed; more specifically, the development of tools such as agent programming languages and frameworks, which is a field of intensive research. On the other hand, recent theoretical ideas, drawn from situation semantics theory and the works of Sutton on semantic information, support this work. This paper applies…
Visual understanding of divergence and curl: Visual cues promote better learning
2019
Prior research has shown that students struggle to indicate whether vector field plots have zero or non-zero curl or divergence. In an instruction-based eye-tracking study, we investigated whether visual cues (VC) provided in the vector field plot can foster students’ understanding of these concepts. The VC were only present during instruction and highlighted conceptual information about vector decomposition and partial derivatives. Thirty-two physics majors were assigned to two groups, one was instructed with VC about the problemsolving strategy, and one without. The results show that students in VC-condition performed better, responded with higher confidence, experienced less mental effor…