Search results for "PROGRAM"

The University of Valencia’s computerized word pool

1988

This paper presents the University of Valencia’s computerized word pool. This is a database that includes 16,109 Spanish words, together with 11 psychological variables for limited groups of items. The purpose behind the creation of this database was to have available a large quantity of verbal stimuli in a well-controlled system, ready for automatic selection. The description includes a summary of statistics on each of the 11 psychological variables, together with a correlational and factor analysis of them. This statistical analysis produces results close to those obtained for equivalent English material.

Some applications of a theorem of Shirshov to language theory

1983

Some applications of a theorem of Shirshov to language theory are given: characterization of regular languages, characterization of bounded languages, and a sufficient condition for a language to be Parikh-bounded.

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 …

Basic Concepts of Power Distribution Network Design for High-Speed Transmission

2011

This paper tries to gather the Power Distribution Network (PDN) techniques used to preserve power integrity in PCB designs when transmitting data rates over 6 Gbps using the newest commercial optical modules. The PDN design described allows for proper impedance control of the power supply with the appropriate choice of the number, location and values of capacitors. This method needs the knowledge of the electrical RLC model of the regulators, copper planes, capacitors and vias used in the PCB. A particular case of PDN design will be presented for a module using one SNAP12 optical transmitter and one receiver connected to an Altera Stratix II GX FPGA. This board is designed to work with data…

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’…

Investigation of Latvian Language Program Management Models in Major Worldwide Universities

2019

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…