Search results for "languages"

showing 10 items of 2101 documents

"Table 7" of "Search for a heavy top-quark partner in final states with two leptons with the ATLAS detector at the LHC"

2012

(1) Observed CLs values for the scalar top signal grid (2) Expected CLs values for the scalar top signal grid.

InclusiveNonlinear Sciences::Exactly Solvable and Integrable SystemsProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceCLSPhysics::Atomic and Molecular ClustersTop7000.0Jet ProductionP P --> 2LEPTON JETS XComputer Science::Computers and SocietyComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 60" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

observed CLs values for the best expected combination in the M(chargino), M(neutralino) plane in the scenario where M(stop) = 180 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 59" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

expected CLs values for the best expected combination in the M(chargino), M(neutralino) plane in the scenario where M(stop) = 180 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 65" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

expected CLs values for the best expected combination in the M(stop), M(neutralino) plane in the scenario where M(chargino) = 106 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 66" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

observed CLs values for the best expected combination in the M(stop), M(neutralino) plane in the scenario where M(chargino) = 106 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

Курсъ сравнительной морфологіи индоэвропэйских языковъ: читанъ въ 1909-10 уч. г. въ С-Петербургскомъ Ун-тѣ

1910

Rokraksta litogrāfijas sējums

Indoeiropiešu valodas - gramatikaIndoeiropiešu valodas - morfoloģijaИндоевропейские языки - грамматика:HUMANITIES and RELIGION::Languages and linguistics::Other languages::Sanskrit language with Indo-European lingustics [Research Subject Categories]Индоевропейские языки - морфологияRokrakstu kolekcija
researchProduct

Anleitung zum Studien der Sanskrit-Sprache

1871

Mācību materiāls studiju vajadzībām ietver skaidrojošu ievadtekstu par sanskritu, sanskrita- vācu vārdnīcu ar atsaucēm uz Rigvēdas tekstu un atsevišķu tulkojošo daļu pie 'Hymnen des Rigvēdas". Manuskripts rokrakstā, datējums nav precīzi zināms.

Indoāriešu valodasRigvēdaVēdu valoda:HUMANITIES and RELIGION::Languages and linguistics::Other languages::Sanskrit language with Indo-European lingustics [Research Subject Categories]SanskritSanskritsRokrakstu kolekcija
researchProduct

ADT implementation and completion by induction from examples

1991

There exists a fast algorithm [2] for inductive synthesis of terminating and ground confluent term rewriting systems from samples. The principles of this algorithm and the methodology of its use for implementation and completion of abstract data types are described.

Inductive synthesisNormalization propertyTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer scienceExistential quantificationRewritingAbstract data typeAlgorithmFast algorithmTerm (time)
researchProduct

Inductive synthesis of term rewriting systems

2005

Fast algorithm for inductive synthesis of term rewriting systems is described and proved to be correct. It is implemented and successfully applied for inductive synthesis of different algorithms, including the binary multiplication. The algorithm proposed supports automatic learning process and can be used for designing and implementation of ADT.

Inductive synthesisTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer scienceBinary multiplicationProcess (computing)RewritingAutomatic learningAbstract data typeAlgorithmFast algorithmTerm (time)
researchProduct

Tar ekun dunnǝ industrializacijan

1933

Apskats par Padomju Savienības rūpniecības attīstību. Tulkojums no krievu valodas evenku valodā.

Industry (Soviet Union)Эвенкийский языкTungus languagesEvenku valodaТунгусский языкEconomic policy (Soviet Union)Evenki languageИндустриализация:TECHNOLOGY::Industrial engineering and economy [Research Subject Categories]
researchProduct