Automated labeling of unknown contracts in Ethereum

yesSmart contracts have recently attracted interest from diverse fields including law and finance. Ethereum in particular has grown rapidly to accommodate an entire ecosystem of contracts which run using its own crypto-currency. Smart contract developers can opt to verify their contracts so that any user can inspect and audit the code before executing the contract. However, the huge numbers of deployed smart contracts and the lack of supporting tools for the analysis of smart contracts makes it very challenging to get insights into this eco-environment, where code gets executed through transactions performing value transfer of a crypto-currency. We address this problem and report on the use of unsupervised clustering techniques and a seed set of verified contracts, in this work we propose a framework to group together similar contracts within the Ethereum network using only the contracts publicly available compiled code. We report qualitative and quantitative results on a dataset and provide the dataset and project code to the research community.Link to conference webpage: http://icccn.org/icccn17/workshop

Characteristics of Paremba Sandstones in Bantimala Complex: The Implication of Oil Exploration in Eastern Indonesia

This research aims to determine the characteristics and provenance of paremba sandstones as an implication of oil and gas reservoirs potential. Paremba sandstone is a shallow marine sedimentary rock in the Bantimala tectonic complex, which is composed of flysh-type sedimentary rocks, interbedded sandstone, shale and conglomerates. The field data retrieval are using measuring section method. There are 31 thin section samples, including 5 blue day thin section samples for provenance analysis based on the percentage content of monocrystalline quartz, polycrystalline quartz, plagioclase, K-Feldfar and rock fragments. Paremba sandstone lies on the Bontorio River consist of conglomerates, very coarse - fine sandstones, siltstone, claystone and fosilliferous limestone with an almost vertical slope of 70 ° - 80 ° and NW - SE direction. Conglomerates are divided into two types, namely cherty conglomerate which is grayish-red colored, the sizes of the grain are pebble - boulder, open-packing, bad sorting, fragments consists of schist and quartzite, matrix in sandy-silt and cement consists of silica (chert) and grayish conglomerates which is similar to a cherty conglomerate, but it has gray colored and absen of chert. Sandstone have coarse - fine grain sizes, sub-angular - rounded grain shapes, in the form of arkose and litharenite which have flame structures (load cast: sole mark), slump structure, parallel lamination and ripple lamination. The presence of mosaic textures on sandy limestones, epidote in sandstones and graphite shows that paremba sandstones had undergone low-grade metamorphism. Based on the Qm-F-Lt diagram, the Qm-PK diagram and the Qt-F-L diagram, the paremba sandstones are from recycled orogen to interior craters, whose rocks had undergone Lithic recyled, transitional recycled, until quartoze recycled so it is interpreted that paremba sandstone comes from the Recycle orogenic tectonic environment. Petrographic observations of five blueday samples found that two of them had porosity <1% with fracture porosity-type. This is indicates that paremba sandstones are not suitable as oil and gas reservoirs

Charge separation relative to the reaction plane in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}= 2.76 TeV

Measurements of charge dependent azimuthal correlations with the ALICE detector at the LHC are reported for Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV. Two- and three-particle charge-dependent azimuthal correlations in the pseudo-rapidity range $|\eta| < 0.8$ are presented as a function of the collision centrality, particle separation in pseudo-rapidity, and transverse momentum. A clear signal compatible with a charge-dependent separation relative to the reaction plane is observed, which shows little or no collision energy dependence when compared to measurements at RHIC energies. This provides a new insight for understanding the nature of the charge dependent azimuthal correlations observed at RHIC and LHC energies.Comment: 12 pages, 3 captioned figures, authors from page 2 to 6, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/286

A note on comonotonicity and positivity of the control components of decoupled quadratic FBSDE

In this small note we are concerned with the solution of Forward-Backward Stochastic Differential Equations (FBSDE) with drivers that grow quadratically in the control component (quadratic growth FBSDE or qgFBSDE). The main theorem is a comparison result that allows comparing componentwise the signs of the control processes of two different qgFBSDE. As a byproduct one obtains conditions that allow establishing the positivity of the control process.Comment: accepted for publicatio

Transverse sphericity of primary charged particles in minimum bias proton-proton collisions at s=0.9\sqrt{s}=0.9, 2.76 and 7 TeV

