Learn More
This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe an algorithm for generating such problems over a user-provided figure. Our experimental results indicate that our problem generation algorithm can effectively(More)
Trifluoroacetylated whole-cell methanolysates of four strains each of Mycobacterium gordonae and Mycobacterium scrofulaceum were analysed by gas chromatography, using a glass capillary column. The major chromatographic peaks were identified by mass spectrometry as derivatives of fatty acids and carbohydrates. In addition, two predominant peaks, present in(More)
BACKGROUND Due to exorbitant costs of high-throughput screening, many drug discovery projects commonly employ inexpensive virtual screening to support experimental efforts. However, the vast majority of compounds in widely used screening libraries, such as the ZINC database, will have a very low probability to exhibit the desired bioactivity for a given(More)
Constructing high-quality libraries of molecular building blocks is essential for successful fragment-based drug discovery. In this communication, we describe eMolFrag, a new open-source software to decompose organic compounds into nonredundant fragments retaining molecular connectivity information. Given a collection of molecules, eMolFrag generates a set(More)
This paper presents an intelligent tutoring system, GeoTutor, for Euclidean Geometry that is automatically able to synthesize proof problems and their respective solutions given a geometric figure together with a set of properties true of it. Geo-Tutor can provide personalized practice problems that address student deficiencies in the subject matter.
  • 1