Search results for " Program"

LA NARRAZIONE DEI PROCESSI DI RIGENERAZIONE URBANA IN FRANCIA. IL CASO DEL PNRU

K-12 game programming course concept using textual programming

2011

Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…

A framework for evaluating student interaction with automatically assessed exercises

2016

Automatic assessment has become a widely used technique in programming courses. Even though modern techniques can practically ensure functional correctness of student solutions, it is less clear how to promote quality interaction between students and the automatic assessment systems. In this article we propose a simple analytical framework for studying student interaction with the automatic assessment systems and use it to study our functional programming course.

Towards CNC Programming Using Haskell

2004

Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.

MLOG: a strongly typed confluent functional language with logical variables

1994

Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…

Making teaching of programming learning-oriented and learner-directed

2011

Programming education has been traditionally realized in the form of lecturing, but other approaches are under discussion. These emphasize active participation on the part of students, and, as a research activity, consider pedagogic questions holistically. We join this discussion by stating a course design in which we promote a learning-oriented study culture where learning should not be characterized principally as the task of meeting some predefined completion requirements. Moreover, we want our course to be learner-directed meaning that students should take control over their own learning process. Grounded on these goals, this discussion paper gives us a starting point for a subsequent a…

The iconic interface for the PIctorial C language

2003

Iconic environments intend to provide expressive tools to implement, to debug and to execute programs. Moreover its pictorial constructs guide the user to design algorithms in an interactive fashion. Visual interfaces are especially required whenever programs run on an heterogeneous and reconfigurable multiprocessor system oriented to image analysis. Pictorial tools help the user to control the scope of variables, and the distribution of the tasks into the processors. In this paper, the general design, the visual-syntax, and the implementation of the first prototype of an iconic user interface for the PIctorial C Language (PICL) are described. >

An object-oriented development platform for transport layer protocols

2002

Transport layer protocols have become a necessary communication element for new and classical real-time applications. The implementation of these protocols has never been structured and the designers of transport layer protocols have always developed without following any pattern. The library we have designed tries to avoid this. We propose a C++ library which could be used to develop transport layer protocols, considering every generic element inside a protocol as an object. At the end we apply the library to a well known transport layer protocol known as SNR.

Systematic review of aquatic physical exercise programs on functional fitness in older adults

2021

The practice of physical exercise is recommended in the prevention of the deterioration of neuromuscular functions in aging. The objectives of this systematic review were to describe the protocols used and the functional fitness indicators evaluated in aquatic exercise programs in adults aged 50 to 80 years. The Pubmed database was used. The keywords were: 1) Physical exercise program or protocols or duration or type of exercise or aquatic exercise, frequency or intensity or indicators; 2) Adults or older adults; 3) Training or indicators, functional fitness, physical fitness. The search strategy considered the components of the Population, Interventions, Comparators, Outcomes, and Study de…

Effect of the MobilityWOD training program on functional movement patterns related to the risk of injury in CrossFit practitioners

2020

Background: CrossFit is an increasingly popular form of physical activity. However, due to its specificity and high intensity, it carries with it a considerable risk of injuries. So it is important to know if some specific training including exercises derived from physiotherapy and functional training (MobilityWOD) can reduce the risk of injury. Objective: The aim of the study is to assess the effect of MobilityWOD training program on functional movement patterns related to the risk of injury in adult male CrossFit practitioners. Methods: The study included 30 men aged 20-35 years old who practice CrossFit training five timeper week. Initially, a functional evaluation was performed using th…