We give an introduction to normalization by evaluation and type-directed partial evaluation. We first present normalization by evaluation for a combinatory version of Gödel System T. Then we show normalization by evaluation for typed lambda calculus with β and η conversion. Finally, we introduce the notion of binding time, and explain the method of type-directed partial evaluation for a small P...

We present a method for summarizing document by creating a semantic graph of the original document and identifying the substructure of such a graph that can be used to extract sentences for a document summary. We start with deep syntactic analysis of the text and, for each sentence, extract logical form triples, subject–predicate–object. We then apply cross-sentence pronoun resolution, co-refer...

The question of God’s relationship with creation touches upon important contemporary issues with regard to science, interfaith dialogue, and contemporary philosophy. Using the fundamental and specifically Christian theological stance that begins from creatio ex nihilo, the author shows how Chiara Lubich, on the basis of her charism of unity, develops an original understanding of the event of cr...

This paper presents an automatic speech recognition (ASR) system for assisting meeting record creation of the National Congress of Japan. The system is designed to cope with spontaneous characteristics of meeting speech, as well as a variety of topics and speakers. For acoustic model, minimum phone error (MPE) training is applied with several normalization techniques. For language model, we hav...

this paper highlights the effect of silt content on cone tip resistance in loose silty sand. in this study, twenty-seven cone penetration tests are performed in saturated silty sand samples with several different silt contents ranging from 10 to 50 percent. the samples are consolidated at three overburden stresses including 100, 200 and 300 kpa. it is shown that, as the silt content increases, ...

autoimmune hepatitis is (aih) is a chronic hepatitis that occurs in children and adults of all ages. it is characterized by immunologic and autoimmune features, including circulating auto antibodies and high serum globulin concentrations. it was first described in the 1950s by term of chronic active hepatitis. it has 2 types with different auto antibodies. diagnosis is based upon serologic and ...

Objective: To align pharmacologic classes in ATC and MeSH with lexical and instance-based techniques. Methods: Lexical alignment: we map the names of ATC classes to MeSH through the UMLS, leveraging normalization and additional synonymy. Instance-based alignment: we associate ATC and MeSH classes through the drugs they share, using the Jaccard coefficient to measure class-class similarity. We u...

Form factors for P → P and P → V transitions due to the valence-quark configuration are calculated directly in the physical time-like range of momentum transfer within the light-front quark model. It is pointed out that the Bauer-Stech-Wirbel type of light-front wave function fails to give a correct normalization for the IsgurWise function at zero recoil in P → V transition. Some of the P → V f...

Previous work in our group has described a face recognition technology based on Gabor wavelets based representation and Elastic Graph Matching..4] We here describe a summary of our eeorts towards the Face Recognition Technology (FERET) Phase III test held in February 1997. One of our goals in this test was to improve recognition performance for duplicate facial images. We proposed a model of cu...

A main field in biomedical optics research is diffuse optical tomography, where intensity variations of the transmitted light traversing through tissue are detected. Mathematical models and reconstruction algorithms based on finite element methods and Monte Carlo simulations describe the light transport inside the tissue and determine differences in absorption and scattering coefficients. Preci...