检索结果-内蒙古大学图书馆

arXiv 2021年

作者： Woodward, Michael Tian, Yifeng Hyett, Criston Fryer, Chris Stepanov, Mikhail Livescu, Daniel Chertkov, Michael Graduate Interdisciplinary Program in Applied Mathematics UArizona TucsonAZ85721 United States Department of Mathematics UArizona TucsonAZ85721 United States Computer Computational and Statistical Sciences Division LANL Los AlamosNM87544 United States

Building efficient, accurate and generalizable reduced order models of developed turbulence remains a major challenge. This manuscript approaches this problem by developing a hierarchy of parameterized reduced Lagrangian models for turbulent flows, and investigates the effects of enforcing physical structure through Smoothed Particle Hydrodynamics (SPH) versus relying on neural networks (NN)s as universal function approximators. Starting from Neural Network (NN) parameterizations of a Lagrangian acceleration operator, this hierarchy of models gradually incorporates a weakly compressible and parameterized SPH framework, which enforces physical symmetries, such as Galilean, rotational and translational invariances. Within this hierarchy, two new parameterized smoothing kernels are developed in order to increase the flexibility of the learn-able SPH simulators. For each model we experiment with different loss functions which are minimized using gradient based optimization, where efficient computations of gradients are obtained by using Automatic Differentiation (AD) and Sensitivity Analysis (SA). Each model within the hierarchy is trained on two data sets associated with weekly compressible Homogeneous Isotropic Turbulence (HIT): (1) a validation set using weakly compressible SPH;and (2) a high fidelity set from Direct Numerical Simulations (DNS). Numerical evidence shows that encoding more SPH structure improves generalizability to different turbulent Mach numbers and time shifts, and that including the novel parameterized smoothing kernels improves the accuracy of SPH at the resolved scales. Copyright © 2021, The Authors. All rights reserved.

关键词： Parameterization

来源：评论

学校读者我要写书评

暂无评论

SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation

引用

IEEE Transactions on Evolutionary Computation 2024年 1-1页

作者： de Franca, F.O. Virgolin, M. Kommenda, M. Majumder, M.S. Cranmer, M. Espada, G. Ingelse, L. Fonseca, A. Landajuela, M. Petersen, B. Glatt, R. Mundhenk, N. Lee, C.S. Hochhalter, J.D. Randall, D.L. Kamienny, P. Zhang, H. Dick, G. Simon, A. Burlacu, B. Kasak, Jaan Machado, Meera Wilstrup, Casper Cavaz, W.G.L. Federal University of ABC Santo Andre Brazil Evolutionary Intelligence group Centrum Wiskunde and Informatica Science Park Amsterdam Netherlands University of Applied Sciences Upper Austria Hagenberg Austria Computational Health Informatics Program Boston Children’s Hospital Harvard Medical School Boston USA Center for Computational Astrophysics Flatiron Institute and Department of Astrophysical Sciences of Princeton University USA LASIGE Faculdade de Ciências Universidade de Lisboa Lisboa Portugal Computational Engineering Division Lawrence Livermore National Laboratory Livermore USA Department of Mechanical Engineering University of Utah Utah USA Meta FAIR France Victoria University of Wellington School of Engineering and Computer Science New Zealand University of otago Department of Information Science New Zealand Institut für Angewandte Physik Universität TübingenMax Planck Institute for Intelligent Systems Tübingen Germany Abzu AI Orient Plads 1 Nordhavn Denmark

