this study investigates the process of dehumanization caused by a bizarre relationship between man and the machine. in the area of italian literature there are very few novels that take into consideration the heady world of industrialization. luigi pirandello (1867-1936) one of the most famous european playwrights, novelist and short story writer places accurate emphasis on this problem. he cho...

The Incredible Proof Machine is an easy and fun to use program to conduct formal proofs. It employs a novel, intuitive proof representation based on port graphs, which is akin to, but even more natural than, natural deduction. In particular, we describe a way to determine the scope of local assumptions and variables implicitly. Our practical classroom experience backs these claims.

We describe two methods relevant to multilingual machine translation systems, which can be used to port linguistic data (grammars, lexicons and transfer rules) between systems used for processing related languages. The methods are fully implemented within the Spoken Language Translator system, and were used to create versions of the system for two new language pairs using only a month of expert...

We started to implement SMP support for the OpenBSD/sgi port and selected the SGI Octane as the first target machine. We are now at the point where we have almost finished, except for the implementation of some non-critical features. SMP support is now operational on SGI Octane systems and the code has been merged into the OpenBSD tree.

By mapping the classical c-number transformation in a coherent state basis onto quantum mechanical operators of Fock space and using the technique of integration within an ordered product of operators, we give a systematic prescription for obtaining Hamilton operators for N -port linear optical networks. This prescription may be extended to some nonlinear optical network systems.

A subcutaneous infusion port was implanted in a 34-year-old patient with frequent and severe asthma attacks to ensure prompt and reliable venous access. Difficulties with peripheral venous access were possible cofactors necessitating mechanical ventilation on two occasions before this implantation. The method described is simple and seems useful for asthmatics in need of frequent parenteral med...

Gears, Bearings, Springs, Fasteners etc. are some of the typical machine elements used to build machines and mechanical systems. The function of these machine elements is to transmit motion, to support moving members, to store energy, to join two components etc. Carbon nanotubes can be used as these machine elements when building nano-machines or nano-mechanical systems. In this paper we review...

We introduce SPMT, a new class of statistical Translation Models that use Syntactified target language Phrases. The SPMT models outperform a state of the art phrase-based baseline model by 2.64 Bleu points on the NIST 2003 Chinese-English test corpus and 0.28 points on a humanbased quality metric that ranks translations on a scale from 1 to 5.