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

arXiv 2024年

作者： Ramírez, Aurora Berrios, Mario Romero, José Raúl Feldt, Robert Dept. of Computer Science and Numerical Analysis University of Córdoba Córdoba Spain Softw. Eng. Division Dept. of Computer Science and Engineering Chalmers University of Technology Goteborg Sweden

Test case prioritisation (TCP) is a critical task in regression testing to ensure quality as software evolves. Machine learning has become a common way to achieve it. In particular, learning-to-rank (LTR) algorithms provide an effective method of ordering and prioritising test cases. However, their use poses a challenge in terms of explainability, both globally at the model level and locally for particular results. Here, we present and discuss scenarios that require different explanations and how the particularities of TCP (multiple builds over time, test case and test suite variations, etc.) could influence them. We include a preliminary experiment to analyse the similarity of explanations, showing that they do not only vary depending on test case-specific predictions, but also on the relative ranks. © 2024, CC BY-NC-ND.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Towards Explainable Test Case Prioritisation with Learning-to-Rank Models

Towards Explainable Test Case Prioritisation with Learning-t...

引用

IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW

作者： Aurora Ramírez Mario Berrios José Raúl Romero Robert Feldt Dept. of Computer Science and Numerical Analysis University of Córdoba Córdoba Spain Dept. of Computer Science and Engineering Softw. Eng. Division Chalmers University of Technology Goteborg Sweden

关键词： Software testing Machine learning algorithms Conferences Software algorithms Machine learning Software Task analysis

来源：评论

学校读者我要写书评

暂无评论

Conservation Properties of the Augmented Basis Update & Galerkin Integrator for Kinetic Problems

SSRN

引用

SSRN 2023年

作者： Einkemmer, Lukas Daniel Kusch, Jonas Schotthöfer, Steffen University of Innsbruck Numerical Analysis and Scientific Computing Innsbruck Austria Norwegian University of Life Sciences Scientific Computing Ås Norway Computer Science and Mathematics Division Oak Ridge National Laboratory Oak RidgeTN37831 United States

numerical simulations of kinetic problems can become prohibitively expensive due to their large memory footprint and computational costs. A method that has proven to successfully reduce these costs is the dynamical low-rank approximation (DLRA). One key question when using DLRA methods is the construction of robust time integrators that preserve the invariances and associated conservation laws of the original problem. In this work, we demonstrate that the augmented basis update & Galerkin integrator (BUG) preserves solution invariances and the associated conservation laws when using a conservative truncation step and an appropriate time and space discretization. We present numerical comparisons to existing conservative integrators and discuss advantages and disadvantages. © 2023, The Authors. All rights reserved.

关键词： Integral equations

来源：评论

学校读者我要写书评

暂无评论

Conservation properties of the augmented basis update & Galerkin integrator for kinetic problems

arXiv

引用

arXiv 2023年

作者： Einkemmer, Lukas Kusch, Jonas Schotthöfer, Steffen University of Innsbruck Numerical Analysis and Scientific Computing Innsbruck Austria Norwegian University of Life Sciences Scientific Computing Ås Norway Computer Science and Mathematics Division Oak Ridge National Laboratory Oak RidgeTN37831 United States

关键词： Kinetics

来源：评论

学校读者我要写书评

暂无评论

Twofold saddle-point formulation of biot poroelasticity with stress-dependent diffusion

arXiv

引用

arXiv 2021年

作者： Gómez-Vargas, Bryan Mardal, Kent-André Ruiz-Baier, Ricardo Vinje, Vegard Sección de Matemática Sede de Occidente Universidad de Costa Rica San Ramón Ala juela Costa Rica Department of Mathematics Division of Mechanics University of Oslo Norway Simula Research Laboratory Lysaker1325 Norway School of Mathematics Monash University 9 Rainforest Walk MelbourneVIC3800 Australia Institute of Computer Science and Mathematical Modelling Sechenov University Moscow Russia Universidad Adventista de Chile Casilla 7-D Chillán Chile Department for Numerical Analysis and Scientific Computing Simula Research Laboratory Lysaker Norway

We introduce a stress/total-pressure formulation for poroelasticity that includes the coupling with steady nonlinear diffusion modified by stress. The nonlinear problem is written in mixed-primal form, coupling a perturbed twofold saddle-point system with an elliptic problem. The continuous formulation is analysed in the framework of abstract fixed-point theory and Fredholm alternative for compact operators. A mixed finite element method is proposed and its stability and convergence analysis are carried out. We also include a few illustrative numerical tests. The resulting model can be used to study waste removal in the brain parenchyma, where diffusion of a tracer alone or a combination of advection and diffusion are not sufficient to explain the alterations in rates of filtration observed in porous media *** Codes 65N60, 92C50 © 2021, CC BY.

关键词： Diffusion

