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

CERTICS -A harmonization with CMMI-DEV practices for implementation of continuous improvement competence area 32

学校读者我要写书评

暂无评论

CERTICS -A harmonization with CMMI-DEV practices for impleme...

32nd International Conference on computers and Their Applications, CATA 2017

作者： Da Garcia, Fabrício W. Oliveira, Sandro R.B. Salviano, Clênio F. Faculty of Computing Federal University of Pará Castanhal Pará Brazil Graduate Program in Computer Science Federal University of Pará Belém Pará Brazil Renato Archer Information Technology Center Campinas São Paulo Brazil

ISBN: (纸本)9781943436064

This paper proposes a harmonization between a product quality model and a software process model used in the industry, CERTICS (a national Brazilian model) and CMMI-DEV (an international model). The focus of this harmonization is on the Competence Area of Continuous Improvement of CERTICS, which addresses the key question of whether the software is the result of Continuous Improvement actions originating in the management of personnel, processes and knowledge to support and enhance their development and technological innovation. The results of the harmonization are examined step by step, as well as including a review of the harmonization, and were assisted by an expert on the CERTICS and CMMI-DEV models. Thus, this paper aims to correlate the structures of the two models to reduce the implementation time and costs, and to stimulate the execution of multi-model implementations in software development. © ISCA, CATA 2017.

关键词： Software design

A harmonization between CERTICS and CMMI-DEV assets a joint implementation of product and process models in the Business management competence area 12

学校读者我要写书评

暂无评论

A harmonization between CERTICS and CMMI-DEV assets a joint ...

12th International Conference on Software Technologies, ICSOFT 2017

作者： Oliveira, Sandro Ronaldo Bezerra Da Silva Garcia, Fabrício Wickey Salviano, Clênio Figueiredo Graduate Program in Computer Science Federal University of Pará Belém Pará Brazil Faculty of Computing Federal University of Pará Castanhal Pará Brazil Renato Archer Information Technology Center Campinas São Paulo Brazil

ISBN: (纸本)9789897582622

This paper presents a harmonization proposal between a product quality model, the CERTICS (a national Brazilian model) and a software process model, CMMI-DEV (an international model) used in the industry. The goal of this harmonization is on the Business Management Competence Area of CERTICS, which focus whether "the software leverages knowledge-based business and it is driven by these business". The results of the harmonization also used the CMMI-SVC model assets and are examined step by step, as well as including a review of the harmonization, and were assisted by an expert on the CERTICS and CMMI-DEV models. Thus, this paper correlates the structures of the two models to reduce the implementation time and costs, and to stimulate the execution of multi-model implementations in software development. Copyright © 2017 by SCITEPRESS - science and Technology Publications, Lda. All rights reserved.

关键词： Knowledge based systems

Considering discrepancy when calibrating a mechanistic electrophysiology model

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Lei, Chon Lok Ghosh, Sanmitra Whittaker, Dominic G. Aboelkassem, Yasser Beattie, Kylie A. Cantwell, Chris D. Delhaas, Tammo Houston, Charles Novaes, Gustavo Montes Panfilov, Alexander V. Pathmanathan, Pras Riabiz, Marina Weber dos Santos, Rodrigo Worden, Keith Mirams, Gary R. Wilkinson, Richard D. Computational Biology & Health Informatics Dept. of Computer Science University of Oxford United Kingdom MRC Biostatistics Unit University of Cambridge United Kingdom Centre for Mathematical Medicine & Biology School of Mathematical Sciences University of Nottingham United Kingdom Department of Bioengineering University of California San Diego United States Systems Modeling and Translational Biology GlaxoSmithKline R&D Stevenage United Kingdom ElectroCardioMaths Programme Centre for Cardiac Engineering Imperial College London United Kingdom CARIM School for Cardiovascular Diseases Maastricht University Netherlands Graduate Program in Computational Modeling Universidade Federal de Juiz de Fora Brazil Department of Physics and Astronomy Ghent University Belgium Laboratory of Computational Biology and Medicine Ural Federal University Ekaterinburg Russia U.S. Food and Drug Administration Center for Devices and Radiological Health Office of Science and Engineering Laboratories United States Department of Biomedical Engineering King’s College London Alan Turing Institute United Kingdom Dynamics Research Group Department of Mechanical Engineering University of Sheffield United Kingdom School of Mathematics and Statistics University of Sheffield United Kingdom

Uncertainty quantification (UQ) is a vital step in using mathematical models and simulations to take decisions. The field of cardiac simulation has begun to explore and adopt UQ methods to characterise uncertainty in model inputs and how that propagates through to outputs or predictions. In this perspective piece we draw attention to an important and under-addressed source of uncertainty in our predictions — that of uncertainty in the model structure or the equations themselves. The difference between imperfect models and reality is termed model discrepancy, and we are often uncertain as to the size and consequences of this discrepancy. Here we provide two examples of the consequences of discrepancy when calibrating models at the ion channel and action potential scales. Furthermore, we attempt to account for this discrepancy when calibrating and validating an ion channel model using different methods, based on modelling the discrepancy using Gaussian processes (GPs) and autoregressive-moving-average (ARMA) models, then highlight the advantages and shortcomings of each approach. Finally, suggestions and lines of enquiry for future work are provided. Copyright © 2020, The Authors. All rights reserved.

