1,721,071 research outputs found

    An approach to the description of formal languages' semantics

    Full text link
    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

    No full text
    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

    Full text link
    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

    No full text
    QUADERNI DEL DIPARTIMENTO DI SCIENZE ECONOMICHE, MATEMATICHE E STATISTICHE DELL'UNIVERSITA' DI FOGGI

    Un approccio formale alla descrizione della semantica dei linguaggi di programmazione

    No full text
    QUADERNI DEL DIPARTIMENTO DI SCIENZE ECONOMICHE, MATEMATICHE E STATISTICHE DELL'UNIVERSITA' DI FOGGI

    The Design and Development of Mobile Ad Hoc Networks

    No full text
    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

    No full text
    Collana interdipartimentale di Studi Economici - Università di Foggi

    A data set generation algorithm in combinatorial auctions

    No full text
    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
    corecore