Hierarchical deterministic Bitcoin wallets that tolerate key leakage (short paper)

A Bitcoin wallet is a set of private keys known to a user and which allow that user to spend any Bitcoin associated with those keys. In a hierarchical deterministic (HD) wallet, child private keys are generated pseudorandomly from a master private key, and the corresponding child public keys can be generated by anyone with knowledge of the master public key. These wallets have several interesting applications including Internet retail, trustless audit, and a treasurer allocating funds among departments. A specification of HD wallets has even been accepted as Bitcoin standard BIP32. Unfortunately, in all existing HD wallets---including BIP32 wallets---an attacker can easily recover the master private key given the master public key and any child private key. This vulnerability precludes use cases such as a combined treasurer-auditor, and some in the Bitcoin community have suspected that this vulnerability cannot be avoided. We propose a new HD wallet that is not subject to this vulnerability. Our HD wallet can tolerate the leakage of up to m private keys with a master public key size of O(m). We prove that breaking our HD wallet is at least as hard as the so-called "one more" discrete logarithm problem.

Analysis of impedance matched circuit for wireless power transfer

Typical wireless power transfer systems utilize series compensation circuit which is based on magnetic coupling and resonance principles that was first developed by Tesla. However, changes in coupling caused by gap distance, alignment and orientation variations can lead to reduce power transfer efficiencies and the transferred power levels. This paper proposes impedance matched circuit to reduce frequency bifurcation effect and improve on the transferred power level, efficiency and total harmonic distortion (THD) performance of the series compensation circuit. A comprehensive mathematical analysis is performed for both series and impedance matched circuits to show the frequency bifurcation effects in terms of input impedance, variations in transferred power levels and efficiencies. Matlab/Simulink results validate the theoretical analysis and shows the circuits’ THD performance when circuits are fed with power electronic converters.

Template-based circuit understanding

When verifying or reverse-engineering digital circuits, one often wants to identify and understand small components in a larger system. A possible approach is to show that the sub-circuit under investigation is functionally equivalent to a reference implementation. In many cases, this task is difficult as one may not have full information about the mapping between input and output of the two circuits, or because the equivalence depends on settings of control inputs. We propose a template-based approach that automates this process. It extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping of input and output signals and setting of control signals. The method relies on solving an exists/forall problem using an SMT solver, and on a pruning technique based on signature computation.

Propagating excitatory potentials within the fear conditioning circuit of the lateral amygdala

In the Hebbian postulate, transiently reverberating cellular ensembles can sustain activity to facilitate temporal coincidence detection. Auditory fear conditioning is believed to be formed in the lateral amygdala (LA), by way of plasticity at auditory input synapses on principal neurons. To evaluate the contribution of LA cellular ensembles in the formation of conditioned fear memories, we investigated the LA micro-circuitry by electrophysiological and anatomical approaches. Polysynaptic field potentials evoked in the LA by stimulation of auditory thalamus(MGm/PIN) or auditory cortical (TE3) afferents were analyzed in vitro and in vivo. In vivo, two potentials were identified following stimulation of either pathway. In vitro, these multiple potentials were revealed by adding 75uM Picrotoxin or 30uM Bicuculine, with the first potential peaking at 15-20 ms, followed by two additional potentials at 20 – 25 and 30 – 35 ms, respectively. These data show single stimulation events can result in multiple synchronized excitatory events within the lateral amygdala. In order to determine underlying mechanisms of auditory signal propagation, LA principal neuron axon collateral trajectory patterns and morphology were analyzed. Neurons were found to have local axon collaterals that are topographically organized. Each axon collateral within the LA totaled 14.1 ± 2.73mm, had 29.8 ± 9.1 branch points and 1870.8 ± 1035 boutons (n=9). Electrophysiological and anatomical data show that a network of extensive axon collaterals within the LA may facilitate preservation of auditory afferent signals.

Quantification of the total neuronal structure of the fear conditioning circuit of the lateral amygdala of the rat

During Pavlovian auditory fear conditioning a previously neutral auditory stimulus (CS) gains emotional significance through pairing with a noxious unconditioned stimulus (US). These associations are believed to be formed by way of plasticity at auditory input synapses on principal neurons in the lateral nucleus of the amygdala (LA). In order to begin to understand how fear memories are stored and processed by synaptic changes in the LA, we have quantified both the entire neural number and the sub-cellular structure of LA principal neurons.We first used stereological cell counting methods on Gimsa or GABA immunostained rat brain. We identified 60,322+/-1408 neurons in the LA unilaterally (n=7). Of these 16,917+/-471 were GABA positive. The intercalated nuclei were excluded from the counts and thus GABA cells are believed to represent GABAergic interneurons. The sub-nuclei of the LA were also independently counted. We then quantified the morphometric properties of in vitro electrophysiologically identified principal neurons of the LA, corrected for shrinkage in xyz planes. The total dendritic length was 9.97+/-2.57mm, with 21+/-4 nodes (n=6). Dendritic spine density was 0.19+/-0.03 spines/um (n=6). Intra-LA axon collaterals had a bouton density of 0.1+/-0.02 boutons/um (n=5). These data begin to reveal the finite cellular and sub-cellular processing capacity of the lateral amygdala, and should facilitate efforts to understand mechanisms of plasticity in LA.

