当前期刊: arXiv - CS - Other Computer Science Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • C-ITS bundling for integrated traffic management
    arXiv.cs.OH Pub Date : 2020-10-14
    Evangelos Mitsakis; Areti Kotsi; Vasileios Psonis

    Cooperative Intelligent Transportation Systems (C-ITS) enable vehicles communication with each other (Vehicle-to-Vehicle, V2V) and with roadside infrastructure (Vehicle-to-Infrastructure, V2I). In the context of traffic efficiency, C-ITS technologies could assist in road network status visualization and monitoring, through data exchange, improving this way traffic control organization and traffic management

    更新日期:2020-11-09
  • AI Chiller: An Open IoT Cloud Based Machine Learning Framework for the Energy Saving of Building HVAC System via Big Data Analytics on the Fusion of BMS and Environmental Data
    arXiv.cs.OH Pub Date : 2020-10-09
    Yong Yu

    Energy saving and carbon emission reduction in buildings is one of the key measures in combating climate change. Heating, Ventilation, and Air Conditioning (HVAC) system account for the majority of the energy consumption in the built environment, and among which, the chiller plant constitutes the top portion. The optimization of chiller system power consumption had been extensively studied in the mechanical

    更新日期:2020-11-03
  • Comparison Analysis of Tree Based and Ensembled Regression Algorithms for Traffic Accident Severity Prediction
    arXiv.cs.OH Pub Date : 2020-10-27
    Muhammad Umer; Saima Sadiq; Abid Ishaq; Saleem Ullah; Najia Saher; Hamza Ahmad Madni

    Rapid increase of traffic volume on urban roads over time has changed the traffic scenario globally. It has also increased the ratio of road accidents that can be severe and fatal in the worst case. To improve traffic safety and its management on urban roads, there is a need for prediction of severity level of accidents. Various machine learning models are being used for accident prediction. In this

    更新日期:2020-10-30
  • Investigating Cultural Aspects in the Fundamental Diagram using Convolutional Neural Networks and Simulation
    arXiv.cs.OH Pub Date : 2020-09-30
    Rodolfo M. Favaretto; Roberto R. Santos; Marcio Ballotin; Paulo Knob; Soraia R. Musse; Felipe Vilanova; Angelo B. Costa

    This paper presents a study regarding group behavior in a controlled experiment focused on differences in an important attribute that vary across cultures -- the personal spaces -- in two Countries: Brazil and Germany. In order to coherently compare Germany and Brazil evolutions with same population applying same task, we performed the pedestrian Fundamental Diagram experiment in Brazil, as performed

    更新日期:2020-10-26
  • A microsimulation approach for the impact assessment of a Vehicle-to-Infrastructure based Road Hazard Warning system
    arXiv.cs.OH Pub Date : 2020-10-14
    Kallirroi N. Porfyri; Areti Kotsi; Evangelos Mitsakis

    Cooperative Intelligent Transportation Systems (C-ITS) constitute technologies which enable vehicles to communicate with each other and with road infrastructure. Verification or testing is required for C-ITS applications, in order to assess their impact on traffic operation. In this work, a microscopic traffic simulation approach is used, to evaluate the impact of Vehicle-to-Infrastructure (V2I) technologies

    更新日期:2020-10-26
  • To Lane or Not to Lane? Comparing On-Road Experiences in Developing and Developed Countries using a New Simulator "RoadBird"
    arXiv.cs.OH Pub Date : 2020-10-15
    Md. Masum Mushfiq; Tarik Reza Toha; Saiful Islam Salim; Aaiyeesha Mostak; Masfiqur Rahaman; Najla Abdulrahman Al-Nabhan; Arif Mohamin Sadri; A. B. M. Alim Al Islam

    Even though the traffic systems in developed countries have been analyzed with rigor and operated efficiently, the same does not generally hold for developing countries due to inadequate planning, design, and operations of their transportation systems. Because of inherent differences between internal infrastructures, the systems deployed in developed countries may not be amenable to developing ones

    更新日期:2020-10-20
  • Arc Flow Formulations Based on Dynamic Programming: Theoretical Foundations and Applications
    arXiv.cs.OH Pub Date : 2020-10-01
    Vinícius L. de Lima; Cláudio Alves; François Clautiaux; Manuel Iori; José M. Valério de Carvalho

    Network flow formulations are among the most successful tools to solve optimization problems. One of such formulations is the arc flow, where variables represent flows on individual arcs of the network. For $\mathcal{NP}$-hard problems, polynomial-sized arc flow models typically provide weak linear relaxations and may have too much symmetry to be efficient in practice. Instead, arc flow models with

    更新日期:2020-10-02
  • 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$.

    更新日期:2020-09-16
  • 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

    更新日期:2020-09-15
  • 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

    更新日期:2020-09-10
  • 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

    更新日期:2020-08-31
  • 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

    更新日期:2020-08-28
  • 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

    更新日期:2020-08-26
  • 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

    更新日期:2020-08-26
  • 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

    更新日期:2020-08-26
  • 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

    更新日期:2020-08-26
  • 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

    更新日期:2020-08-24
  • 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

    更新日期:2020-08-18
  • 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

    更新日期:2020-08-17
  • 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

    更新日期:2020-08-14
  • 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

    更新日期:2020-08-14
  • 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

    更新日期:2020-08-14
  • 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

    更新日期:2020-08-10
  • 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

    更新日期:2020-08-06
  • 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

    更新日期:2020-08-05
  • 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

    更新日期:2020-08-04
  • 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

    更新日期:2020-08-04
  • 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

    更新日期:2020-07-29
  • 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

    更新日期:2020-07-29
  • 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

    更新日期:2020-07-28
  • 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

    更新日期:2020-07-27
  • 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

    更新日期:2020-07-27
  • 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

    更新日期:2020-07-27
  • 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

    更新日期:2020-07-23
  • 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

    更新日期:2020-07-23
  • 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

    更新日期:2020-07-07
  • 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

    更新日期:2020-06-26
  • 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

    更新日期:2020-06-25
  • 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

    更新日期:2020-06-24
  • 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

    更新日期:2020-06-23
  • 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

    更新日期:2020-06-22
  • 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

    更新日期:2020-06-19
  • 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

    更新日期:2020-06-15
  • 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

    更新日期:2020-06-15
  • 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

    更新日期:2020-06-15
  • 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

    更新日期:2020-06-09
  • 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

    更新日期:2020-06-09
  • 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

    更新日期:2020-06-05
  • 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

    更新日期:2020-06-04
  • 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

    更新日期:2020-05-28
  • 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

    更新日期:2020-05-25
  • 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

    更新日期:2020-05-11
  • 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

    更新日期:2020-05-09
  • 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

    更新日期:2020-05-07
  • 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

    更新日期:2020-05-06
  • 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

    更新日期:2020-05-03
  • 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

    更新日期:2020-04-30
  • 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

    更新日期:2020-04-29
  • 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

    更新日期:2020-04-28
  • 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

    更新日期:2020-04-23
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
施普林格,自然编辑
ERIS期刊投稿
欢迎阅读创刊号
自然职场,为您触达千万科研人才
spring&清华大学出版社
城市可持续发展前沿研究专辑
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
ACS Publications填问卷
阿拉丁试剂right
苏州大学
林亮
南方科技大学
朱守非
胡少伟
有机所林亮
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
上海纽约大学
浙江大学
廖矿标
天合科研
x-mol收录
试剂库存
down
wechat
bug