关键词： Uncertainty analysis

Retracted: LUC Algorithm in Visual Cryptography

学校读者我要写书评

暂无评论

Retracted: LUC Algorithm in Visual Cryptography

2018 Workshop on Multidisciplinary and Its Applications: Applied Mathematics, computer science, Information Systems, and Information Technology, WMA-Mathcomtech 2018

作者： Achmad Daengs, G.S. Ratnadewi Alpha, Christian Dio Napitupulu, Darmawan Nurdiyanto, Heri Kurniasih, Nuning Hasibuan, Abdurrozaq Daengs, Achmad Manurung, Rosida Tiurma Mulyaningsih, Indrya Rahim, Robbi Sugianto, Castaka Agus Abdullah, Dahlan Department of Electrical Engineering Universitas Kristen Maranatha Bandung Indonesia Research Center for Quality System and Testing Technology Indonesian Institute of Sciences Banten Indonesia STMIK Dharma Wacana Indonesia Faculty of Communication Sciences Library and Information Science Program Universitas Padjadjaran Bandung Indonesia Universitas Islam Sumatera Utara Indonesia University of 45 Surabaya Indonesia Graduate Program in Scientific Psychology Universitas Kristen Maranatha Bandung Indonesia Department of Education Institut Agama Islam Negeri Syekh Nurjati Cirebon Indonesia School of Computer and Communication Engineering Universiti Malaysia Perlis Kubang Gajah Malaysia Politeknik TEDC Bandung Indonesia Department of Informatics Universitas Malikussaleh Aceh Utara Indonesia

Nowadays, messaging technology in digital data form more often used and not less messages that confidentially wanted. Then it should be modified so that can be understood only by the sender and the intended recipients. All of this system can be realization by using cryptography. LUC algorithms are introduced by Smith and Lennon in 1993. LUC algorithm is an algorithm that based on the use of Lucas sequence (specific arithmetic operations derived from Lucas row) that rarely used to enhance the security of the messages. In this research, LUC algorithm is combined with visual cryptography to process the encryption and the description of a colored image. Four different images were used in the trial here. The performance of the system is assessed using Structural similarity (SSIM) which has an assessment similar to human eye. If the image quality is the same as the original image, then the SSIM value is one. Whereas if the quality of decryption image is very different from the original image then the value of SSIM is zero. © Published under licence by IOP Publishing Ltd.

关键词： Information systems

Derivative-free superiorization: Principle and algorithm

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Censor, Yair Garduño, Edgar Helou, Elias S. Herman, Gabor T. Department of Mathematics University of Haifa Mt. Carmel Haifa3498838 Israel Departamento de Ciencias de la Computación Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas Universidad Nacional Autónoma de México Cd. Universitaria Mexico CityC.P. 04510 Mexico Department of Applied Mathematics and Statistics University of São Paulo São Carlos São Paulo13566-590 Brazil Computer Science Ph.D. Program Graduate Center City University of New York New YorkNY10016 United States

The superiorization methodology is intended to work with input data of constrained minimization problems, that is, a target function and a set of constraints. However, it is based on an antipodal way of thinking to what leads to constrained minimization methods. Instead of adapting unconstrained minimization algorithms to handling constraints, it adapts feasibility-seeking algorithms to reduce (not necessarily minimize) target function values. This is done by inserting target-function-reducing perturbations into a feasibility-seeking algorithm while retaining its feasibility-seeking ability and without paying a high computational price. A superiorized algorithm that employs component-wise target function reduction steps is presented. This enables derivative-free superiorization (DFS), meaning that superiorization can be applied to target functions that have no calculable partial derivatives or subgradients. The numerical behavior of our derivative-free superiorization algorithm is illustrated on a data set generated by simulating a problem of image reconstruction from projections. The plots of proximity-target curves of our experiments demonstrate the advantage of the proposed derivative-free superiorization algorithm. Copyright © 2019, The Authors. All rights reserved.

关键词： Constrained optimization

A high-order log barrier-based mesh generation and warping method

学校读者我要写书评

暂无评论

Procedia Engineering 2017年 203卷 180-192页

作者： Mike Stees Suzanne M. Shontz Department of Electrical Engineering and Computer Science Information and Telecommunication Technology Center The University of Kansas Lawrence KS 66045 USA Department of Electrical Engineering and Computer Science Bioengineering Graduate Program Information and Telecommunication Technology Center The University of Kansas Lawrence KS 66045 USA

