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

AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Salihu, Ibrahim-Anka Ibrahim, Rosziati Ahmed, Bestoun S. Zamli, Kamal Z. Usman, Asmau Department of Software Engineering Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Batu Pahat Johor86400 Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Batu Pahat Johor86400 Malaysia Department of Mathematics and Computer Science Karlstad University Karlstad Sweden Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang GambangPahang26300 Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Batu Pahat Johor86400 Malaysia

In the past few years, mobile devices have been increasingly replacing traditional computers as their capabilities such as CPU computation, memory, RAM size, and many more, are being enhanced almost to the level of conventional computers. These capabilities are being exploited by mobile apps developers to produce apps that offer more functionalities and optimized performance. To ensure acceptable quality and to meet their specifications (e.g., design), mobile apps need to be tested thoroughly. As the testing process is often tedious, test automation can be the key to alleviating such laborious activities. In the context of the Android-based mobile apps, researchers and practitioners have proposed many approaches to automate the testing process mainly on the creation of the test suite. Although useful, most existing approaches rely on reverse engineering a model of the application under test for test case creation. Often, such approaches exhibit a lack of comprehensiveness as the application model does not capture the dynamic behavior of the applications extensively due to the incompleteness of reverse engineering approaches. To address this issue, this paper proposes AMOGA, a strategy that uses a hybrid, static-dynamic approach for generating user interface model from mobile apps for model-based testing. AMOGA implements a novel crawling technique that uses the event list of UI element associated with each event to dynamically exercise the events ordering at the run-time to explore the applications’ behavior. An experimental evaluation was performed to assess the effectiveness of our strategy by measuring the code coverage and the fault detection capability through the use of mutation testing concept. Results of the experimental assessment showed that AMOGA represents an alternative approach for model-based testing of mobile apps by generating comprehensive models to improve the coverage of the applications. The strategy proved its effectiveness by achieving high co

关键词： Model checking

Upsilon-SVR Polynomial Kernel for Predicting the Defect Density in New software Projects 17

学校读者我要写书评

暂无评论

Upsilon-SVR Polynomial Kernel for Predicting the Defect Dens...

17th IEEE International Conference on Machine Learning and Applications, ICMLA 2018

作者： Lopez-Martin, Cuauhtemoc Azzeh, Mohammad Bou-Nassif, Ali Banitaan, Shadi Department of Information Systems Universidad de Guadalajara Mexico Department of Software Engineering Applied Science Private University Amman Jordan Department of Electrical and Computer Engineering University of Sharjah Sharjah United Arab Emirates Department of Mathematics Computer Science and Software Engineering University of Detroit Mercy DetroitMI United States

ISBN: (纸本)9781538668047

An important product measure to determine the effectiveness of software processes is the defect density (DD). In this study, we propose the application of support vector regression (SVR) to predict the DD of new software projects obtained from the International software Benchmarking Standards Group (ISBSG) Release 2018 data set. Two types of SVR (i.e., ϵ-SVR and υ-SVR) were applied to train and test these projects. Each SVR used four types of kernels. The prediction accuracy of each SVR was compared to that of a statistical regression (i.e., a simple linear regression, SLR). Statistical significance test showed that υ-SVR with polynomial kernel was better than that of SLR when new software projects were developed on mainframes and coded in programming languages of third generation. © 2018 IEEE.

关键词： Defect density

Measuring Safety Critical Latency Sources using Linux Kernel eBPF Tracing

学校读者我要写书评

暂无评论

Measuring Safety Critical Latency Sources using Linux Kernel...

ARCS Workshop 2019;32nd International Conference on Architecture of Computing systems

作者： Ludwig Thomeczek Andreas Attenberger Johannes Kolb Vaclav Matousek Juergen Mottok Corporate S&T Software Continental Automotive GmbH Department of Computer Science and Engineering University of West Bohemia Laboratory for Safe and Secure Systems OTH Regensburg

ISBN: (纸本)9783800749577