Symbolic regression searches for analytic expressions that accurately describe studied phenomena. The main promise of this approach is that it may return an interpretable model that can be insightful to users, while maintaining high accuracy. The current standard for benchmarking these algorithms is SRBench, which evaluates methods on hundreds of datasets that are a mix of real-world and simulated processes spanning multiple domains. At present, the ability of SRBench to evaluate interpretability is limited to measuring the size of expressions on real-world data, and the exactness of model forms on synthetic data. In practice, model size is only one of many factors used by subject experts to determine how interpretable a model truly is. Furthermore, SRBench does not characterize algorithm performance on specific, challenging sub-tasks of regression such as feature selection and evasion of local minima. In this work, we propose and evaluate an approach to benchmarking SR algorithms that addresses these limitations of SRBench by 1) incorporating expert evaluations of interpretability on a domain-specific task, and 2) evaluating algorithms over distinct properties of data science tasks. We evaluate 12 modern symbolic regression algorithms on these benchmarks and present an in-depth analysis of the results, discuss current challenges of symbolic regression algorithms and highlight possible improvements for the benchmark itself. Authors

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Position: Bayesian deep learning is needed in the age of large-scale AI 24

Position: Bayesian deep learning is needed in the age of lar...

引用

Proceedings of the 41st International Conference on Machine Learning

作者： Theodore Papamarkou Maria Skoularidou Konstantina Palla Laurence Aitchison Julyan Arbel David Dunson Maurizio Filippone Vincent Fortuin Philipp Hennig José Miguel Hernández-Lobato Aliaksandr Hubin Alexander Immer Theofanis Karaletsos Mohammad Emtiyaz Khan Agustinus Kristiadi Yingzhen Li Stephan Mandt Christopher Nemeth Michael A. Osborne Tim G. J. Rudner David Rügamer Yee Whye Teh Max Welling Andrew Gordon Wilson Ruqi Zhang Department of Mathematics The University of Manchester Manchester UK Eric and Wendy Schmidt Center Broad Institute of MIT and Harvard Cambridge Spotify London UK Computational Neuroscience Unit University of Bristol Bristol UK Centre Inria de l'Université Grenoble Alpes Grenoble France Department of Statistical Science Duke University Statistics Program KAUST Saudi Arabia Helmholtz AI Munich Germany and Department of Computer Science Technical University of Munich Munich Germany and Munich Center for Machine Learning Munich Germany Tübingen AI Center University of Tübingen Tübingen Germany Department of Engineering University of Cambridge Cambridge UK Department of Mathematics University of Oslo Oslo Norway and Bioinformatics and Applied Statistics Norwegian University of Life Sciences Ås Norway Department of Computer Science ETH Zurich Switzerland Chan Zuckerberg Initiative California Center for Advanced Intelligence Project RIKEN Tokyo Japan Vector Institute Toronto Canada Department of Computing Imperial College London London UK Department of Computer Science UC Irvine Irvine Department of Mathematics and Statistics Lancaster University Lancaster UK Department of Engineering Science University of Oxford Oxford UK Center for Data Science New York University New York Munich Center for Machine Learning Munich Germany and Department of Statistics LMU Munich Munich Germany DeepMind London UK and Department of Statistics University of Oxford Oxford UK Informatics Institute University of Amsterdam Amsterdam Netherlands Courant Institute of Mathematical Sciences and Center for Data Science Computer Science Department New York University New York Department of Computer Science Purdue University West Lafayette

In the current landscape of deep learning research, there is a predominant emphasis on achieving high predictive accuracy in supervised tasks involving large image and language datasets. However, a broader perspective reveals a multitude of overlooked metrics, tasks, and data types, such as uncertainty, active and continual learning, and scientific data, that demand attention. Bayesian deep learning (BDL) constitutes a promising avenue, offering advantages across these diverse settings. This paper posits that BDL can elevate the capabilities of deep learning. It revisits the strengths of BDL, acknowledges existing challenges, and highlights some exciting research avenues aimed at addressing these obstacles. Looking ahead, the discussion focuses on possible ways to combine large-scale foundation models with BDL to unlock their full potential.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DIFFUSION CURVATURE FOR ESTIMATING LOCAL CURVATURE IN HIGH DIMENSIONAL DATA

arXiv

引用

arXiv 2022年