来源：评论

学校读者我要写书评

暂无评论

Changes Induced by Physical Activity, Weight Loss and Calorie Restriction in Body Composition, Lipoproteins and Functional Capacity in Obese Congolese Women

引用

Health 2020年第6期12卷 548-571页

作者： Moulongo Jean Georges André Makosso Vheiye Georges Eouani Max Lévy Eméry Mouanda Richard Le Savant Ndalla Mathias Cyriaque Packa Tchissambou Bernard Massamba Alphonse Laboratory of Sports Biosciences Higher Institute of Physical Education and Sports Marien NGOUABI University Brazzaville Congo Unit of Nutritional Science and Metabolism Higher Institute of Physical Education and Sports Marien NGOUABI University Brazzaville Congo Department of Gynecology & Obstetrics Loandjili Hospital Pointe-Noire (Congo) and Faculty of Health Sciences Marien NGOUABI University Brazzaville Congo Clinical Psychology Research Division Marien NGOUABI University Brazzaville Congo Biomedical Analyses Center Makelekele Brazzaville Congo Laboratory of Numerical Analysis Computer Science and Applications Faculty of Sciences and Technology Marien NGOUABI University Brazzaville Congo

Background. The effects of physical exercises combined with a low-calorie diet on weight loss, body composition, lipoproteins profile, and physical fitness had been well described. However, Central Africa’s studies investigating these kinds of diets and exercise regimens are lacking. Objective. To investigate the effects of adding 14-weeks exercises to a hypocaloric diet on changes in body composition, lipoproteins concentrations, and physical capacities in obese Congolese women. Population and Methods. In total, 34 obese women aged 30 - 39 years (mean age: 33.7 ± 2.4 years) assigned to 14-weeks training program and low energy ketogenic diet. Body composition was assessed using classic methods and impedancemetry. Fasting plasma glucose (FPG) and fasting serum insulin were assessing using enzymatic colorimetric and radioim-munoradiometric methods. HOMA-IR and lipoproteins concentrations were assessed using standardized laboratory methods. VO2peak was measured on a treadmill during a progressive exercise test. Speed, cadence and stride length were measured along the 10-m level walkway. Muscular endurance was measured using the tests of sit-up and inflections-extensions of elbows. All the variables of the study were assessed at the beginning, in the 7-weeks, and in the 14-weeks of training methods. Results. Declines in body weight (16%), percent fat (12.1%), fat weight (26.4%), abdominal fat (34.2%), and waist circumference (10.4%) were found. A significant decrease in FPG (13%), fasting serum insulin (60.9%), HOMA-IR (64.7%), total cholesterol (12.2%), LDL-cholesterol (20.3%), triglycerides (92.8%), and VLDL-triglycerides (17.5%) was shown. In contrast, significant increase in HDL-cholesterol (27.13%) was found. The peak oxygen consumption VO2peak relative to body weight improved more in the 14-weeks training program (13.4%). Obese women exhibited higher values in the 14-weeks training program for speed gait (16.5%), cadence (9.1%), and stride length (15.7%) during no

关键词： Lipoproteins Body Composition Calorie Restriction Physical Exercise Obese Congolese Women

来源：评论

学校读者我要写书评

暂无评论

Genetic analysis of over 1 million people identifies 535 new loci associated with blood pressure traits (vol 50, pg 1412, 2018)

引用

NATURE GENETICS 2018年第12期50卷 1755-1755页

