Natural Language Input for a Computer Problem Solving System

The STUDENT problem solving system, programmed in LISP, accepts as input a comfortable but restricted subset of English which can express a wide variety of algebra story problems. STUDENT finds the solution to a large class of these problems. STUDENT can utilize a store of global information not specific to any one problem, and may make assumptions about the interpretation of ambiguities in the wording of the problem being solved. If it uses such information or makes any assumptions, STUDENT communicates this fact to the user. The thesis includes a summary of other English language questions-answering systems. All these systems, and STUDENT, are evaluated according to four standard criteria. The linguistic analysis in STUDENT is a first approximation to the analytic portion of a semantic theory of discourse outlined in the thesis. STUDENT finds the set of kernel sentences which are the base of the input discourse, and transforms this sequence of kernel sentences into a set of simultaneous equations which form the semantic base of the STUDENT system. STUDENT then tries to solve this set of equations for the values of requested unknowns. If it is successful it gives the answers in English. If not, STUDENT asks the user for more information, and indicates the nature of the desired information. The STUDENT system is a first step toward natural language communication with computers. Further work on the semantic theory proposed should result in much more sophisticated systems.

SIR: A Computer Program for Semantic Information Retrieval

SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability to "understand" semantic information. SIR's semantic and deductive ability is based on the construction of an internal model, which uses word associations and property lists, for the relational information normally conveyed in conversational statements. A format-matching procedure extracts semantic content from English sentences. If an input sentence is declarative, the system adds appropriate information to the model. If an input sentence is a question, the system searches the model until it either finds the answer or determines why it cannot find the answer. In all cases SIR reports its conclusions. The system has some capacity to recognize exceptions to general rules, resolve certain semantic ambiguities, and modify its model structure in order to save computer memory space. Judging from its conversational ability, SIR, is a first step toward intelligent man-machine communication. The author proposes a next step by describing how to construct a more general system which is less complex and yet more powerful than SIR. This proposed system contains a generalized version of the SIR model, a formal logical system called SIR1, and a computer program for testing the truth of SIR1 statements with respect to the generalized model by using partial proof procedures in the predicate calculus. The thesis also describes the formal properties of SIR1 and how they relate to the logical structure of SIR.

Determining the Scope of English Quantifiers

How can one represent the meaning of English sentences in a formal logical notation such that the translation of English into this logical form is simple and general? This report answers this question for a particular kind of meaning, namely quantifier scope, and for a particular part of the translation, namely the syntactic influence on the translation. Rules are presented which predict, for example, that the sentence: Everyone in this room speaks at least two languages. has the quantifier scope AE in standard predicate calculus, while the sentence: At lease two languages are spoken by everyone in this room. has the quantifier scope EA. Three different logical forms are presented, and their translation rules are examined. One of the logical forms is predicate calculus. The translation rules for it were developed by Robert May (May 19 77). The other two logical forms are Skolem form and a simple computer programming language. The translation rules for these two logical forms are new. All three sets of translation rules are shown to be general, in the sense that the same rules express the constraints that syntax imposes on certain other linguistic phenomena. For example, the rules that constrain the translation into Skolem form are shown to constrain definite np anaphora as well. A large body of carefully collected data is presented, and used to assess the empirical accuracy of each of the theories. None of the three theories is vastly superior to the others. However, the report concludes by suggesting that a combination of the two newer theories would have the greatest generality and the highest empirical accuracy.

Modification of a poly(methyl methacrylate) injection-molded microchip and its use for high performance analysis of DNA

Inexpensive and permanently modified poly(methyl methacrylate)(PMMA) microchips were fabricated by an injection-molding process. A novel sealing method for plastic microchips at room temperature was introduced. Run-to-run and chip-to-chip reproducibility was good, with relative standard deviation values between 1-3% for the run-to-run and less than 2.1% for the chip-to-chip comparisons. Acrylonitrile-butadiene-styrene (ABS) was used as an additive in PMMA substrates. The proportions of PMMA and ABS were optimized. ABS may be considered as a modifier, which obviously improved some characteristics of the microchip, such as the hydrophilicity and the electro-osmotic flow (EOF). The detection limit of Rhodamine 6G dye for the modified microchip on the home-made microchip analyzer showed a dramatic 100-fold improvement over that for the unmodified PMMA chip. A detection limit of the order of 10(-20) mole has been achieved for each injected phiX-174/HaeIII DNA fragment with the baseline separation between 271 and 281 bp, and fast separation of 11 DNA restriction fragments within 180 seconds. Analysis of a PCR product from the tobacco ACT gene was performed on the modified microchip as an application example.

