On the computational security of a distributed key distribution scheme

In a distributed key distribution scheme, a set of servers helps a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some servers and some users has no information about the key of a noncorrupted group. In this work, we formalize the security analysis of one such scheme which was not considered in the original proposal. We prove the scheme is secure in the random oracle model, assuming that the Decisional Diffie-Hellman (DDH) problem is hard to solve. We also detail a possible modification of that scheme and the one in which allows us to prove the security of the schemes without assuming that a specific hash function behaves as a random oracle. As usual, this improvement in the security of the schemes is at the cost of an efficiency loss.

Systematic difference between blood pressure readings caused by cuff type.

In this study we determine whether blood pressure readings using a cuff of fixed size systematically differed from readings made with a triple-bladder cuff (Tricuff) that automatically adjusts bladder width to arm circumference and assessed subsequent clinical and epidemiological effects. Blood pressure was measured with a standard cuff or a Tricuff in 454 patients visiting an outpatient clinic in the Seychelles (Indian Ocean). Overall means of within-individual standard cuff-Tricuff differences in systolic and diastolic blood pressures were examined in relation to arm circumference and sex. The standard cuff-Tricuff difference in systolic and diastolic blood pressures increased monotonically with circumference (from 4.7 +/- 0.8/3.2 +/- 0.7 mm Hg for arm circumference of 30 to 31 cm to 10.0 +/- 1.1/8.0 +/- 0.9 mm Hg for arm circumference > or = 36 cm) and was larger in women than men. Multivariate linear regression indicated independent effects of arm circumference and sex. Forty percent of subjects with a diastolic blood pressure of > or = 95 mm Hg measured with a standard cuff had values less than 95 mm Hg measured with a Tricuff. Extrapolation to the entire population of the Seychelles decreased the prevalence of blood pressure greater than or equal to 160/95 mm Hg by 11.5% and 24.0% in men and women, respectively, aged 35 to 64 years. The age-adjusted effect of body mass index on systolic and diastolic blood pressures decreased twofold using blood pressure readings made with a Tricuff instead of a standard cuff.(ABSTRACT TRUNCATED AT 250 WORDS)

Source wavelet estimation for waveform inversion of crosshole georadar data

AbstractFor a wide range of environmental, hydrological, and engineering applications there is a fast growing need for high-resolution imaging. In this context, waveform tomographic imaging of crosshole georadar data is a powerful method able to provide images of pertinent electrical properties in near-surface environments with unprecedented spatial resolution. In contrast, conventional ray-based tomographic methods, which consider only a very limited part of the recorded signal (first-arrival traveltimes and maximum first-cycle amplitudes), suffer from inherent limitations in resolution and may prove to be inadequate in complex environments. For a typical crosshole georadar survey the potential improvement in resolution when using waveform-based approaches instead of ray-based approaches is in the range of one order-of- magnitude. Moreover, the spatial resolution of waveform-based inversions is comparable to that of common logging methods. While in exploration seismology waveform tomographic imaging has become well established over the past two decades, it is comparably still underdeveloped in the georadar domain despite corresponding needs. Recently, different groups have presented finite-difference time-domain waveform inversion schemes for crosshole georadar data, which are adaptations and extensions of Tarantola's seminal nonlinear generalized least-squares approach developed for the seismic case. First applications of these new crosshole georadar waveform inversion schemes on synthetic and field data have shown promising results. However, there is little known about the limits and performance of such schemes in complex environments. To this end, the general motivation of my thesis is the evaluation of the robustness and limitations of waveform inversion algorithms for crosshole georadar data in order to apply such schemes to a wide range of real world problems.One crucial issue to making applicable and effective any waveform scheme to real-world crosshole georadar problems is the accurate estimation of the source wavelet, which is unknown in reality. Waveform inversion schemes for crosshole georadar data require forward simulations of the wavefield in order to iteratively solve the inverse problem. Therefore, accurate knowledge of the source wavelet is critically important for successful application of such schemes. Relatively small differences in the estimated source wavelet shape can lead to large differences in the resulting tomograms. In the first part of my thesis, I explore the viability and robustness of a relatively simple iterative deconvolution technique that incorporates the estimation of the source wavelet into the waveform inversion procedure rather than adding additional model parameters into the inversion problem. Extensive tests indicate that this source wavelet estimation technique is simple yet effective, and is able to provide remarkably accurate and robust estimates of the source wavelet in the presence of strong heterogeneity in both the dielectric permittivity and electrical conductivity as well as significant ambient noise in the recorded data. Furthermore, our tests also indicate that the approach is insensitive to the phase characteristics of the starting wavelet, which is not the case when directly incorporating the wavelet estimation into the inverse problem.Another critical issue with crosshole georadar waveform inversion schemes which clearly needs to be investigated is the consequence of the common assumption of frequency- independent electromagnetic constitutive parameters. This is crucial since in reality, these parameters are known to be frequency-dependent and complex and thus recorded georadar data may show significant dispersive behaviour. In particular, in the presence of water, there is a wide body of evidence showing that the dielectric permittivity can be significantly frequency dependent over the GPR frequency range, due to a variety of relaxation processes. The second part of my thesis is therefore dedicated to the evaluation of the reconstruction limits of a non-dispersive crosshole georadar waveform inversion scheme in the presence of varying degrees of dielectric dispersion. I show that the inversion algorithm, combined with the iterative deconvolution-based source wavelet estimation procedure that is partially able to account for the frequency-dependent effects through an "effective" wavelet, performs remarkably well in weakly to moderately dispersive environments and has the ability to provide adequate tomographic reconstructions.

