Daily Stress Recognition from Mobile Phone Data, Weather Conditions and Individual Traits

Research has proven that stress reduces quality of life and causes many diseases. For this reason, several researchers devised stress detection systems based on physiological parameters. However, these systems require that obtrusive sensors are continuously carried by the user. In our paper, we propose an alternative approach providing evidence that daily stress can be reliably recognized based on behavioral metrics, derived from the user's mobile phone activity and from additional indicators, such as the weather conditions (data pertaining to transitory properties of the environment) and the personality traits (data concerning permanent dispositions of individuals). Our multifactorial statistical model, which is person-independent, obtains the accuracy score of 72.28% for a 2-class daily stress recognition problem. The model is efficient to implement for most of multimedia applications due to highly reduced low-dimensional feature space (32d). Moreover, we identify and discuss the indicators which have strong predictive power.Comment: ACM Multimedia 2014, November 3-7, 2014, Orlando, Florida, US

Predictable arguments of knowledge

We initiate a formal investigation on the power of predictability for argument of knowledge systems for NP. Specifically, we consider private-coin argument systems where the answer of the prover can be predicted, given the private randomness of the verifier; we call such protocols Predictable Arguments of Knowledge (PAoK). Our study encompasses a full characterization of PAoK, showing that such arguments can be made extremely laconic, with the prover sending a single bit, and assumed to have only one round (i.e., two messages) of communication without loss of generality. We additionally explore PAoK satisfying additional properties (including zero-knowledge and the possibility of re-using the same challenge across multiple executions with the prover), present several constructions of PAoK relying on different cryptographic tools, and discuss applications to cryptography

Formal and model driven design of the bright light therapy system Luxamet

Seasonal depression seriously diminishes the quality of life for many patients. To improve their condition, we propose LUXAMET, a bright light therapy system. This system has the potential to relieve patients from some of the symptoms caused by seasonal depression. The system was designed with a formal and model driven design methodology. This methodology enabled us to minimize systemic hazards, like blinding patients with an unhealthy dose of light. This was achieved by controlling race conditions and memory leaks, during design time. We prove that the system specification is deadlock as well as livelock free and there are no invariant violations. These proofs, together with the similarity between specification model and implementation code, make us confident that the implemented system is a reliable tool which can help patients during seasonal depression

Chosen-ciphertext security from subset sum

We construct a public-key encryption (PKE) scheme whose security is polynomial-time equivalent to the hardness of the Subset Sum problem. Our scheme achieves the standard notion of indistinguishability against chosen-ciphertext attacks (IND-CCA) and can be used to encrypt messages of arbitrary polynomial length, improving upon a previous construction by Lyubashevsky, Palacio, and Segev (TCC 2010) which achieved only the weaker notion of semantic security (IND-CPA) and whose concrete security decreases with the length of the message being encrypted. At the core of our construction is a trapdoor technique which originates in the work of Micciancio and Peikert (Eurocrypt 2012

Universal Vectorial and Ultrasensitive Nanomechanical Force Field Sensor

Miniaturization of force probes into nanomechanical oscillators enables ultrasensitive investigations of forces on dimensions smaller than their characteristic length scale. Meanwhile it also unravels the force field vectorial character and how its topology impacts the measurement. Here we expose an ultrasensitive method to image 2D vectorial force fields by optomechanically following the bidimensional Brownian motion of a singly clamped nanowire. This novel approach relies on angular and spectral tomography of its quasi frequency-degenerated transverse mechanical polarizations: immersing the nanoresonator in a vectorial force field does not only shift its eigenfrequencies but also rotate eigenmodes orientation as a nano-compass. This universal method is employed to map a tunable electrostatic force field whose spatial gradients can even take precedence over the intrinsic nanowire properties. Enabling vectorial force fields imaging with demonstrated sensitivities of attonewton variations over the nanoprobe Brownian trajectory will have strong impact on scientific exploration at the nanoscale

A measurement of the tau mass and the first CPT test with tau leptons

We measure the mass of the tau lepton to be 1775.1+-1.6(stat)+-1.0(syst.) MeV using tau pairs from Z0 decays. To test CPT invariance we compare the masses of the positively and negatively charged tau leptons. The relative mass difference is found to be smaller than 3.0 10^-3 at the 90% confidence level.Comment: 10 pages, 4 figures, Submitted to Phys. Letts.

Bose-Einstein Correlations of Three Charged Pions in Hadronic Z^0 Decays

Bose-Einstein Correlations (BEC) of three identical charged pions were studied in 4 x 10^6 hadronic Z^0 decays recorded with the OPAL detector at LEP. The genuine three-pion correlations, corrected for the Coulomb effect, were separated from the known two-pion correlations by a new subtraction procedure. A significant genuine three-pion BEC enhancement near threshold was observed having an emitter source radius of r_3 = 0.580 +/- 0.004 (stat.) +/- 0.029 (syst.) fm and a strength of \lambda_3 = 0.504 +/- 0.010 (stat.) +/- 0.041 (syst.). The Coulomb correction was found to increase the \lambda_3 value by \~9% and to reduce r_3 by ~6%. The measured \lambda_3 corresponds to a value of 0.707 +/- 0.014 (stat.) +/- 0.078 (syst.) when one takes into account the three-pion sample purity. A relation between the two-pion and the three-pion source parameters is discussed.Comment: 19 pages, LaTeX, 5 eps figures included, accepted by Eur. Phys. J.

W+W- production and triple gauge boson couplings at LEP energies up to 183 GeV

A study of W-pair production in e+e- annihilations at Lep2 is presented, based on 877 W+W- candidates corresponding to an integrated luminosity of 57 pb-1 at sqrt(s) = 183 GeV. Assuming that the angular distributions of the W-pair production and decay, as well as their branching fractions, are described by the Standard Model, the W-pair production cross-section is measured to be 15.43 +- 0.61 (stat.) +- 0.26 (syst.) pb. Assuming lepton universality and combining with our results from lower centre-of-mass energies, the W branching fraction to hadrons is determined to be 67.9 +- 1.2 (stat.) +- 0.5 (syst.)%. The number of W-pair candidates and the angular distributions for each final state (qqlnu,qqqq,lnulnu) are used to determine the triple gauge boson couplings. After combining these values with our results from lower centre-of-mass energies we obtain D(kappa_g)=0.11+0.52-0.37, D(g^z_1)=0.01+0.13-0.12 and lambda=-0.10+0.13-0.12, where the errors include both statistical and systematic uncertainties and each coupling is determined setting the other two couplings to the Standard Model value. The fraction of W bosons produced with a longitudinal polarisation is measured to be 0.242+-0.091(stat.)+-0.023(syst.). All these measurements are consistent with the Standard Model expectations.Comment: 48 pages, LaTeX, including 13 eps or ps figures, submitted to European Physical Journal