نتایج جستجو برای: analysis formula

تعداد نتایج: 2895889  

2001
Grigore Ro Klaus Havelund

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as...

Journal: :international journal of environmental research 0
t.h. choo department of civil engineering, pusan national university, jangjeon-dong, geumjeong-gu, busan, 609-735, south korea s.j. maeng chungbuk national university, jangjeon-dong, geumjeong-gu, south korea h.c. yoon department of civil engineering, pusan national university, jangjeon-dong, geumjeong-gu, busan, 609-735, south korea d.m. kim department of civil engineering, pusan national university, jangjeon-dong, geumjeong-gu, busan, 609-735, south korea s.c. kim department of civil engineering, pusan national university, jangjeon-dong, geumjeong-gu, busan, 609-735, south korea

this study proposed a new discharge estimation method using a mean velocity formula derived from chiu’s 2d velocity formula of probabilistic entropy concept and the river bed shear stress of channel. in particular, we could calculate the mean velocity, which is hardly measurable in flooding natural rivers, in consideration of several factors reflecting basic hydraulic characteristics such as ri...

2017
E Bagnaschi M Borsato K Sakurai O Buchmueller R Cavanaugh V Chobanova M Citron J C Costa A De Roeck M J Dolan J R Ellis H Flächer S Heinemeyer G Isidori M Lucio F Luo D Martínez Santos K A Olive A Richards G Weiglein

We perform a likelihood analysis of the minimal anomaly-mediated supersymmetry-breaking (mAMSB) model using constraints from cosmology and accelerator experiments. We find that either a wino-like or a Higgsino-like neutralino LSP, [Formula: see text], may provide the cold dark matter (DM), both with similar likelihoods. The upper limit on the DM density from Planck and other experiments enforce...