Characterizations and activities of the nano-sized Ni/Al2O3 and Ni/La-Al2O3 catalysts for NH3 decomposition

A series of nano-sized Ni/Al2O3 and Ni/La-Al2O3 catalysts that possess high activities for NH3 decomposition have been successfully synthesized by a coprecipitation method. The catalytic performance was investigated under the atmospheric conditions and a significant enhancement in the activity after the introduction of La was observed. Aiming to study the influence of La promoter on the physicochemical properties, we characterized the catalysts by N-2 adsorption/desorption, XRD, H-2-TPR, chemisorption and TEM techniques. Physisorption results suggested a high specific surface area and XRD spectra showed that nickel particles are in a highly dispersed state. A combination of XRD, TEM and chemisorption showed that Ni-0 particles with the average size lower, than 5.0 nm are always obtained even though the Ni loading ranged widely from 4 to 63 %. Compared with the Ni/Al2O3 catalysts, the Ni/La-Al2O3 ones with an appropriate amount of promoter enjoy a more open mesoporous structure and higher dispersion of Ni. Reduction kinetic studies of prepared catalysts were investigated by temperature-programmed reduction (TPR) method and the fact that La additive partially destroyed the metastable Ni-Al mixed oxide phase was detailed. (c) 2005 Elsevier B.V. All rights reserved.

Structural relation properties of hydrothermally stable functionalized mesoporous organosilicas and catalysis

The surfactant assistant syntheses of sulfonic acid functionalized periodic mesoporous organosilicas with large pores are reported. A one-step condensation of tetramethoxysilane (TMOS) with 1,2-bis(trimethoxysilyi)ethane (BTME) and 3-mercaptopropyltrimethoxysilane (MPTMS) in highly acidic medium was performed in the presence of triblock copolymer Pluronic P123 and inorganic salt as additive. During the condensation process, thiol (-SH) group was in situ oxidized to sulfonic acid (-SO3H) by hydrogen peroxide (30 wt % H2O2). X-ray diffraction studies along with nitrogen and water sorption analyses reveal the formation of stable, highly hydrophobic, and well-ordered hexagonal mesoscopic structures in a wide range of -CH2CH2-concentrations in the mesoporous framework. The resultant materials were also investigated by Si-29 MAS and C-13 CP MAS NMR, thermogravimetric analyses, UV-Raman spectroscopy, and FT-IR spectroscopy. The role of the bridged organic group on the hydrothermal stability of the mesoporous materials was established, which revealed an enhancement in hydrothermal stability of the materials with incorporation of the bridged organic groups in the network. The catalytic performance of -SO3H functionalized mesoporous materials was investigated in the esterification of ethanol with acetic acid, and the results demonstrate that the ethane groups incorporated in the mesoporous framework have a positive influence on the catalytic behavior of the materials.

Modelowanie i przetwarzanie wiedzy czaso-przestrzennej. Model XCDC – aspekty teoretyczne oraz rozwiązania aplikacyjne

Wydział Matematyki i Informatyki: Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji

Analogia w dydaktyce języka chińskiego

W artykule zajmuję się problematyką dydaktyki wybranych konstrukcji języka chińskiego. Moim celem jest pokazanie na przykładach, w jaki sposób, wykorzystując zarówno różnice semantyczne między zdaniami strukturalnie podobnymi, jak i analogie semantyczne między zdaniami składniowo różnymi, ułatwić i przyspieszyć nauczanie problematycznych w tym względzie zagadnień gramatyki chińskiej. Do egzemplifikacji wykorzystania mechanizmów różnic i analogii w dydaktyce wykorzystałem zdania z partykułą le i skopiowanym czasownikiem, konstrukcję z de i dopełnieniem komplementywnym oraz partykułę końcową le.

