2,063 research outputs found
Bioecologia do parasitoide de ovos Fopius arisanus (Sonan, 1932) (Hymenoptera: Braconidae) em moscas-das-frutas.
Dissertação (Mestrado). Programa de Pós-Graduação em Fitossanidade. Universidade Federal de Pelotas, Pelotas. Orientador: Alci Enimar Loeck, Co-orientador: Sandro Daniel Nornberg, Dori Edson Nava, CPACT
Malleable Proof Systems and Applications
Malleability for cryptography is not necessarily an opportunity for attack, but in many cases a potentially useful feature that can be exploited. In this work, we examine notions of malleability for non-interactive zero-knowledge (NIZK) proofs. We start by defining a malleable proof system, and then consider ways to meaningfully control the malleability of the proof system, as in many settings we would like to guarantee that only certain types of transformations can be performed. We also define notions for the cases in which we do not necessarily want a user to know that a proof has been obtained by applying a particular transformation; these are analogous to function/circuit privacy for encryption. As our motivating application, we consider a shorter proof for verifiable shuffles. Our controlled-malleable proofs allow us for the first time to use one compact proof to prove the correctness of an entire multi-step shuffle. Each authority takes as input a set of encrypted votes and a controlled-malleable NIZK proof that these are a shuffle of the original encrypted votes submitted by the voters; it then permutes and re-randomizes these votes and updates the proof by exploiting its controlled malleability. As another application, we generically use controlled-malleable proofs to realize a strong notion of encryption security. Finally, we examine malleability in existing proof systems and observe that Groth-Sahai proofs are malleable. We then go beyond this observation by characterizing all the ways in which they are malleable, and use them to efficiently instantiate our generic constructions from above; this means we can instantiate our proofs and all their applications using only the Decision Linear (DLIN) assumption. Work done as an intern at Microsoft Research Redmon
HST/WFPC2 morphologies and color maps of distant luminous infrared galaxies
Using HST/WFPC2 imaging in F606W (or F450W) and F814W filters, we obtained
the color maps in observed frame for 36 distant (0.4<z<1.2) luminous infrared
galaxies (LIRGs), with average star formation rates of ~100 M_sun/yr. Stars and
compact sources are taken as references to align images after correction of
geometric distortion. This leads to an alignment accuracy of 0.15 pixel, which
is a prerequisite for studying the detailed color properties of galaxies with
complex morphologies. A new method is developed to quantify the reliability of
each pixel in the color map without any bias against very red or blue color
regions.Based on analyses of two-dimensional structure and spatially resolved
color distribution, we carried out morphological classification for LIRGs.
About 36% of the LIRGs were classified as disk galaxies and 22% as irregulars.
Only 6 (17%) systems are obvious ongoing major mergers. An upper limit of 58%
was found for the fraction of mergers in LIRGs with all the possible
merging/interacting systems included. Strikingly, the fraction of compact
sources is as high as 25%, similar to that found in optically selected samples.
From their K band luminosities, LIRGs are relatively massive systems, with an
average stellar mass of about 1.1x10^11 solar mass. They are related to the
formation of massive and large disks, from their morphologies and also from the
fact that they represent a significant fraction of distant disks selected by
their sizes. The compact LIRGs show blue cores, which could be associated with
the formation of the central region of these galaxies. We suggest that there
are many massive disks still forming a large fraction of their stellar mass
since z=1. For most of them, their central parts (bulge?) were formed prior to
the formation of their disks.Comment: 20 pages, 14 figures, accepted for publication in A&
Disorder-Induced Multiple Transition involving Z2 Topological Insulator
Effects of disorder on two-dimensional Z2 topological insulator are studied
numerically by the transfer matrix method. Based on the scaling analysis, the
phase diagram is derived for a model of HgTe quantum well as a function of
disorder strength and magnitude of the energy gap. In the presence of sz
non-conserving spin-orbit coupling, a finite metallic region is found that
partitions the two topologically distinct insulating phases. As disorder
increases, a narrow-gap topologically trivial insulator undergoes a series of
transitions; first to metal, second to topological insulator, third to metal,
and finally back to trivial insulator. We show that this multiple transition is
a consequence of two disorder effects; renormalization of the band gap, and
Anderson localization. The metallic region found in the scaling analysis
corresponds roughly to the region of finite density of states at the Fermi
level evaluated in the self-consistent Born approximation.Comment: 5 pages, 5 figure
Timing measurements and proper motions of 74 pulsars using the Nanshan radio telescope
We have measured the positions of 74 pulsars from regular timing observations
using the Nanshan radio telescope at Urumqi Observatory between 2000 January
and 2004 August (MJD 51500 -- 53240). Proper motions were determined for these
pulsars by comparing their current positions with positions given in pulsar
catalogues. We compare our results to earlier measurements in the literature
and show that, in general, the values agree. New or improved proper motions are
obtained for 16 pulsars. The effect of period fluctuations and other timing
noise on the determination of pulsar positions is investigated. For our sample,
the mean and rms transverse velocities are 443 and 224 km/s respectively,
agreeing with previous work even though we determine distances using the new
NE2001 electron density model.Comment: 9 pages, 7 figures and 3 tables. Accepted by MNRA
Power Spectra for Cold Dark Matter and its Variants
The bulk of recent cosmological research has focused on the adiabatic cold
dark matter model and its simple extensions. Here we present an accurate
fitting formula that describes the matter transfer functions of all common
variants, including mixed dark matter models. The result is a function of
wavenumber, time, and six cosmological parameters: the massive neutrino
density, number of neutrino species degenerate in mass, baryon density, Hubble
constant, cosmological constant, and spatial curvature. We show how
observational constraints---e.g. the shape of the power spectrum, the abundance
of clusters and damped Lyman-alpha systems, and the properties of the
Lyman-alpha forest--- can be extended to a wide range of cosmologies, including
variations in the neutrino and baryon fractions in both high-density and
low-density universes.Comment: 20 pages, LaTeX, 4 figures. Submitted to ApJ. Electronic versions of
the fitting formula, as well as simple codes to output cosmological
quantities (e.g. sigma_8) as a function of parameters and illustrative
animations of parameter dependence, are available at
http://www.sns.ias.edu/~whu/transfer/transfer.htm
Order-Revealing Encryption and the Hardness of Private Learning
An order-revealing encryption scheme gives a public procedure by which two
ciphertexts can be compared to reveal the ordering of their underlying
plaintexts. We show how to use order-revealing encryption to separate
computationally efficient PAC learning from efficient -differentially private PAC learning. That is, we construct a concept
class that is efficiently PAC learnable, but for which every efficient learner
fails to be differentially private. This answers a question of Kasiviswanathan
et al. (FOCS '08, SIAM J. Comput. '11).
To prove our result, we give a generic transformation from an order-revealing
encryption scheme into one with strongly correct comparison, which enables the
consistent comparison of ciphertexts that are not obtained as the valid
encryption of any message. We believe this construction may be of independent
interest.Comment: 28 page
Preferência de hospedeiros por Fopius arisanus.
O objetivo deste estudo foi selecionar a melhor linhagem/espécie envolvendo Trichogramma pretiosum e Trichogrammatoidea annulata para controle de H. armigera
Rapid sympathetic cooling to Fermi degeneracy on a chip
Neutral fermions present new opportunities for testing many-body condensed
matter systems, realizing precision atom interferometry, producing ultra-cold
molecules, and investigating fundamental forces. However, since their first
observation, quantum degenerate Fermi gases (DFGs) have continued to be
challenging to produce, and have been realized in only a handful of
laboratories. In this Letter, we report the production of a DFG using a simple
apparatus based on a microfabricated magnetic trap. Similar approaches applied
to Bose-Einstein Condensation (BEC) of 87Rb have accelerated evaporative
cooling and eliminated the need for multiple vacuum chambers. We demonstrate
sympathetic cooling for the first time in a microtrap, and cool 40K to Fermi
degeneracy in just six seconds -- faster than has been possible in conventional
magnetic traps. To understand our sympathetic cooling trajectory, we measure
the temperature dependence of the 40K-87Rb cross-section and observe its
Ramsauer-Townsend reduction.Comment: 5 pages, 4 figures (v3: new collision data, improved atom number
calibration, revised text, improved figures.
- …