With the advent of new, ever more complex requirements for the automotive industry and its suppliers (mainly arising due to a demand for fully autonomous driving), a gradual shift from the established software architecture and hardware on to complex multi-core embedded microprocessors and complex (POSIX-compatible) operating systems is happening. As a highly competitive sector, the pressure to reduce manufacturing costs and part count additionally forces a consolidation of more functions into one single, higher performance embedded computing unit(often from different suppliers and with different base system requirements), while still requiring state-of-the-art functional safety and certification (ASIL, ISO26262). As a direct consequence, a coexistence of (soft-)real-time components and lower priority software on the same hardware leads to a mixedcriticality system. The latencies achievable in this system directly influence the safety, and two OS-related sources of latencies in a sample automotive framework architecture will be quantified using bpftrace, a Linux Kernel tracing solution. For one of the latencies, a separate validation using A/B tests will be performed, and we can show the reliability and low overhead of bpftrace for latency tests in the kernel.

关键词： Real-time Automotive BPF Safety Embedded Vehicle Operating systems Linux Security Tracing Preempt_RT Latency Latency Linux Operating systems automotive engineering embedding Band-pass filters safety vehicle Consumer safety Seeds Trace Security

Overcoming the disconnect between energy system and climate modelling

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Craig, Michael T. Wohland, Jan Stoop, Laurens P. Kies, Alexander Pickering, Bryn Bloomfield, Hannah C. Browell, Jethro De Felice, Matteo Dent, Chris J. Deroubaix, Adrien Frischmuth, Felix Gonzalez, Paula L.M. Grochowicz, Aleksander Gruber, Katharina Härtel, Philipp Kittel, Martin Kotzur, Leander Labuhn, Inga Lundquist, Julie K. Pflugradt, Noah van der Wiel, Karin Zeyringer, Marianne Brayshaw, David J. School for Environment and Sustainability University of Michigan United States Institute for Environmental Decisions ETH Zurich Switzerland Helmholtz-Zentrum Hereon Germany Information and Computing Science Copernicus Institute of Sustainable Development Utrecht University Netherlands TenneT TSO B.V. Arnhem Netherlands Royal Netherlands Meteorological Institute Netherlands Frankfurt Institute for Advanced Studies Germany Department of Electrical and Computer Engineering Aarhus University Denmark ETH Zürich Switzerland School of Geographical Sciences University of Bristol United Kingdom Department of Meteorology University of Reading United Kingdom University of Glasgow United Kingdom European Commission Joint Research Centre Netherlands School of Mathematics University of Edinburg United Kingdom The Alan Turing Institute United Kingdom Max Planck Institute Germany Fraunhofer Institute for Energy Economics and Energy System Technology Germany Department of Mathematics University of Oslo Norway University of Natural Resources and Life Sciences Austria German Institute for Economic Research Germany Institute of Energy and Climate Research Techno-economic Systems Analysis Germany University of Bremen Institute of Geography Germany Dept. of Atmospheric and Oceanic Science University of Colorado Boulder United States National Renewable Energy Laboratory United States Renewable and Sustainable Energy Institute United States Forschungszentrum Jülich Germany Department of Technology Systems University of Oslo Norway

Energy system models underpin decisions by energy system planners and operators. Energy system modelling faces a transformation: accounting for changing meteorological conditions imposed by climate change. To enable that transformation, a community of practice in energy-climate modelling has started to form that aims to better integrate energy system models with weather and climate models. Here, we evaluate the disconnects between the energy system and climate modelling communities, then lay out a research agenda to bridge those disconnects. In the near-term, we propose interdisciplinary activities for expediting uptake of future climate data in energy system modelling. In the long-term, we propose a transdisciplinary approach to enable development of (1) energy-system-tailored climate datasets for historical and future meteorological conditions and (2) energy system models that can effectively leverage those datasets. This agenda increases the odds of meeting ambitious climate mitigation goals by systematically capturing and mitigating climate risk in energy sector decision making. © 2022, CC BY-NC-ND.

关键词： Decision making

ANDROIDOFF:Offloading android application based on cost estimation

学校读者我要写书评

暂无评论

Journal of systems and software 2019年 158卷 110418-000页