Clinical Learning Environment and Supervision. Development and Validation of the CLES Evaluation Scale

The purpose of the study is: (1) to describe how nursing students' experienced their clinical learning environment and the supervision given by staff nurses working in hospital settings; and (2) to develop and test an evaluation scale of Clinical Learning Environment and Supervision (CLES). The study has been carried out in different phases. The pilot study (n=163) explored the association between the characteristics of a ward and its evaluation as a learning environment by students. The second version of research instrument (which was developed by the results of this pilot study) were tested by an expert panel (n=9 nurse teachers) and test-retest group formed by student nurses (n=38). After this evaluative phase, the CLES was formed as the basic research instrument for this study and it was tested with the Finnish main sample (n=416). In this phase, a concurrent validity instrument (Dunn & Burnett 1995) was used to confirm the validation process of CLES. The international comparative study was made by comparing the Finnish main sample with a British sample (n=142). The international comparative study was necessary for two reasons. In the instrument developing process, there is a need to test the new instrument in some other nursing culture. Other reason for comparative international study is the reflecting the impact of open employment markets in the European Union (EU) on the need to evaluate and to integrate EU health care educational systems. The results showed that the individualised supervision system is the most used supervision model and the supervisory relationship with personal mentor is the most meaningful single element of supervision evaluated by nursing students. The ward atmosphere and the management style of ward manager are the most important environmental factors of the clinical ward. The study integrates two theoretical elements - learning environment and supervision - in developing a preliminary theoretical model. The comparative international study showed that, Finnish students were more satisfied and evaluated their clinical placements and supervision with higher scores than students in the United Kingdom (UK). The difference between groups was statistical highly significant (p= 0.000). In the UK, clinical placements were longer but students met their nurse teachers less frequently than students in Finland. Arrangements for supervision were similar. This research process has produced the evaluation scale (CLES), which can be used in research and quality assessments of clinical learning environment and supervision in Finland and in the UK. CLES consists of 27 items and it is sub-divided into five sub-dimensions. Cronbach's alpha coefficient varied from high 0.94 to marginal 0.73. CLES is a compact evaluation scale and user-friendliness makes it suitable for continuing evaluation.

Modulaarisen paisunta-astian kehittäminen compact -sarjan teollisuusvaihteeseen