The ability to generate high-order meshes that conform to the boundary of curved geometries is a hurdle in the adoption of high-order computational methods for the numerical solution of partial differential equations. In this paper, we propose a method for generating and warping second-order Lagrange triangular and tetrahedral meshes based on a log barrier method. In the case of generation, the approach consists of modifying an initial linear mesh by first, adding nodes at the midpoint of each edge; second, displacing the newly added boundary midpoints to the curved boundary, and third, solving for the final positions of the interior nodes based on the boundary deformation. By allowing all of the boundary nodes to move, the approach can also be used to warp second-order triangular and tetrahedral meshes. We present several numerical examples in both two and three dimensions which demonstrate the capabilities of our method in generating and warping second-order curvilinear meshes.

关键词： high-order mesh generation curvilinear high-order mesh high-order mesh warping numerical optimization

Single-photon embedded eigenstates in coupled cavity-atom systems

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Cotrufo, Michele Alù, Andrea Department of Electrical and Computer Engineering University of Texas at Austin AustinTX78712 United States Photonics Initiative Advanced Science Research Center City University of New York NY10031 United States Physics Program Graduate Center City University of New York NY10016 United States Department of Electrical Engineering City College of The City University of New York NY10031 United States

Confining light in open structures is a long-sought goal in nanophotonics and cavity quantum electrodynamics. Embedded eigenstates provide infinite lifetime despite the presence of available leakage channels, but in linear time-invariant systems they cannot be excited from the outside, due to reciprocity. Here, we investigate how atomic nonlinearities may support single-photon embedded eigenstates, which can be populated by a multi-photon excitation followed by internal relaxation. We calculate the system dynamics and show that photon trapping, as well as the reverse release process, can be achieved with arbitrarily high efficiencies. We also discuss the impact of loss, and a path towards the experimental verification of these concepts. Copyright © 2018, The Authors. All rights reserved.

关键词： Particle beams

Ten simple rules for reproducible research in jupyter notebooks

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Rule, Adam Birmingham, Amanda Zuniga, Cristal Altintas, Ilkay Huang, Shih-Cheng Knight, Rob Moshiri, Niema Nguyen, Mai H. Rosenthal, Sara Brin Pérez, Fernando Rose, Peter W. Design Lab UC San Diego San DiegoCA United States Center for Computational Biology and Bioinformatics UC San Diego San DiegoCA United States Department of Pediatrics UC San Diego San DiegoCA United States Data Science Hub San Diego Supercomputer Center UC San Diego San DiegoCA United States Departments of Bioengineering and Computer Science and Engineering Center for Microbiome Innovation UC San Diego San DiegoCA United States Bioinformatics and Systems Biology Graduate Program UC San Diego San DiegoCA United States Department of Statistics Berkeley Institute for Data Science UC Berkeley Lawrence Berkeley National Laboratory BerkeleyCA United States Biomedical Informatics Graduate Program Stanford University StanfordCA United States

Reproducibility of computational studies is a hallmark of scientific methodology. It enables researchers to build with confidence on the methods and findings of others, reuse and extend computational pipelines, and thereby drive scientific progress. Since many experimental studies rely on computational analyses, biologists need guidance on how to set up and document reproducible data analyses or simulations. In this paper, we address several questions about reproducibility. For example, what are the technical and non-technical barriers to reproducible computational studies? What opportunities and challenges do computational notebooks offer to overcome some of these barriers? What tools are available and how can they be used effectively? We have developed a set of rules to serve as a guide to scientists with a specific focus on computational notebook systems, such as Jupyter Notebooks, which have become a tool of choice for many applications. Notebooks combine detailed workflows with narrative text and visualization of results. Combined with software repositories and open source licensing, notebooks are powerful tools for transparent, collaborative, reproducible, and reusable data analyses. Copyright © 2018, The Authors. All rights reserved.

关键词： Digital storage

Crowdsourcing annotation system of object counting dataset for deep learning algorithm

学校读者我要写书评

暂无评论

IOP Conference Series: Earth and Environmental science 2018年第1期195卷

作者： Tjeng Wawan Cenggoro Fidelson Tanzil Ayu Hidayah Aslamiah Ettikan Kandasamy Karuppiah Bens Pardamean Computer Science Department School of Computer Science Bina Nusantara University Jakarta Indonesia 11480 Bioinformatics and Data Science Research Center Bina Nusantara University Jakarta Indonesia 11480 NVIDIA Corporation Computer Science Department BINUS Graduate Program - Master of Computer Science Program Bina Nusantara University Jakarta Indonesia 11480

Deep Learning is currently the state-of-the-art technique for various computer Vision tasks, including object counting. Despite of its high performance, Deep Learning requires a gigantic amount of training data to show its best result. Getting this massive data in reasonable time requires a proper strategy such as crowdsourcing. However, in case of object counting, we found no crowdsourcing system able to effectively collect necessary data. To tackle this problem, we develop a crowdsourcing system to annotate image for object counting dataset. This system is also equipped with validation system to ensure the quality of collected dataset.

关键词：