A system of rules for transforming programs is described, with the in form recursion equations. An initially very simple, lucid, and hopefully correct program transformed into a more efficient one by altering structure. Illustrative examples transformations are given, tentative implementation described. Alternative structures shown, possible initial phase an automatic or semiautomatic program-manipulation indicated.

The aim of this article is to investigate the changes brought about by online 3D printing platforms in co-creation and user innovation. As doing so requires a thorough understanding level involvement productive processes clear view nature co-creative processes, provides ‘prosumption’ framework typology activities. Then, based on case studies 22 platforms, service-based taxonomy these constructed. are then matched role played regard various types activities and, consequently, how impacts

The functional or applicative languages have long been regarded as suitable vehicles for overcoming many of the problems involved in production and maintenance correct reliable software. However, their inherent inefficiences when run on conventional von Neumann style machines prevented widespread acceptance. With declining cost hardware increasing feasibility multi-processor architectures this position is changing, for, contrast to programs where it difficult detect those parts that may be...

Background Effective communication during a health crisis can ease public concerns and promote the adoption of important risk-mitigating behaviors. Public agencies leaders have served as primary communicators information related to COVID-19, key part their outreach has taken place on social media platforms. Objective This study examined content engagement COVID-19 tweets authored by Canadian decision makers. We propose ways for accounts adjust tweeting practices crises improve risk maximize...

The paper describes a system of rules for transforming programs, the programs being in form recursion equations. idea is to start with very simple, lucid and hopefully correct program, then transform it into more efficient one by altering structure. Illustrative examples program transformations are given, tentative implementation described. We hope throw some light on alternative structures also indicate possible initial phase an automatic or semi-automatic manipulation system.

In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as uniform mechanism for structured composition. our approach programs are constructed composing procedures in conventional base language set high-level, pre-defined, functional, computational forms known skeletons. The ability compose provides us with essential tools building further and more complex application-oriented specifying important aspects computation....

The move towards Service Grids, where services are composed to meet the requirements of a user community within constraints specified by resource provider, present many challenges service provision and description. To support our research activities in autonomous composition form Semantic Grid we describe adoption ICENI web enable interoperability with recently proposed Open Services Architecture.

In addition to customized products and services, personal data also enables personalized pricing. However, consumers are often unwilling accept being price discriminated for fear that they would end up paying more the same product or service. This article demonstrates by rewarding disclosing information it is possible achieve a situation where first-degree discrimination mutually advantageous both buyers sellers gain adopting such pricing model. The conditions required this happen...

The move towards Service Grids, where services are composed to meet the requirements of a user community within constraints specified by resource provider, present many challenges service provision and description. To support our research activities in autonomous composition form Semantic Grid we describe adoption ICENI web enable interoperability with recently proposed Open Services Architecture.