1,721,071 research outputs found
An approach to the description of formal languages' semantics
The creation of new programming languages, capable of fully deploying the new technological innovations and operating environments, requires more and more accurate and affordable analysis. In this study, a technique for the generation of formal models for the specification of the semantics of programming languages is presented. Tools are used newer than the semantics of Kleene - such as the Scott’s theory of the cathegories and mathematical theory of the computation, which are here outlined and motivated
Solving scheduling problems with a simulated-annealing algorithm
Issues related to the resolution of scheduling problems tend to be best faced with the approximation approach given by “simulated annealing”. This is a method which, in analogy to the physical systems’ behaviour during their cooling process, together with its main variables (freezing, temperature, cooling, neighbourhoods) well models the environment and the choices made in the definition of a good algorithm that efficiently solves the scheduling problem
The Forex market in practice: a computing approach for automated trading strategies
Prediction of various market indicators is an important issue in finance. This can be accomplished through computer models and related applications. It turned out that artificial models have both great advantages and some limitations for learning the data patterns and predicting future values of the financial phenomenon under analysis. In this paper we analyze the particular financial market called Forex and the way computing models are used to automate trading strategies by making affordable predictions on the evolution of exchange rates between currencies
Reti Neurali Artificiali: Teoria ed Applicazioni
QUADERNI DEL DIPARTIMENTO DI SCIENZE ECONOMICHE, MATEMATICHE E STATISTICHE DELL'UNIVERSITA' DI FOGGI
Un approccio formale alla descrizione della semantica dei linguaggi di programmazione
QUADERNI DEL DIPARTIMENTO DI SCIENZE ECONOMICHE, MATEMATICHE E STATISTICHE DELL'UNIVERSITA' DI FOGGI
The Design and Development of Mobile Ad Hoc Networks
Quaderni del Dipartimento di Scienze Economiche, Matematiche e Statistiche – Universita' degli Studi di Foggi
A Game Theoretic Approach to Computer Science: Survey and Research Directions
Collana interdipartimentale di Studi Economici - Università di Foggi
A data set generation algorithm in combinatorial auctions
The generation of realistic data sets in a Combinatorial Auction may be a challenging problem. Well- formed data sets are very useful in the evaluation of algorithms trying to solve the winner determination problem. In this paper a general data set generation scheme is presented, both from an algorithmic and economic point of view. As a case study, a possible auction setting is discussed where the goods on sale are connections between points in space
- …