GABAergic inhibition in the fear conditioning circuit of the lateral amygdala is potentiated by dopamine D1 agonists

Auditory fear conditioning is dependent on auditory signaling from the medial geniculate (MGm) and the auditory cortex (TE3) to principal neurons of the lateral amygdala (LA). Local circuit GABAergic interneurons are known to inhibit LA principal neurons via fast and slow IPSP's. Stimulation of MGm and TE3 produces excitatory post-synaptic potentials in both LA principal and interneurons, followed by inhibitory post-synaptic potentials. Manipulations of D1 receptors in the lateral and basal amygdala modulate the retrieval of learned association between an auditory CS and foot shock. Here we examined the effects of D1 agonists on GABAergic IPSP's evoked by stimulation of MGm and TE3 afferents in vitro. Whole cell patch recordings were made from principal neurons of the LA, at room temperature, in coronal brain slices using standard methods. Stimulating electrodes were placed on the fiber tracts medial to the LA and at the external capsule/layer VI border dorsal to the LA to activate (0.1-0.2mA) MGm and TE3 afferents respectively. Neurons were held at -55.0 mV by positive current injection to measure the amplitude of the fast IPSP. Changes in input resistance and membrane potential were measured in the absence of current injection. Stimulation of MGm or TE3 afferents produced EPSP's in the majority of principal neurons and in some an EPSP/IPSP sequence. Stimulation of MGm afferents produced IPSP's with amplitudes of -2.30 ± 0.53 mV and stimulation of TE3 afferents produced IPSP's with amplitudes of -1.98 ± 1.26 mV. Bath application of 20μM SKF38393 increased IPSP amplitudes to -5.94 ± 1.62 mV (MGm, n=3) and-5.46 ± 0.31 mV (TE3, n=3). Maximal effect occurred <10mins. A small increase in resting membrane potential and decrease in input resistance were observed. These data suggest that DA modulates both the auditory thalamic and auditory cortical inputs to the LA fear conditioning circuit via local GABAergic circuits. Supported by NIMH Grants 00956, 46516, and 58911.

The short-term accommodation response to aniso-accommodative stimuli in isometropia

Purpose There have been only a limited number of studies examining the accommodative response that occurs when the two eyes are provided with disparate accommodative stimuli, and the results from these studies to date have been equivocal. In this study, we therefore aimed to examine the capacity of the visual system to aniso-accommodate by objectively measuring the interocular difference in the accommodation response between fellow dominant and non-dominant eyes under controlled monocular and binocular viewing conditions during short-term exposure to aniso-accommodative stimuli. Methods The accommodative response of each eye of sixteen young isometropic adults (mean age 22 ± 2 years) with normal binocular vision was measured using an open-field autorefractor during a range of testing conditions; monocularly (accommodative demands ranging from 1.32 to 4.55 D) and binocularly while altering the accommodation demand for each eye (aniso-accommodative stimuli ranging from 0.24 to 2.05 D). Results Under monocular viewing conditions, the dominant and non-dominant eyes displayed a highly symmetric accommodative response; mean interocular difference in spherical equivalent 0.01 ± 0.06 D (relative) and 0.22 ± 0.06 D (absolute) (p>0.05). During binocular viewing, the dominant eye displayed a greater accommodative response (0.11 ± 0.34 D relative and 0.24 ± 0.26 D absolute) irrespective of whether the demand of the dominant or non-dominant eye was altered (p = 0.01). Astigmatic power vectors J0 and J45 did not vary between eyes or with increasing accommodation demands under monocular or binocular viewing conditions (p>0.05). Conclusion The dominant and non-dominant eyes of young isometropic individuals display a similar consensual lag of accommodation under both monocular and binocular viewing conditions, with the dominant eye showing a small but significantly greater (by 0.12 to 0.25 D) accommodative response. Evidence of short-term aniso-accommodation in response to asymmetric accommodation demands was not observed.

Positioning as a source of competitive advantage: Benchmarking Rotorua’s position as a domestic short break holiday destination

