arXiv (Cornell University)最新文献_第10页

mlscorecheck: Testing the consistency of reported performance scores and experiments in machine learning mlscorecheck:测试机器学习中报告的性能分数和实验的一致性

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07541

Kovács, György, Fazekas, Attila

引用次数: 0

arfpy: A python package for density estimation and generative modeling with adversarial random forests arfpy:一个python包，用于密度估计和对抗随机森林的生成建模

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07366

Blesch, Kristin, Wright, Marvin N.

引用次数: 0

Unboxed data constructors -- or, how cpp decides a halting problem 未装箱的数据构造器——或者，cpp如何决定停止问题

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07369

Chataing, Nicolas, Dolan, Stephen, Scherer, Gabriel, Yallop, Jeremy

{"title":"Unboxed data constructors -- or, how cpp decides a halting problem","authors":"Chataing, Nicolas, Dolan, Stephen, Scherer, Gabriel, Yallop, Jeremy","doi":"10.48550/arxiv.2311.07369","DOIUrl":"https://doi.org/10.48550/arxiv.2311.07369","url":null,"abstract":"We propose a new language feature for ML-family languages, the ability to selectively *unbox* certain data constructors, so that their runtime representation gets compiled away to just the identity on their argument. Unboxing must be statically rejected when it could introduce *confusions*, that is, distinct values with the same representation. We discuss the use-case of big numbers, where unboxing allows to write code that is both efficient and safe, replacing either a safe but slow version or a fast but unsafe version. We explain the static analysis necessary to reject incorrect unboxing requests. We present our prototype implementation of this feature for the OCaml programming language, discuss several design choices and the interaction with advanced features such as Guarded Algebraic Datatypes. Our static analysis requires expanding type definitions in type expressions, which is not necessarily normalizing in presence of recursive type definitions. In other words, we must decide normalization of terms in the first-order lambda-calculus with recursion. We provide an algorithm to detect non-termination on-the-fly during reduction, with proofs of correctness and completeness. Our termination-monitoring algorithm turns out to be closely related to the normalization strategy for macro expansion in the `cpp` preprocessor.","PeriodicalId":496270,"journal":{"name":"arXiv (Cornell University)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136353309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis 回顾过去十年:通过综合文献计量分析追踪安全保障案例的演变

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07495

Sivakumar, Mithila, Belle, Alvine Boaye, Shan, Jinjun, Adesina, Opeyemi, Wang, Song, Chechik, Marsha, Fokaefs, Marios, Shahandashti, Kimya Khakzad, Odu, Oluwafemi

{"title":"The Last Decade in Review: Tracing the Evolution of Safety Assurance\u0000 Cases through a Comprehensive Bibliometric Analysis","authors":"Sivakumar, Mithila, Belle, Alvine Boaye, Shan, Jinjun, Adesina, Opeyemi, Wang, Song, Chechik, Marsha, Fokaefs, Marios, Shahandashti, Kimya Khakzad, Odu, Oluwafemi","doi":"10.48550/arxiv.2311.07495","DOIUrl":"https://doi.org/10.48550/arxiv.2311.07495","url":null,"abstract":"Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical systems are imperative. This assurance is effectively realized through the utilization of Safety Assurance Cases. The use of safety assurance cases allows for verifying the correctness of the created systems capabilities, preventing system failure. The latter may result in loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Still, the emergence of complex technologies such as cyber-physical systems (CPSs), characterized by their heterogeneity, autonomy, machine learning capabilities, and the uncertainty of their operational environments poses significant challenges for safety assurance activities. Several papers have tried to propose solutions to tackle these challenges, but to the best of our knowledge, no secondary study investigates the trends, patterns, and relationships characterizing the safety case scientific literature. This makes it difficult to have a holistic view of the safety case landscape and to identify the most promising future research directions. In this paper, we, therefore, rely on state-of-the-art bibliometric tools(e.g., VosViewer) to conduct a bibliometric analysis that allows us to generate valuable insights, identify key authors and venues, and gain a birds eye view of the current state of research in the safety assurance area. By revealing knowledge gaps and highlighting potential avenues for future research, our analysis provides an essential foundation for researchers, corporate safety analysts, and regulators seeking to embrace or enhance safety practices that align with their specific needs and objectives.","PeriodicalId":496270,"journal":{"name":"arXiv (Cornell University)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136353318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Dynamic mode decomposition of nonequilibrium electron-phonon dynamics: accelerating the first-principles real-time Boltzmann equation 非平衡电子-声子动力学的动态模式分解:第一性原理实时玻尔兹曼方程的加速

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07520

Maliyov, Ivan, Yin, Jia, Yao, Jia, Yang, Chao, Bernardi, Marco

{"title":"Dynamic mode decomposition of nonequilibrium electron-phonon dynamics:\u0000 accelerating the first-principles real-time Boltzmann equation","authors":"Maliyov, Ivan, Yin, Jia, Yao, Jia, Yang, Chao, Bernardi, Marco","doi":"10.48550/arxiv.2311.07520","DOIUrl":"https://doi.org/10.48550/arxiv.2311.07520","url":null,"abstract":"Nonequilibrium dynamics governed by electron-phonon (e-ph) interactions plays a key role in electronic devices and spectroscopies and is central to understanding electronic excitations in materials. The real-time Boltzmann transport equation (rt-BTE) with collision processes computed from first principles can describe the coupled dynamics of electrons and atomic vibrations (phonons). Yet, a bottleneck of these simulations is the calculation of e-ph scattering integrals on dense momentum grids at each time step. Here we show a data-driven approach based on dynamic mode decomposition (DMD) that can accelerate the time propagation of the rt-BTE and identify dominant electronic processes. We apply this approach to two case studies, high-field charge transport and ultrafast excited electron relaxation. In both cases, simulating only a short time window of ~10% of the dynamics suffices to predict the dynamics from initial excitation to steady state using DMD extrapolation. Analysis of the momentum-space modes extracted from DMD sheds light on the microscopic mechanisms governing electron relaxation to steady state or equilibrium. The combination of accuracy and efficiency makes our DMD-based method a valuable tool for investigating ultrafast dynamics in a wide range of materials.","PeriodicalId":496270,"journal":{"name":"arXiv (Cornell University)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136353325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A novel phenomenological approach to total charm cross section measurements at the LHC 在大型强子对撞机上测量总粲数截面的一种新的现象学方法

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07523

Yang, Yewon, Geiser, Achim

{"title":"A novel phenomenological approach to total charm cross section\u0000 measurements at the LHC","authors":"Yang, Yewon, Geiser, Achim","doi":"10.48550/arxiv.2311.07523","DOIUrl":"https://doi.org/10.48550/arxiv.2311.07523","url":null,"abstract":"Measuring the total charm cross section is important for the comparison to theoretical predictions of the highest precision available for charm today, which are completely known up to NNLO QCD for the total inclusive cross sections. These are also independent of charm fragmentation, while practical measurements of charm hadrons in a fiducial phase space are not. Recently the LHC experiments have reported non-universality of charm fragmentation, which shows that e.g. charm baryon-to-meson ratios are not universal in different collision systems, and that the related production fractions also depend on transverse momentum. This breaks the charm fragmentation universality that was assumed until recently for the extrapolation of experimental measurements to the full total charm cross section phase space. A proposal is made how to address this non-universality in a data driven way without the need to implement any particular non-universal fragmentation model. As a practical example, this method is applied to the extrapolation of published LHC measurements of $D^0$ production at $sqrt{s}=5$ TeV to the corresponding total charm cross section, which fully accounts for charm fragmentation non-universality for the first time. The result, $8.43 ^{+1.05}_{-1.16}(text{total})$ mb, differs substantially from the one assuming charm fragmentation universality, but still compares well to theoretical QCD predictions up to NNLO.","PeriodicalId":496270,"journal":{"name":"arXiv (Cornell University)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136353327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Optimal colliding energy for the synthesis of superheavy element $Z$=119 合成超重元素的最佳碰撞能量$Z$=119

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07145

Nasirov, Avazbek, Kayumov, Bakhodir

{"title":"Optimal colliding energy for the synthesis of superheavy element $Z$=119","authors":"Nasirov, Avazbek, Kayumov, Bakhodir","doi":"10.48550/arxiv.2311.07145","DOIUrl":"https://doi.org/10.48550/arxiv.2311.07145","url":null,"abstract":"The evaporation residue (ER) cross section of 3n and 4n channels related to the synthesis of superheavy element (SHE) with the charge number $Z=119$ in the $^{51}$V+$^{248}$Cm reaction has been calculated by the dinuclear system (DNS) model as a sum of the partial cross sections of the corresponding channels. The angular momentum distribution of the compound nucleus is estimated by the dynamical trajectory calculations of the capture probability which is considered as the DNS formation probability. The fusion probability decreases by the increase of the DNS angular momentum due to its influence on the intrinsic fusion barrier $B_{rm fus}^*$. The range $alpha_2=60^{circ} div 70^{circ}$ of the orientation angle of the axial symmetry axis of the deformed target nucleus $^{248}$Cm is favorable for the formation of the compound nucleus. The fusion probability decreases at around $alpha_2=90^{circ}$ since the number of the partial waves contributing to the capture decreases. Therefore, it is important to calculate the capture cross section dynamically. The 4n channel cross section of the SHE synthesis is larger than the 3n channel cross section maximum value of the ER cross section is 12.3 fb at $E_{rm c.m.}$=232 MeV.","PeriodicalId":496270,"journal":{"name":"arXiv (Cornell University)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136353426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Solving Inverse Obstacle Scattering Problem with Latent Surface Representations 用潜在面表示求解逆障碍物散射问题

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07187

Chen, Junqing, Jin, Bangti, Liu, Haibo

引用次数: 0

Do large language models and humans have similar behaviors in causal inference with script knowledge? 大型语言模型和人类在使用文字知识进行因果推理时有相似的行为吗?

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07311

Hong, Xudong, Ryzhova, Margarita, Biondi, Daniel Adrian, Demberg, Vera

{"title":"Do large language models and humans have similar behaviors in causal\u0000 inference with script knowledge?","authors":"Hong, Xudong, Ryzhova, Margarita, Biondi, Daniel Adrian, Demberg, Vera","doi":"10.48550/arxiv.2311.07311","DOIUrl":"https://doi.org/10.48550/arxiv.2311.07311","url":null,"abstract":"Recently, large pre-trained language models (LLMs) have demonstrated superior language understanding abilities, including zero-shot causal reasoning. However, it is unclear to what extent their capabilities are similar to human ones. We here study the processing of an event $B$ in a script-based story, which causally depends on a previous event $A$. In our manipulation, event $A$ is stated, negated, or omitted in an earlier section of the text. We first conducted a self-paced reading experiment, which showed that humans exhibit significantly longer reading times when causal conflicts exist ($neg A rightarrow B$) than under logical conditions ($A rightarrow B$). However, reading times remain similar when cause A is not explicitly mentioned, indicating that humans can easily infer event B from their script knowledge. We then tested a variety of LLMs on the same data to check to what extent the models replicate human behavior. Our experiments show that 1) only recent LLMs, like GPT-3 or Vicuna, correlate with human behavior in the $neg A rightarrow B$ condition. 2) Despite this correlation, all models still fail to predict that $nil rightarrow B$ is less surprising than $neg A rightarrow B$, indicating that LLMs still have difficulties integrating script knowledge. Our code and collected data set are available at https://github.com/tony-hong/causal-script.","PeriodicalId":496270,"journal":{"name":"arXiv (Cornell University)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136353447","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A new quasilinear model for turbulent momentum transport in tokamaks with flow shear and plasma shaping 具有流动剪切和等离子体成形的托卡马克紊流动量输运新拟线性模型

arXiv (Cornell University) Pub Date : 2023-11-13 DOI: 10.48550/arxiv.2311.07159

Sun, Haomin, Ball, Justin, Brunner, Stephan, Volcokas, Arnas

引用次数: 0