An electronic voting platform with elliptic curve cryptography

The future of elections seems to be electronic voting systems du to its advantatges over the traditional voting. Nowadays, there are some different paradigms to ensure the security and reliability of e-voting. This document is part of a wider project which presents an e-Voting platform based on elliptic curve cryptography. It uses an hybrid combination of two of the main e-Voting paradigms to guarantee privacy and security in the counting phase, these are precisely, the mixnets and the homomorphic protocols. This document is focused in the description of the system and the maths and programming needed to solve the homomorphic part of it. In later chapters, there is a comparison between a simple mixing system and our system proposal.

Compact portable biosensor for arsenic detection in aqueous samples with Escherichia coli bioreporter cells.

We present a compact portable biosensor to measure arsenic As(III) concentrations in water using Escherichia coli bioreporter cells. Escherichia coli expresses green fluorescent protein in a linearly dependent manner as a function of the arsenic concentration (between 0 and 100 μg/L). The device accommodates a small polydimethylsiloxane microfluidic chip that holds the agarose-encapsulated bacteria, and a complete optical illumination/collection/detection system for automated quantitative fluorescence measurements. The device is capable of sampling water autonomously, controlling the whole measurement, storing and transmitting data over GSM networks. We demonstrate highly reproducible measurements of arsenic in drinking water at 10 and 50 μg/L within 100 and 80 min, respectively.

Additional compact formulas for vibrational dynamic dipole polarizabilities and hyperpolarizabilities

Compact expressions, complete through second order in electrical and/or mechanical anharmonicity, are given for the dynamic dipole vibrational polarizability and dynamic first and second vibrational hyperpolarizabilities. Certain contributions not previously formulated are now included

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.

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.

Sistemas de Tratamento e Disposição dos Resíduos Sólidos Compact Power & Aterro Sanitário

Na actual monografia intitulada “Sistemas de Tratamento e Disposição dos Resíduos Sólidos” adoptar-se-á as teorias clássicas de solos, para representar os resíduos sólidos urbanos. No que diz ao tratamento e disposição, diversos métodos e técnicas vão ser apresentados. Assim esta pesquisa tem como objectivo principal avaliar o Aterro Sanitário proposto para Santiago, 1999 e a tecnologia do Compact Power (pirólise/gasificação). Os dados dos resíduos sólidos ficaram restringidos aos resíduos urbanos, encontrando-se uma grande heterogeneidade e constantes questionamentos em diversas bibliografias. Analisa-se os elementos base para o dimensionamento do Aterro Sanitário abrangendo um estudo mais aprofundado sobre a estabilização dos taludes. Quanto ao Compact Power, far-se-á a apresentação da planta que incluiu duas linhas, uma para o resíduo misturado e o outro para resíduos separados, uma planta de compostagem e uma planta de conversão térmica avançada (empregando os processos de pirólises, gaseificação e oxidação a alta temperatura). Na compilação deste documento, encontra-se uma análise SWOT, com o intuito de melhor analisar as referidas tecnologias apresentadas.

A search for microquasar candidates at low galactic latitudes

Recent studies of relativistic jet sources in the Galaxy, also known as microquasars, have been very useful in trying to understand the accretion/ejection processes that take place near compact objects. However, the number of sources involved in such studies is still small. In an attempt to increase the number of known microquasars we have carried out a search for new Radio Emitting X-ray Binaries (REXBs). These sources are the ones to be observed later with VLBI techniques to unveil their possible microquasar nature. To this end, we have performed a cross-identification between the X-ray ROSAT all sky survey Bright Source Catalog (RBSC) and the radio NRAO VLA Sky Survey (NVSS) catalogs under very restrictive selection criteria for sources with |b|<5 degrees. We have also conducted a deep observational radio and optical study for six of the selected candidates. At the end of this process two of the candidates appear to be promising, and deserve additional observations aimed to confirm their proposed microquasar nature.

The extraordinarily bright optical afterglow of GRB 991208 and its host galaxy

