当前期刊: arXiv - CS - Other Computer Science Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
  • Gaining or Losing Perspective for Piecewise-Linear Under-Estimators of Convex Univariate Functions
    arXiv.cs.OH Pub Date : 2020-09-15
    Jon Lee; Daphne Skipper; Emily Speakman; Luze Xu

    We study MINLO (mixed-integer nonlinear optimization) formulations of the disjunction $x\in\{0\}\cup[\ell,u]$, where $z$ is a binary indicator of $x\in[\ell,u]$ ($0 \leq \ell 1$.

  • JXES: JSON Support for the XES Event Log Standard
    arXiv.cs.OH Pub Date : 2020-09-14
    Madhavi Bangalore Shankara Narayana; Hossameldin Khalifa; Wil van der Aalst

    Process mining assumes the existence of an event log where each event refers to a case, an activity, and a point in time. XES is an XML based IEEE approved standard format for event logs supported by most of the process mining tools. JSON (JavaScript Object Notation) is a lightweight data interchange format. In this paper, we present JXES, the JSON standard for the event logs and also provide implementation

  • On the Battery Consumption of Mobile Browsers
    arXiv.cs.OH Pub Date : 2020-08-06
    Matteo Varvello; Benjamin Livshits

    Mobile web browsing has recently surpassed desktop browsing both in term of popularity and traffic. Following its desktop counterpart, the mobile browsers ecosystem has been growing from few browsers (Chrome, Firefox, and Safari) to a plethora of browsers, each with unique characteristics (battery friendly, privacy preserving, lightweight, etc.). In this paper, we introduce a browser benchmarking pipeline

  • How to Design While Loops
    arXiv.cs.OH Pub Date : 2020-08-21
    Marco T. MorazánSeton Hall University

    Beginning students find the syntactic construct known as a while loop difficult to master. The difficulties revolve around guaranteeing loop termination and around learning how to properly sequence mutations to solve a problem. In fact, both of these are intertwined and students need to be taught a model that helps them reason about how to design while loops. For students that have been introduced

  • Two-stage optimization of urban rail transit formation and real-time station control at comprehensive transportation hub
    arXiv.cs.OH Pub Date : 2020-08-26
    Hualing Ren; Yingjie Song; Shubin Li

    This paper tries to discuss two strategies of dealing with this complex passenger demand from two aspects: transit train formation and real-time holding control. The genetic algorithm (GA) is designed to solve the integrated two-stage model of optimizing the number, timetable and real-time holding control of the multi-marshalling operated trains. The numerical results show that the combined two-stage

  • LED wristbands for Cell-based Crowd Evacuation: an Adaptive Exit-choice Guidance System Architecture
    arXiv.cs.OH Pub Date : 2020-08-19
    Miguel A. Lopez-Carmona; Alvaro Paricio

    Cell-based crowd evacuation systems provide adaptive or static exit-choice indications that favor a coordinated group dynamic, improving evacuation time and safety. While a great effort has been made to modeling its control logic by assuming an ideal communication and positioning infrastructure, the architectural dimension and the influence of pedestrian positioning uncertainty have been largely overlooked

  • Investigating the Performance Gap between Testing on Real and Denoised Aggregates in Non-Intrusive Load Monitoring
    arXiv.cs.OH Pub Date : 2020-08-22
    Christoph Klemenjak; Stephen Makonin; Wilfried Elmenreich

    Prudent and meaningful algorithm performance evaluation is essential for the progression of any research field. In the field of Non-Intrusive Load Monitoring (NILM), performance evaluation can be conducted on real-world aggregate signals, provided by smart energy meters, or artificial superpositions of individual load signals (i.e., denoised aggregates). It has long been suspected that testing on these

  • IoT Applications in Urban Sustainability
    arXiv.cs.OH Pub Date : 2020-07-23
    Samiya Khan; Mohammad Moazum Wani; Mansaf Alam

    Internet of Things is one of the driving technologies behind the concept of Smart Cities and is capable of playing a significant role in facilitating urban sustainable development. This chapter explores the relationship between three core concepts namely Smart Cities, Internet of Things and Sustainability; thereby identifying the challenges and opportunities that exist in the synergistic use of Internet

  • Statistically Significant Pattern Mining with Ordinal Utility
    arXiv.cs.OH Pub Date : 2020-08-24
    Thien Q. Tran; Kazuto Fukuchi; Youhei Akimoto; Jun Sakuma

    Statistically significant patterns mining (SSPM) is an essential and challenging data mining task in the field of knowledge discovery in databases (KDD), in which each pattern is evaluated via a hypothesis test. Our study aims to introduce a preference relation into patterns and to discover the most preferred patterns under the constraint of statistical significance, which has never been considered

  • City-Scale Agent-Based Simulators for the Study of Non-Pharmaceutical Interventions in the Context of the COVID-19 Epidemic
    arXiv.cs.OH Pub Date : 2020-08-11
    Shubhada Agrawal; Siddharth Bhandari; Anirban Bhattacharjee; Anand Deo; Narendra M. Dixit; Prahladh Harsha; Sandeep Juneja; Poonam Kesarwani; Aditya Krishna Swamy; Preetam Patil; Nihesh Rathod; Ramprasad Saptharishi; Sharad Shriram; Piyush Srivastava; Rajesh Sundaresan; Nidhin Koshy Vaidhiyan; Sarath Yasodharan

    We highlight the usefulness of city-scale agent-based simulators in studying various non-pharmaceutical interventions to manage an evolving pandemic. We ground our studies in the context of the COVID-19 pandemic and demonstrate the power of the simulator via several exploratory case studies in two metropolises, Bengaluru and Mumbai. Such tools become common-place in any city administration's tool kit

  • Herramientas tecnológicas en Android para la formación de mapeadores y promotores de Mapa Verde
    arXiv.cs.OH Pub Date : 2020-07-21
    Yosvany Medina Carbó; C. Álvaro Celestino Alonso Vázquez; Reina María Rodríguez García

    When you talk about technologies and the environment, you usually imagine a lot of equipment, techniques, technologies and tools polluting the natural environment. The good and bad consequences of our development have been projected on the planet for years, and part of that development is reflected in the new technologies, among which is the mobile phone. In the municipality of Consolaci\'on del Sur

  • Probabilistic Cellular Automata for Granular Media in Video Games
    arXiv.cs.OH Pub Date : 2020-08-13
    Jonathan Devlin; Micah D. Schuster

    Granular materials are very common in the everyday world. Media such as sand, soil, gravel, food stuffs, pharmaceuticals, etc. all have similar irregular flow since they are composed of numerous small solid particles. In video games, simulating these materials increases immersion and can be used for various game mechanics. Computationally, full scale simulation is not typically feasible except on the

  • Computational Framework for Behind-The-Meter DER Techno-Economic Modeling and Optimization -- REopt Lite
    arXiv.cs.OH Pub Date : 2020-08-12
    Sakshi Mishra; Josiah Pohl; Nick Laws; Dylan Cutler; Ted Kwasnik; William Becker; Alex Zolan; Kate Anderson; Dan Olis; Emma Elgqvist

    The global energy system is undergoing a major transformation. Renewable energy generation is growing and is projected to accelerate further with the global emphasis on decarbonization. Furthermore, distributed generation is projected to play a significant role in the new energy system, and energy models are playing a key role in understanding how distributed generation can be integrated reliably and

  • Probabilistic Resilience of DER systems -- A Simulation Assisted Optimization Approach
    arXiv.cs.OH Pub Date : 2020-08-12
    Sakshi Mishra; Kate Anderson

    Energy systems resilience is becoming increasingly important as the frequency of major grid outages increases. In this work, we present a methodology to optimize a behind-the-meter distributed energy resource system to sustain a site's critical loads during a pre-defined utility outage period. With the fixed system design, we then propose an outage simulation approach to estimate the resilience potential

  • Analysis of Fleet Management and Network Design for On-Demand Urban Air Mobility Operations
    arXiv.cs.OH Pub Date : 2020-08-07
    Sheng Li; Maxim Egorov; Mykel J. Kochenderfer

    A significant challenge in estimating operational feasibility of Urban Air Mobility (UAM) missions lies in understanding how choices in design impact the performance of a complex system-of-systems. This work examines the ability of the UAM ecosystem and the operations within it to meet a variety of demand profiles that may emerge in the coming years. We perform a set of simulation driven feasibility

  • Quality Classification of Defective Parts from Injection Moulding
    arXiv.cs.OH Pub Date : 2020-07-08
    Adithya Venkatadri Hulagadri

    This report examines machine learning algorithms for detecting short forming and weaving in plastic parts produced by injection moulding. Transfer learning was implemented by using pretrained models and finetuning them on our dataset of 494 samples of 150 by 150 pixels images. The models tested were Xception, InceptionV3 and Resnet-50. Xception showed the highest overall accuracy (86.66%), followed

  • Value Entropy Model: Metric Method of Service Ecosystem Evolution
    arXiv.cs.OH Pub Date : 2020-07-09
    Xiao Xue; Zhaojie Chen; Shufang Wang; Zhiyong Feng; Yucong Duan; Zhangbing Zhou

    With the development of cloud computing, service computing, IoT(Internet of Things) and mobile Internet, the diversity and sociality of services are increasingly apparent. To meet the customized user demands, service ecosystems begins to emerge with the formation of various IT services collaboration network. However, service ecosystem is a complex social-technology system with the characteristics of

  • No Cross-Validation Required: An Analytical Framework for Regularized Mixed-Integer Problems (Extended Version)
    arXiv.cs.OH Pub Date : 2020-08-04
    Behrad Soleimani; Behzad Khamidehi; Maryam Sabbaghian

    This paper develops a method to obtain the optimal value for the regularization coefficient in a general mixed-integer problem (MIP). This approach eliminates the cross-validation performed in the existing penalty techniques to obtain a proper value for the regularization coefficient. We obtain this goal by proposing an alternating method to solve MIPs. First, via regularization, we convert the MIP

  • Value driven Analysis Framework of Service Ecosystem Evolution Mechanism
    arXiv.cs.OH Pub Date : 2020-07-09
    Xiao Xue; Deyu Zhou; Yaodan Guo; Zhiyong Feng; Lejun Zhang; Lin Meng

    With the development of cloud computing, service computing, IoT(Internet of Things) and mobile Internet, the diversity and sociality of services are increasingly apparent. To meet the customized user demands, Service Ecosystem is emerging as a complex social-technology system, which is formed with various IT services through cross-border integration. However, how to analyze and promote the evolution

  • Towards Leveraging End-of-Life Tools as an Asset: Value Co-Creation based on Deep Learning in the Machining Industry
    arXiv.cs.OH Pub Date : 2020-07-24
    Jannis Walk; Niklas Kühl; Jonathan Schäfer

    Sustainability is the key concept in the management of products that reached their end-of-life. We propose that end-of-life products have -- besides their value as recyclable assets -- additional value for producer and consumer. We argue this is especially true for the machining industry, where we illustrate an automatic characterization of worn cutting tools to foster value co-creation between tool

  • 3D city models for urban farming site identification in buildings
    arXiv.cs.OH Pub Date : 2020-07-27
    Ankit Palliwal; Shuang Song; Hugh Tiang Wah Tan; Filip Biljecki

    Studies have suggested that there is farming potential in urban residential buildings. However, these studies are limited in scope, require field visits and time-consuming measurements. Furthermore, they have not suggested ways to identify suitable sites on a larger scale let alone means of surveying numerous micro-locations across the same building. Using a case study area focused on high-rise buildings

  • BIDEAL: A Toolbox for Bicluster Analysis -- Generation, Visualization and Validation
    arXiv.cs.OH Pub Date : 2020-07-26
    Nishchal K. Verma; T. Sharma; S. Dixit; P. Agrawal; S. Sengupta; V. Singh

    This paper introduces a novel toolbox named BIDEAL for the generation of biclusters, their analysis, visualization, and validation. The objective is to facilitate researchers to use forefront biclustering algorithms embedded on a single platform. A single toolbox comprising various biclustering algorithms play a vital role to extract meaningful patterns from the data for detecting diseases, biomarkers

  • Automatic Parking in Smart Cities
    arXiv.cs.OH Pub Date : 2020-06-17
    Arezou AbyanehQatar University; Vanessa FakhouryLund University; Nizar ZorbaQatar University

    The objective behind this project is to maximize the efficiency of land space, to decrease the driver stress and frustration, along with a considerable reduction in air pollution. Our contribution is in the form of an automatic parking system that is controlled by cellular phones. The structure is a hexagon shape that uses conveyor belts, to transport the vehicles from the entrance into the parking

  • Privacy vs National Security
    arXiv.cs.OH Pub Date : 2020-07-10
    Tajdar Jawaid

    There are growing concerns and anxiety about privacy among the general public especially after the revelations of former NSA contractor and whistleblowers like Edward Snowden and others. While privacy is the fundamental concept of being human, the growing tug-of-war between an individuals privacy and freedom vs national security has renewed the concerns about where the fine balance should lie between

  • Genetic Algorithm: Reviews, Implementations, and Applications
    arXiv.cs.OH Pub Date : 2020-06-05
    Tanweer Alam; Shamimul Qamar; Amit Dixit; Mohamed Benaida

    Nowadays genetic algorithm (GA) is greatly used in engineering pedagogy as an adaptive technique to learn and solve complex problems and issues. It is a meta-heuristic approach that is used to solve hybrid computation challenges. GA utilizes selection, crossover, and mutation operators to effectively manage the searching system strategy. This algorithm is derived from natural selection and genetics

  • Observing the Invisible: Live Cache Inspection for High-Performance Embedded Systems
    arXiv.cs.OH Pub Date : 2020-07-23
    Dharmesh Tarapore; Shahin Roozkhosh; Steven Brzozowski; Renato Mancuso

    The vast majority of high-performance embedded systems implement multi-level CPU cache hierarchies. But the exact behavior of these CPU caches has historically been opaque to system designers. Absent expensive hardware debuggers, an understanding of cache makeup remains tenuous at best. This enduring opacity further obscures the complex interplay among applications and OS-level components, particularly

  • Deep Learning-Based FPGA Function Block Detection Method using an Image-Coded Representation of Bitstream
    arXiv.cs.OH Pub Date : 2020-07-20
    Minzhen ChenZhejiang University, Hangzhou, China; Peng LiuZhejiang University, Hangzhou, China

    Examining field-programmable gate array (FPGA) bitstream is found to help detect known function blocks, which offers assistance and insight to analyze the circuit's system function. Our goal is to detect one or more than one function block in FPGA design from a complete bitstream by utilizing the latest deep learning techniques, which do not require manually designing features. To this end, in this

  • Pediatric Chest Radiography Research Agenda: Is Deep Learning Still in Childhood?
    arXiv.cs.OH Pub Date : 2020-07-20
    Afonso U. Fonseca; Gabriel S. Vieira; Fabrízzio A. A. M. N. Soares; Renato F. Bulcão-Neto

    Despite advances in the acquisition of medical imaging and computer-aided support techniques, x-rays due to their low cost, high availability and low radiation levels are still an important diagnostic procedure, constituting the most frequently performed radiographic examination in pediatric patients for disease investigation while researchers are looking for increasingly efficient techniques to support

  • SAXSDOG: open software for real-time azimuthal integration of 2D scattering images
    arXiv.cs.OH Pub Date : 2020-07-04
    Max Burian; Christian Meisenbichler; Denys Naumenko; Heinz Amenitsch

    In-situ small- and wide-angle scattering experiments at synchrotrons often result in massive amounts of data within seconds only. Especially during such beamtimes, processing of the acquired data online, so without mentionable delay, is key to obtain feedback on failure or success of the experiment. We thus developed SAXSDOG, a python based environment for real-time azimuthal integration of large-area

  • Efficient Metastability Characterization for Schmitt-Triggers
    arXiv.cs.OH Pub Date : 2020-06-16
    Jürgen Maier; Andreas Steininger

    Despite their attractiveness as metastability filters, Schmitt-Triggers can suffer from metastability themselves. Therefore, in the selection or construction of a suitable Schmitt-Trigger implementation, it is a necessity to accurately determine the metastable behavior. Only then one is able to compare different designs and thus guide proper optimizations, and only then one can assess the potential

  • C-Wars: The Unfolding Argument Strikes Back -- A Reply to 'Falsification & Consciousness'
    arXiv.cs.OH Pub Date : 2020-05-28
    Natesh Ganesh

    The 'unfolding argument' was presented by Doerig et.al. [1] as an argument to show that causal structure theories (CST) like IIT are either falsified or outside the realm of science. In their recent paper [2],[3], the authors mathematically formalized the process of generating observable data from experiments and using that data to generate inferences and predictions onto an experience space. The resulting

  • Environmental Impact of Bundling Transport Deliveries Using SUMO: Analysis of a cooperative approach in Austria
    arXiv.cs.OH Pub Date : 2020-06-16
    Aso Validi; Nicole Polasek; Leonie Alabi; Michael Leitner; Cristina Olaverri-Monreal

    Urban Traffic is recognized as one of the major CO2 contributors that puts a high burden on the environment. Different attempts have been made for reducing the impacts ranging from traffic management actions to shared-vehicle concepts to simply reducing the number of vehicles on the streets. By relying on cooperative approaches between different logistics companies, such as sharing and pooling resources

  • Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling
    arXiv.cs.OH Pub Date : 2020-06-19
    Jose Nunez-Yanez; Kris Nikov; Kerstin Eder; Mohammad Hosseinabady

    This paper investigates the application of a robust CPU-based power modelling methodology that performs an automatic search of explanatory events derived from performance counters to embedded GPUs. A 64-bit Tegra TX1 SoC is configured with DVFS enabled and multiple CUDA benchmarks are used to train and test models optimized for each frequency and voltage point. These optimized models are then compared

  • Artificial Buildings: Safety, Complexity and a Quantifiable Measure of Beauty
    arXiv.cs.OH Pub Date : 2020-06-17
    Arash Mehrjou

    A place to live is one of the most crucial necessities for all living organisms since the advent of life on planet Earth. The nature of homes has changed considerably over time. At the very early stages, human begins lived in natural places such as caves. Later on, they started to use their intelligence to build places with special purposes. Nowadays, modern technologies such as robotics and artificial

  • Converting Biomechanical Models from OpenSim to MuJoCo
    arXiv.cs.OH Pub Date : 2020-06-17
    Aleksi Ikkala; Perttu Hämäläinen

    OpenSim is a widely used biomechanics simulator with several anatomically accurate human musculo-skeletal models. While OpenSim provides useful tools to analyse human movement, it is not fast enough to be routinely used for emerging research directions, e.g., learning and simulating motor control through deep neural networks and Reinforcement Learning (RL). We propose a framework for converting OpenSim

  • A Faithful Binary Circuit Model with Adversarial Noise
    arXiv.cs.OH Pub Date : 2020-06-15
    Matthias Függer; Jürgen Maier; Robert Najvirt; Thomas Nowak; Ulrich Schmid

    Accurate delay models are important for static and dynamic timing analysis of digital circuits, and mandatory for formal verification. However, F\"ugger et al. [IEEE TC 2016] proved that pure and inertial delays, which are employed for dynamic timing analysis in state-of-the-art tools like ModelSim, NC-Sim and VCS, do not yield faithful digital circuit models. Involution delays, which are based on

  • Does Cascading Schmitt-Trigger Stages Improve the Metastable Behavior?
    arXiv.cs.OH Pub Date : 2020-06-15
    Andreas Steininger; Robert Najvirt; Jürgen Maier

    Schmitt-Trigger stages are the method of choice for robust discretization of input voltages with excessive transition times or significant noise. However, they may suffer from metastability. Based on the experience that the cascading of flip-flop stages yields a dramatic improvement of their overall metastability hardness, in this paper we elaborate on the question whether the cascading of Schmitt-Trigger

  • The Metastable Behavior of a Schmitt-Trigger
    arXiv.cs.OH Pub Date : 2020-06-15
    Andreas Steininger; Jürgen Maier; Robert Najvirt

    Schmitt-Trigger circuits are the method of choice for converting general signal shapes into clean, well-behaved digital ones. In this context these circuits are often used for metastability handling, as well. However, like any other positive feedback circuit, a Schmitt-Trigger can become metastable itself. Therefore, its own metastable behavior must be well understood; in particular the conditions

  • Smart Motion Detection System using Raspberry Pi
    arXiv.cs.OH Pub Date : 2020-06-09
    Venkat Margapuri

    This paper throws light on the security issues that modern day homes and businesses face and describes the implementation of a motion detection system using Raspberry Pi which could be an effective solution to address the security concerns. The goal of the solution is to provide an implementation that uses PIR motion sensors for motion detection and sends notifications to users via emails. Furthermore

  • CAN-D: A Modular Four-Step Pipeline for Comprehensively Decoding Controller Area Network Data
    arXiv.cs.OH Pub Date : 2020-06-09
    Miki E. Verma; Robert A. Bridges; Jordan J. Sosnowski; Samuel C. Hollifield; Michael D. Iannacone

    Controller area networks (CANs) are a broadcast protocol for real-time communication of critical vehicle subsystems. Manufacturers of passenger vehicles hold secret their mappings of CAN data to vehicle signals, and these definitions vary per make, model, and year. Without these mappings, the wealth of real-time vehicle information hidden in CAN packets is uninterpretable-- severely impeding vehicle-related

  • COVID-19 Epidemic Study II: Phased Emergence From the Lockdown in Mumbai
    arXiv.cs.OH Pub Date : 2020-06-05
    Prahladh Harsha; Sandeep Juneja; Preetam Patil; Nihesh Rathod; Ramprasad Saptharishi; A. Y. Sarath; Sharad Sriram; Piyush Srivastava; Rajesh Sundaresan; Nidhin Koshy Vaidhiyan

    The nation-wide lockdown starting 25 March 2020, aimed at suppressing the spread of the COVID-19 disease, was extended until 31 May 2020 in three subsequent orders by the Government of India. The extended lockdown has had significant social and economic consequences and `lockdown fatigue' has likely set in. Phased reopening began from 01 June 2020 onwards. Mumbai, one of the most crowded cities in

  • Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles
    arXiv.cs.OH Pub Date : 2020-06-04
    Daniel Becker; Fabian Ruß; Christian Geller; Lutz Eckstein

    Simulation is a valuable building block for the verification and validation of automated driving functions (ADF). When simulating urban driving scenarios, simulation maps are one important component. Often, the generation of those road networks is a time consuming and manual effort. Furthermore, typically many variations of a distinct junction or road section are demanded to ensure that an ADF can

  • Chook -- A comprehensive suite for generating binary optimization problems with planted solutions
    arXiv.cs.OH Pub Date : 2020-05-28
    Dilina Perera; Inimfon Akpabio; Firas Hamze; Salvatore Mandra; Nathan Rose; Maliheh Aramon; Helmut G. Katzgraber

    We present Chook, an open-source Python-based tool to generate discrete optimization problems of tunable complexity with a priori known solutions. Chook provides a cross-platform unified environment for solution planting using a number of techniques, such as tile planting, Wishart planting, equation planting, and deceptive cluster loop planting. Chook also incorporates planted solutions for higher-order

  • Optimizing Visual Cortex Parameterization with Error-Tolerant Teichmuller Map in Retinotopic Mapping
    arXiv.cs.OH Pub Date : 2020-05-25
    Yanshuai Tu; Duyan Ta; Zhong-Lin Lu; Yalin Wang

    The mapping between the visual input on the retina to the cortical surface, i.e., retinotopic mapping, is an important topic in vision science and neuroscience. Human retinotopic mapping can be revealed by analyzing cortex functional magnetic resonance imaging (fMRI) signals when the subject is under specific visual stimuli. Conventional methods process, smooth, and analyze the retinotopic mapping

  • SciANN: A Keras wrapper for scientific computations and physics-informed deep learning using artificial neural networks
    arXiv.cs.OH Pub Date : 2020-05-11
    Ehsan Haghighat; Ruben Juanes

    In this paper, we introduce SciANN, a Python package for scientific computing and physics-informed deep learning using artificial neural networks. SciANN uses the widely used deep-learning packages Tensorflow and Keras to build deep neural networks and optimization models, thus inheriting many of Keras's functionalities, such as batch optimization and model reuse for transfer learning. SciANN is designed

  • AGI and the Knight-Darwin Law: why idealized AGI reproduction requires collaboration
    arXiv.cs.OH Pub Date : 2020-05-09
    Samuel Allen Alexander

    Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: "Not without outside help". This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species

  • Neighbourhood Evaluation Criteria for Vertex Cover Problem
    arXiv.cs.OH Pub Date : 2020-05-07
    Kaustubh K Joshi

    Neighbourhood Evaluation Criteria is a heuristical approximate algorithm that attempts to solve the Minimum Vertex Cover. degree count is kept in check for each vertex and the highest count based vertex is included in our cover set. In the case of multiple equivalent vertices, the one with the lowest neighbourhood influence is selected. In the case of still existing multiple equivalent vertices, the

  • Acceptance of e-procurement in organisations
    arXiv.cs.OH Pub Date : 2020-05-06
    Muhammed S. Maddi; Paul Davis; John Geraghty

    This research is concerned with the development of a realistic model for e-procurement adoption by organisations and groups observing the Rules of Islamic Sharia (RIS). This model is intended to be based on the behavioural control, subjective norms, and the recognition of the benefits and risks of e procurement adoption. The developed model,(E-PAM), combined and extended two existing models previously

  • System of Computer Modeling and Features of their use in the Educational Process of General Secondary Eeducation
    arXiv.cs.OH Pub Date : 2020-05-03
    Svitlana H. Lytvynova

    The article analyzes the historical aspect of the formation of computer modeling as one of the perspective directions of educational process development. The notion of "system of computer modeling", conceptual model of system of computer modeling (SCMod), its components (mathematical, animation, graphic, strategic), functions, principles and purposes of use are grounded. The features of the organization

  • White Paper on Business of 6G
    arXiv.cs.OH Pub Date : 2020-04-30
    Seppo Yrjola; Petri Ahokangas; Marja Matinmikko-Blue; Risto Jurva; Vivek Kant; Pasi Karppinen; Marianne Kinnula; Harilaos Koumaras; Mika Rantakokko; Volker Ziegler; Abhishek Thakur; Hans-Jurgen Zepernick

    Developing products, services and vertical applications for the future digitized society in the 6G era requires a multidisciplinary approach and a re-definition of how we create, deliver and consume network resources, data and services for both communications and sensing purposes. This development will change and disrupt the traditional business models and ecosystem roles of digital service providers

  • AI in society and culture: decision making and values
    arXiv.cs.OH Pub Date : 2020-04-29
    Katalin Feher; Asta Zelenkauskaite

    With the increased expectation of artificial intelligence, academic research face complex questions of human-centred, responsible and trustworthy technology embedded into society and culture. Several academic debates, social consultations and impact studies are available to reveal the key aspects of the changing human-machine ecosystem. To contribute to these studies, hundreds of related academic sources

  • Convolutional Neural Networks vs. Deformable Image Registration For Medical Slice Interpolation
    arXiv.cs.OH Pub Date : 2020-04-28
    Dilip Kumar Verma; Ahmadreza Baghaie

    Medical image slice interpolation is an active field of research. The methods for this task can be categorized into two broad groups: intensity-based and object-based interpolation methods. While intensity-based methods are generally easier to perform and less computationally expensive, object-based methods are capable of producing more accurate results and account for deformable changes in the objects

  • ROOT I/O compression improvements for HEP analysis
    arXiv.cs.OH Pub Date : 2020-04-08
    Oksana ShaduraUniversity of Nebraska-Lincoln; Brian Paul BockelmanMorgridge Institute for Research; Philippe CanalFermilab; Danilo PiparoCERN; Zhe ZhangUniversity of Nebraska-Lincoln

    We overview recent changes in the ROOT I/O system, increasing performance and enhancing it and improving its interaction with other data analysis ecosystems. Both the newly introduced compression algorithms, the much faster bulk I/O data path, and a few additional techniques have the potential to significantly to improve experiment's software performance. The need for efficient lossless data compression

  • Distributed Resources for the Earth System Grid Advanced Management (DREAM)
    arXiv.cs.OH Pub Date : 2020-04-13
    Luca Cinquini; Steve Petruzza; Jason Jerome Boutte; Sasha Ames; Ghaleb Abdulla; Venkatramani Balaji; Robert Ferraro; Aparna Radhakrishnan; Laura Carriere; Thomas Maxwell; Giorgio Scorzelli; Valerio Pascucci

    The DREAM project was funded more than 3 years ago to design and implement a next-generation ESGF (Earth System Grid Federation [1]) architecture which would be suitable for managing and accessing data and services resources on a distributed and scalable environment. In particular, the project intended to focus on the computing and visualization capabilities of the stack, which at the time were rather

  • Business Process Re-engineering in Supply Chains Examining the case of the expanding Halal industry
    arXiv.cs.OH Pub Date : 2020-04-16
    Mohammed Belkhatir; Shalini Bala; Noureddine Belkhatir

    Due to several issues arising in the rapidly-expanding Halal industry, among them the production of non-genuine or contaminated products and meats, there is a need to develop effective solutions for ensuring authenticity and quality. This paper proposes the specification of a formalized supply chain framework for the production and monitoring of food and products. The latter enforces high-level quality

  • Correlating Unlabeled Events at Runtime
    arXiv.cs.OH Pub Date : 2020-04-19
    Iman M. A. Helal; Ahmed Awad

    Process mining is of great importance for both data-centric and process-centric systems. Process mining receives so-called process logs which are collections of partially-ordered events. An event has to possess at least three attributes, case ID, task ID and a timestamp for mining approaches to work. When a case ID is unknown, the event is called unlabeled. Traditionally, process mining is an offline

  • Software-Based Monitoring and Analysis of a USB Host Controller Subject to Electrostatic Discharge
    arXiv.cs.OH Pub Date : 2020-03-16
    Natasha Jarus; Antonio Sabatini; Pratik Maheshwari; Sahra Sedigh Sarvestani

    Observing, understanding, and mitigating the effects of failure in embedded systems is essential for building dependable control systems. We develop a software-based monitoring methodology to further this goal. This methodology can be applied to any embedded system peripheral and allows the system to operate normally while the monitoring software is running. We use software to instrument the operating

  • Dyslexia and Dysgraphia prediction: A new machine learning approach
    arXiv.cs.OH Pub Date : 2020-04-15
    Gilles Richard; Mathieu Serrurier

    Learning disabilities like dysgraphia, dyslexia, dyspraxia, etc. interfere with academic achievements but have also long terms consequences beyond the academic time. It is widely admitted that between 5% to 10% of the world population is subject to this kind of disabilities. For assessing such disabilities in early childhood, children have to solve a battery of tests. Human experts score these tests

  • NDE 4.0: Digital Twin, Semantics, Interfaces, Networking, Feedback, New Markets and Integration into the Industrial Internet of Things
    arXiv.cs.OH Pub Date : 2020-04-02
    Johannes Vrana

    The industrial revolution is divided into three phases by historians: The invention of the steam engine (mechanization), electricity (mass production) and the microelectric revolution (automation). There was a similar development in non-destructive evaluation: tools such as lenses or stethoscopes allowed the human senses to be sharpened, the conversion of waves makes the invisible visible and thus

  • Interactive distributed cloud-based web-server systems for the smart healthcare industry
    arXiv.cs.OH Pub Date : 2020-04-14
    Almagul Baurzhanovna Kondybayeva

    The work aims to investigate the possible contemporary interactive cloud based solutions in the fields of the applied medicine for the smart Healthcare as the data visualization open-source free system distributed under the MIT license. A comparative study of a number of the well-known implementations of the Ray Casting algorithms was studied. A new method of numerical calculus is proposed for calculating

Contents have been reproduced by permission of the publishers.
ACS ES&T Engineering
ACS ES&T Water
ACS Publications填问卷