作者： Chen, Xing Chen, Jiaqing Liu, Bichun Ma, Yun Zhang, Ying Zhong, Hao College of Mathematics and Computer Science Fuzhou University Fuzhou350116 China Fujian Key Laboratory of Network Computing and Intelligent Information Processing Fuzhou350116 China School of Software Tsinghua University Beijing100084 China National Engineering Research Center of Software Engineering Peking University China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai200240 China

Computation offloading is a promising way of improving the performance and reducing the battery power consumption, since it moves some time-consuming computation activities to nearby servers. Although various approaches have been proposed to support computation offloading, we argue that there is still sufficient space for improvements, since existing approaches cannot accurately estimate the execution costs. As a result, we find that their offloading plans are less optimized. To handle the problem, in this paper, given an Android application, we propose a novel approach, called ANDROIDOFF, that supports offloading at the granularity of objects. Supporting such capability is challenging due to the two reasons: (1) through dynamic execution, it is feasible to collect the execution costs of only partial methods, and (2) it is difficult to accurately estimate the execution costs of the remaining methods. To overcome the challenges, given an Android application, ANDROIDOFF first combines static and dynamic analysis to predict the execution costs of all its methods. After all the costs are estimated, ANDROIDOFF synthesizes an offloading plan, in which determines the offloading details. We evaluate ANDROIDOFF on a real-world application, with two mobile devices. Our results show that, compared with other approaches, ANDROIDOFF saves the response time by 8%–49% and reduces the energy consumption by 12%–49% on average for computation-intensive applications. © 2019 Elsevier Inc.

关键词： computation offloading

Operational Research: Methods and Applications

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Petropoulos, Fotios Laporte, Gilbert Aktas, Emel Alumur, Sibel A. Archetti, Claudia Ayhan, Hayriye Battarra, Maria Bennell, Julia A. Bourjolly, Jean-Marie Boylan, John E. Breton, Michèle Canca, David Charlin, Laurent Chen, Bo Cicek, Cihan Tugrul Cox, Louis Anthony Currie, Christine S.M. Demeulemeester, Erik Ding, Li Disney, Stephen M. Ehrgott, Matthias Eppler, Martin J. Erdogan, Güneş Fortz, Bernard Franco, L. Alberto Frische, Jens Greco, Salvatore Gregory, Amanda J. Hämäläinen, Raimo P. Herroelen, Willy Hewitt, Mike Holmström, Jan Hooker, John N. Işık, Tugçe Johnes, Jill Kara, Bahar Y. Karsu, Özlem Kent, Katherine Köhler, Charlotte Kunc, Martin Kuo, Yong-Hong Letchford, Adam N. Leung, Janny Li, Dong Li, Haitao Lienert, Judit Ljubić, Ivana Lodi, Andrea Lozano, Sebastián Lurkin, Virginie Martello, Silvano McHale, Ian G. Midgley, Gerald Morecroft, John D.W. Mutha, Akshay Oguz, Ceyda Petrovic, Sanja Pferschy, Ulrich Psaraftis, Harilaos N. Rose, Sam Saarinen, Lauri Salhi, Said Song, Jing-Sheng Sotiros, Dimitrios Stecke, Kathryn E. Strauss, Arne K. Tarhan, Istenç Thielen, Clemens Toth, Paolo Van Woensel, Tom Vanden Berghe, Greet Vasilakis, Christos Vaze, Vikrant Vigo, Daniele Virtanen, Kai Wang, Xun Weron, Rafal White, Leroy Yearworth, Mike Yıldırım, E. Alper Zaccour, Georges Zhao, Xuying School of Management University of Bath Bath United Kingdom Makridakis Open Forecasting Center University of Nicosia Nicosia Cyprus Department of Decision Sciences HEC Montréal Montreal Canada Molde University College Molde Norway Cranfield School of Management Cranfield University Cranfield United Kingdom Department of Management Sciences University of Waterloo Waterloo Canada ESSEC Business School in Paris Department of Information Systems Decision Sciences and Statistics Cergy France H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology Atlanta United States Centre for Decision Research Leeds University Business School University of Leeds Leeds United Kingdom Université du Québec à Montréal Montreal Canada Centre for Marketing Analytics and Forecasting Lancaster University Management School Lancaster University Lancaster United Kingdom School of Engineering Department of Industrial Engineering and Management Science I University of Seville Seville Spain Mila-Quebec AI Institute Montreal Canada Warwick Business School University of Warwick Coventry United Kingdom Department of Industrial Engineering Atilim University Ankara Turkey Department of Business Analytics University of Colorado School of Business Denver United States Cox Associates Denver United States Mathematical Sciences University of Southampton Southampton United Kingdom Faculty of Economics and Business Research Center for Operations Management KU Leuven Leuven Belgium Durham University Business School Durham University Durham United Kingdom Center for Simulation Analytics and Modelling University of Exeter Business School Exeter United Kingdom Department of Management Science Lancaster University Management School Lancaster University Lancaster United Kingdom University of St. Gallen St. Gallen Switzerland HEC - Management School of the University of Liège Liège Belgium Département d'Informatique Université Libre de Bruxelles Bruss

Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the various subdomains of the field. The second offers a wide-ranging list of areas where Operational Research has been applied. The article is meant to be read in a nonlinear fashion. It should be used as a point of reference or first-port-of-call for a diverse pool of readers: academics, researchers, students, and practitioners. The entries within the methods and applications sections are presented in alphabetical order. The authors dedicate this paper to the 2023 Turkey/Syria earthquake victims. We sincerely hope that advances in OR will play a role towards minimising the pain and suffering caused by this and future catastrophes. © 2023, CC BY.