Travellers are spoilt by holiday choice, and yet will usually only seriously consider a few destinations during the decision process. With thousands of destination marketing organisations (DMOs) competing for attention, places are becoming increasingly substitutable. The study of destination competitiveness is an emerging field, and thesis contributes to an enhanced understanding by addressing three topics that have received relatively little attention in the tourism literature: destination positioning, the context of short break holidays, and domestic travel in New Zealand. A descriptive model of positioning as a source of competitive advantage is developed, and tested through 12 propositions. The destination of interest is Rotorua, which was arguably New Zealand’s first tourist destination. The market of interest is Auckland, which is Rotorua’s largest visitor market. Rotorua’s history is explored to identify factors that may have contributed to the destination’s current image in the Auckland market. A mix of qualitative and quantitative procedures is then utilised to determine Rotorua’s position, relative to a competing set of destinations. Based on an applied research problem, the thesis attempts to bridge the gap between academia and industry by providing useable results and benchmarks for five regional tourism organisations (RTOs). It is proposed that, in New Zealand, the domestic short break market represents a valuable opportunity not explicitly targeted by the competitive set of destinations. Conceptually, the thesis demonstrates the importance of analysing a destination’s competitive position, from the demand perspective, in a travel context; and then the value of comparing this ‘ideal’ position with that projected by the RTO. The thesis concludes Rotorua’s market position in the Auckland short break segment represents a source of comparative advantage, but is not congruent with the current promotional theme, which is being used in all markets. The findings also have implications for destinations beyond the context of the thesis. In particular, a new definition for ‘destination attractiveness’ is proposed, which warrants consideration in the design of future destination positioning analyses.

Comparison of IQS and verbal-performance IQ discrepancies estimated from two seven-subtest short forms of the WAIS-R

The present study compared IQs and Verbal-Performance IQ discrepancies estimated from two seven-subtest short forms of the Wechsler Adult Intelligence Scale-Revised (WAIS-R) in a sample of 100 subjects referred for neuropsychological assessment. The short forms of Warrington, James, and Maciejewski (1986) and Ward (1990) yielded similar correlation coefficients and absolute error rates with respect to WAIS-R IQs, although the Warrington short form requires more time to administer and score. Both short forms were able to detect significant Verbal-Performance IQ discrepancies 70% of the time. However, they incorrectly yielded significant discrepancies for approximately 25% of the sample who did not have significant differences on the full WAIS-R. The results do not support reporting and interpreting significant Verbal-Performance IQ discrepancies estimated from these short forms.

A case study of short-sale constraints and limits to arbitrage

This paper uses a unique data set of trades in a unique pair of securities that enables the precise identification of individual broker activity and the trade direction of that activity. We find direct evidence that the imposition (removal) of short-sale constraints limits (generates) trading activity consistent with brokers exploiting apparent mispricing.

Channel selection in the short-time modulation domain for distant speech recognition

Automatic speech recognition from multiple distant micro- phones poses significant challenges because of noise and reverberations. The quality of speech acquisition may vary between microphones because of movements of speakers and channel distortions. This paper proposes a channel selection approach for selecting reliable channels based on selection criterion operating in the short-term modulation spectrum domain. The proposed approach quantifies the relative strength of speech from each microphone and speech obtained from beamforming modulations. The new technique is compared experimentally in the real reverb conditions in terms of perceptual evaluation of speech quality (PESQ) measures and word error rate (WER). Overall improvement in recognition rate is observed using delay-sum and superdirective beamformers compared to the case when the channel is selected randomly using circular microphone arrays.

Short-rib polydactyly and jeune syndromes are caused by mutations in WDR60

Short-rib polydactyly syndromes (SRPS I-V) are a group of lethal congenital disorders characterized by shortening of the ribs and long bones, polydactyly, and a range of extraskeletal phenotypes. A number of other disorders in this grouping, including Jeune and Ellis-van Creveld syndromes, have an overlapping but generally milder phenotype. Collectively, these short-rib dysplasias (with or without polydactyly) share a common underlying defect in primary cilium function and form a subset of the ciliopathy disease spectrum. By using whole-exome capture and massive parallel sequencing of DNA from an affected Australian individual with SRPS type III, we detected two novel heterozygous mutations in WDR60, a relatively uncharacterized gene. These mutations segregated appropriately in the unaffected parents and another affected family member, confirming compound heterozygosity, and both were predicted to have a damaging effect on the protein. Analysis of an additional 54 skeletal ciliopathy exomes identified compound heterozygous mutations in WDR60 in a Spanish individual with Jeune syndrome of relatively mild presentation. Of note, these two families share one novel WDR60 missense mutation, although haplotype analysis suggested no shared ancestry. We further show that WDR60 localizes at the base of the primary cilium in wild-type human chondrocytes, and analysis of fibroblasts from affected individuals revealed a defect in ciliogenesis and aberrant accumulation of the GLI2 transcription factor at the centrosome or basal body in the absence of an obvious axoneme. These findings show that WDR60 mutations can cause skeletal ciliopathies and suggest a role for WDR60 in ciliogenesis.

