Search results for "Programming"
showing 10 items of 3090 documents
System for Executing Encrypted Java Programs
2017
Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator
2021
We present an approach and a tool for automatically providing feedback on solutions that involve complicated reasoning patterns. Currently the tool supports linear systems of equations and inequations that may also contain the absolute value operator and a restricted form of rational functions. This suffices for designing problems that are laborious to solve with standard mechanical procedures, but much easier using short-cuts that students may find by creative thinking. Earlier research has found that struggling with important mathematics promotes conceptual development. Our goal is to encourage students to such struggling. A crucial feature is to give them great freedom to choose the path…
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…
An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…
2020
Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…
The territorial dimension in the EU programming and the New Framework for Public Policies: Territorial Tural Development, CAP Reform and new LEADER
2012
Lo que venimos denominando como perspectiva territorial del desarrollo es un fenómeno bastante reciente en el contexto de la Unión Europea, de apenas dos décadas. En esencia esta perspectiva territorial del desarrollo se ha centrado en un enfoque local de los procesos de desarrollo en las áreas rurales, de la mano, principalmente, de instrumentos como LEADER. La necesidad de incorporar la dimensión territorial a los procesos de desarrollo proviene no solo del éxito global de estos instrumentos, sino también por el convencimiento de que puede constituir un elemento fundamental de cara a la cohesión económica y social en el seno de la UE. Avances recientes, como el Libro Verde de la Cohesión …
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…
Standardization of Road Danger Signs in the European Union
2015
The aim of this research is to find a solution for the standardization of road signs in the EU zone by a comparative analysis of different national sign systems to establish a common set from a single country. This work is based on the idea that road sign standardization might increase the safety level of transnational journeys and foster the relationships among the various members of the EU Community. This paper presents the outcome of the first step of the research, which focuses on the harmonization of danger signs. In more detail, a multicriteria approach is applied to rank 19 EU Member States on the basis of three main aspects: the installation cost of new signs, new sign learning issu…
FROM A COLLABORATIVE DESIGNING OF STORYTELLING TO A ROBOTIC AND VIRTUAL WORLD REPRESENTATION
2012
This paper presents an experiential learning lab focused on building a digital storytelling using both robots with LEGO Mindstorms and virtual worlds with Kodu Game Lab. The experiential laboratory (32 hours) has involved 33 children of secondary schools in a collaborative learning setting in formal (school labs) and informal learning context (external cultural association). In a first phase of the activity children used Lego Mindstorm robotic kits, assembling them and creating a physical environment (pasterboard arenas) where robots were programmed for moving and taking actions. In a second phase children were invited to transfer the physical world built for robots in a new digital storyte…
Rocking behaviour of multi-block columns subjected to pulse-typeground motion accelerations
2016
Ancient columns, made with a variety of materials such as marble, granite, stone or masonry are an important part of theEuropean cultural heritage. In particular columns of ancient temples in Greece and Sicily which support only the architrave arecharacterized by small axial load values. This feature together with the slenderness typical of these structural members clearlyhighlights as the evaluation of the rocking behaviour is a key aspect of their safety assessment and maintenance. It has to be notedthat the rocking response of rectangular cross-sectional columns modelled as monolithic rigid elements, has been widely investigatedsince the first theoretical study carried out by Housner (19…
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…