关键词： Decision making

Anisotropy-induced spin reorientation in chemically modulated amorphous ferrimagnetic films

学校读者我要写书评

暂无评论

Physical Review Materials 2020年第7期4卷 074403-074403页

作者： E. Kirk C. Bull S. Finizio H. Sepehri-Amin S. Wintz A. K. Suszka N. S. Bingham P. Warnicke K. Hono P. W. Nutter J. Raabe G. Hrkac T. Thomson L. J. Heyderman Laboratory for Mesoscopic Systems Department of Materials ETH Zurich 8093 Zurich Switzerland Paul Scherrer Institute 5232 Villigen PSI Switzerland Department of Computer Science University of Manchester Oxford Road Manchester M13 9PL United Kingdom Research Center for Magnetic and Spintronic Materials National Institute for Materials Science Tsukuba 305-0047 Japan College of Engineering Mathematics and Physical Sciences University of Exeter North Park Road Exeter EX4 4QF United Kingdom

The ability to tune the competition between the in-plane and out-of-plane orientation of magnetization provides a means to construct thermal sensors with a sharp spin reorientation transition at specific temperatures. We have observed such a tuneable, temperature-driven spin reorientation in structurally amorphous, ferrimagnetic rare-earth transition-metal alloy thin films using scanning transmission x-ray microscopy and magnetic measurements. The nature of the spin reorientation transition in FeGd can be fully explained by a nonequilibrium, nanoscale modulation of the chemical composition of the films. This modulation leads to a magnetic domain pattern of nanoscale speckles superimposed on a background of in-plane domains that form Landau configurations in µm-scale patterned elements. It is this speckle magnetic structure that gives rise to a sharp two-step reversal mechanism that is temperature dependent. The possibility to balance competing anisotropies through the temperature opens opportunities to create and manipulate topological spin textures.

关键词： Magnetic anisotropy

A Robust Ensemble Algorithm for Ischemic Stroke Lesion Segmentation: Generalizability and Clinical Utility Beyond the ISLES Challenge

学校读者我要写书评

暂无评论

arXiv 2024年