Observations of the extraordinarily bright optical afterglow (OA) of GRB 991208 started 2.1 d after the event. The flux decay constant of the OA in the R-band is -2.30 +/- 0.07 up to 5 d, which is very likely due to the jet effect, and after that it is followed by a much steeper decay with constant -3.2 +/- 0.2, the fastest one ever seen in a GRB OA. A negative detection in several all-sky films taken simultaneously to the event implies either a previous additional break prior to 2 d after the occurrence of the GRB (as expected from the jet effect). The existence of a second break might indicate a steepening in the electron spectrum or the superposition of two events. Once the afterglow emission vanished, contribution of a bright underlying SN is found, but the light curve is not sufficiently well sampled to rule out a dust echo explanation. Our determination of z = 0.706 indicates that GRB 991208 is at 3.7 Gpc, implying an isotropic energy release of 1.15 x 10E53 erg which may be relaxed by beaming by a factor > 100. Precise astrometry indicates that the GRB coincides within 0.2' with the host galaxy, thus given support to a massive star origin. The absolute magnitude is M_B = -18.2, well below the knee of the galaxy luminosity function and we derive a star-forming rate of 11.5 +/- 7.1 Mo/yr. The quasi-simultaneous broad-band photometric spectral energy distribution of the afterglow is determined 3.5 day after the burst (Dec 12.0) implying a cooling frequency below the optical band, i.e. supporting a jet model with p = -2.30 as the index of the power-law electron distribution.

The Coordinated Radio and Infrared Survey for High-Mass Star Formation (The CORNISH Survey). I. Survey Design

We describe the motivation, design, and implementation of the CORNISH survey, an arcsecondresolution radio continuum survey of the inner galactic plane at 5 GHz using the Very Large Array (VLA). It is a blind survey coordinated with the northern SpitzerGLIMPSE I region covering 10° compact H II regions to study this key phase in massive star formation. A sensitivity around 2 mJy will allow the automatic distinction between radio-loud and radio-quiet midIR sources found in the Spitzersurveys. This survey has many legacy applications beyond star formation, including evolved stars, active stars and binaries, and extragalactic sources. The CORNISH survey for compact ionized sources complements other Galactic plane surveys that target diffuse and nonthermal sources, as well as atomic and molecular phases to build up a complete picture of the interstellar medium in the Galaxy.

The Flag, Lincoln's Gettysburg Address, the Constitution of the State of Iowa, the Declaration of Independence, the "Mayflower" Compact, the Constitution of the United States : reprint from the Iowa Official Register, 1951-1952, 1958.

Reprints from the Iowa Official Register, 1951-1952 of The Flag, Lincoln's Gettysburg Address, the Constitution of the State of Iowa, the Declaration of Independence, the "Mayflower" Compact and the Constitution of the United States.

A physical frequency-dependent compact model for RF integrated inductors

A frequency-dependent compact model for inductors in high ohmic substrates, which is based on an energy point-of-view, is developed. This approach enables the description of the most important coupling phenomena that take place inside the device. Magnetically induced losses are quite accurately calculated and coupling between electric and magnetic fields is given by means of a delay constant. The later coupling phenomenon provides a modified procedure for the computation of the fringing capacitance value, when the self-resonance frequency of the inductor is used as a fitting parameter. The model takes into account the width of every metal strip and the pitch between strips. This enables the description of optimized layout inductors. Data from experiments and electromagnetic simulators are presented to test the accuracy of the model.

Dynamic compact thermal models with multiple power sources: application to an ultrathin chip stacking technology

Whereas numerical modeling using finite-element methods (FEM) can provide transient temperature distribution in the component with enough accuracy, it is of the most importance the development of compact dynamic thermal models that can be used for electrothermal simulation. While in most cases single power sources are considered, here we focus on the simultaneous presence of multiple sources. The thermal model will be in the form of a thermal impedance matrix containing the thermal impedance transfer functions between two arbitrary ports. Eachindividual transfer function element ( ) is obtained from the analysis of the thermal temperature transient at node ¿ ¿ after a power step at node ¿ .¿ Different options for multiexponential transient analysis are detailed and compared. Among the options explored, small thermal models can be obtained by constrained nonlinear least squares (NLSQ) methods if the order is selected properly using validation signals. The methods are applied to the extraction of dynamic compact thermal models for a new ultrathin chip stack technology (UTCS).

Dynamically tuned interferometers for the observation of gravitational waves from coalescing compact binaries

We propose a new method of operating laser interferometric gravitational-wave detectors when observing chirps of gravitational radiation from coalescing compact binary stars. This technique consists of the use of narrow-band dual recycling to increase the signal but with the tuning frequency of the detector arranged to follow the frequency of a chirp. We consider the response of such an instrument to chirps, including the effect of inevitable errors in tracking. Different possible tuning strategies are discussed. Both the final signal-to-noise ratio and timing accuracy are evaluated and are shown to be significantly improved by the use of dynamic tuning. This should allow an accurate and reliable measurement of Hubble's constant.