Short-term effects of electronic and tobacco cigarettes on exhaled nitric oxide

The objective of this study was to compare the short-term respiratory effects due to the inhalation of electronic and conventional tobacco cigarette-generated mainstream aerosols through the measurement of the exhaled nitric oxide (eNO). To this purpose, twenty-five smokers were asked to smoke a conventional cigarette and to vape an electronic cigarette (with and without nicotine), and an electronic cigarette without liquid (control session). Electronic and tobacco cigarette mainstream aerosols were characterized in terms of total particle number concentrations and size distributions. On the basis of the measured total particle number concentrations and size distributions, the average particle doses deposited in alveolar and tracheobronchial regions of the lungs for a single 2-s puff were also estimated considering a subject performing resting (sitting) activity. Total particle number concentrations in the mainstream resulted equal to 3.5 ± 0.4 × 109, 5.1 ± 0.1 × 109, and 3.1 ± 0.6 × 109 part. cm− 3 for electronic cigarettes without nicotine, with nicotine, and for conventional cigarettes, respectively. The corresponding alveolar doses for a resting subject were estimated equal to 3.8 × 1010, 5.2 × 1010 and 2.3 × 1010 particles. The mean eNO variations measured after each smoking/vaping session were equal to 3.2 ppb, 2.7 ppb and 2.8 ppb for electronic cigarettes without nicotine, with nicotine, and for conventional cigarettes, respectively; whereas, negligible eNO changes were measured in the control session. Statistical tests performed on eNO data showed statistically significant differences between smoking/vaping sessions and the control session, thus confirming a similar effect on human airways whatever the cigarette smoked/vaped, the nicotine content, and the particle dose received.

Development of non-intrusive monitoring for reactive switching of high voltage circuit breaker

High-voltage circuit breakers are among the most important equipments for ensuring the efficient and safe operation of an electric power system. On occasion, circuit breaker operators may wish to check whether equipment is performing satisfactorily and whether controlled switching systems are producing reliable and repeatable stress control. Monitoring of voltage and current waveforms during switching using established methods will provide information about the magnitude and frequency of voltage transients as a result of re-ignitions and restrikes. However, high frequency waveform measurement requires shutdown of circuit breaker and use of specialized equipment. Two utilities, Hydro-Québec in Canada and Powerlink Queensland in Australia, have been working on the development and application of a non-intrusive, cost-effective and flexible diagnostic system for monitoring high-voltage circuit breakers for reactive switching. The proposed diagnostic approach relies on the non-intrusive assessment of key parameters such as operating times, prestrike characteristics, re-ignition and restrike detection. Transient electromagnetic emissions have been identified as a promising means to evaluate the abovementioned parameters non-intrusively. This paper describes two complimentary methods developed concurrently by Powerlink and Hydro-Québec. Also, return of experiences on the application to capacitor bank and shunt reactor switching is presented.

The short-term impact of curative colorectal cancer treatment on physical activity, functional status and quality of life: A systematic review protocol

REVIEW QUESTION/OBJECTIVE The quantitative objectives are to identify the impact of curative colorectal cancer treatment (surgery or adjuvant therapy) on physical activity, functional status and quality of life within one year of treatment or diagnosis. INCLUSION CRITERIA Types of participants: This review will consider studies that include individuals aged 18 years and over who have been diagnosed with colorectal cancer. Types of intervention(s)/phenomena of interest: This review will consider studies that evaluate the impact of curative colorectal cancer treatment: surgery and/or adjuvant therapy. Types of outcomes: This review will consider studies that include the following outcome measures assessed within one year of diagnosis or treatment: Physical activity - any bodily movement produced by skeletal muscles resulting in energy expenditure. Physical activity is not exclusive to exercise; activities can also be walking, housework, occupational or leisure. Physical activity can be measured objectively using pedometers or accelerometers, or subjectively using self-reported measures. Functional status – measured as the capacity to perform all activities of daily living such as walking, showering, and eating; and instrumental activities of daily living such as (but not limited to) grocery shopping, housekeeping and laundry. Quality of life – defined as the individual meaning of mental, physical and psychosocial wellbeing, as measured by validated tools such as SF-36, EORTC-QLQ-C30, or FACT-C.