作者： de la Rosa, Ezequiel Reyes, Mauricio Liew, Sook-Lei Hutton, Alexandre Wiest, Roland Kaesmacher, Johannes Hanning, Uta Hakim, Arsany Zubal, Richard Valenzuela, Waldo Robben, David Sima, Diana M. Anania, Vincenzo Brys, Arne Meakin, James A. Mickan, Anne Broocks, Gabriel Heitkamp, Christian Gao, Shengbo Liang, Kongming Zhang, Ziji Siddiquee, Md Mahfuzur Rahman Myronenko, Andriy Ashtari, Pooya Van Huffel, Sabine Jeong, Hyun-Su Yoon, Chi-Ho Kim, Chulhong Huo, Jiayu Ourselin, Sebastien Sparks, Rachel Clèrigues, Albert Oliver, Arnau Lladó, Xavier Chalcroft, Liam Pappas, Ioannis Bertels, Jeroen Heylen, Ewout Moreau, Juliette Hatami, Nima Frindel, Carole Qayyum, Abdul Mazher, Moona Puig, Domenec Lin, Shao-Chieh Juan, Chun-Jung Hu, Tianxi Boone, Lyndon Goubran, Maged Liu, Yi-Jui Wegener, Susanne Kofler, Florian Ezhov, Ivan Shit, Suprosanna Hernandez Petzsche, Moritz R. Menze, Bjoern Kirschke, Jan S. Wiestler, Benedikt Department of Quantitative Biomedicine University of Zurich Zurich Switzerland Department of Informatics Technical University Munich Germany Icometrix Leuven Belgium ARTORG Center for Biomedical Research University of Bern Bern Switzerland Department of Radiation Oncology University Hospital Bern University of Bern Switzerland University of Bern Bern Switzerland Chan Division of Occupational Science and Occupational Therapy University of Southern California Los AngelesCA United States Stevens Neuroimaging and Informatics Institute Department of Neurology Keck School of Medicine University of Southern California United States University Institute of Diagnostic and Interventional Neuroradiology Inselspital Bern Switzerland University Institute of Diagnostic and Interventional Neuroradiology University Hospital Bern Inselspital University of Bern Bern Switzerland Department of Diagnostic and Interventional neuroradiology University Medical Center Hamburg-Eppendorf Hamburg Germany Department of Medical Imaging Radboud University Medical Center Institute for Health Sciences Nijmegen Netherlands Deepwise AI Lab Beijing China Beijing University of Posts and Telecommunications Bejing China School of Computing and Augmented Intelligence Arizona State University TempeAZ United States NVIDIA Santa ClaraCA United States STADIUS Center for Dynamical Systems Signal Processing and Data Analytics KU Leuven Leuven Belgium Pohang Korea Republic of School of Biomedical Engineering & Imaging Sciences King’s College London United Kingdom Institute of Computer Vision and Robotics University of Girona Spain Wellcome Centre for Human Neuroimaging University College London London United Kingdom Laboratory of Neuro Imaging Stevens Institute for Neuroimaging and Informatics Keck School of Medicine University of Southern California Los Angeles United States KU Leuven Leuven Belgium CREATIS Université Lyon1 CNRS UMR5220 INSERM U1206 INSA-Lyon Villeurbanne696

Diffusion-weighted MRI (DWI) is essential for stroke diagnosis, treatment decisions, and prognosis. However, image and disease variability hinder the development of generalizable AI algorithms with clinical value. We address this gap by presenting a novel ensemble algorithm derived from the 2022 Ischemic Stroke Lesion Segmentation (ISLES) challenge. ISLES’22 provided 400 patient scans with ischemic stroke from various medical centers, facilitating the development of a wide range of cutting-edge segmentation algorithms by the research community. By assessing them against a hidden test set, we identified strengths, weaknesses, and potential biases. Through collaboration with leading teams, we combined top-performing algorithms into an ensemble model that overcomes the limitations of individual solutions. Our ensemble model combines the individual algorithms’ strengths and achieved superior ischemic lesion detection and segmentation accuracy (median Dice score: 0.82, median lesion-wise F1 score: 0.86) on our internal test set compared to individual algorithms. This accuracy generalized well across diverse image and disease variables. Furthermore, the model excelled in extracting clinical biomarkers like lesion types and affected vascular territories. Notably, in a Turing-like test, neuroradiologists consistently preferred the algorithm’s segmentations over manual expert efforts, highlighting increased comprehensiveness and precision. Validation using a real-world external dataset (N=1686) confirmed the model’s generalizability (median Dice score: 0.82, median lesion-wise F1 score: 0.86). The algorithm’s outputs also demonstrated strong correlations with clinical scores (admission NIHSS and 90-day mRS) on par with or exceeding expert-derived results, underlining its clinical relevance. This study offers two key findings. First, we present an ensemble algorithm that detects and segments ischemic stroke lesions on DWI across diverse scenarios on par with expert (neuro)rad

