Mobile information technologies have revolutionized governments and society. through them, people can communicate, have access to information, or make demands. Mobile government (m-Government) has begun to leverage th...
详细信息
Business models for open data have emerged in response to the economic opportunities presented by the increasing availability of open data. However, scholarly efforts providing elaborations, rigorous analysis and comp...
详细信息
Generic programming (GP) is a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes. Over the years, several different approache...
详细信息
It is not easy for a growing artist to find his poetry. Smart materials could be an answer for those who are looking for new forms of art. Smart Material Interfaces (SMI) define a new interaction paradigm based on dyn...
详细信息
ISBN:
(纸本)9781450327756
It is not easy for a growing artist to find his poetry. Smart materials could be an answer for those who are looking for new forms of art. Smart Material Interfaces (SMI) define a new interaction paradigm based on dynamic modifications of the innovative materials' properties. SMI can be applied in different domains and used for different purposes;functional, communicative and creative. In this paper we focus on experimenting in the art and creative communication domain. In particular we describe the results of a workshop held with15 students of the Fine Arts Academy in Venice who learned how to make and program SMI and took advantage of their new skills to design a variety of interesting creative artifacts.
We investigate the potential of logic programming (LP) to model morality aspects studied in philosophy and psychology. We do so by identifying three morality aspects that appear in our view amenable to computational m...
详细信息
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. the description of the small-step operational semantics ...
详细信息
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. the description of the small-step operational semantics is precise and explicit, and employs an early abort of conflicting transactions. A proof of correctness of the implementation is given for a contextual semantics with may- and should-convergence. this implies that our implementation is a correct evaluator for an abstract specification equipped with a bigstep semantics.
We present a novel set of meta-programming primitives for use in a dependently-typed functional language. the types of our meta-programs provide strong and precise guarantees about their termination, correctness and c...
详细信息
We present a novel set of meta-programming primitives for use in a dependently-typed functional language. the types of our meta-programs provide strong and precise guarantees about their termination, correctness and completeness. Our system supports typesafe construction and analysis of terms, types and typing contexts. Unlike alternative approaches, they are written in the same style as normal programs and use the language's standard functional computational model. We formalise the new meta-programming primitives, implement them as an extension of Agda, and provide evidence of usefulness by means of two compelling applications in the fields of datatype-generic programming and proof tactics.
the proceedings contain 62 papers. the special focus in this conference is on Information Processing and Management of Uncertainty in Knowledge-based Systems. the topics include: Supplier selection using interpolative...
ISBN:
(纸本)9783319088549
the proceedings contain 62 papers. the special focus in this conference is on Information Processing and Management of Uncertainty in Knowledge-based Systems. the topics include: Supplier selection using interpolative Boolean algebra and logic aggregation;finitely additive probability measures in automated medical diagnostics;structural functionality as a fundamental property of Boolean algebra and base for its real-valued realizations;generating events for dynamic social network simulations;a model for preserving privacy in recommendation systems;classification of message spreading in a heterogeneous social network;measures of semantic similarity of nodes in a social network;imitation and the generative mind;3D-posture recognition using joint angle representation;analogy and metaphors in images;fuzzy transform theory in the view of image registration application;improved f-transform based image fusion;multi-valued fuzzy spaces for color representation;a new edge detector based on uninorms;context-aware distance semantics for inconsistent database systems;a fuzzy extension of data exchange;fuzzy relational compositions based on generalized quantifiers;a functional approach to cardinality of finite fuzzy sets;piecewise linear approximation of fuzzy numbers preserving the support and core;characterization of the ranking indices of triangular fuzzy numbers;new Pareto approach for ranking triangular fuzzy numbers;on combining regression analysis and constraint programming;design of a fuzzy affective agent based on typicality degrees of physiological signals;analogical proportions and square of oppositions;towards a transparent deliberation protocol inspired from supply chain collaborative planning;encoding argument graphs in logic;on general properties of intermediate quantifiers;a note on drastic product logic;accelerating effect of attribute variations;gradual linguistic summaries;a new model of efficiency-oriented group decision and consensus reaching support in a fu
this pearl presents a novel technique for constructing a first-order syntax tree directly from a higher-order interface. We exploit circular programming to generate names for new variables, resulting in a simple yet e...
详细信息
this pearl presents a novel technique for constructing a first-order syntax tree directly from a higher-order interface. We exploit circular programming to generate names for new variables, resulting in a simple yet efficient method. Our motivating application is the design of embedded languages supporting variable binding, where it is convenient to use higher-order syntax when constructing programs, but first-order syntax when processing or transforming programs.
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. the system is based on the portable Gambit Scheme programming language and provides a ...
详细信息
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. the system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces running on embedded platforms. Real world applications of this framework for mobile diagnostics, telemonitoring and automated drug infusions are reported. the source code for the core framework is open source and available at: https://***/part-cw/lambdanative.
暂无评论