2017
R. Aaij B. Adeva M. Adinolfi Z. Ajaltouni S. Akar J. Albrecht F. Alessio M. Alexander S. Ali G. Alkhazov P. Alvarez Cartelle A. A. Alves  S. Amato S. Amerio Y. Amhis L. An L. Anderlini G. Andreassi M. Andreotti J. E. Andrews R. B. Appleby F. Archilli P. d’Argent J. Arnau Romeu A. Artamonov M. Artuso E. Aslanides G. Auriemma M. Baalouch I. Babuschkin S. Bachmann J. J. Back A. Badalov C. Baesso S. Baker W. Baldini R. J. Barlow C. Barschel S. Barsuk W. Barter M. Baszczyk V. Batozskaya B. Batsukh V. Battista A. Bay L. Beaucourt J. Beddow F. Bedeschi I. Bediaga L. J. Bel V. Bellee N. Belloli K. Belous I. Belyaev E. Ben-Haim G. Bencivenni S. Benson J. Benton A. Berezhnoy R. Bernet A. Bertolin F. Betti M.-O. Bettler M. van Beuzekom Ia. Bezshyiko S. Bifani P. Billoir T. Bird A. Birnkraut A. Bitadze A. Bizzeti T. Blake F. Blanc J. Blouw S. Blusk V. Bocci T. Boettcher A. Bondar N. Bondar W. Bonivento I. Bordyuzhin A. Borgheresi S. Borghi M. Borisyak M. Borsato F. Bossu M. Boubdir T. J. V. Bowcock E. Bowen C. Bozzi S. Braun M. Britsch T. Britton J. Brodzicka E. Buchanan C. Burr A. Bursche J. Buytaert S. Cadeddu R. Calabrese M. Calvi M. Calvo Gomez A. Camboni P. Campana D. Campora Perez D. H. Campora Perez L. Capriotti A. Carbone G. Carboni R. Cardinale A. Cardini P. Carniti L. Carson K. Carvalho Akiba G. Casse L. Cassina L. Castillo Garcia M. Cattaneo Ch. Cauet G. Cavallero R. Cenci M. Charles Ph. Charpentier G. Chatzikonstantinidis M. Chefdeville S. Chen S. F. Cheung V. Chobanova M. Chrzaszcz X. Cid Vidal G. Ciezarek P. E. L. Clarke M. Clemencic H. V. Cliff J. Closier V. Coco J. Cogan E. Cogneras V. Cogoni L. Cojocariu P. Collins A. Comerma-Montells A. Contu A. Cook G. Coombs S. Coquereau G. Corti M. Corvo C. M. Costa Sobral B. Couturier G. A. Cowan D. C. Craik A. Crocombe M. Cruz Torres S. Cunliffe R. Currie C. D’Ambrosio F. Da Cunha Marinho E. Dall’Occo J. Dalseno P. N. Y. David A. Davis O. De Aguiar Francisco K. De Bruyn S. De Capua M. De Cian J. M. De Miranda L. De Paula M. De Serio P. De Simone C. T. Dean D. Decamp M. Deckenhoff L. Del Buono M. Demmer A. Dendek D. Derkach O. Deschamps F. Dettori B. Dey A. Di Canto H. Dijkstra F. Dordei M. Dorigo A. Dosil Suárez A. Dovbnya K. Dreimanis L. Dufour G. Dujany K. Dungs P. Durante R. Dzhelyadin A. Dziurda A. Dzyuba N. Déléage S. Easo M. Ebert U. Egede V. Egorychev S. Eidelman S. Eisenhardt U. Eitschberger R. Ekelhof L. Eklund Ch. Elsasser S. Ely S. Esen H. M. Evans T. Evans A. Falabella N. Farley S. Farry R. Fay D. Fazzini D. Ferguson A. Fernandez Prieto F. Ferrari F. Ferreira Rodrigues M. Ferro-Luzzi S. Filippov R. A. Fini M. Fiore M. Fiorini M. Firlej C. Fitzpatrick T. Fiutowski F. Fleuret K. Fohl M. Fontana F. Fontanelli D. C. Forshaw R. Forty V. Franco Lima M. Frank C. Frei J. Fu E. Furfaro C. Färber A. Gallas Torreira D. Galli S. Gallorini S. Gambetta M. Gandelman P. Gandini Y. Gao L. M. Garcia Martin J. García Pardiñas J. Garra Tico L. Garrido P. J. Garsed D. Gascon C. Gaspar L. Gavardi G. Gazzoni D. Gerick E. Gersabeck M. Gersabeck T. Gershon Ph. Ghez S. Gianì V. Gibson O. G. Girard L. Giubega K. Gizdov V. V. Gligorov D. Golubkov A. Golutvin A. Gomes I. V. Gorelov C. Gotti M. Grabalosa Gándara R. Graciani Diaz L. A. Granado Cardoso E. Graugés E. Graverini G. Graziani A. Grecu P. Griffith L. Grillo B. R. Gruberg Cazon O. Grünberg E. Gushchin Yu. Guz T. Gys C. Göbel T. Hadavizadeh C. Hadjivasiliou G. Haefeli C. Haen S. C. Haines S. Hall B. Hamilton X. Han S. Hansmann-Menzemer N. Harnew S. T. Harnew J. Harrison M. Hatch J. He T. Head A. Heister K. Hennessy P. Henrard L. Henry J. A. Hernando Morata E. van Herwijnen M. Heß A. Hicheur D. Hill C. Hombach P. H. Hopchev W. Hulsbergen T. Humair M. Hushchyn N. Hussain D. Hutchcroft M. Idzik P. Ilten R. Jacobsson A. Jaeger J. Jalocha E. Jans A. Jawahery F. Jiang M. John D. Johnson C. R. Jones C. Joram B. Jost N. Jurik S. Kandybei W. Kanso M. Karacson J. M. Kariuki S. Karodia M. Kecke M. Kelsey I. R. Kenyon M. Kenzie T. Ketel E. Khairullin B. Khanji C. Khurewathanakul T. Kirn S. Klaver K. Klimaszewski S. Koliiev M. Kolpin I. Komarov R. F. Koopman P. Koppenburg A. Kosmyntseva M. Kozeiha L. Kravchuk K. Kreplin M. Kreps P. Krokovny F. Kruse W. Krzemien W. Kucewicz M. Kucharczyk V. Kudryavtsev A. K. Kuonen K. Kurek T. Kvaratskheliya D. Lacarrere G. Lafferty A. Lai D. Lambert G. Lanfranchi C. Langenbruch T. Latham C. Lazzeroni R. Le Gac J. van Leerdam J.-P. Lees A. Leflat J. Lefrançois R. Lefèvre F. Lemaitre E. Lemos Cid O. Leroy T. Lesiak B. Leverington Y. Li T. Likhomanenko R. Lindner C. Linn F. Lionetto B. Liu X. Liu D. Loh I. Longstaff J. H. Lopes D. Lucchesi M. Lucio Martinez H. Luo A. Lupato E. Luppi O. Lupton A. Lusiani X. Lyu F. Machefert F. Maciuc O. Maev K. Maguire S. Malde A. Malinin T. Maltsev G. Manca G. Mancinelli P. Manning J. Maratas J. F. Marchand U. Marconi C. Marin Benito P. Marino J. Marks G. Martellotti M. Martin M. Martinelli D. Martinez Santos F. Martinez Vidal D. Martins Tostes L. M. Massacrier A. Massafferri R. Matev A. Mathad Z. Mathe C. Matteuzzi A. Mauri B. Maurin A. Mazurov M. McCann J. McCarthy A. McNab R. McNulty B. Meadows F. Meier M. Meissner D. Melnychuk M. Merk A. Merli E. Michielin D. A. Milanes M.-N. Minard D. S. Mitzel A. Mogini J. Molina Rodriguez I. A. Monroy S. Monteil M. Morandin P. Morawski A. Mordà M. J. Morello J. Moron A. B. Morris R. Mountain F. Muheim M. Mulder M. Mussini D. Müller J. Müller K. Müller V. Müller P. Naik T. Nakada R. Nandakumar A. Nandi I. Nasteva M. Needham N. Neri S. Neubert N. Neufeld M. Neuner A. D. Nguyen T. D. Nguyen C. Nguyen-Mau S. Nieswand R. Niet N. Nikitin T. Nikodem A. Novoselov D. P. O’Hanlon A. Oblakowska-Mucha V. Obraztsov S. Ogilvy R. Oldeman C. J. G. Onderwater J. M. Otalora Goicochea A. Otto P. Owen A. Oyanguren P. R. Pais A. Palano F. Palombo M. Palutan J. Panman A. Papanestis M. Pappagallo