Tämä insinöörityö tehtiin SEW Industrial Gears Oy:lle, joka valmistaa hammasvaihteita teollisuuden eri sovellutuksiin. Työn tavoitteena oli kehittää modulaarinen paisuntaastiasarja compact -sarjan teollisuusvaihteeseen. Työn alkuvaiheessa käytössä oli kahdenlaisia paisunta-astioita: kosteissa oloissa käytettävä suljettu astiamalli ja kuiviin olosuhteisiin soveltuva malli. Koska käytössä oleva suljettu astiamalli oli kallis ja kuivien olosuhteiden mallin käyttö oli rajoitettu, oli uudelle modulaariselle paisunta-astialle selkeä tarve. Uuden astiamallin tuli olla yhteensopiva vaihteen yleisimpien varusteiden ja asennusasentojen kanssa. Lisäksi tavoitteena oli puolittaa uuden konseptin hinta vanhaan verrattuna ja paikata vanhoissa konstruktioissa olleita puutteita. Työ aloitettiin analysoimalla olemassa olevat paisunta-astiatyypit, minkä jälkeen paisuntaastialle ideoitiin uusia ominaisuuksia. Toisessa vaiheessa perehdyttiin modulaariseen järjestelmään sekä öljynpaisunnan teoriaan teollisuusvaihteessa. Viimeisessä vaiheessa tehtiin konseptin varsinainen suunnittelutyö, valittiin astian valmistustapa ja materiaali sekä optimoitiin hinta. Uudesta mallista valmistettiin myös prototyyppi, jotta suunniteltua tuotetta päästiin kokeilemaan myös käytännössä. Näin voitiin varmistaa tuotteen toimivuus. Suunnittelutyön tuloksena saatiin uuden paisunta-astiasarjan piirustukset tarvittavista osista ja kokoonpanoista sekä komponenttistandardi ja myyntiä tukevaa materiaalia. Käytännön osuus antoi tietoa laskelmien oikeellisuudesta sekä öljyn täyttöön ja paisuntaan liittyvistä asioista.

On the Structural Difference between the Evolutionary Approach of Young and that of Kandori, Mailath, and Rob

We provide robust examples of symmetric two-player coordination games in normal form that reveal that equilibrium selection by the evolutionary model of Young (1993) is essentially different from equilibrium selection by the evolutionary model of Kandori, Mailath and Rob (1993).

One person in the battlefield is not a warrior: Self-construal, perceived ability to make a difference, and socially responsible behavior

We suggest that cultivating an individual's connectedness to others promotes sociallyresponsible behavior both directly and indirectly through increased perceived abilityto make a difference. Individuals whose interdependent self is more prominent feel theyhave more of an impact on larger scale societal outcomes and, therefore, engage more insocially responsible behaviors than do individuals whose independent self is moreprominent. We test these hypotheses in two experiments in which participants makefinancial contributions or exert an effort for a social cause. In a survey, we find thatperceived effectiveness mediates the effect of self-construal on socially responsibleconsumption.

A new compact linear programming formulation for choice network revenue management

The choice network revenue management model incorporates customer purchase behavioras a function of the offered products, and is the appropriate model for airline and hotel networkrevenue management, dynamic sales of bundles, and dynamic assortment optimization.The optimization problem is a stochastic dynamic program and is intractable. A certainty-equivalencerelaxation of the dynamic program, called the choice deterministic linear program(CDLP) is usually used to generate dyamic controls. Recently, a compact linear programmingformulation of this linear program was given for the multi-segment multinomial-logit (MNL)model of customer choice with non-overlapping consideration sets. Our objective is to obtaina tighter bound than this formulation while retaining the appealing properties of a compactlinear programming representation. To this end, it is natural to consider the affine relaxationof the dynamic program. We first show that the affine relaxation is NP-complete even for asingle-segment MNL model. Nevertheless, by analyzing the affine relaxation we derive a newcompact linear program that approximates the dynamic programming value function betterthan CDLP, provably between the CDLP value and the affine relaxation, and often comingclose to the latter in our numerical experiments. When the segment consideration sets overlap,we show that some strong equalities called product cuts developed for the CDLP remain validfor our new formulation. Finally we perform extensive numerical comparisons on the variousbounds to evaluate their performance.

