当前期刊: "软件"类期刊
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Data-Driven Human Modeling by Sparse Representation
    Comput. Aided Des. (IF 3.156) Pub Date : 2020-07-15
    Yiu-Bun Wu; Bin Liu; Xiuping Liu; Charlie C.L. Wang
    更新日期:2020-07-15
  • PSTGF: Time-independent R-matrix atomic electron-impact code
    Comput. Phys. Commun. (IF 3.627) Pub Date : 2020-07-11
    L. Fernández-Menchero; A.C. Conroy; C.P. Ballance; N.R. Badnell; D.M. Mitnik; T.W. Gorczyca; M.J. Seaton

    stgf is a community code employed for outer-region R-matrix calculations, describing electron-impact collisional processes. It is widely recognised that the original version of stgf was written by M.J. Seaton in 1983, but through constant refinement over the next decades by worldwide contributors has evolved into its current form that more reflects modern coding practice and current computer architectures

    更新日期:2020-07-15
  • LieART 2.0 – A Mathematica application for Lie Algebras and Representation Theory
    Comput. Phys. Commun. (IF 3.627) Pub Date : 2020-07-15
    Robert Feger; Thomas W. Kephart; Robert J. Saskowski

    We present LieART 2.0 which contains substantial extensions to the Mathematica application LieART (Lie Algebras and Representation Theory) for computations frequently encountered in Lie algebras and representation theory, such as tensor product decomposition and subalgebra branching of irreducible representations. The basic procedure is unchanged—it computes root systems of Lie algebras, weight systems

    更新日期:2020-07-15
  • Implementation relations and testing for cyclic systems with refusals and discrete time
    J. Syst. Softw. (IF 2.45) Pub Date : 2020-07-13
    Raluca Lefticaru; Robert M. Hierons; Manuel Núñez

    We present a formalism to represent cyclic models and study different semantic frameworks that support testing. These models combine sequences of observable actions and the passing of (discrete) time and can be used to specify a number of classes of reactive systems, an example being robotic systems. We use implementation relations in order to formally define a notion of correctness of a system under

    更新日期:2020-07-15
  • Scrum versus Rational Unified Process in facing the main challenges of product configuration systems development
    J. Syst. Softw. (IF 2.45) Pub Date : 2020-07-15
    Sara Shafiee; Yves Wautelet; Lars Hvam; Enrico Sandrin; Cipriano Forza

    Product configuration systems (PCSs) are software applications that enable companies to customise configurable products by facilitating the automation of sales and engineering. Widely used in various industries, PCSs can bring substantial benefits and constitute a fundamental tool for mass customisation. However, serious challenges in PCS development have been reported. Software engineering approaches

    更新日期:2020-07-15
  • Understanding coordination in global software engineering: A mixed-methods study on the use of meetings and Slack
    J. Syst. Softw. (IF 2.45) Pub Date : 2020-07-04
    Viktoria Stray; Nils Brede Moe

    Given the relevance of coordination in the field of global software engineering, this work was carried out to further understand coordination mechanisms. Specifically, we investigated meetings and the collaboration tool Slack. We conducted a longitudinal case study using a mixed-methods approach with surveys, observations, interviews, and chat logs. Our quantitative results show that employees in global

    更新日期:2020-07-15
  • On the generation, structure, and semantics of grammar patterns in source code identifiers
    J. Syst. Softw. (IF 2.45) Pub Date : 2020-07-15
    Christian D. Newman; Reem S. AlSuhaibani; Michael J. Decker; Anthony Peruma; Dishant Kaushik; Mohamed Wiem Mkaouer; Emily Hill

    Identifiers make up a majority of the text in code. They are one of the most basic mediums through which developers describe the code they create and understand the code that others create. Therefore, understanding the patterns latent in identifier naming practices and how accurately we are able to automatically model these patterns is vital if researchers are to support developers and automated analysis

    更新日期:2020-07-15
  • Secondary studies in the academic context: A systematic mapping and survey
    J. Syst. Softw. (IF 2.45) Pub Date : 2020-07-15
    Katia Romero Felizardo; Érica Ferreira de Souza; Bianca Minetto Napoleão; Nandamudi Lankalapalli Vijaykumar; Maria Teresa Baldassarre
    更新日期:2020-07-15
  • Dynamic spline bas-relief modeling with isogeometric collocation method
    Comput. Aided Geom. Des. (IF 1.23) Pub Date : 2020-07-15
    Jinlan Xu; Chengnan Ling; Gang Xu; Zhongping Ji; Xiangyang Wu; Timon Rabczuk

    In this paper, we propose a novel framework for dynamic spline bas-relief modeling based on isogeometric collocation method. In the proposed method, the bas-relief model is separated into two parts: the base surface and the relief surface; and both of them are represented in spline form. To simplify the construction, the spline bases for representing the base surface and relief surface are in the same

    更新日期:2020-07-15
  • Specifying reversibility with TLA+
    J. Log. Algebr. Methods Program. (IF 0.685) Pub Date : 2020-07-15
    Tatjana Kapus

    In the past, action-based, process-algebraic formalisms for the description and analysis of concurrent reversible computations were mainly developed. In this paper, we present a state-based approach to the specification of concurrent systems in which forward-executed actions may either be executed in reverse in a causal-consistent uncontrolled fashion or are irreversible. The basic underlying system

    更新日期:2020-07-15
  • “The Canary in the Coal Mine…” A cautionary tale from the decline of SourceForge
    Softw. Pract. Exp. (IF 1.786) Pub Date : 2020-07-14
    Damian Andrew Tamburri; Kelly Blincoe; Fabio Palomba; Rick Kazman

    Forges are online collaborative platforms to support the development of distributed open source software. While once mighty keepers of open source vitality, software forges are rapidly becoming less and less relevant. For example, of the top 10 forges in 2011, only one survives today—SourceForge —the biggest of them all, but its numbers are dropping and its community is tenuous at best. Through mixed‐methods

    更新日期:2020-07-15
  • Conference Virtualization
    Softw. Test. Verif. Reliab. (IF 1.226) Pub Date : 2020-07-14
    Robert M. Hierons; Tao Xie

    Due to the ongoing COVID‐19 outbreak, conference virtualization has happened, is happening, and will happen for the recent past, ongoing, and upcoming periods, respectively. An ongoing example of conference virtualization is ICSE 2020, the largest conference in software engineering. ACM has recently formed the ACM Presidential Task Force on What Conferences Can Do to Replace Face‐to‐Face Meetings;

    更新日期:2020-07-15
  • Heuristic Algorithms for MapReduce Scheduling Problem with Open-Map Task and Series-Reduce Tasks
    Sci. Program. (IF 0.963) Pub Date : 2020-07-15
    Feifeng Zheng; Zhaojie Wang; Yinfeng Xu; Ming Liu

    Based on the classical MapReduce concept, we propose an extended MapReduce scheduling model. In the extended MapReduce scheduling problem, we assumed that each job contains an open-map task (the map task can be divided into multiple unparallel operations) and series-reduce tasks (each reduce task consists of only one operation). Different from the classical MapReduce scheduling problem, we also assume

    更新日期:2020-07-15
  • A DE-LS Metaheuristic Algorithm for Hybrid Flow-Shop Scheduling Problem considering Multiple Requirements of Customers
    Sci. Program. (IF 0.963) Pub Date : 2020-07-15
    Yingjia Sun; Xin Qi

    In this paper, we address a hybrid flow-shop scheduling problem with the objective of minimizing the makespan and the cost of delay. The concerned problem considers the diversity of the customers’ requirements, which influences the procedures of the productions and increases the complexity of the problem. The features of the problem are inspired by the real-world situations, and the problem is formulated

    更新日期:2020-07-15
  • Cost-Benefit Models on Integrating Information Technology Services in Automotive Production Management
    Sci. Program. (IF 0.963) Pub Date : 2020-07-15
    Bin Hu; Jianlin Lv; Kun Yang

    The integration of the new-generation information technology and the automobile manufacturing industry has significantly improved the production efficiency of the automobile manufacturing industry, but it will also increase the technology application cost of the automobile manufacturing industry. The boundary value of the income change of the automobile manufacturing industry can be obtained by examining

    更新日期:2020-07-15
  • BaHSYM: Parsimonious Bayesian hierarchical model to predict river sediment yield
    Environ. Model. Softw. (IF 4.807) Pub Date : 2020-06-03
    Ottavia Zoboli; Gerold Hepp; Jörg Krampe; Matthias Zessner

    The prediction and control of river sediment yield (SY) are critical but challenging tasks. Erosion and sediment transfer in river catchments are controlled by different processes, whose relative importance varies in space and time. We thus put forward that SY can be estimated more efficiently by using explicitly the information contained in the similarity within groups. To test this hypothesis, we

    更新日期:2020-07-15
  • Fuzzy failure mode and effect analysis application to reduce risk level in a ready-mixed concrete plant: A fuzzy rule based system modelling approach
    Math. Comput. Simul. (IF 1.62) Pub Date : 2020-07-15
    Barış Şimşek; Yusuf Tansel İç

    In this study, failure mode and effect analysis were applied toevaluate and eliminate potential failure modes in a Ready-Mixed Concrete Plant using a fuzzy-rule-base system. The questionnaires were specially prepared for each sub-department such as production plant, workshop and maintenance, dumping grounds, materials transportation and storage, utilities, administrative office, social facility, quality

    更新日期:2020-07-15
  • My hands? Importance of personalised virtual hands in a neurorehabilitation scenario
    Virtual Real. (IF 3.634) Pub Date : 2020-07-15
    Chris Heinrich, Matthew Cook, Tobias Langlotz, Holger Regenbrecht

    We have developed a novel and affordable way to texture virtual hands from individually taken photographs and integrated the virtual hands into a mixed reality neurorehabilitation system. This mixed reality system allows for serious game play with mirrored and non-mirrored hands, designed for patients with unilateral motor impairments. Before we can ethically have patients use the system, we must show

    更新日期:2020-07-15
  • Real-time dense 3D reconstruction and camera tracking via embedded planes representation
    Vis. Comput. (IF 1.456) Pub Date : 2020-07-15
    Yanping Fu, Qingan Yan, Jie Liao, Alix L. H. Chow, Chunxia Xiao

    This paper proposes a novel approach for robust plane matching and real-time RGB-D fusion based on the representation of plane parameter space. In contrast to previous planar-based SLAM algorithms estimating correspondences for each plane-pair independently, our method instead explores the holistic topology of all relevant planes. We note that by adopting the low-dimensionality parameter space representation

    更新日期:2020-07-15
  • 3D hand mesh reconstruction from a monocular RGB image
    Vis. Comput. (IF 1.456) Pub Date : 2020-07-14
    Hao Peng, Chuhua Xian, Yunbo Zhang

    Most of the existing methods for 3D hand analysis based on RGB images mainly focus on estimating hand keypoints or poses, which cannot capture geometric details of the 3D hand shape. In this work, we propose a novel method to reconstruct a 3D hand mesh from a single monocular RGB image. Different from current parameter-based or pose-based methods, our proposed method directly estimates the 3D hand

    更新日期:2020-07-15
  • Rasterisation-based progressive photon mapping
    Vis. Comput. (IF 1.456) Pub Date : 2020-07-14
    Iordanis Evangelou, Georgios Papaioannou, Konstantinos Vardis, Andreas A. Vasilakis

    Ray tracing on the GPU has been synergistically operating alongside rasterisation in interactive rendering engines for some time now, in order to accurately capture certain illumination effects. In the same spirit, in this paper, we propose an implementation of progressive photon mapping entirely on the rasterisation pipeline, which is agnostic to the specific GPU architecture, in order to synthesise

    更新日期:2020-07-15
  • Execution cost minimization scheduling algorithms for deadline-constrained parallel applications on heterogeneous clouds
    Cluster Comput. (IF 3.458) Pub Date : 2020-07-15
    Weihong Chen, Guoqi Xie, Renfa Li, Keqin Li

    The problem of minimizing the execution monetary cost of applications on cloud computing platforms has been studied recently, and satisfying the deadline constraint of an application is one of the most important quality of service requirements. Previous method of minimizing the execution monetary cost of deadline-constrained applications was the “upward” approach (i.e., from exit to entry tasks) rather

    更新日期:2020-07-15
  • Parallel solution of saddle point systems with nested iterative solvers based on the Golub‐Kahan Bidiagonalization
    Concurr. Comput. Pract. Exp. (IF 1.447) Pub Date : 2020-07-14
    Carola Kruse; Masha Sosonkina; Mario Arioli; Nicolas Tardieu; Ulrich Rüde

    The Golub‐Kahan bidiagonalization is widely used in the singular value decomposition of rectangular matrices and has been generalized to an iterative solver for symmetric indefinite linear systems with a two‐by‐two block structure. In this work, we present a scalability study of this generalized solver as implemented in a recent release of the parallel numerical library PETSc (Portable, Extensible

    更新日期:2020-07-15
  • Modeling the Semantics of States and State Machines
    arXiv.cs.SE Pub Date : 2020-07-14
    Sabah Al-Fedaghi

    A system s behavior is typically specified through models such as state diagrams that describe how the system should behave. According to researchers, it is not clear what a state actually represents regarding the system to be modeled. Standards do not provide adequate definitions of or sufficient guidance on the use of states. Studies show these inconsistencies can lead to poor or incomplete specifications

    更新日期:2020-07-15
  • Quantum Software Engineering: Landscapes and Horizons
    arXiv.cs.SE Pub Date : 2020-07-14
    Jianjun Zhao

    Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it is drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces a quantum software life cycle. Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities

    更新日期:2020-07-15
  • A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling
    arXiv.cs.SE Pub Date : 2020-07-14
    Cristiane Aparecida Lana; Milena Guessi; Pablo Oliveira Antonino; Dieter Rombach; Elisa Yumi NakagawaA

    Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS are developed for critical domains, such as healthcare and transportation, there is an increasing need to attain higher quality levels, which often justifies additional

    更新日期:2020-07-15
  • Longitudinal Analysis of the Applicability of Program Repair on Past Commits
    arXiv.cs.SE Pub Date : 2020-07-14
    Khashayar Etemadi; Niloofar Tarighat; Siddharth Yadav; Matias Martinez; Martin Monperrus

    The applicability of program repair in the real world is a little researched topic. Existing program repair systems tend to only be tested on small bug datasets, such as Defects4J, that are not fully representative of real world projects. In this paper, we report on a longitudinal analysis of software repositories to investigate if past commits are amenable to program repair. Our key insight is to

    更新日期:2020-07-15
  • Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
    arXiv.cs.SE Pub Date : 2020-07-13
    Nianyu Li; Christos Tsigkanos; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi

    Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration of computation and physical components. Typical examples include systems where software-driven agents such as mobile robots explore space and perform actions to complete

    更新日期:2020-07-15
  • Gradient Descent over Metagrammars for Syntax-Guided Synthesis
    arXiv.cs.SE Pub Date : 2020-07-13
    Nicolas Chan; Elizabeth Polgreen; Sanjit A. Seshia

    The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to the user to do manually, though in the absence of such a grammar, state-of-the-art solvers will provide their own default grammar, which is dependent on the signature of the target program to be sythesized. In this work,

    更新日期:2020-07-15
  • How Do Open Source Software Contributors Perceive and Address Usability? Valued Factors, Practices, and Challenges
    arXiv.cs.SE Pub Date : 2020-07-13
    Wenting Wang; Jinghui Cheng; Jin L. C. Guo

    Usability is an increasing concern in open source software (OSS). Given the recent changes in the OSS landscape, it is imperative to examine the OSS contributors' current valued factors, practices, and challenges concerning usability. We accumulated this knowledge through a survey with a wide range of contributors to OSS applications. Through analyzing 84 survey responses, we found that many participants

    更新日期:2020-07-15
  • Contextualized Code Representation Learning for Commit Message Generation
    arXiv.cs.SE Pub Date : 2020-07-14
    Lun Yiu Nie; Cuiyun Gao; Zhicong Zhong; Wai Lam; Yang Liu; Zenglin Xu

    Automatic generation of high-quality commit messages for code commits can substantially facilitate developers' works and coordination. However, the semantic gap between source code and natural language poses a major challenge for the task. Several studies have been proposed to alleviate the challenge but none explicitly involves code contextual information during commit message generation. Specifically

    更新日期:2020-07-15
  • Programming by Rewards
    arXiv.cs.SE Pub Date : 2020-07-14
    Nagarajan Natarajan; Ajaykrishna Karthikeyan; Prateek Jain; Ivan Radicek; Sriram Rajamani; Sumit Gulwani; Johannes Gehrke

    We formalize and study ``programming by rewards'' (PBR), a new approach for specifying and synthesizing subroutines for optimizing some quantitative metric such as performance, resource utilization, or correctness over a benchmark. A PBR specification consists of (1) input features $x$, and (2) a reward function $r$, modeled as a black-box component (which we can only run), that assigns a reward for

    更新日期:2020-07-15
  • Synthesis in Uclid5
    arXiv.cs.PL Pub Date : 2020-07-14
    Federico Mora; Kevin Cheang; Elizabeth Polgreen; Sanjit A. Seshia

    We describe an integration of program synthesis intoUclid5,a formal modelling and verification tool. To the best of our knowledge, the new version ofUclid5is the only tool that supports program synthesis with bounded model checking,k-induction, sequential program verification, and hyperproperty verification. We use the integration to generate 25 pro-gram synthesis benchmarks with simple, known solutions

    更新日期:2020-07-15
  • Quantum Software Engineering: Landscapes and Horizons
    arXiv.cs.PL Pub Date : 2020-07-14
    Jianjun Zhao

    Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it is drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces a quantum software life cycle. Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities

    更新日期:2020-07-15
  • Programming by Rewards
    arXiv.cs.PL Pub Date : 2020-07-14
    Nagarajan Natarajan; Ajaykrishna Karthikeyan; Prateek Jain; Ivan Radicek; Sriram Rajamani; Sumit Gulwani; Johannes Gehrke

    We formalize and study ``programming by rewards'' (PBR), a new approach for specifying and synthesizing subroutines for optimizing some quantitative metric such as performance, resource utilization, or correctness over a benchmark. A PBR specification consists of (1) input features $x$, and (2) a reward function $r$, modeled as a black-box component (which we can only run), that assigns a reward for

    更新日期:2020-07-15
  • Gradient Descent over Metagrammars for Syntax-Guided Synthesis
    arXiv.cs.PL Pub Date : 2020-07-13
    Nicolas Chan; Elizabeth Polgreen; Sanjit A. Seshia

    The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to the user to do manually, though in the absence of such a grammar, state-of-the-art solvers will provide their own default grammar, which is dependent on the signature of the target program to be sythesized. In this work,

    更新日期:2020-07-15
  • Analyzing and Mitigating Data Stalls in DNN Training
    arXiv.cs.OS Pub Date : 2020-07-14
    Jayashree Mohan; Amar Phanishayee; Ashish Raniwala; Vijay Chidambaram

    We present the first comprehensive analysis of how the data pipeline affects the training of the widely used Deep Neural Networks (DNNs). We analyze nine models and four datasets while varying factors such as the amount of memory, number of CPU threads, etc. We find that in many cases, DNN training time is dominated by data stall time: time spent waiting for data to be fetched from storage and pre-processed

    更新日期:2020-07-15
  • A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic
    arXiv.cs.MS Pub Date : 2020-07-13
    Ahmad Abdelfattah; Hartwig Anzt; Erik G. Boman; Erin Carson; Terry Cojean; Jack Dongarra; Mark Gates; Thomas Grützmacher; Nicholas J. Higham; Sherry Li; Neil Lindquist; Yang Liu; Jennifer Loe; Piotr Luszczek; Pratik Nayak; Sri Pranesh; Siva Rajamanickam; Tobias Ribizel; Barry Smith; Kasia Swirydowicz; Stephen Thomas; Stanimire Tomov; Yaohung M. Tsai; Ichitaro Yamazaki; Urike Meier Yang

    Within the past years, hardware vendors have started designing low precision special function units in response to the demand of the Machine Learning community and their demand for high compute power in low precision formats. Also the server-line products are increasingly featuring low-precision special function units, such as the NVIDIA tensor cores in ORNL's Summit supercomputer providing more than

    更新日期:2020-07-15
  • BERTERS: Multimodal Representation Learning for Expert Recommendation System with Transformer
    arXiv.cs.IR Pub Date : 2020-06-30
    N. Nikzad-Khasmakhi; M. A. Balafar; M. Reza Feizi-Derakhshi; Cina Motamed

    The objective of an expert recommendation system is to trace a set of candidates' expertise and preferences, recognize their expertise patterns, and identify experts. In this paper, we introduce a multimodal classification approach for expert recommendation system (BERTERS). In our proposed system, the modalities are derived from text (articles published by candidates) and graph (their co-author connections)

    更新日期:2020-07-15
  • AutoRec: An Automated Recommender System
    arXiv.cs.IR Pub Date : 2020-06-26
    Ting-Hsiang Wang; Qingquan Song; Xiaotian Han; Zirui Liu; Haifeng Jin; Xia Hu

    Realistic recommender systems are often required to adapt to ever-changing data and tasks or to explore different models systematically. To address the need, we present AutoRec, an open-source automated machine learning (AutoML) platform extended from the TensorFlow ecosystem and, to our knowledge, the first framework to leverage AutoML for model search and hyperparameter tuning in deep recommendation

    更新日期:2020-07-15
  • Non-IID Recommender Systems: A Review and Framework of Recommendation Paradigm Shifting
    arXiv.cs.IR Pub Date : 2020-07-01
    Longbing Cao

    While recommendation plays an increasingly critical role in our living, study, work, and entertainment, the recommendations we receive are often for irrelevant, duplicate, or uninteresting products and services. A critical reason for such bad recommendations lies in the intrinsic assumption that recommended users and items are independent and identically distributed (IID) in existing theories and systems

    更新日期:2020-07-15
  • Sampler Design for Implicit Feedback Data by Noisy-label Robust Learning
    arXiv.cs.IR Pub Date : 2020-06-28
    Wenhui Yu; Zheng Qin

    Implicit feedback data is extensively explored in recommendation as it is easy to collect and generally applicable. However, predicting users' preference on implicit feedback data is a challenging task since we can only observe positive (voted) samples and unvoted samples. It is difficult to distinguish between the negative samples and unlabeled positive samples from the unvoted ones. Existing works

    更新日期:2020-07-15
  • Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations
    arXiv.cs.IR Pub Date : 2020-07-12
    Weihao Gao; Xiangjun Fan; Jiankai Sun; Kai Jia; Wenzhi Xiao; Chong Wang; Xiaobing Liu

    One of the core problems in large-scale recommendations is to retrieve top relevant candidates accurately and efficiently, preferably in sub-linear time. Previous approaches are mostly based on a two-step procedure: first learn an inner-product model and then use maximum inner product search (MIPS) algorithms to search top candidates, leading to potential loss of retrieval accuracy. In this paper,

    更新日期:2020-07-15
  • A Framework for Capturing and Analyzing Unstructured and Semi-structured Data for a Knowledge Management System
    arXiv.cs.IR Pub Date : 2020-07-14
    Gerald Onwujekwe; Kweku-Muata Osei-Bryson; Nnatubemugo Ngwum

    Mainstream knowledge management researchers generally agree that knowledge extracted from unstructured data and semi-structured data have become imperative for organizational strategic decision making. In this research, we develop a framework that captures and analyses unstructured data using machine learning techniques and integrates knowledge and insight gained from the data into traditional knowledge

    更新日期:2020-07-15
  • Semi-supervised Collaborative Filtering by Text-enhanced Domain Adaptation
    arXiv.cs.IR Pub Date : 2020-06-28
    Wenhui Yu; Xiao Lin; Junfeng Ge; Wenwu Ou; Zheng Qin

    Data sparsity is an inherent challenge in the recommender systems, where most of the data is collected from the implicit feedbacks of users. This causes two difficulties in designing effective algorithms: first, the majority of users only have a few interactions with the system and there is no enough data for learning; second, there are no negative samples in the implicit feedbacks and it is a common

    更新日期:2020-07-15
  • MRIF: Multi-resolution Interest Fusion for Recommendation
    arXiv.cs.IR Pub Date : 2020-07-08
    Shihao LiAlibaba Inc; Dekun YangAlibaba Inc; Bufeng ZhangAlibaba Inc

    The main task of personalized recommendation is capturing users' interests based on their historical behaviors. Most of recent advances in recommender systems mainly focus on modeling users' preferences accurately using deep learning based approaches. There are two important properties of users' interests, one is that users' interests are dynamic and evolve over time, the other is that users' interests

    更新日期:2020-07-15
  • Unsupervised Data Extraction from Computer-generated Documents with Single Line Formatting
    arXiv.cs.IR Pub Date : 2020-07-07
    Vladimir Bernstein; Andrei Afanassenkov

    Processing large amounts of data is an essential problem of the big data era. Most of the data exchange is done via direct communication (using APIs) and well-structured file formats (JSON, XML, EDI, etc.), but a significant portion of the data is transferred using arbitrary formatted computer-generated documents (such as invoices, purchase orders, financial reports, etc.), which require sophisticated

    更新日期:2020-07-15
  • Nodule2vec: a 3D Deep Learning System for Pulmonary Nodule Retrieval Using Semantic Representation
    arXiv.cs.IR Pub Date : 2020-07-11
    Ilia Kravets; Tal Heletz; Hayit Greenspan

    Content-based retrieval supports a radiologist decision making process by presenting the doctor the most similar cases from the database containing both historical diagnosis and further disease development history. We present a deep learning system that transforms a 3D image of a pulmonary nodule from a CT scan into a low-dimensional embedding vector. We demonstrate that such a vector representation

    更新日期:2020-07-15
  • Template-Based Question Answering over Linked Geospatial Data
    arXiv.cs.IR Pub Date : 2020-07-14
    Dharmen Punjani; Markos Iliakis; Theodoros Stefou; Kuldeep Singh; Andreas Both; Manolis Koubarakis; Iosif Angelidis; Konstantina Bereta; Themis Beris; Dimitris Bilidas; Theofilos Ioannidis; Nikolaos Karalis; Christoph Lange; Despina-Athanasia Pantazi; Christos Papaloukas; Georgios Stamoulis

    Large amounts of geospatial data have been made available recently on the linked open data cloud and the portals of many national cartographic agencies (e.g., OpenStreetMap data, administrative geographies of various countries, or land cover/land use data sets). These datasets use various geospatial vocabularies and can be queried using SPARQL or its OGC-standardized extension GeoSPARQL. In this paper

    更新日期:2020-07-15
  • Feedback Clustering for Online Travel Agencies Searches: a Case Study
    arXiv.cs.IR Pub Date : 2020-06-28
    Sara Scaramuccia; Simon Nanty; Florent Masseglia

    Understanding choices performed by online customers is a growing need in the travel industry. In many practical situations, the only available information is the flight search query performed by the customer with no additional profile knowledge. In general, customer flight bookings are driven by prices, duration, number of connections, and so on. However, not all customers might assign the same importance

    更新日期:2020-07-15
  • Recommender Systems for the Internet of Things: A Survey
    arXiv.cs.IR Pub Date : 2020-07-14
    May Altulyan; Lina Yao; Xianzhi Wang; Chaoran Huang; Salil S Kanhere; Quan Z Sheng

    Recommendation represents a vital stage in developing and promoting the benefits of the Internet of Things (IoT). Traditional recommender systems fail to exploit ever-growing, dynamic, and heterogeneous IoT data. This paper presents a comprehensive review of the state-of-the-art recommender systems, as well as related techniques and application in the vibrant field of IoT. We discuss several limitations

    更新日期:2020-07-15
  • A supervised term-weighting technique for topic-based retrieval
    arXiv.cs.IR Pub Date : 2020-07-13
    Mariano Maisonnave; Fernando Delbianco; Fernando Tohmé; Ana Maguitman

    This article presents a technique for term weighting that relies on a collection of documents labeled as relevant or irrelevant to a topic of interest. The proposed technique weights terms based on two factors representing the descriptive and discriminating power of the terms. These factors are combined through the use of an adjustable parameter into a general measure that allows for the selection

    更新日期:2020-07-15
  • Conditional Image Retrieval
    arXiv.cs.IR Pub Date : 2020-07-14
    Mark Hamilton; Stephanie Fu; William T. Freeman; Mindren Lu

    This work introduces Conditional Image Retrieval (CIR) systems: IR methods that can efficiently specialize to specific subsets of images on the fly. These systems broaden the class of queries IR systems support, and eliminate the need for expensive re-fitting to specific subsets of data. Specifically, we adapt tree-based K-Nearest Neighbor (KNN) data-structures to the conditional setting by introducing

    更新日期:2020-07-15
  • A $\texttt{SUPER}^{\ast}$ Algorithm to Optimize Paper Bidding in Peer Review
    arXiv.cs.IR Pub Date : 2020-06-27
    Tanner Fiez; Nihar B. Shah; Lillian Ratliff

    A number of applications involve sequential arrival of users, and require showing each user an ordering of items. A prime example (which forms the focus of this paper) is the bidding process in conference peer review where reviewers enter the system sequentially, each reviewer needs to be shown the list of submitted papers, and the reviewer then "bids" to review some papers. The order of the papers

    更新日期:2020-07-15
  • COVID-19 Twitter Dataset with Latent Topics, Sentiments and Emotions Attributes
    arXiv.cs.IR Pub Date : 2020-07-14
    Raj Kumar Gupta; Ajay Vishwanath; Yinping Yang

    This resource paper describes a large dataset covering over 63 million coronavirus-related Twitter posts from more than 13 million unique users since 28 January to 1 July 2020. As strong concerns and emotions are expressed in the tweets, we analyzed the tweets content using natural language processing techniques and machine-learning based algorithms, and inferred seventeen latent semantic attributes

    更新日期:2020-07-15
  • Learning Choice Functions via Pareto-Embeddings
    arXiv.cs.IR Pub Date : 2020-07-14
    Karlson Pfannschmidt; Eyke Hüllermeier

    We consider the problem of learning to choose from a given set of objects, where each object is represented by a feature vector. Traditional approaches in choice modelling are mainly based on learning a latent, real-valued utility function, thereby inducing a linear order on choice alternatives. While this approach is suitable for discrete (top-1) choices, it is not straightforward how to use it for

    更新日期:2020-07-15
  • Wikipedia Citations: A comprehensive dataset of citations with identifiers extracted from English Wikipedia
    arXiv.cs.DL Pub Date : 2020-07-14
    Harshdeep Singh; Robert West; Giovanni Colavizza

    Wikipedia's contents are based on reliable and published sources. To this date, little is known about what sources Wikipedia relies on, in part because extracting citations and identifying cited sources is challenging. To close this gap, we release Wikipedia Citations, a comprehensive dataset of citations extracted from Wikipedia. A total of 29.3M citations were extracted from 6.1M English Wikipedia

    更新日期:2020-07-15
  • Template-Based Question Answering over Linked Geospatial Data
    arXiv.cs.DB Pub Date : 2020-07-14
    Dharmen Punjani; Markos Iliakis; Theodoros Stefou; Kuldeep Singh; Andreas Both; Manolis Koubarakis; Iosif Angelidis; Konstantina Bereta; Themis Beris; Dimitris Bilidas; Theofilos Ioannidis; Nikolaos Karalis; Christoph Lange; Despina-Athanasia Pantazi; Christos Papaloukas; Georgios Stamoulis

    Large amounts of geospatial data have been made available recently on the linked open data cloud and the portals of many national cartographic agencies (e.g., OpenStreetMap data, administrative geographies of various countries, or land cover/land use data sets). These datasets use various geospatial vocabularies and can be queried using SPARQL or its OGC-standardized extension GeoSPARQL. In this paper

    更新日期:2020-07-15
  • Hierarchical high order finite element spaces in H(div,Ω)×H1(Ω) for a stabilized mixed formulation of Darcy problem
    Comput. Math. Appl. (IF 3.37) Pub Date : 2020-06-20
    Maicon R. Correa; Juan C. Rodriguez; Agnaldo M. Farias; Denise de Siqueira; Philippe R.B. Devloo

    The classical dual mixed finite element method for flow simulations is based on H(div,Ω) conforming approximation spaces for the flux, which guarantees continuous normal components on element interfaces, and discontinuous approximations in L2(Ω) for the pressure. However, stability and convergence can only be obtained for compatible approximation spaces. Stabilized finite element methods may provide

    更新日期:2020-07-15
  • On the Benefits of Populations for the Exploitation Speed of Standard Steady-State Genetic Algorithms
    Algorithmica (IF 0.65) Pub Date : 2020-07-15
    Dogan Corus, Pietro S. Oliveto

    It is generally accepted that populations are useful for the global exploration of multi-modal optimisation problems. Indeed, several theoretical results are available showing such advantages over single-trajectory search heuristics. In this paper we provide evidence that evolving populations via crossover and mutation may also benefit the optimisation time for hillclimbing unimodal functions. In particular

    更新日期:2020-07-15
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
产业、创新与基础设施
AI核心技术
10years
自然科研线上培训服务
材料学研究精选
Springer Nature Live 产业与创新线上学术论坛
胸腔和胸部成像专题
自然科研论文编辑服务
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
杨超勇
周一歌
华东师范大学
段炼
清华大学
廖矿标
李远
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
福州大学
南京大学
王杰
丘龙斌
电子显微学
何凤
洛杉矶分校
吴杰
赵延川
试剂库存
天合科研
down
wechat
bug