作者： Evangelou, Evangelos Warren, Helen R. Mosen-Ansorena, David Mifsud, Borbala Pazoki, Raha Gao, He Ntritsos, Georgios Dimou, Niki Cabrera, Claudia P. Karaman, Ibrahim Fu Liang Ng Evangelou, Marina Witkowska, Katarzyna Tzanis, Evan Hellwege, Jacklyn N. Giri, Ayush Edwards, Digna R. Velez Sun, Yan V. Cho, Kelly Gaziano, J. Michael Wilson, Peter W. F. Tsao, Philip S. Kovesdy, Csaba P. Esko, Tonu Magi, Reedik Milani, Lili Almgren, Peter Boutin, Thibaud Debette, Stephanie Ding, Jun Giulianini, Franco Holliday, Elizabeth G. Jackson, Anne U. Li-Gao, Ruifang Lin, Wei-Yu Luan, Jian'an Mangino, Massimo Oldmeadow, Christopher Prins, Bram Peter Qian, Yong Sargurupremraj, Muralidharan Shah, Nabi Surendran, Praveen Theriault, Sebastien Verweij, Niek Willems, Sara M. Zhao, Jing-Hua Amouyel, Philippe Connell, John de Mutsert, Renee Doney, Alex S. F. Farrall, Martin Menni, Cristina Morris, Andrew D. Noordam, Raymond Pare, Guillaume Poulter, Neil R. Shields, Denis C. Stanton, Alice Thom, Simon Abecasis, Goncalo Amin, Najaf Arking, Dan E. Ayers, Kristin L. Barbieri, Caterina M. Batini, Chiara Bis, Joshua C. Blake, Tineka Bochud, Murielle Boehnke, Michael Boerwinkle, Eric Boomsma, Dorret I. Bottinger, Erwin P. Braund, Peter S. Brumat, Marco Campbell, Archie Campbell, Harry Chakravarti, Aravinda Chambers, John C. Chauhan, Ganesh Ciullo, Marina Cocca, Massimiliano Collins, Francis Cordell, Heather J. Davies, Gail de Borst, Martin H. de Geus, Eco J. Deary, Ian J. Deelen, Joris Del Greco, Fabiola M. Demirkale, Cumhur Yusuf Dorr, Marcus Ehret, Georg B. Elosua, Roberto Enroth, Stefan Erzurumluoglu, A. Mesut Ferreira, Teresa Franberg, Mattias Franco, Oscar H. Gandin, Ilaria Gasparini, Paolo Giedraitis, Vilmantas Gieger, Christian Girotto, Giorgia Goel, Anuj Gow, Alan J. Gudnason, Vilmundur Guo, Xiuqing Gyllensten, Ulf Hamsten, Anders Harris, Tamara B. Harris, Sarah E. Hartman, Catharina A. Havulinna, Aki S. Hicks, Andrew A. Hofer, Edith Hofman, Albert Hottenga, Jouke-Jan Huffman, Jennifer E. Hwang, Shih-Jen Ingelsson, Erik James, Alan Jansen Department of Epidemiology and Biostatistics Imperial College London London UK Department of Hygiene and Epidemiology University of Ioannina Medical School Ioannina Greece William Harvey Research Institute Barts and The London School of Medicine and Dentistry Queen Mary University of London London UK National Institute for Health Research Barts Cardiovascular Biomedical Research Center Queen Mary University of London London UK MRC-PHE Centre for Environment and Health Imperial College London London UK Department of Mathematics Imperial College London London UK Division of Epidemiology Department of Medicine Institute for Medicine and Public Health Vanderbilt Genetics Institute Vanderbilt University Medical Center Tennessee Valley Healthcare System (626)/Vanderbilt University Nashville TN USA Vanderbilt Genetics Institute Vanderbilt Epidemiology Center Department of Obstetrics and Gynecology Vanderbilt University Medical Center Tennessee Valley Health Systems VA Nashville TN USA Department of Epidemiology Emory University Rollins School of Public Health Atlanta GA USA Department of Biomedical Informatics Emory University School of Medicine Atlanta GA USA Massachusetts Veterans Epidemiology Research and Information Center (MAVERIC) VA Boston Healthcare System Boston MA USA Division of Aging Department of Medicine Brigham and Women’s Hospital Department of Medicine Harvard Medical School Boston MA USA Atlanta VAMC and Emory Clinical Cardiovascular Research Institute Atlanta GA USA VA Palo Alto Health Care System Division of Cardiovascular Medicine Stanford University School of Medicine Stanford CA USA Nephrology Section Memphis VA Medical Center and University of Tennessee Health Science Center Memphis TN USA Estonian Genome Center University of Tartu Tartu Estonia Program in Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA USA Department Clinical Sciences Malmö Lund University Malmö Sweden MRC Human Genetics Un

High blood pressure is a highly heritable and modifiable risk factor for cardiovascular disease. We report the largest genetic association study of blood pressure traits (systolic, diastolic and pulse pressure) to date in over 1 million people of European ancestry. We identify 535 novel blood pressure loci that not only offer new biological insights into blood pressure regulation but also highlight shared genetic architecture between blood pressure and lifestyle exposures. Our findings identify new biological pathways for blood pressure regulation with potential for improved cardiovascular disease prevention in the future.

关键词： Cardiovascular diseases Genome informatics Genome-wide association studies

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017) of the Organization for Computational Neuroscience Antwerp, Belgium, July 15-20, 2017

引用

BMC NEUROscience 2017年第SUPPL 1期18卷 59-59页