关键词： Diagnosis

Building an international consortium for tracking coronavirus health status (vol 78, pg 931, 2020)

学校读者我要写书评

暂无评论

NATURE MEDICINE 2020年第8期26卷 1309-1309页

作者： Segal, Eran Zhang, Feng Lin, Xihong King, Gary Shalem, Ophir Shilo, Smadar Allen, William E. Alquaddoomi, Faisal Altae-Tran, Han Anders, Simon Balicer, Ran Bauman, Tal Bonilla, Ximena Booman, Gisel Chan, Andrew T. Cohen, Ori Coletti, Silvano Davidson, Natalie Dor, Yuval Drew, David A. Elemento, Olivier Evans, Georgina Ewels, Phil Gale, Joshua Gavrieli, Amir Geiger, Benjamin Grad, Yonatan H. Greene, Casey S. Hajirasouliha, Iman Jerala, Roman Kahles, Andre Kallioniemi, Olli Keshet, Ayya Kocarev, Ljupco Landua, Gregory Meir, Tomer Muller, Aline Nguyen, Long H. Oresic, Matej Ovchinnikova, Svetlana Peterson, Hedi Prodanova, Jana Rajagopal, Jay Raetsch, Gunnar Rossman, Hagai Rung, Johan Sboner, Andrea Sigaras, Alexandros Spector, Tim Steinherz, Ron Stevens, Irene Vilo, Jaak Wilmes, Paul Department of Computer Science and Applied Mathematics and Department of Molecular Cell Biology Weizmann Institute of Science Rehovot Israel Howard Hughes Medical Institute Chevy Chase Maryland USA Broad Institute of MIT and Harvard Cambridge MA USA Departments of Biostatistics and Statistics Harvard T.H. Chan School of Public Health Harvard University Cambridge MA USA Institute for Quantitative Social Science Harvard University Cambridge MA USA Department of Genetics Perelman School of Medicine University of Pennsylvania Philadelphia PA USA Pediatric Diabetes Unit Ruth Rappaport Children’s Hospital Rambam Healthcare Campus Haifa Israel Harvard Society of Fellows Harvard University Cambridge MA USA ETH Zurich NEXUS Personalized Health Technologies Zurich Switzerland Department of Biological Engineering Massachusetts Institute of Technology Cambridge MA USA Center for Molecular Biology (ZMBH) University of Heidelberg Heidelberg Germany Clalit Research Institute Clalit Health Services Ramat Gan Israel Mapping and Geo-Information Engineering Civil and Environmental Engineering Faculty The Technion Haifa Israel ETH Zurich Department for Computer Science Zurich University Hospital Zurich Medical Informatics Zurich and SIB Swiss Institute of Bioinformatics Zurich Switzerland Regen Network Mar del Plata Argentina Massachusetts General Hospital (MGH) Boston MA USA Chelonia Applied Science Allschwil Switzerland IMRIC Developmental Biology and Cancer Research School of Medicine The Hebrew University Jerusalem Israel Englander Institute for Precision Medicine Weill Cornell Medicine New York NY USA Department of Physiology and Biophysics Weill Cornell Medicine New York NY USA Institute for Quantitative Social Science Harvard University Cambridge MA USA Science for Life Laboratory (SciLifeLab) Department of Biochemistry and Biophysics Stockholm University Stockholm Sweden http://*** Canada Department of Immunology Weizmann Institute of Scienc

An amendment to this paper has been published and can be accessed via a link at the top of the paper.

关键词： Computational platforms and environments Databases Infectious diseases