In recent years several computational systems and techniques for theorem proving by analogy have been developed. The obvious practical question, however, as to whether and when to use analogy has been neglected badly in these developments. This paper addresses this question , identiies situations where analogy is useful, and discusses the merits of theorem proving by analogy in these situations...

We consider the scattering and lens rigidity of compact surfaces with boundary that have a trapped geodesic. In particular we show that the flat cylinder and the flat Möbius strip are determined by their lens data. We also see by example that the flat Möbius strip is not determined by it’s scattering data. We then consider the case of negatively curved cylinders with convex boundary and show th...

Hybrid porous carbon fibers with strong anion-exchangeable functional groups (HACAX) were synthesized by alkylation of pyrolyzed polyacrylonitrile. HACAX exhibits generic stable positively charged functional groups. This expands the applications of porous carbon media for interacting with anions without adjusting pH, such as Cr(vi) adsorption at natural pH.

In this paper, we study the recognition complexity of discrete geometric 2gures (rectangles, squares, circles, ellipses) on a retina by diameter-limited and order-restricted perceptrons. We construct a diameter-limited recognition perceptron for the family of rectangles, beginning with local con2gurations, which is di6erent from the one shown by Minsky et al. (Perceptrons: An Introduction to Co...

We study the local geometry of the space of horizontal curves with endpoints freely varying in two given submanifolds P and Q of a manifold M endowed with a distribution D ⊂ TM. We give a different proof, that holds in a more general context, of a result by Bismut [2, Theorem 1.17] stating that the normal extremizers that are not abnormal are critical points of the sub-Riemannian action functio...

The results of an environmental study on concrete manufacture that follows the standard protocol of life cycle assessment are shown in this document. The study has been done for seven types of concrete: one conventional and six containing cement kiln dust (10%), marble sludge (10%) and demolition waste (10%, 80% and 100%) respectively, in partial or total substitution of natural aggregate. Six ...

UltraPerformance LC (UPLC) in hydrophilic interaction chromatography (HILIC) separation mode is becoming a routine and widely recognized technique for rapid, efficient, sensitive, and reproducible analysis of 2-aminobenzamide (2-AB) labeled glycans. Even though 2-AB is now the most common glycan labeling reagent, its use is limited by low MS sensitivity. Recent reports on LC/FLR/MS of glycans t...