Search results for "programming."
showing 10 items of 3035 documents
A generalizability measure for program synthesis with genetic programming
2021
The generalizability of programs synthesized by genetic programming (GP) to unseen test cases is one of the main challenges of GP-based program synthesis. Recent work showed that increasing the amount of training data improves the generalizability of the programs synthesized by GP. However, generating training data is usually an expensive task as the output value for every training case must be calculated manually by the user. Therefore, this work suggests an approximation of the expected generalization ability of solution candidates found by GP. To obtain candidate solutions that all solve the training cases, but are structurally different, a GP run is not stopped after the first solution …
Flexibility Services in a Mediterranean Small Island to Minimize Costs and Emissions Related to Electricity Production from Fossil Fuels
2020
In last years, the energy efficiency in non-interconnected islands became an important topic, since the electricity production is often based on diesel generators, thus contributing to the global warming. Italian government recently emitted two decrees to promote the introduction of renewable energy technologies in 21 non-interconnected islands, both for electrical and thermal uses. In this paper, the economic and environmental feasibility of the introduction of renewable energies in the island of Pantelleria was assessed adopting an optimization approach. Furthermore, the flexibility provided from the local desalination plant and the domestic water heaters was evaluated. The final demands …
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…