A General Framework for the Derivation of Regular Expressions

The aim of this paper is to design a theoretical framework that allows us to perform the computation of regular expression derivatives through a space of generic structures. Thanks to this formalism, the main properties of regular expression derivation, such as the finiteness of the set of derivatives, need only be stated and proved one time, at the top level. Moreover, it is shown how to construct an alternating automaton associated with the derivation of a regular expression in this general framework. Finally, Brzozowski's derivation and Antimirov's derivation turn out to be a particular case of this general scheme and it is shown how to construct a DFA, a NFA and an AFA for both of these derivations.Comment: 22 page

Measurement of Bose-Einstein correlations in pp collisions at √s = 0.9 and 7 TeV

Bose-Einstein correlations between identical particles are measured in samples of proton-proton collisions at 0.9 and 7TeV centre-of-mass energies, recorded by the CMS experiment at the LHC. The signal is observed in the form of an enhancement of number of pairs of same-sign charged particles with small relative momentum. The dependence of this enhancement on kinematic and topological features of the event is studied. Anticorrelations between same-sign charged particles are observed in the region of relative momenta higher than those in the signal region

Tete-A-Tete Project: software engineering tools supporting understanding

Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development process and focuses on creating Understanding-Oriented Automated Software Engineering Tools. The project is based algebraic approach to the presentation of programs, which opens up the possibility of transformation and optimization programs. Implementation of the Tete-A-Tete Project will make it possible to build high quality software more quickly and with lower cost, than previously possible; will have essential impact on Software Reengineering and will lead to rethinking and reinvention of the Chief Programmer Team in the form of the Software Director Team.Познаваемость методов и средств разработки программного обеспечения является необходимым и наиболее важным условием существенного снижения стоимости программных систем. В этой работе описывается проект Tete-A-Tete, который предлагает радикальное переосмысление процесса разработки программного обеспечения и направлен на создание ориентированных на познаваемость автоматизированных средств разработки программных систем. В основе проекта лежит алгебраический подход к представлению программ, который открывает возможности трансформации и оптимизации программ. Реализация проекта Tete-A-Tete позволит создавать программное обеспечение более высокого качества , быстрее и с меньшими затратами, чем это было возможно ранее; окажет влияние на Реинжининг Программного Обеспечения и приведет к переосмыслению и возврату к использованию Бригады Главного Программиста в виде Бригады Программного Режиссера

Search for Microscopic Black Hole Signatures at the Large Hadron Collider

Peer reviewe

Search for microscopic black hole signatures at the Large Hadron Collider

This is the Pre-Print version of the Article. The official published paper can be accessed from the link below - Copyright @ 2011 ElsevierA search for microscopic black hole production and decay in pp collisions at a center-of-mass energy of 7 TeV has been conducted by the CMS Collaboration at the LHC, using a data sample corresponding to an integrated luminosity of 35 inverse picobarns. Events with large total transverse energy are analyzed for the presence of multiple high-energy jets, leptons, and photons, typical of a signal expected from a microscopic black hole. Good agreement with the expected standard model backgrounds, dominated by QCD multijet production, is observed for various final-state multiplicities. Limits on the minimum black hole mass are set, in the range 3.5 -- 4.5 TeV, for a variety of parameters in a model with large extra dimensions, along with model-independent limits on new physics in these final states. These are the first direct limits on black hole production at a particle accelerator.This work is supported by the FMSR (Austria); FNRS and FWO (Belgium); CNPq, CAPES, FAPERJ, and FAPESP (Brazil); MES (Bulgaria); CERN; CAS, MoST, and NSFC (China); COLCIENCIAS (Colombia); MSES (Croatia); RPF (Cyprus); Academy of Sciences and NICPB (Estonia); Academy of Finland, ME, and HIP (Finland); CEA and CNRS/IN2P3 (France); BMBF, DFG, and HGF (Germany); GSRT (Greece); OTKA and NKTH (Hungary); DAE and DST (India); IPM (Iran); SFI (Ireland); INFN (Italy); NRF and WCU (Korea); LAS (Lithuania); CINVESTAV, CONACYT, SEP, and UASLP-FAI (Mexico); PAEC (Pakistan); SCSR (Poland); FCT (Portugal); JINR (Armenia, Belarus, Georgia, Ukraine, Uzbekistan); MST and MAE (Russia); MSTD (Serbia); MICINN and CPAN (Spain); Swiss Funding Agencies (Switzerland); NSC (Taipei); TUBITAK and TAEK (Turkey); STFC (United Kingdom); DOE and NSF (USA)

Search for new physics with same-sign isolated dilepton events with jets and missing transverse energy

A search for new physics is performed in events with two same-sign isolated leptons, hadronic jets, and missing transverse energy in the final state. The analysis is based on a data sample corresponding to an integrated luminosity of 4.98 inverse femtobarns produced in pp collisions at a center-of-mass energy of 7 TeV collected by the CMS experiment at the LHC. This constitutes a factor of 140 increase in integrated luminosity over previously published results. The observed yields agree with the standard model predictions and thus no evidence for new physics is found. The observations are used to set upper limits on possible new physics contributions and to constrain supersymmetric models. To facilitate the interpretation of the data in a broader range of new physics scenarios, information on the event selection, detector response, and efficiencies is provided.Comment: Published in Physical Review Letter