作者： Bhaskar, Dhananjay MacDonald, Kincaid Fasina, Oluwadamilola Thomas, Dawson Rieck, Bastian Adelstein, Ian Krishnaswamy, Smita Department of Genetics Yale School of Medicine New HavenCT United States Department of Mathematics Yale University New HavenCT United States Program for Applied Mathematics Yale University New HavenCT United States Department of Physics Yale University New HavenCT United States Institute of AI for Health Helmholtz Pioneer Campus Munich Germany Department of Computer Science Yale University New HavenCT United States Program for Computational Biology and Bioinformatics Yale University New HavenCT United States

We introduce a new intrinsic measure of local curvature on point-cloud data called diffusion curvature. Our measure uses the framework of diffusion maps, including the data diffusion operator, to structure point cloud data and define local curvature based on the laziness of a random walk starting at a point or region of the data. We show that this laziness directly relates to volume comparison results from Riemannian geometry. We then extend this scalar curvature notion to an entire quadratic form using neural network estimations based on the diffusion map of point-cloud data. We show applications of both estimations on toy data, single-cell data and on estimating local Hessian matrices of neural network loss landscapes. © 2022, CC BY.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

Estimation of the main air pollutants from different biomasses under combustion atmospheres by artificial neural networks

引用

Chemosphere 2024年 352卷 141484页

作者： Monteiro, Thalyssa Oliveira Alves, Pedro Augusto Araújo da Silva de Almeida Nava Barradas Filho, Alex Oliveira Villa-Vélez, Harvey Alexander Cruz, Glauber Postgraduate Program in Mechanical Engineering (PPGMEC) Department of Mechanics and Materials Federal Institute of Education Science and Technology of Maranhão (IFMA) Maranhão São Luís Brazil Postgraduate Program in Computer Science and Computational Mathematics (PPG-CCMC) Department of Computer Science University of São Paulo (USP) São Carlos São Paulo Brazil Data Analysis and Artificial Intelligence Laboratory (DARTi) Department of Computational Engineering Federal University of Maranhão (UFMA) Maranhão São Luís Brazil Department of Chemical Engineering Federal University of Maranhão (UFMA) Maranhão São Luís Brazil Processes and Thermal Systems Laboratory (LPSisTer) Department of Mechanical Engineering Federal University of Maranhão (UFMA) Maranhão São Luís Brazil

The production of biofuels to be used as bioenergy under combustion processes generates some gaseous emissions (CO, CO2, NOx, SOx, and other pollutants), affecting living organisms and requiring careful assessments. H... 详细信息

