Search results for "Programming"
showing 10 items of 3090 documents
An empirical study of performance using Clone & Own and Software Product Lines in an industrial context
2021
Abstract Context: Clone and Own (CaO) is a widespread approach to generate new software products from existing software products by adding small changes. The Software Product Line (SPL) approach addresses the development of families of products with similar features, moving away from the production of isolated products. Despite the popularity of both approaches, no experiment has yet compared them directly. Objective: The goal of this paper is to know the different performances of software engineers in the software products development process using two different approaches (SPL and CaO). Method: We conducted an experiment in the induction hobs software environment with software engineers. …
Activities with Educational Robotics: Research Model and Tools for Evaluation of Progress
2019
The use of robots in the learning process has been popular since S. Papert developed his LOGO Turtle idea and argued that students can construct their own knowledge, test their constructive solutions and be motivated to learn if they use robotics in the learning process. Today, the idea of using elements of robotics in the learning process is no longer new and innovative but there are still elements that can be developed and issues that should be discussed. In this chapter, the authors provide the research model and five research tools (structured observation protocol, evaluation of the possible risks of early school leaving to be filled in by teachers before and after activities, students’…
Rigal — a programming language for compiler writing
2005
A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.
Using Induced Ordered Weighted Averaging (IOWA) Operators for Aggregation in Cross-Efficiency Evaluations
2014
This paper proposes an enhancement of the cross-efficiency evaluation through the aggregation of cross-efficiencies by using a particular type of induced ordered weighted averaging IOWA operator. The use of a weighted average of cross-efficiencies for the calculation of the cross-efficiency scores, instead of the usual arithmetic mean, allows us to introduce some flexibility into the analysis. In particular, the main purpose of the approach we present is to provide aggregation weights that reflect the decision maker DM preferences regarding the relative importance that should be attached to the cross-efficiencies provided by the different decision-making units. To do it, an ordering is to b…
The character and origin of the manuscripts in the present edition
1995
In the following I try to provide the reader with all the details needed to insert the Godel essays appearing here in the broader context of the rest of his unpublished work, as well as everything about my personal work on them. I start with a short description of what can be found in the Godel Nachlass in Princeton, USA, by referring to the catalogue prepared by John Dawson. Then I attempt to justify the particular selection I made of the manuscripts which I finally decided to study, reconstruct and publish. Such an explanation seems to be advisable given the great amount of Godel’s material unpublished but still extant. Also, I describe some of the historical details relevant to understan…
Field testing of repurposed electric vehicle batteries for price-driven grid balancing
2019
Abstract As electric cars become more widespread, the disposal and recycling of used batteries will become an important challenge. Typically, vehicle batteries are replaced if their capacity drops to 70–80% of initial capacity. However, they may still be useful for stationary applications. In this paper, results from a field test of a molten salt high-temperature electric vehicle battery repurposed as stationary storage for grid balancing are presented. In a previous study, we have shown that a mixed integer linear programming control strategy driven by a spot-market price for electricity is best suited for an implementation on hardware with limited computational resources. A 14-day experim…
Helical Shift Mechanics of Rubber V-Belt Variators
2011
A very common configuration of V-belt variators for motorcycles considers the correction of the belt tensioning depending on the resistant torque by means of suitable helical-shaped tracks allowing the driven half-pulleys to close/open. The theoretical model for belt-pulley coupling is rather complex for this configuration, where one half-pulley may run in advance and the other one behind with respect to the belt, and requires the repeated numerical solution of a strongly nonlinear differential system by a sort of shooting technique, until all the operating conditions are fulfilled (angular contact extent, torque, and axial force). After solving the full equations, the present study develop…
Economic Robustness Analysis of Adaptive Chart Schemes for Monitoring the Total Nonconformities Number in Inspection Units
2015
In recent years, a variety of enhanced schemes for the c chart have been developed aimed at the effectiveness improving of the related statistical process control (SPC) procedures. However, the performance of such chart schemes can be very sensitive to values assumed for some operating and cost parameters, in particular to the considered process shift magnitude arising from out-of-control conditions. In such a circumstance, the effectiveness of such chart schemes can be subjected to substantial reductions when they are implemented in operative contexts given that, in practice, such value is unknown and it can be very difficult to accurately estimate. For this reason, in the present paper i…
Computer-assisted preparation in conference interpreting
2017
Preparation has been proposed in the literature as one of the most important phases of an interpreting assignment, especially if the subject is highly specialised. Preparing an assignment in advance aims at bridging the linguistic and extra-linguistic gap between conference participants and interpreters and at reducing the cognitive load during interpretation. For these reasons it is considered crucial in ensuring higher interpreting quality. Yet, preparation is generally time-consuming and interpreters may often experience the feeling of not knowing exactly how to perform this task efficiently. Information technology could change this. Even though the first computer-assisted interpreting s…
Real-time data processing in the ALICE High Level Trigger at the LHC
2019
At the Large Hadron Collider at CERN in Geneva, Switzerland, atomic nuclei are collided at ultra-relativistic energies. Many final-state particles are produced in each collision and their properties are measured by the ALICE detector. The detector signals induced by the produced particles are digitized leading to data rates that are in excess of 48 GB/$s$. The ALICE High Level Trigger (HLT) system pioneered the use of FPGA- and GPU-based algorithms to reconstruct charged-particle trajectories and reduce the data size in real time. The results of the reconstruction of the collision events, available online, are used for high level data quality and detector-performance monitoring and real-tim…