Two new algorithms for use in the analysis of [Formula: see text] collision are developed to identify the flavour of [Formula: see text] mesons at production using pions and protons from the hadronization process. The algorithms are optimized and calibrated on data, using [Formula: see text] decays from [Formula: see text] collision data collected by LHCb at centre-of-mass energies of 7 and 8 T...

Journal: :Numerische Mathematik 2002
Cheng Wang Jian-Guo Liu

In this paper, we provide stability and convergence analysis for a class of finite difference schemes for unsteady incompressibleNavier-Stokes equations in vorticity-stream function formulation. The no-slip boundary condition for the velocity is converted into local vorticity boundary conditions. Thom’s formula, Wilkes’ formula, or other local formulas in the earlier literature can be used in t...

2015
I. Girardi S. T. Petcov A. V. Titov

We derive predictions for the Dirac phase [Formula: see text] present in the [Formula: see text] unitary neutrino mixing matrix [Formula: see text], where [Formula: see text] and [Formula: see text] are [Formula: see text] unitary matrices which arise from the diagonalisation, respectively, of the charged lepton and the neutrino mass matrices. We consider forms of [Formula: see text] and [Formu...

Journal: :Journal of medical imaging 2015
Berrend G Muller Daniel M de Bruin Willemien van den Bos Martin J Brandt Juliette F Velu Mieke T J Bus Dirk J Faber Dilara Savci Patricia J Zondervan Theo M de Reijke Pilar Laguna Pes Jean de la Rosette Ton G van Leeuwen

The objective of this study is to demonstrate the feasibility of needle-based optical coherence tomography (OCT) and functional analysis of OCT data along the full pullback trajectory of the OCT measurement in the prostate, correlated with pathology. OCT images were recorded using a commercially available C7-XR™ OCT Intravascular Imaging System interfaced to a C7 Dragonfly™ intravascular 0.9-mm...

2014
G. Aad B. Abbott J. Abdallah S. Abdel Khalek O. Abdinov R. Aben B. Abi M. Abolins O. S. AbouZeid H. Abramowicz H. Abreu R. Abreu Y. Abulaiti B. S. Acharya L. Adamczyk D. L. Adams J. Adelman S. Adomeit T. Adye T. Agatonovic-Jovin J. A. Aguilar-Saavedra M. Agustoni S. P. Ahlen F. Ahmadov G. Aielli H. Akerstedt T. P. A. Åkesson G. Akimoto A. V. Akimov G. L. Alberghi J. Albert S. Albrand M. J. Alconada Verzini M. Aleksa I. N. Aleksandrov C. Alexa G. Alexander G. Alexandre T. Alexopoulos M. Alhroob G. Alimonti L. Alio J. Alison B. M. M. Allbrooke L. J. Allison P. P. Allport J. Almond A. Aloisio A. Alonso F. Alonso C. Alpigiani A. Altheimer B. Alvarez Gonzalez M. G. Alviggi K. Amako Y. Amaral Coutinho C. Amelung D. Amidei S. P. Amor Dos Santos A. Amorim S. Amoroso N. Amram G. Amundsen C. Anastopoulos L. S. Ancu N. Andari T. Andeen C. F. Anders G. Anders K. J. Anderson A. Andreazza V. Andrei X. S. Anduaga S. Angelidakis I. Angelozzi P. Anger A. Angerami F. Anghinolfi A. V. Anisenkov N. Anjos A. Annovi A. Antonaki M. Antonelli A. Antonov J. Antos F. Anulli M. Aoki L. Aperio Bella R. Apolle G. Arabidze I. Aracena Y. Arai J. P. Araque A. T. H. Arce J.-F. Arguin S. Argyropoulos M. Arik A. J. Armbruster O. Arnaez V. Arnal H. Arnold M. Arratia O. Arslan A. Artamonov G. Artoni S. Asai N. Asbah A. Ashkenazi B. Åsman L. Asquith K. Assamagan R. Astalos M. Atkinson N. B. Atlay B. Auerbach K. Augsten M. Aurousseau G. Avolio G. Azuelos Y. Azuma M. A. Baak A. Baas C. Bacci H. Bachacou K. Bachas M. Backes M. Backhaus J. Backus Mayes E. Badescu P. Bagiacchi P. Bagnaia Y. Bai T. Bain J. T. Baines O. K. Baker P. Balek F. Balli E. Banas Sw. Banerjee A. A. E. Bannoura V. Bansal H. S. Bansil L. Barak S. P. Baranov E. L. Barberio D. Barberis M. Barbero T. Barillari M. Barisonzi T. Barklow N. Barlow B. M. Barnett R. M. Barnett Z. Barnovska A. Baroncelli G. Barone A. J. Barr F. Barreiro J. Barreiro Guimarães da Costa R. Bartoldus A. E. Barton P. Bartos V. Bartsch A. Bassalat A. Basye R. L. Bates J. R. Batley M. Battaglia M. Battistin F. Bauer H. S. Bawa M. D. Beattie T. Beau P. H. Beauchemin R. Beccherle P. Bechtle H. P. Beck K. Becker S. Becker M. Beckingham C. Becot A. J. Beddall A. Beddall S. Bedikian V. A. Bednyakov C. P. Bee L. J. Beemster T. A. Beermann M. Begel K. Behr C. Belanger-Champagne P. J. Bell W. H. Bell G. Bella L. Bellagamba A. Bellerive M. Bellomo K. Belotskiy O. Beltramello O. Benary D. Benchekroun K. Bendtz N. Benekos Y. Benhammou E. Benhar Noccioli J. A. Benitez Garcia D. P. Benjamin J. R. Bensinger K. Benslama S. Bentvelsen D. Berge E. Bergeaas Kuutmann N. Berger F. Berghaus J. Beringer C. Bernard P. Bernat C. Bernius F. U. Bernlochner T. Berry P. Berta C. Bertella G. Bertoli F. Bertolucci C. Bertsche D. Bertsche M. Bessner M. I. Besana G. J. Besjes O. Bessidskaia N. Besson C. Betancourt S. Bethke W. Bhimji R. M. Bianchi L. Bianchini M. Bianco O. Biebel S. P. Bieniek K. Bierwagen J. Biesiada M. Biglietti J. Bilbao De Mendizabal H. Bilokon M. Bindi S. Binet A. Bingul C. Bini C. W. Black J. E. Black K. M. Black D. Blackburn R. E. Blair J.-B. Blanchard T. Blazek I. Bloch C. Blocker W. Blum U. Blumenschein G. J. Bobbink V. S. Bobrovnikov S. S. Bocchetta A. Bocci C. Bock C. R. Boddy M. Boehler T. T. Boek J. A. Bogaerts A. G. Bogdanchikov A. Bogouch C. Bohm J. Bohm V. Boisvert T. Bold V. Boldea A. S. Boldyrev M. Bomben M. Bona M. Boonekamp A. Borisov G. Borissov M. Borri S. Borroni J. Bortfeldt V. Bortolotto K. Bos D. Boscherini M. Bosman H. Boterenbrood J. Boudreau J. Bouffard E. V. Bouhova-Thacker D. Boumediene C. Bourdarios N. Bousson S. Boutouil A. Boveia J. Boyd I. R. Boyko J. Bracinik A. Brandt G. Brandt O. Brandt U. Bratzler B. Brau J. E. Brau H. M. Braun S. F. Brazzale B. Brelier K. Brendlinger A. J. Brennan R. Brenner S. Bressler K. Bristow T. M. Bristow D. Britton F. M. Brochu I. Brock R. Brock C. Bromberg J. Bronner G. Brooijmans T. Brooks W. K. Brooks J. Brosamer E. Brost J. Brown P. A. Bruckman de Renstrom D. Bruncko R. Bruneliere S. Brunet A. Bruni G. Bruni M. Bruschi L. Bryngemark T. Buanes Q. Buat F. Bucci P. Buchholz R. M. Buckingham A. G. Buckley S. I. Buda I. A. Budagov F. Buehrer L. Bugge M. K. Bugge O. Bulekov A. C. Bundock H. Burckhart S. Burdin B. Burghgrave S. Burke I. Burmeister E. Busato D. Büscher V. Büscher P. Bussey C. P. Buszello B. Butler J. M. Butler A. I. Butt C. M. Buttar J. M. Butterworth P. Butti W. Buttinger A. Buzatu M. Byszewski S. Cabrera Urbán D. Caforio O. Cakir P. Calafiura A. Calandri G. Calderini P. Calfayan R. Calkins L. P. Caloba D. Calvet S. Calvet R. Camacho Toro S. Camarda D. Cameron L. M. Caminada R. Caminal Armadans S. Campana M. Campanelli A. Campoverde V. Canale A. Canepa M. Cano Bret J. Cantero R. Cantrill T. Cao M. D. M. Capeans Garrido I. Caprini M. Caprini M. Capua R. Caputo R. Cardarelli T. Carli G. Carlino L. Carminati S. Caron E. Carquin G. D. Carrillo-Montoya J. R. Carter J. Carvalho D. Casadei M. P. Casado M. Casolino E. Castaneda-Miranda A. Castelli V. Castillo Gimenez N. F. Castro P. Catastini A. Catinaccio J. R. Catmore A. Cattai G. Cattani S. Caughron V. Cavaliere D. Cavalli M. Cavalli-Sforza V. Cavasinni F. Ceradini B. Cerio K. Cerny A. S. Cerqueira A. Cerri L. Cerrito F. Cerutti M. Cerv A. Cervelli S. A. Cetin A. Chafaq D. Chakraborty I. Chalupkova P. Chang B. Chapleau J. D. Chapman D. Charfeddine D. G. Charlton C. C. Chau C. A. Chavez Barajas S. Cheatham A. Chegwidden S. Chekanov S. V. Chekulaev G. A. Chelkov M. A. Chelstowska C. Chen H. Chen K. Chen L. Chen S. Chen X. Chen Y. Chen Y. Chen H. C. Cheng Y. Cheng A. Cheplakov R. Cherkaoui El Moursli V. Chernyatin E. Cheu L. Chevalier V. Chiarella G. Chiefari J. T. Childers A. Chilingarov G. Chiodini A. S. Chisholm R. T. Chislett A. Chitan M. V. Chizhov S. Chouridou B. K. B. Chow D. Chromek-Burckhart M. L. Chu J. Chudoba J. J. Chwastowski L. Chytka G. Ciapetti A. K. Ciftci R. Ciftci D. Cinca V. Cindro A. Ciocio P. Cirkovic Z. H. Citron M. Citterio M. Ciubancan A. Clark P. J. Clark R. N. Clarke W. Cleland J. C. Clemens C. Clement Y. Coadou M. Cobal A. Coccaro J. Cochran

This paper presents the performance of the ATLAS muon reconstruction during the LHC run with [Formula: see text] collisions at [Formula: see text]-8 TeV in 2011-2012, focusing mainly on data collected in 2012. Measurements of the reconstruction efficiency and of the momentum scale and resolution, based on large reference samples of [Formula: see text], [Formula: see text] and [Formula: see text...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید