Separation Of Beta-Apocarotenals And Related Compounds By Reversed-Phase Paper And Thin-Layer Chromatography

Tlie sclxuntion and clraractcrization of vitamins Al and An nnd related compoundsby reversed-pllasc paper cliromatogrnpl~y as well as ly thin-lqxr chromategraphy have hen rcportccl carlicrl * $. Thin-lnycr chromatography has also been used for the separatinn and charncterizatio11 of carotenoids from natural sourccs3~ ‘1. I-Iowcver, 130tr.rc,1~1~ofib scrvccl that carotenoid misturcs cannot be separated on a sin& aclsorhnt with ;1 sin& solvent. The scparntion and clctermi1wtion of carotenoid alclclydes from plants, microorganisms and animnl tissues have lxxn carriecl out by nicans of thin-layer clirf.~li~ato~apI~~U. Apocarotcnals awl apocarotcnoic acid have been detected in ornnges by the same technique’*

Efficiently Approximating Query Optimizer Plan Diagrams

Given a parametrized n-dimensional SQL query template and a choice of query optimizer, a plan diagram is a color-coded pictorial enumeration of the execution plan choices of the optimizer over the query parameter space. These diagrams have proved to be a powerful metaphor for the analysis and redesign of modern optimizers, and are gaining currency in diverse industrial and academic institutions. However, their utility is adversely impacted by the impractically large computational overheads incurred when standard brute-force exhaustive approaches are used for producing fine-grained diagrams on high-dimensional query templates. In this paper, we investigate strategies for efficiently producing close approximations to complex plan diagrams. Our techniques are customized to the features available in the optimizer's API, ranging from the generic optimizers that provide only the optimal plan for a query, to those that also support costing of sub-optimal plans and enumerating rank-ordered lists of plans. The techniques collectively feature both random and grid sampling, as well as inference techniques based on nearest-neighbor classifiers, parametric query optimization and plan cost monotonicity. Extensive experimentation with a representative set of TPC-H and TPC-DS-based query templates on industrial-strength optimizers indicates that our techniques are capable of delivering 90% accurate diagrams while incurring less than 15% of the computational overheads of the exhaustive approach. In fact, for full-featured optimizers, we can guarantee zero error with less than 10% overheads. These approximation techniques have been implemented in the publicly available Picasso optimizer visualization tool.

Polymorphs, Salts, and Cocrystals: What's in a Name?

The December 2011 release of a draft United States Food and Drug Administration (FDA) guidance concerning regulatory classification of pharmaceutical cocrystals of active pharmaceutical ingredients (APIs) addressed two matters of topical interest to the crystal engineering and pharmaceutical science communities: (1) a proposed definition of cocrystals; (2) a proposed classification of pharmaceutical cocrystals as dissociable ``API-excipient'' molecular complexes. The Indo U.S. Bilateral Meeting sponsored by the Indo-U.S. Science and Technology Forum titled The Evolving Role of Solid State Chemistry in Pharmaceutical Science was held in Manesar near Delhi, India, from February 2-4, 2012. A session of the meeting was devoted to discussion of the FDA guidance draft. The debate generated strong consensus on the need to define cocrystals more broadly and to classify them like salts. It was also concluded that the diversity of API crystal forms makes it difficult to classify solid forms into three categories that are mutually exclusive. This perspective summarizes the discussion in the Indo-U.S. Bilateral Meeting and includes contributions from researchers who were not participants in the meeting.

Homo- or Heterosynthon? A Crystallographic Study on a Series of New Cocrystals Derived from Pyrazinecarboxamide and Various Carboxylic Acids Equipped with Additional Hydrogen Bonding Sites

Four new cocrystals of a well studied active pharmaceutical ingredient (API), namely, pyrazinecarboxamide (PZA), with various monocarboxylic acids equipped with additional hydrogen bonding sites such as vanillic acid (VA), gallic acid (GA), 1-hydroxy-2-naphthoic acid (1HNA), and indole-2-carboxylic acid (I2CA) have been successfully prepared and characterized by FTIR, H-1 NMR, differential scanning calorimetry (DSC), and single crystal and powder X-ray diffraction (SXRD and PXRD, respectively) techniques. In the majority of the cases, preferential occurrence amide amide and acid acid homosynthons has been observed. Since the heterosynthon is energetically preferred to homosynthon, such unusual occurrence of homosynthon in these cocrystals is intriguing.

Polymorphs and hydrates of Etoricoxib, a selective COX-2 inhibitor

