We study the effects of proximity in the interconnections between Internet providers participating at the three main Italian Internet Exchange Points. We find that geographical proximity plays a role in driving Internet Providers’ interconnection, positively affecting the likelihood of an…

Heterogeneous azeotropic distillation is a widely used technique to separate binary azeotropic mixtures into their components. One of its most important applications is the dehydration of ethanol, which is blended with gasoline to obtain automobile fuel. Among all the compounds…

Design and optimization of distillation columns for ethanol dehydration, using a hydrocarbon as entrainer, implies a good knowledge of vapor-liquid (VLE), liquid-liquid (LLE) and vapor-liquid-liquid equilibrium (VLLE). Chemical process simulation programs always require the use of a thermodynamic model that…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

There has been a lot of research addressing the relationship between Information Technology (IT) investments and productivity. Most of the work has been based on firm-level metrics such as total IT investment. We present what we believe is one of…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge to solve difficult problems. This proposal explains…

The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge to solve difficult problems. This proposal explains…

Designed to provide an introductory grounding in Typography, The Complete Typographer teaches the essentials for the effective use of type - technical expertise and historical knowledge, an understanding of the functional and aesthetic qualities of different typefaces, and the organization…