La libertad condicional antes y después de la LO 1/2015, de 30 de marzo

En el presente trabajo he efectuado un estudio sobre la libertad condicional en nuestro país. He analizado los importantes cambios que ha sufrido esta institución, que ha pasado de constituir una parte o modalidad del cumplimiento de la pena de prisión para llegar a ser, tras la reforma de la LO 1/2015 de 30 de marzo, una modalidad de suspensión de la ejecución de la pena de prisión. Estudio las distintas modalidades de libertad condicional reguladas, las exigencias establecidas durante el período de libertad condicional y la revocación de la misma y sus consecuencias

Inibidores PCSK9

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Framingham Heart Study 100K project: genome-wide associations for cardiovascular disease outcomes

BACKGROUND:Cardiovascular disease (CVD) and its most common manifestations - including coronary heart disease (CHD), stroke, heart failure (HF), and atrial fibrillation (AF) - are major causes of morbidity and mortality. In many industrialized countries, cardiovascular disease (CVD) claims more lives each year than any other disease. Heart disease and stroke are the first and third leading causes of death in the United States. Prior investigations have reported several single gene variants associated with CHD, stroke, HF, and AF. We report a community-based genome-wide association study of major CVD outcomes.METHODS:In 1345 Framingham Heart Study participants from the largest 310 pedigrees (54% women, mean age 33 years at entry), we analyzed associations of 70,987 qualifying SNPs (Affymetrix 100K GeneChip) to four major CVD outcomes: major atherosclerotic CVD (n = 142; myocardial infarction, stroke, CHD death), major CHD (n = 118; myocardial infarction, CHD death), AF (n = 151), and HF (n = 73). Participants free of the condition at entry were included in proportional hazards models. We analyzed model-based deviance residuals using generalized estimating equations to test associations between SNP genotypes and traits in additive genetic models restricted to autosomal SNPs with minor allele frequency [greater than or equal to]0.10, genotype call rate [greater than or equal to]0.80, and Hardy-Weinberg equilibrium p-value [greater than or equal to] 0.001.RESULTS:Six associations yielded p <10-5. The lowest p-values for each CVD trait were as follows: major CVD, rs499818, p = 6.6 x 10-6; major CHD, rs2549513, p = 9.7 x 10-6; AF, rs958546, p = 4.8 x 10-6; HF: rs740363, p = 8.8 x 10-6. Of note, we found associations of a 13 Kb region on chromosome 9p21 with major CVD (p 1.7 - 1.9 x 10-5) and major CHD (p 2.5 - 3.5 x 10-4) that confirm associations with CHD in two recently reported genome-wide association studies. Also, rs10501920 in CNTN5 was associated with AF (p = 9.4 x 10-6) and HF (p = 1.2 x 10-4). Complete results for these phenotypes can be found at the dbgap website http://www.ncbi.nlm.nih.gov/projects/gap/cgi-bin/study.cgi?id=phs000007.CONCLUSION:No association attained genome-wide significance, but several intriguing findings emerged. Notably, we replicated associations of chromosome 9p21 with major CVD. Additional studies are needed to validate these results. Finding genetic variants associated with CVD may point to novel disease pathways and identify potential targeted preventive therapies.

Genome-wide association with bone mass and geometry in the Framingham Heart Study