作者： [Anonymous] Indiana University Purdue University Indianapolis Indianapolis IN 46032 USA Stark Neurosciences Research Institute Indiana University School of Medicine Indianapolis IN 46032 USA Department of Mathematics East Carolina University Greenville NC 27858 USA Jülich Supercomputing Centre Forschungszentrum Jülich 52425 Jülich Germany Future Systems Swiss National Supercomputing Centre 8092 Zurich Switzerland User Engagement and Support Swiss National Supercomputing Centre 6900 Lugano Switzerland Institut de Neurosciences des Systèmes Aix Marseille Univ 13005 Marseille France Simulation Lab Neuroscience Forschungszentrum Jülich Jülich Germany Department of Experimental Psychology Ghent University 9000 Ghent Belgium Donders Center for Cognitive Neuroimaging Radboud University 6525HR Nijmegen The Netherlands Department of Electrical Computer and Energy Engineering University of Colorado Boulder CO 80309 USA Department of Neurosurgery Johns Hopkins School of Medicine Baltimore MD 21287 USA Department of Neurology Johns Hopkins School of Medicine Baltimore MD 21287 USA Department of Otolaryngology Johns Hopkins School of Medicine Baltimore MD 21287 USA INSERM U968 Paris France Sorbonne Universités UPMC University Paris 06 UMR_S 968 Institut de la Vision Paris France CNRS UMR_7210 Paris France Department of Computer Architecture and Technology University of Granada (CITIC) Granada Spain Sorbonne Universités UPMC Univ Paris 06 INSERM CNRS Institut de la Vision Paris France Department of Adaptive Machine Systems Osaka University Osaka Japan Department of Computer Science University of Cergy-Pontoise Cergy-Pontoise France Department of Physics and Astronomy College of Charleston Charleston SC 29424 USA School of Physics Faculty of Science University of Sydney Sydney NSW 2006 Australia Center of Excellence for Integrative Brain Function Australian Research Council Sydney Australia Max Planck Institute for Human Cognitive and Brain Sciences Saxony Lei

来源：评论

学校读者我要写书评

暂无评论

On Diffuse Interface Modeling and Simulation of Surfactants in Two-Phase Fluid Flow

引用

Communications in Computational Physics 2013年第9期14卷 879-915页

作者： Stefan Engblom Minh Do-Quang Gustav Amberg Anna-Karin Tornberg Division of Scientific Computing Department of Information TechnologyUppsala UniversitySE-75105 UppsalaSweden Linne Flow Centre Department of MechanicsSchool of Engineering ScienceRoyal Institute of TechnologyS-10044 StockholmSweden Linne Flow Centre Department of Numerical AnalysisSchool of Computer Science and CommunicationRoyal Institute of TechnologyS-10044 StockholmSweden

An existing phase-fieldmodel of two immiscible fluids with a single soluble surfactant present is discussed in *** analyze the well-posedness of the model and provide strong evidence that it is mathematically ill-posed for a large set of physically relevant *** a consequence,critical modifications to the model are suggested that substantially increase the domain of *** designed numerical simulations offer informative demonstrations as to the sharpness of our theoretical results and the qualities of the physical model.A fully coupled hydrodynamic test-case demonstrates the potential to capture also non-trivial effects on the overall flow.

关键词： Phase-field model Cahn-Hilliard equation surface active agent Ginzburg-Landau free energy well-posedness

来源：评论

学校读者我要写书评

暂无评论

A ray tracing approach to calculate acoustic shielding by the silent aircraft airframe

A ray tracing approach to calculate acoustic shielding by th...

引用

12th AIAA/CEAS Aeroacoustics Conference

作者： Agarwal, Anurag Dowling, Ann P. Shin, Ho-Chul Graham, Will Sefi, Sandy University of Cambridge Trumpington Street Cambridge CB2 1PZ United Kingdom Royal Institute of Technology KTH SE-10044 Stockholm Sweden Department of Engineering AIAA Departmen of Mechanical Engineering Fluid Mechanics and Turbomachinery Division Department of Numerical Analysis and Computer Science School of Computer Science and Communication

ISBN: (纸本)1563478099

The Silent Aircraft is in the form of a flying wing with a large wing planform and a propulsion system that is embedded in the rear of the airframe with intakes on the upper surface of the wing. Thus a large part of the forward-propagating noise from the intake ducts is expected to be shielded from observers on the ground by the wing. Acoustic shielding effects can be calculated by solving an external acoustic scattering problem for a moving aircraft. In this paper, acoustic shielding effects of the Silent Aircraft airframe are quantified by a ray-tracing method. The dominant frequencies from the noise spectrum of the engines are sufficiently high for ray theory to yield accurate results. It is shown that for low-Mach number homentropic flows, a condition satisfied approximately by the Silent Aircraft during take-off and approach, the acoustic rays propagate in straight lines. Thus, from Fermat's principle it is clear that classical Geometrical Optics and Geometrical Theory of Diffraction solutions are applicable to this moving-body problem as well. The total amount of acoustic shielding at an observer located in the shadow region is calculated by adding the contributions from all the diffracted rays (edge-diffracted and creeping rays) and then subtracting the result from the incident field without the airframe. Experiments on a model-scale geometry have been conducted in an anechoic chamber to test the applicability of the ray-tracing technique. The three-dimensional ray-tracing solver is validated by comparing the numerical solution with analytical high-frequency asymptotic solutions for canonical shapes.

关键词： Noise abatement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：