中文
相关论文

相关论文: ILDG Middleware Working Group Status Report

200 篇论文

This paper provides an informal discussion of the formal aspects of software doping.

计算机科学中的逻辑 · 计算机科学 2018-03-28 Gilles Barthe , Pedro R. D'Argenio , Bernd Finkbeiner , Holger Hermanns

We give a brief overview of the status of the numerical conformal bootstrap.

高能物理 - 理论 · 物理学 2022-05-05 David Poland , David Simmons-Duffin

I review the theoretical and experimental status of the Odderon with emphasis on recent developments.

高能物理 - 唯象学 · 物理学 2007-05-23 Carlo Ewerz

Proceedings of ISMD08

高能物理 - 唯象学 · 物理学 2019-08-17 J. Bartels , K. Borras , G. Gustafson , H. Jung , K. Kutak , S. Levonian , J. Mnich , A. Achilli , J. L. Albacete , M. G. Albrow , L. Alvarez-Gaumé , F. Ambroglini , E. Avsar , R. Baier , P. Bartalini , J. Bartels , F. W. Bopp , W. Broniowski , R. Brower , A. Bunyatyan , W. Busza , H. Caines , M. Chojnacki , C. Ciocca , A. Cooper-Sarkar , T. Csörgő , A. De Roeck , M. Diehl , M. Djuric , I. M. Dremin , W. Ehrenfeld , R. Engel , L. Fanò , R. Field , Ch. Flensburg , W. Florkowski , C. Gómez , L. Garbini , R. Godbole , K. Golec-Biernat , A. Grau , K. Hatakeyama , F. Hautmann , S. Heinemeyer , K. Homma , T. Hurth , E. Iancu , K. Itakura , L. L. Jenkovszky , H. Jung , A. B. Kaidalov , D. Kar , J. Katzy , V. A. Khoze , A. Kisiel , J. -L. Kneur , T. Kodama , T. Koide , E. Kokoulina , K. Kolar , A. V. Koshelkin , Y V. Kovchegov , A. Kropivnitskaya , K. Kutak , A. Kutov , M. Lancaster , G. Li , L. Liu , L. N. Lipatov , M. V. T. Machado , G. Marchesini , C. Marquet , L. McLerran , Y. Mehtar-Tani , M. Yu , W. J. Metzger , A. Meyer , XU Mingmei , S. Moch , Z. Nagy , M. Nagy , J. Nemchik , S. Ostapchenko , S. S. Padula , G. Pancheri , K. Papageorgiou , T. Pierog , O. I. Piskounova , J. Ranft , S. Roesler , J. Rojo , V. Ryadovikov , M. G. Ryskin , A. Sabio Vera , A. Savin , T. Shears , R. Shehzadi , Y. N. Srivastava , J. Stirling , M. Strassler , M. Sumbera , M. Taševský A. Taliotis , C-I Tan , A. Tavanfar , P. Thompson , M. Tokarev , P. Travnicek , D. Treleani , G. Tsiledakis , I. Tsukerman , M. A. Vázquez-Mozo , P. van Mechelen , D. Wegener , G. Weiglein , Ch. White , D. Wicke M. Wing , G. Wolschin , R. Yoshida , I. Zborovsk

We review the status of publicly available software tools applicable to charged Higgs physics. A selection of codes are highlighted in more detail, focusing on new developments that have taken place since the previous charged Higgs workshop…

高能物理 - 唯象学 · 物理学 2010-12-14 Oscar Stål

Tabular log abstracts objects and events in the real-world system and reports their updates to reflect the change of the system, where one can detect real-world inconsistencies efficiently by debugging corresponding log entries. However,…

机器学习 · 计算机科学 2025-12-30 Chumeng Liang , Zhanyang Jin , Zahaib Akhtar , Mona Pereira , Haofei Yu , Jiaxuan You

Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate bottlenecks, and…

软件工程 · 计算机科学 2024-04-22 Tim Kräuter , Harald König , Adrian Rutle , Yngve Lamo

This paper presents the status of the APEmille project, which is essentially completed, as far as machine development and construction is concerned. Several large installations of APEmille are in use for physics production runs leading to…

Internet of Things (IoT) is a rapidly growing technological domain and the effort that many Standards Developing Organizations (SDOs) and alliances are dedicating to it is constantly increasing. The Internet Engineering Task Force (IETF) is…

网络与互联网体系结构 · 计算机科学 2020-07-09 Roberto Morabito , Jaime Jiménez

In this work we establish an BDG inequality type for certain nonlinear martingale arizing from BSDE.

概率论 · 数学 2023-05-01 Wahid Faidi

Various uses of the renormalization group are examined.

高能物理 - 理论 · 物理学 2011-12-20 D. G. C. McKeon

We present here an installation guide, a hand-on mini-tutorial through examples, and the theoretical foundations of the Hilbert++ code.

其他计算机科学 · 计算机科学 2009-03-03 Alessandro Mirone

We summarize the experimental and theoretical results presented in the ``Structure Function Working Group - WG1'' at DIS'99.

高能物理 - 实验 · 物理学 2008-11-26 U. Bassler , E. Laenen , A. Quadt , H. Schellman

ILC (International Linear Collider) is under consideration as the next global project of particle physics. Its Technical Design Report, published in 2013, describes the accelerator for the center-of-mass energies above 200GeV. The operation…

加速器物理 · 物理学 2019-09-16 Kaoru Yokoya , Kiyoshi Kubo , Toshiyuki Okugi

The goal of this paper is to present advances on recent 3GPP standardization activities related to Device-to-Device (D2D) and public safety. The paper provides a clear 3GPP state of the art, including when the 3GPP work on D2D and public…

网络与互联网体系结构 · 计算机科学 2015-05-28 Dorin Panaitopol , Christian Mouton , Benoit Lecroart , Yannick Lair , Philippe Delahaye

We introduce Stable Code, the first in our new-generation of code language models series, which serves as a general-purpose base code language model targeting code completion, reasoning, math, and other software engineering-based tasks.…

We give an overview of publications on partial actions and related concepts, paying main attention to some recent developments.

环与代数 · 数学 2018-02-26 Mikhailo Dokuchaev

Organisations are upscaling their use of agile. Agile ways of working are used in larger projects and also in organisational units outside IT. This paper reports on the results of the first international workshop on agile transformation,…

软件工程 · 计算机科学 2019-07-25 Leonor Barroca , Torgeir Dingsøyr , Marius Mikalsen

Middleware is middle tier software that supports communications between two or more different applications, and between applications and shared services. Managing the complexity and heterogeneity of distributed infrastructures is the…

软件工程 · 计算机科学 2021-02-09 Alaa Abd Elhamid Radwan , Mohammad Tabrez Quasim