The production of biofuels to be used as bioenergy under combustion processes generates some gaseous emissions (CO, CO₂, NO_x, SO_x, and other pollutants), affecting living organisms and requiring careful assessments. However, obtaining such information experimentally for data evaluation is costly and time-consuming and its in situ obtaining for regional biomasses (e.g., those from Northeast Brazil (NEB) is still a major challenge. This paper reports on the application of artificial neural networks (ANNs) for the prediction of the main air pollutants (CO, CO₂, NO, and SO₂) produced during the direct biomass combustion (N₂/O₂:80/20%) with the use of ultimate analysis (carbon, hydrogen, nitrogen, sulfur, and oxygen). 116 worldwide biomasses were used as input data, which is a relevant alternative to overcome the lack of experimental resources in NEB and obtain such information. Cross-validation was conducted with k-fold to optimize the ANNs and performance was analyzed with the use of statistical errors for accuracy assessments. The results showed an acceptable statistical performance for all architectures of ANNs, with 0.001–12.41% MAPE, 0.001–5.82 mg Nm⁻³ MAE, and 0.03–52.30 mg Nm⁻³ RMSE, highlighting the high precision of the emissions studied. On average, the differences between predicted and real values for CO, CO₂, NO, and SO₂ emissions from NEB biomasses were approximately 0.01%, 10⁻⁶%, 0.14%, and 0.05%, respectively. Pearson coefficient provided consistent results of concentration of the ultimate analysis in relation to the emissions studied and effectiveness of the test set in the developed models. © 2024 Elsevier Ltd

关键词： Brazilian northeastern Environmental statistics Evaluation metrics Gaseous emissions Predictive models Thermoconversion

来源：评论

学校读者我要写书评

暂无评论

Fault Tolerant Quantum Error Mitigation

arXiv

引用

arXiv 2023年

作者： Gonzales, Alvin Babu, Anjala M. Liu, Ji Saleem, Zain Byrd, Mark Intelligence Community Postdoctoral Research Fellowship Program Argonne National Laboratory LemontIL United States School of Physics and Applied Physics Southern Illinois University CarbondaleIL United States Mathematics and Computer Science Division Argonne National Laboratory LemontIL United States School of Computing Southern Illinois University CarbondaleIL United States

Typically, fault-tolerant operations and code concatenation are reserved for quantum error correction due to their resource overhead. Here, we show that fault tolerant operations have a large impact on the performance of symmetry based error mitigation techniques. We also demonstrate that similar to results in fault tolerant quantum computing, code concatenation in fault-tolerant quantum error mitigation (FTQEM) can exponentially suppress the errors to arbitrary levels. For a family of circuits, we provide analytical error thresholds for FTQEM with the repetition code. These circuits include a set of quantum circuits that can generate all of reversible classical computing. The post-selection rate in FTQEM can also be increased by correcting some of the outcomes. Our threshold results can also be viewed from the perspective of quantifying the number of gate operations we can delay checking the stabilizers in a concatenated code before errors overwhelm the encoding. The benefits of FTQEM are demonstrated with numerical simulations and hardware demonstrations. Copyright © 2023, The Authors. All rights reserved.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

BPS2025 - Systematic embedding of biomechanics within dynamical graph grammars with application to actin networks in dendritic spine heads

引用

Biophysical Journal 2025年第3期124卷 206a-206a页

作者： Eric Mjolsness Matthew Hur Thomas M. Bartol Terrence J. Sejnowski Departments of Computer Science and Mathematics University of California Irvine Irvine CA USA Mathematical Computational and Systems Biology Program University of California Irvine Irvine CA USA Computational Neurobiology Laborartory Salk Institute for Biological Studies San Diego CA USA

来源：评论

学校读者我要写书评

暂无评论

Ecumenical Modal Logic 1

引用

3rd International Workshop on Dynamic Logic, DaLí 2020

作者： Marin, Sonia Pereira, Luiz Carlos Pimentel, Elaine Sales, Emerson Department of Computer Science University College London London United Kingdom Philosophy Department PUC-Rio Rio de Janeiro Brazil Department of Mathematics UFRN Natal Brazil Graduate Program in Applied Mathematics and Statistics UFRN Natal Brazil

ISBN: (数字)9783030658403

ISBN: (纸本)9783030658397

The discussion about how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz’ system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. In this work we extend Prawitz’ ecumenical idea to alethic K -modalities. © 2020, Springer Nature Switzerland AG.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Layer-dependent optically induced spin polarization in InSe

引用

Physical Review B 2023年第11期107卷 115304-115304页

作者： Jovan Nelson Teodor K. Stanev Dmitry Lebedev Trevor LaMountain J. Tyler Gish Hongfei Zeng Hyeondeok Shin Olle Heinonen Kenji Watanabe Takashi Taniguchi Mark C. Hersam Nathaniel P. Stern Applied Physics Program Northwestern University Evanston Illinois 60208 USA Department of Physics and Astronomy Northwestern University Evanston Illinois 60208 USA Department of Material Science and Engineering Northwestern University Evanston Illinois 60208 USA Computational Science Division Argonne National Laboratory Lemont Illinois 60439 USA Material Science Division Argonne National Laboratory Lemont Illinois 60439 USA Research Center for Functional Materials National Institute for Materials Science 1-1 Namiki Tsukuba 305-0044 Japan International Center for Materials Nanoarchitectonics National Institute for Materials Science 1-1 Namiki Tsukuba 305-0044 Japan Department of Chemistry Northwestern University Evanston Illinois 60208 USA Department of Electrical Engineering and Computer Science Northwestern University Evanston Illinois 60208 USA

Optical control of spin in semiconductors has been pioneered using nanostructures of III-V and II-VI semiconductors, but the emergence of two-dimensional van der Waals materials offers an alternative low-dimensional platform for spintronic phenomena. Indium selenide (InSe), a group-III monochalcogenide van der Waals material, has shown promise for optoelectronics due to its high electron mobility, tunable direct band gap, and quantum transport. In addition to these confirmed properties, there are predictions of spin-dependent optical selection rules, suggesting the potential for all-optical excitation and control of spin in a two-dimensional layered material. Despite these predictions, layer-dependent optical spin phenomena in InSe have yet to be explored. Here, we present measurements of layer-dependent optical spin dynamics in few-layer and bulk InSe. Polarized photoluminescence reveals layer-dependent optical orientation of spin, thereby demonstrating the optical selection rules in few-layer InSe. Spin dynamics are also studied in many-layer InSe using time-resolved Kerr rotation spectroscopy. By applying out-of-plane and in-plane static magnetic fields for polarized emission measurements and Kerr measurements, respectively, the g factor for InSe was extracted. Further investigations are done by calculating precession values using a k·p model, which is supported by ab initio density functional theory. Comparison of predicted precession rates with experimental measurements highlights the importance of excitonic effects in InSe for understanding spin dynamics. Optical orientation of spin is an important prerequisite for optospintronic phenomena and devices, and these first demonstrations of layer-dependent optical excitation of spins in InSe lay the foundation for combining layer-dependent spin properties with advantageous electronic properties found in this material.

关键词： Magneto-optics Spin dynamics Chalcogenides Layered semiconductors Van der Waals systems Density functional theory Kerr effect Photoluminescence k dot p method

来源：评论

学校读者我要写书评

暂无评论

What we should learn from pandemic publishing

arXiv

引用

arXiv 2024年

作者： Sikdar, Satyaki Venturini, Sara Charpignon, Marie-Laure Kumar, Sagar Rinaldi, Francesco Tudisco, Francesco Fortunato, Santo Majumder, Maimuna S. Luddy School of Informatics Computing and Engineering Indiana University BloomingtonIN United States Department of Computer Science Loyola University Chicago ChicagoIL United States Senseable City Laboratory Massachusetts Institute of Technology CambridgeMA United States Department of Mathematics "Tullio Levi-Civita" University of Padova Padova Italy Institute for Data Systems and Society Massachusetts Institute of Technology CambridgeMA United States Network Science Institute Northeastern University BostonMA United States School of Mathematics The University of Edinburgh Edinburgh United Kingdom School of Mathematics Gran Sasso Science Institute L’Aquila Italy Department of Pediatrics Harvard Medical School BostonMA United States Computational Health Informatics Program Boston Children’s Hospital BostonMA United States

Since the emergence of COVID-19, discussions of ongoing pandemic-related research have accounted for an unprecedented share of media coverage and debate in the public sphere1. The urgency of the pandemic forced researchers to operate on an accelerated timeline, as both policymakers and the public relied on the most current evidence to guide their decisions and behaviors. With high demand for rapid pandemic-related insights and lower barriers to entry via preprint servers, the volume of COVID-19 articles skyrocketed2. The pressing need for research triggered the participation of many researchers with expertise in the science of infectious disease outbreaks (‘outbreak scientists’), who were joined by researchers from other disciplines (‘bellwethers’) and more junior researchers still in training (‘newcomers’) with the common goal of advancing the frontiers of pandemic science and informing policy decisions3. Please see Box 1 for details of this taxonomy. © 2024, CC BY-NC-ND.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：