The crystal structures of two polymorphs and two polymorphic hemihydrates of Etoricoxib are reported. Etoricoxib is a non-steroidal anti-inflammatory drug (NSAID) that is a selective inhibitor of COX-2. It is used in the treatment of various types of inflammation, pain and fever. Clas et al. have reported four polymorphs (labeled I through IV) and two solvates (hemi-and sesquihydrate) of the API in US patent 6,441,002 (Clas et al, US patent 6,441,002, 2002). However, no crystal structures have been reported for any of these forms. A comparison was made between the PXRD patterns reported in patent `002 and the powder spectra simulated from single crystal data. The two polymorphs characterized here correspond to form I and form IV of the patent. Form II of the patent could not be obtained by us with a variety of experimental conditions. Form III of the patent corresponds to hemihydrate II of this study. Form III is therefore not a polymorph of form I and form IV. What we have termed hemihydrate I in this study is obtained under a wide variety of conditions and it is also the only hemihydrate reported as such in the patent. Because the Etoricoxib molecule contains no conventional hydrogen bond donors, there cannot be any strong hydrogen bonds in the crystal structures of forms I and IV. The packing is accordingly characterized by weak hydrogen bonds of the C-H center dot center dot center dot O=S and C-H center dot center dot center dot N type. Thermal data were collected for form I, form IV and hemihydrate I to shed some light on relative stabilities. PXRD diffractograms show the transformation of form IV to form I at elevated temperature, indicating that form I is more stable than form IV. However, this transformation occurs only in samples of form IV that contain some form I; it does not occur in pure form IV. The formation of the two hemihydrates could follow from the known tendency of an acceptor-rich molecule to crystallize as a hydrate.

New solid forms of the anti-HIV drug etravirine: salts, cocrystals, and solubility

Thirteen new solid forms of etravirine were realized in the process of polymorph and cocrystal/salt screening to improve the solubility of this anti-HIV drug. One anhydrous form, five salts (hydrochloride, mesylate, sulfate, besylate, and tosylate), two cocrystals (with adipic acid and 1,3,5-benzenetricarboxylic acid), and five solvates (formic acid, acetic acid, acetonitrile, and 2:1 and 1:1 methanolates) were obtained. The conformational flexibility of etravirine suggests that it can adopt four different conformations, and among these, two are sterically favorable. However, in all 13 solid forms, the active pharmaceutical ingredient (API) was found to adopt just one conformation. Due to the poor aqueous solubility of the API, the solubilities of the salts and cocrystals were measured in a 50% ethanol water mixture at neutral pH. Compared to the salts, the cocrystals were found to be stable and showed an improvement in solubility with time. All the salts were dissociated within an hour, except the tosylate, which showed 50% phase transformation after 1 h of the slurry experiment. A structure property relationship was examined to analyze the solubility behavior of the solid forms.

Stable Crystalline Salts of Haloperidol: A Highly Water-Soluble Mesylate Salt

Haloperidol, an antipsychotic drug, was screened for new solid crystalline phases using high throughput crystallization in pursuit of solubility improvement. Due to the highly basic nature of the API, all the solid forms with acids were obtained in the form of salts. Eleven crystalline salts in the form of oxalate (1:1), benzoate (1:1), salicylate (1:1 and 1:2), 4-hydroxybenzoate (1:1), 4-hydroxybenzoate ethyl acetate solvate (1:1:1), 3,4-dihydroxybenzoate (1:1), 3,5-dihydroxybenzoate (1:1), mesylate (1:1), besylate (1:1), and tosylate (1:1) salt were achieved. There is an insertion of carboxylate or sulfonate anion into the hydrogen bonding pattern of haloperidol. The salts with the aliphatic carboxylic acids were found to be more prone to form salt hydrates compared with aromatic carboxylate salts. All the salts were subjected to solubility measurement in water at neutral pH. There was no direct correlation observed between the solubility of the salt and its coformer. All the salts are stable at room temperature as well as after 24 h slurry experiment except the oxalate salt, which showed an unusual phase transformation from its hydrated form to the anhydrous form. A structureproperty relationship was examined to analyze the solubility behavior of the solid forms.

Discovering Math APIs by Mining Unit Tests

In today's API-rich world, programmer productivity depends heavily on the programmer's ability to discover the required APIs. In this paper, we present a technique and tool, called MATHFINDER, to discover APIs for mathematical computations by mining unit tests of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code to compute the expression by mapping its subexpressions to API method calls. For each subexpression, MATHFINDER searches for a method such that there is a mapping between method inputs and variables of the subexpression. The subexpression, when evaluated on the test inputs of the method under this mapping, should produce results that match the method output on a large number of tests. We implemented MATHFINDER as an Eclipse plugin for discovery of third-party Java APIs and performed a user study to evaluate its effectiveness. In the study, the use of MATHFINDER resulted in a 2x improvement in programmer productivity. In 96% of the subexpressions queried for in the study, MATHFINDER retrieved the desired API methods as the top-most result. The top-most pseudo-code snippet to implement the entire expression was correct in 93% of the cases. Since the number of methods and unit tests to mine could be large in practice, we also implement MATHFINDER in a MapReduce framework and evaluate its scalability and response time.

Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.