Compact matrix expressions for generalized Wald tests of equality of moment vectors

Asymptotic chi-squared test statistics for testing the equality ofmoment vectors are developed. The test statistics proposed aregeneralizedWald test statistics that specialize for different settings by inserting andappropriate asymptotic variance matrix of sample moments. Scaled teststatisticsare also considered for dealing with situations of non-iid sampling. Thespecializationwill be carried out for testing the equality of multinomial populations, andtheequality of variance and correlation matrices for both normal andnon-normaldata. When testing the equality of correlation matrices, a scaled versionofthe normal theory chi-squared statistic is proven to be an asymptoticallyexactchi-squared statistic in the case of elliptical data.

Consumer Advisory Bulletin, Beware of Scheme Targeting African Americans, January 2008

The Attorney General’s Consumer Protection Division receives hundreds of calls and consumer complaints every year. Follow these tips to avoid unexpected expense and disappointments. This record is about: Beware of Scheme Targeting African Americans

Solving higher-dimensional continuous time stochastic control problems by value function regression

The paper develops a method to solve higher-dimensional stochasticcontrol problems in continuous time. A finite difference typeapproximation scheme is used on a coarse grid of low discrepancypoints, while the value function at intermediate points is obtainedby regression. The stability properties of the method are discussed,and applications are given to test problems of up to 10 dimensions.Accurate solutions to these problems can be obtained on a personalcomputer.

The efficiency of a carbamazepine-mianserin combination scheme in opiate detoxification.

A recent comparative randomized double-blind study has suggested the utility of a carbamazepine/mianserin combination as a treatment for opiate withdrawal. The aim of the present study was to explore the feasibility and efficiency of this combination under naturalistic conditions. Five hundred and fifty mostly polysubstance abusing patients treated with a standardized scheme combining carbamazepine and mianserin were assessed with regard to deviations to the protocol, used co-medications and retention in treatment.Three hundred and sixty three patients (66.0%) received the carbamazepine/mianserin combination as specified by the standardized protocol. In 350 patients (63.7%) the whole 10 days was completed. The most frequently used p.r.n. medications were for anxiety (47.5%) and insomnia (54.5%).The treatment of opiate withdrawal with a carbamazepine/mianserin combination scheme in an inpatient setting seems to be feasible and applicable with few adaptations to most patients, and may represent an interesting treatment option for multidrug users.

A scaled difference chi-square test statistic for moment structure analysis

A family of scaling corrections aimed to improve the chi-square approximation of goodness-of-fit test statistics in small samples, large models, and nonnormal data was proposed in Satorra and Bentler (1994). For structural equations models, Satorra-Bentler's (SB) scaling corrections are available in standard computer software. Often, however, the interest is not on the overall fit of a model, but on a test of the restrictions that a null model say ${\cal M}_0$ implies on a less restricted one ${\cal M}_1$. If $T_0$ and $T_1$ denote the goodness-of-fit test statistics associated to ${\cal M}_0$ and ${\cal M}_1$, respectively, then typically the difference $T_d = T_0 - T_1$ is used as a chi-square test statistic with degrees of freedom equal to the difference on the number of independent parameters estimated under the models ${\cal M}_0$ and ${\cal M}_1$. As in the case of the goodness-of-fit test, it is of interest to scale the statistic $T_d$ in order to improve its chi-square approximation in realistic, i.e., nonasymptotic and nonnormal, applications. In a recent paper, Satorra (1999) shows that the difference between two Satorra-Bentler scaled test statistics for overall model fit does not yield the correct SB scaled difference test statistic. Satorra developed an expression that permits scaling the difference test statistic, but his formula has some practical limitations, since it requires heavy computations that are notavailable in standard computer software. The purpose of the present paper is to provide an easy way to compute the scaled difference chi-square statistic from the scaled goodness-of-fit test statistics of models ${\cal M}_0$ and ${\cal M}_1$. A Monte Carlo study is provided to illustrate the performance of the competing statistics.