Measurements of the sphericity of primary charged particles in minimum bias proton--proton collisions at $\sqrt{s}=0.9$, 2.76 and 7 TeV with the ALICE detector at the LHC are presented. The observable is linearized to be collinear safe and is measured in the plane perpendicular to the beam direction using primary charged tracks with $p_{\rm T}\geq0.5$ GeV/c in $|\eta|\leq0.8$. The mean sphericity as a function of the charged particle multiplicity at mid-rapidity ($N_{\rm ch}$) is reported for events with different $p_{\rm T}$ scales ("soft" and "hard") defined by the transverse momentum of the leading particle. In addition, the mean charged particle transverse momentum versus multiplicity is presented for the different event classes, and the sphericity distributions in bins of multiplicity are presented. The data are compared with calculations of standard Monte Carlo event generators. The transverse sphericity is found to grow with multiplicity at all collision energies, with a steeper rise at low $N_{\rm ch}$, whereas the event generators show the opposite tendency. The combined study of the sphericity and the mean $p_{\rm T}$ with multiplicity indicates that most of the tested event generators produce events with higher multiplicity by generating more back-to-back jets resulting in decreased sphericity (and isotropy). The PYTHIA6 generator with tune PERUGIA-2011 exhibits a noticeable improvement in describing the data, compared to the other tested generators.Comment: 21 pages, 9 captioned figures, 3 tables, authors from page 16, published version, figures from http://aliceinfo.cern.ch/ArtSubmission/node/308

Complex c-di-GMP Signaling Networks Mediate Transition between Virulence Properties and Biofilm Formation in Salmonella enterica Serovar Typhimurium

Upon Salmonella enterica serovar Typhimurium infection of the gut, an early line of defense is the gastrointestinal epithelium which senses the pathogen and intrusion along the epithelial barrier is one of the first events towards disease. Recently, we showed that high intracellular amounts of the secondary messenger c-di-GMP in S. typhimurium inhibited invasion and abolished induction of a pro-inflammatory immune response in the colonic epithelial cell line HT-29 suggesting regulation of transition between biofilm formation and virulence by c-di-GMP in the intestine. Here we show that highly complex c-di-GMP signaling networks consisting of distinct groups of c-di-GMP synthesizing and degrading proteins modulate the virulence phenotypes invasion, IL-8 production and in vivo colonization in the streptomycin-treated mouse model implying a spatial and timely modulation of virulence properties in S. typhimurium by c-di-GMP signaling. Inhibition of the invasion and IL-8 induction phenotype by c-di-GMP (partially) requires the major biofilm activator CsgD and/or BcsA, the synthase for the extracellular matrix component cellulose. Inhibition of the invasion phenotype is associated with inhibition of secretion of the type three secretion system effector protein SipA, which requires c-di-GMP metabolizing proteins, but not their catalytic activity. Our findings show that c-di-GMP signaling is at least equally important in the regulation of Salmonella-host interaction as in the regulation of biofilm formation at ambient temperature

Centrality dependence of charged particle production at large transverse momentum in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm{NN}}} = 2.76 TeV

The inclusive transverse momentum ($p_{\rm T}$) distributions of primary charged particles are measured in the pseudo-rapidity range $|\eta|<0.8$ as a function of event centrality in Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}=2.76$ TeV with ALICE at the LHC. The data are presented in the $p_{\rm T}$ range $0.15<p_{\rm T}<50$ GeV/$c$ for nine centrality intervals from 70-80% to 0-5%. The Pb-Pb spectra are presented in terms of the nuclear modification factor $R_{\rm{AA}}$ using a pp reference spectrum measured at the same collision energy. We observe that the suppression of high-$p_{\rm T}$ particles strongly depends on event centrality. In central collisions (0-5%) the yield is most suppressed with $R_{\rm{AA}}\approx0.13$ at $p_{\rm T}=6$-7 GeV/$c$. Above $p_{\rm T}=7$ GeV/$c$, there is a significant rise in the nuclear modification factor, which reaches $R_{\rm{AA}} \approx0.4$ for $p_{\rm T}>30$ GeV/$c$. In peripheral collisions (70-80%), the suppression is weaker with $R_{\rm{AA}} \approx 0.7$ almost independently of $p_{\rm T}$. The measured nuclear modification factors are compared to other measurements and model calculations.Comment: 17 pages, 4 captioned figures, 2 tables, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/284