In the last ten years there has been a steady interest in optimal reduction of -terms (or, more g... more In the last ten years there has been a steady interest in optimal reduction of -terms (or, more generally, of functional programs). The very story started, in fact, more than twenty
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms and to new non-trivial problems. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context (whether physical or “virtual” or a mixture of both) plays a fundamental role, since it influences the computational capabilities of the devices that are in it. The present work directly addresses this problem proposing MoBe, a novel architecture for sending, in push mode, mobile applications (that we call MoBeLets) to the mobile devices (cellular phones, smartphones, PDAs, etc.) on the basis of the current context the user is in. The context is determined by both an ad-hoc MoBe infrastructure and data from sensors on the mobile device (or in its surroun...
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms, where concurrent entities, moving from one location to another, exchange data and cooperate towards a common goal. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context plays a fundamental role, since it influences the computational capabilities of the devices that are in it. The present work directly addresses this problem proposing MoBe, a novel architecture for sending, in push mode, mobile applications (that we call MoBeLets) to the mobile devices on the basis of the current context the user is in. The latter is determined by both an ad-hoc MoBe infrastructure and data from sensors on the mobile device (or in its surroundings).
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms, where concurrent entities, moving from one location to another, exchange data and cooperate to- wards a common goal. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context plays a fundamental role, since it influences the computational capabilities of the devices that are in it. The present work directly addresses this problem proposing MoBe, a novel architecture for sending, in push mode, mo- bile applications (that we call MoBeLets) to the mobile devices on the basis of the current context the user is in. The latter is determined by both an ad-hoc MoBe infra- structure and data from sensors on the mobile device (or in its surroundings).
Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computa- tional pow... more Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computa- tional power of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of -calculus EAL formulas as types. This problem, re- stricted to the propositional fragment of EAL, is proved to be decidable, and an algorithm is shown,
We discuss how the wireless-mobile revolution will change the notion of relevance in information ... more We discuss how the wireless-mobile revolution will change the notion of relevance in information retrieval. We distinguish between classical relevance (e-relevance) and relevance for wireless/mobile information retrieval (w-relevance). Starting from a four- dimensional model of e-relevance previously developed by one of us, we discuss how, in an ubiquitous computing environment, much more information will be available, and how it is therefore likely that w-relevance will be more important than e-relevance to survive information overload. The similarities and differences between e-relevance and w- relevance are described, and we show that there are more differences than one might think at first. We specifically analyze the role that beyond-topical criteria have in the w-relevance case, and we show some examples to clarify and support our position.
Ad Anna, che conosce i metodi e capisce le eccezioni ea Giorgia, che è ancora in compilazione, ma... more Ad Anna, che conosce i metodi e capisce le eccezioni ea Giorgia, che è ancora in compilazione, ma che presto sarà in esecuzione. A Federico, per tutto quello che mi stai insegnando. ... Indice Prefazione ix Premessa xi Gli esercizi 1 Capitolo 1 I primi passi 3 1.1 I nostri primi programmi in Java 3 1.2 I mattoni di base dei programmi Java 6 1.2.1 I messaggi di errore del compilatore 6 1.2.2 I tipi di dato primitivi 7 1.2.3 I letterali e le sequenze di escape 8 1.2.4 Gli operatori fra valori interi 8 1.2.5 L'operatore di modulo "%" 9 1.2.6 Il tipo di dato ...
Why functional languages did not meet with success in real world applications? Probably there are... more Why functional languages did not meet with success in real world applications? Probably there are two motivations: first actual programmers are used to imperative languages and the new comer is not so easy to learn and master. However, functional programs are often easier to check with respect to correctness and algebraic properties and this is an added value in the development of large software projects. Second, and more important, the available implementations of functional languages are not more efficient than the ...
AICA: Associazione Italiana per l’Informatica e il Calcolo Distribuito, Aug 28, 2006
The process of building and managing digital content (e- content) archives is usually based on an... more The process of building and managing digital content (e- content) archives is usually based on an approach that first analyzes the specificity of data, then projects the, usually relational, data base, and finally designs the user interfaces and the set of features of the system. Hence the traditional approach tends to the implementation of specific softwares for every different project. Moreover, traditional e-content archives are hardly reusable for different projects with dif- ferent digital material. In this paper we present a digital platform for the easy, efficient and flexible generation of digital archives. We pro- pose a general tool that can be utilized for a large class of e-content projects with various typology of digital content and that, at the same time, can be easily personalized.
Proceedings of CIR 2005-International Workshop on Context-Based Information Retrieval, CONTEXT, 2005
Abstract. Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones... more Abstract. Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms and to new non-trivial problems. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context (whether physical or “virtual” or a mixture of both) plays a fundamental role, since it ...
Proc. of 1st int. workshop on exploiting context histories in smart environments (ECHISE 2005), 2005
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms, where concurrent entities, moving from one location to another, exchange data and cooperate towards a common goal. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context plays a ...
Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computational power... more Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computational power of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of λ-calculus EAL formulas as types. This problem, restricted to the propositional fragment of EAL, is proved to be decidable, and an algorithm is shown, building, for every λ-term, either a negative answer or a finite set of type schemata, from which all and only its typings can be derived, through suitable operations.
We propose a type inference algorithm for lambda terms in elementary affine logic (EAL). The algo... more We propose a type inference algorithm for lambda terms in elementary affine logic (EAL). The algorithm decorates the syntax tree of a simple typed lambda term and collects a set of linear constraints. The result is a parametric elementary type that can be instantiated with any solution of the set of collected constraints.We point out that the typeability of lambda
Abstract Virtual Reality (VR) interfaces to e-commerce sites promise to make the e-shopping exper... more Abstract Virtual Reality (VR) interfaces to e-commerce sites promise to make the e-shopping experience more natural, attractive, and fun for buyers. In this paper, we first briefly introduce the navigation problem, then we propose a novel navigation aid to help customers of VR stores in finding products. The proposed aid is based on 3D animated products which guide the customer towards her/his destination, and can also take into account the merchandising strategy of the store.
Nowadays, the mobile computing paradigm and the widespread diffusion of mobile devices are quickl... more Nowadays, the mobile computing paradigm and the widespread diffusion of mobile devices are quickly changing and replacing many common assumptions about software architectures and interaction/communication models. The environment, in particular, or more generally, the so-called user context is claiming a central role in everyday's use of cellular phones, PDAs, etc. This is due to the huge amount of data “suggested” by the surrounding environment that can be helpful in many common tasks.
In the last ten years there has been a steady interest in optimal reduction of -terms (or, more g... more In the last ten years there has been a steady interest in optimal reduction of -terms (or, more generally, of functional programs). The very story started, in fact, more than twenty
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms and to new non-trivial problems. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context (whether physical or “virtual” or a mixture of both) plays a fundamental role, since it influences the computational capabilities of the devices that are in it. The present work directly addresses this problem proposing MoBe, a novel architecture for sending, in push mode, mobile applications (that we call MoBeLets) to the mobile devices (cellular phones, smartphones, PDAs, etc.) on the basis of the current context the user is in. The context is determined by both an ad-hoc MoBe infrastructure and data from sensors on the mobile device (or in its surroun...
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms, where concurrent entities, moving from one location to another, exchange data and cooperate towards a common goal. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context plays a fundamental role, since it influences the computational capabilities of the devices that are in it. The present work directly addresses this problem proposing MoBe, a novel architecture for sending, in push mode, mobile applications (that we call MoBeLets) to the mobile devices on the basis of the current context the user is in. The latter is determined by both an ad-hoc MoBe infrastructure and data from sensors on the mobile device (or in its surroundings).
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms, where concurrent entities, moving from one location to another, exchange data and cooperate to- wards a common goal. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context plays a fundamental role, since it influences the computational capabilities of the devices that are in it. The present work directly addresses this problem proposing MoBe, a novel architecture for sending, in push mode, mo- bile applications (that we call MoBeLets) to the mobile devices on the basis of the current context the user is in. The latter is determined by both an ad-hoc MoBe infra- structure and data from sensors on the mobile device (or in its surroundings).
Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computa- tional pow... more Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computa- tional power of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of -calculus EAL formulas as types. This problem, re- stricted to the propositional fragment of EAL, is proved to be decidable, and an algorithm is shown,
We discuss how the wireless-mobile revolution will change the notion of relevance in information ... more We discuss how the wireless-mobile revolution will change the notion of relevance in information retrieval. We distinguish between classical relevance (e-relevance) and relevance for wireless/mobile information retrieval (w-relevance). Starting from a four- dimensional model of e-relevance previously developed by one of us, we discuss how, in an ubiquitous computing environment, much more information will be available, and how it is therefore likely that w-relevance will be more important than e-relevance to survive information overload. The similarities and differences between e-relevance and w- relevance are described, and we show that there are more differences than one might think at first. We specifically analyze the role that beyond-topical criteria have in the w-relevance case, and we show some examples to clarify and support our position.
Ad Anna, che conosce i metodi e capisce le eccezioni ea Giorgia, che è ancora in compilazione, ma... more Ad Anna, che conosce i metodi e capisce le eccezioni ea Giorgia, che è ancora in compilazione, ma che presto sarà in esecuzione. A Federico, per tutto quello che mi stai insegnando. ... Indice Prefazione ix Premessa xi Gli esercizi 1 Capitolo 1 I primi passi 3 1.1 I nostri primi programmi in Java 3 1.2 I mattoni di base dei programmi Java 6 1.2.1 I messaggi di errore del compilatore 6 1.2.2 I tipi di dato primitivi 7 1.2.3 I letterali e le sequenze di escape 8 1.2.4 Gli operatori fra valori interi 8 1.2.5 L'operatore di modulo "%" 9 1.2.6 Il tipo di dato ...
Why functional languages did not meet with success in real world applications? Probably there are... more Why functional languages did not meet with success in real world applications? Probably there are two motivations: first actual programmers are used to imperative languages and the new comer is not so easy to learn and master. However, functional programs are often easier to check with respect to correctness and algebraic properties and this is an added value in the development of large software projects. Second, and more important, the available implementations of functional languages are not more efficient than the ...
AICA: Associazione Italiana per l’Informatica e il Calcolo Distribuito, Aug 28, 2006
The process of building and managing digital content (e- content) archives is usually based on an... more The process of building and managing digital content (e- content) archives is usually based on an approach that first analyzes the specificity of data, then projects the, usually relational, data base, and finally designs the user interfaces and the set of features of the system. Hence the traditional approach tends to the implementation of specific softwares for every different project. Moreover, traditional e-content archives are hardly reusable for different projects with dif- ferent digital material. In this paper we present a digital platform for the easy, efficient and flexible generation of digital archives. We pro- pose a general tool that can be utilized for a large class of e-content projects with various typology of digital content and that, at the same time, can be easily personalized.
Proceedings of CIR 2005-International Workshop on Context-Based Information Retrieval, CONTEXT, 2005
Abstract. Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones... more Abstract. Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms and to new non-trivial problems. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context (whether physical or “virtual” or a mixture of both) plays a fundamental role, since it ...
Proc. of 1st int. workshop on exploiting context histories in smart environments (ECHISE 2005), 2005
Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), th... more Due to the appearance and widespread diffusion of new mobile devices (PDAs, smartphones etc.), the traditional notion of computing is quickly fading away, giving birth to new paradigms, where concurrent entities, moving from one location to another, exchange data and cooperate towards a common goal. Hence, the scientific community is searching for models, technologies, and architectures in order to suitably describe and guide the implementation of this new computing scenario. It is clear that the notion of context plays a ...
Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computational power... more Elementary Affine Logic (EAL) is a variant of Linear Logic characterizing the computational power of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of λ-calculus EAL formulas as types. This problem, restricted to the propositional fragment of EAL, is proved to be decidable, and an algorithm is shown, building, for every λ-term, either a negative answer or a finite set of type schemata, from which all and only its typings can be derived, through suitable operations.
We propose a type inference algorithm for lambda terms in elementary affine logic (EAL). The algo... more We propose a type inference algorithm for lambda terms in elementary affine logic (EAL). The algorithm decorates the syntax tree of a simple typed lambda term and collects a set of linear constraints. The result is a parametric elementary type that can be instantiated with any solution of the set of collected constraints.We point out that the typeability of lambda
Abstract Virtual Reality (VR) interfaces to e-commerce sites promise to make the e-shopping exper... more Abstract Virtual Reality (VR) interfaces to e-commerce sites promise to make the e-shopping experience more natural, attractive, and fun for buyers. In this paper, we first briefly introduce the navigation problem, then we propose a novel navigation aid to help customers of VR stores in finding products. The proposed aid is based on 3D animated products which guide the customer towards her/his destination, and can also take into account the merchandising strategy of the store.
Nowadays, the mobile computing paradigm and the widespread diffusion of mobile devices are quickl... more Nowadays, the mobile computing paradigm and the widespread diffusion of mobile devices are quickly changing and replacing many common assumptions about software architectures and interaction/communication models. The environment, in particular, or more generally, the so-called user context is claiming a central role in everyday's use of cellular phones, PDAs, etc. This is due to the huge amount of data “suggested” by the surrounding environment that can be helpful in many common tasks.
Uploads
Papers by Paolo Coppola