Stopping time signatures for some algorithms in cryptography

We consider the normalized distribution of the overall running times of some cryptographic algorithms, and what information they reveal about the algorithms. Recent work of Deift, Menon, Olver, Pfrang, and Trogdon has shown that certain numerical algorithms applied to large random matrices exhibit a characteristic distribution of running times, which depends only on the algorithm but are independent of the choice of probability distributions for the matrices. Different algorithms often exhibit different running time distributions, and so the histograms for these running time distributions provide a time-signature for the algorithms, making it possible, in many cases, to distinguish one algorithm from another. In this paper we extend this analysis to cryptographic algorithms, and present examples of such algorithms with time-signatures that are indistinguishable, and others with time-signatures that are clearly distinct.Comment: 20 page

Learning Language Games through Interaction

We introduce a new language learning setting relevant to building adaptive natural language interfaces. It is inspired by Wittgenstein's language games: a human wishes to accomplish some task (e.g., achieving a certain configuration of blocks), but can only communicate with a computer, who performs the actual actions (e.g., removing all red blocks). The computer initially knows nothing about language and therefore must learn it from scratch through interaction, while the human adapts to the computer's capabilities. We created a game in a blocks world and collected interactions from 100 people playing it. First, we analyze the humans' strategies, showing that using compositionality and avoiding synonyms correlates positively with task performance. Second, we compare computer strategies, showing how to quickly learn a semantic parsing model from scratch, and that modeling pragmatics further accelerates learning for successful players.Comment: 11 pages, ACL 201

Lead identification and structure-activity relationships of heteroarylpyrazole arylsulfonamides as allosteric CC-chemokine receptor 4 (CCR4) antagonists

A knowledge-based library of aryl 2,3-dichlorophenylsulfonamides was synthesised and screened as human CCR4 antagonists, in order to identify a suitable hit for the start of a lead-optimisation programme. X-ray diffraction studies were used to identify the pyrazole ring as a moiety that could bring about intramolecular hydrogen bonding with the sulfonamide NH and provide a clip or orthogonal conformation that was believed to be the preferred active conformation. Replacement of the core phenyl ring with a pyridine, and replacement of the 2,3-dichlorobenzenesulfonamide with 5- chlorothiophenesulfonamide provided compound 33 which has excellent physicochemical properties and represents a good starting point for a lead optimisation programme. Electronic structure calculations indicated that the preference for the clip or orthogonal conformation found in the small molecule crystal structures of 7 and 14 was in agreement with the order of potency in the biological assay

Naturalizing a Programming Language via Interactive Learning

Our goal is to create a convenient natural language interface for performing well-specified but complex actions such as analyzing data, manipulating text, and querying databases. However, existing natural language interfaces for such tasks are quite primitive compared to the power one wields with a programming language. To bridge this gap, we start with a core programming language and allow users to "naturalize" the core language incrementally by defining alternative, more natural syntax and increasingly complex concepts in terms of compositions of simpler ones. In a voxel world, we show that a community of users can simultaneously teach a common system a diverse language and use it to build hundreds of complex voxel structures. Over the course of three days, these users went from using only the core language to using the naturalized language in 85.9\% of the last 10K utterances.Comment: 10 pages, ACL201

Relaxations for inference in restricted Boltzmann machines

We propose a relaxation-based approximate inference algorithm that samples near-MAP configurations of a binary pairwise Markov random field. We experiment on MAP inference tasks in several restricted Boltzmann machines. We also use our underlying sampler to estimate the log-partition function of restricted Boltzmann machines and compare against other sampling-based methods.Comment: ICLR 2014 workshop track submissio

Direct Use of Low Enthalpy Deep Geothermal Resources in the East African Rift Valley

Geothermal energy is already harnessed across East Africa to provide hundreds of megawatts of electricity, with significant plans for future expansion towards generation at the gigawatt scale. This power generation utilizes the high steam temperatures (typically more than 200 °C) that are available in several locations in Kenya, Ethiopia and elsewhere. The presence of these high enthalpy resources has deflected attention from the often attractive low and medium enthalpy resources present across a more extensive portion of the region. Geothermally heated water at cooler temperatures (less than 90 °C) could be widely produced by drilling shallower and cheaper boreholes than those required for power production. This low enthalpy resource could be widely exploitable throughout the Rift Valley, offering a low carbon, sustainable, reliable and commercially competitive source of heating, drying and cooling (via absorption chillers) to local farmers and growers, and for low temperature commercial and industrial uses. Applications of this type would displace expensive fossil fuels, reducing costs and carbon emissions as well as improving the region’s energy and food security. The power input for pump systems can be accommodated by relatively small generators, so direct heat projects could be beneficial to consumers in areas with no grid access

Evaluating relative performances in disabled sports competitions

Handicapping systems play important roles in many sports. This paper focuses on disabled sports competitions, which primarily aim to encourage participation. Nevertheless, prizes are awarded for relative performances and should be allocated fairly. We review handicapping procedures specifically for disabled Alpine skiing and identify imperfections with this system, particularly how historical and new results are combined to determine scaling factors. Significant problems also arise due to different class sizes and variations in courses and conditions. We investigate the difficulties in establishing a suitable handicapping system and propose modifications to the existing procedures that improve their fairness. We develop simple mathematical models and statistical analyses that might be suitable, based on results data relating to several years of competition, and we evaluate the performance of our proposed method in comparison with that of the existing approac

Computer control of a scanning electron microscope for digital image processing of thermal-wave images

Using a recently developed technology called thermal-wave microscopy, NASA Lewis Research Center has developed a computer controlled submicron thermal-wave microscope for the purpose of investigating III-V compound semiconductor devices and materials. This paper describes the system's design and configuration and discusses the hardware and software capabilities. Knowledge of the Concurrent 3200 series computers is needed for a complete understanding of the material presented. However, concepts and procedures are of general interest