BACKGROUND:Osteoporosis is characterized by low bone mass and compromised bone structure, heritable traits that contribute to fracture risk. There have been no genome-wide association and linkage studies for these traits using high-density genotyping platforms.METHODS:We used the Affymetrix 100K SNP GeneChip marker set in the Framingham Heart Study (FHS) to examine genetic associations with ten primary quantitative traits: bone mineral density (BMD), calcaneal ultrasound, and geometric indices of the hip. To test associations with multivariable-adjusted residual trait values, we used additive generalized estimating equation (GEE) and family-based association tests (FBAT) models within each sex as well as sexes combined. We evaluated 70,987 autosomal SNPs with genotypic call rates [greater than or equal to]80%, HWE p [greater than or equal to] 0.001, and MAF [greater than or equal to]10% in up to 1141 phenotyped individuals (495 men and 646 women, mean age 62.5 yrs). Variance component linkage analysis was performed using 11,200 markers.RESULTS:Heritability estimates for all bone phenotypes were 30-66%. LOD scores [greater than or equal to]3.0 were found on chromosomes 15 (1.5 LOD confidence interval: 51,336,679-58,934,236 bp) and 22 (35,890,398-48,603,847 bp) for femoral shaft section modulus. The ten primary phenotypes had 12 associations with 100K SNPs in GEE models at p < 0.000001 and 2 associations in FBAT models at p < 0.000001. The 25 most significant p-values for GEE and FBAT were all less than 3.5 x 10-6 and 2.5 x 10-5, respectively. Of the 40 top SNPs with the greatest numbers of significantly associated BMD traits (including femoral neck, trochanter, and lumbar spine), one half to two-thirds were in or near genes that have not previously been studied for osteoporosis. Notably, pleiotropic associations between BMD and bone geometric traits were uncommon. Evidence for association (FBAT or GEE p < 0.05) was observed for several SNPs in candidate genes for osteoporosis, such as rs1801133 in MTHFR; rs1884052 and rs3778099 in ESR1; rs4988300 in LRP5; rs2189480 in VDR; rs2075555 in COLIA1; rs10519297 and rs2008691 in CYP19, as well as SNPs in PPARG (rs10510418 and rs2938392) and ANKH (rs2454873 and rs379016). All GEE, FBAT and linkage results are provided as an open-access results resource at http://www.ncbi.nlm.nih.gov/projects/gap/cgi-bin/study.cgi?id=phs000007.CONCLUSION:The FHS 100K SNP project offers an unbiased genome-wide strategy to identify new candidate loci and to replicate previously suggested candidate genes for osteoporosis.

STAIR: Practical AIMD Multirate Congestion Control

Existing approaches for multirate multicast congestion control are either friendly to TCP only over large time scales or introduce unfortunate side effects, such as significant control traffic, wasted bandwidth, or the need for modifications to existing routers. We advocate a layered multicast approach in which steady-state receiver reception rates emulate the classical TCP sawtooth derived from additive-increase, multiplicative decrease (AIMD) principles. Our approach introduces the concept of dynamic stair layers to simulate various rates of additive increase for receivers with heterogeneous round-trip times (RTTs), facilitated by a minimal amount of IGMP control traffic. We employ a mix of cumulative and non-cumulative layering to minimize the amount of excess bandwidth consumed by receivers operating asynchronously behind a shared bottleneck. We integrate these techniques together into a congestion control scheme called STAIR which is amenable to those multicast applications which can make effective use of arbitrary and time-varying subscription levels.

Fine-Grained Layered Multicast

Traditional approaches to receiver-driven layered multicast have advocated the benefits of cumulative layering, which can enable coarse-grained congestion control that complies with TCP-friendliness equations over large time scales. In this paper, we quantify the costs and benefits of using non-cumulative layering and present a new, scalable multicast congestion control scheme which provides a fine-grained approximation to the behavior of TCP additive increase/multiplicative decrease (AIMD). In contrast to the conventional wisdom, we demonstrate that fine-grained rate adjustment can be achieved with only modest increases in the number of layers and aggregate bandwidth consumption, while using only a small constant number of control messages to perform either additive increase or multiplicative decrease.

Facial Feature Tracking and Occlusion Recovery in American Sign Language

Facial features play an important role in expressing grammatical information in signed languages, including American Sign Language(ASL). Gestures such as raising or furrowing the eyebrows are key indicators of constructions such as yes-no questions. Periodic head movements (nods and shakes) are also an essential part of the expression of syntactic information, such as negation (associated with a side-to-side headshake). Therefore, identification of these facial gestures is essential to sign language recognition. One problem with detection of such grammatical indicators is occlusion recovery. If the signer's hand blocks his/her eyebrows during production of a sign, it becomes difficult to track the eyebrows. We have developed a system to detect such grammatical markers in ASL that recovers promptly from occlusion. Our system detects and tracks evolving templates of facial features, which are based on an anthropometric face model, and interprets the geometric relationships of these templates to identify grammatical markers. It was tested on a variety of ASL sentences signed by various Deaf native signers and detected facial gestures used to express grammatical information, such as raised and furrowed eyebrows as well as headshakes.