Miracle-dz/UniFAR-FTUs huggingface dataset:
Checking Delay-Insensitivity: 104 Gates and Beyond

Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits whose behavior is independent of component delays (delay-insensitive). It shows that for a particular way of implementing a delay-insensitive circuit, through a Null Convention Logic methodology, the complexity of the verification task might be significantly reduced. This method is implemented using Satisfiability (SAT)-solvers and is successfully tested on realistic design examples having tens of thousands of gates.
Machine Learning Techniques for Parkinson’s Disease Detection using Wearables during a Timed-up-and-Go-Test

Abstract In this paper, the classification models for Idiopathic Parkinson's syndrome (iPS) detection through timed-up-and-go test performed on iPS-patients are given. The models are based on the supervised learning. The data are extracted via Myo gesture armband worn on two hands. The corresponding models are based on extracted features from signal data and raw signal data respectively. The achieved accuracy from both models are 0.91 and 0.93 with reasonable specificity and sensitivity.
Editorial: Translational Research for Cucurbit Molecular Breeding: Traits, Markers, and Genes

United States Department of Agriculture, Agriculture Research Service, Vegetable Crops Research Unit, Horticulture Department, University of Wisconsin, Madison, WI, United States, Center for Research in Agricultural Genomics (CRAG) Consejo Superior de Investigaciones Científicas Institut de Recerca i Tecnologia Agroalimentàries Universitat Autònoma de Barcelona Universitat de Barcelona, Barcelona, Spain, Genomics and Biotecnology Program, Institut de Recerca i Tecnologia Agroalimentáries (IRTA), Barcelona, Spain, US Vegetable Laboratory, United States Department of Agriculture, Agriculture Research Service, Charleston, SC, United States, 5 Key Laboratory of Biology and Genetic Improvement of Horticulture Crops (Northeast Region), Ministry of Agriculture and Rural Affairs, Northeast Agricultural University, Harbin, China
A Combined Group/Tree Approach for Many-to-Many Reliable Multicast.

A compact burner-boiler combination having an improved heating cycle for effecting substantial fuel saving and maximum boiler and combustion efficiency in a relatively simple and expedient manner. This is attained by a compact boiler construction utilizing an improved burner construction and method of combustion in which a liquid fuel is gasified by the heating products of combustion to form a homogeneous fuel gas-air mixture prior to combustion so as to effect a substantially stoichiometric burning of the fuel so as to result in a high velocity and a very high flame temperature (approx. 4100 DEG F.) and to cause the breakdown of a portion of the hydrocarbons into their basic component elements so as to make them available for diffusion burning. A small percentage or air is thereafter introduced tangentially into the burner flame to create the diffusion burning of the free hydrogen and carbon generated by the combustion process to produce a hot luminous optimum flame pattern and to maintain the high surface velocity so as to attain maximum transfer of heat energy to the heat transfer surfaces of the boiler by both radiation and conduction.
Improved image haze removal algorithm based on fast guided filter

In haze removal algorithm based on dark channel prior, the global atmospheric light is influenced easily by the white objects in the image, the sky region of recovered image has distortion phenomenon, and the optimization of the transmission is complicated by the soft matting. In this paper, an improved haze removal algorithm is proposed based on dark channel prior. We combine the prior knowledge with the atmospheric scattering model, estimate the global atmospheric light accurately with quadtree search algorithm, modify the transmission of sky area to avoid distortion, and optimize the transmission using the fast guided filter to recover a high-quality haze-free image. Experimental results demonstrate the superiority of the proposed algorithm. Moreover, the recovered image is clearer and the processing speed improves tenfold nearly compared with dark channel prior.
Awarded Best Paper! -- Row-Diagonal Parity for Double Disk Failure Correction

Row-Diagonal Parity (RDP) is a new algorithm for protecting against double disk failures. It stores all data unencoded, and uses only exclusive-or operations to compute parity. RDP is provably optimal in computational complexity, both during construction and reconstruction. Like other algorithms, it is optimal in the amount of redundant information stored and accessed. RDP works within a single stripe of blocks of sizes normally used by file systems, databases and disk arrays. It can be utilized in a fixed (RAID-4) or rotated (RAID-5) parity placement style. It is possible to extend the algorithm to encompass multiple RAID-4 or RAID-5 disk arrays in a single RDP disk array. It is possible to add disks to an existing RDP array without recalculating parity or moving data. Implementation results show that RDP performance can be made nearly equal to single parity RAID-4 and RAID-5 performance.
Estimating Aggregates on a Peer-to-Peer Network

As Peer-to-Peer (P2P) networks become popular, there is an emerging need to collect a variety of statistical summary information about the participating nodes. The P2P networks of today lack mechanisms to compute even such basic aggregates as min, max, sum, count or avg. In this paper, we define and study the NodeAggregation problem that is concerned with aggregating data stored at nodes in the network. We present generic schemes that can be used to compute any of the basic aggregation functions accurately and robustly. Our schemes can be used as building blocks for tools to collect statistics on network topology, user behavior and other node characteristics.
Research of Hybrid OS Architecture Based on “Linux on ITRON”

“Linux on ITRON” is the architecture of hybrid operating system,which is to combine the Linux with a ITRON-specified real timeoperating system.The motive is to reuse the software in Linux environment and keep the existed ITRON-specified real time operating system fromlarge modification.This article evaluates the basic architecture of “Linux on ITRON” described in that article,and presents a new architecture,whichcan solve the problem of missing of interrupt for Linux in the old architecture,and gives an implementation under the new architecture.
Monitoring a Mobile Ticketing System Based on NFC and BLE Beacons

Mobile ticketing in public transportation has substantially replaced the old ticket card and its affiliates. This way of interacting with ticketing is not something new and it came to reduce queues and increase commodity for its users. However, as technology rises, there is the need to reduce even further the complexity that is the current public transportation state, which is the biggest problem to its users. It is required to memorize different areas of the city, know the interchange stations locations and the complete schedule for a specific transportation vehicle and know the ins and outs of the ticketing and payment system, so it can be used properly. Public transportation should be as simple to use as it can be. The end user does not need to understand the system to use it, and could be abstracted of all the complexity that it entails. It could be as simple as grabbing a smart phone, click on a button to start a trip and forget about it entirely, so that public transportation is not a burden anymore. Given this context, the fact that technology is rising as fast as ever and the public’s acceptance of mobile payment solutions, a solution was studied that embodies all of this. Even though solutions already exist, such as the use of NFC (Near Field Communication), BLE (Bluetooth Low Energy) beacons and even QR (Quick Response) Codes, most of them do not focus on simplifying the public transportation system, but rather replacing the old ticketing system only. Through a Check-In/Be-Out system, auxiliated by BLE beacons and NFC technology, the ultimate goal of public transportation should be achieved: no need for the end user to understand the system. However, implementing an entirely new system on top of an existing one can be prone to flaws. Rather than try and make it flawless, accepting the flaws and solve them as time passes by may be a better solution. To achieve this, a real-time monitoring system was setup on top of the mobile one. The focus is to collect information from different sources and try and gather all kinds of data, so it can be displayed and observed. By way of this observation, errors can be cross checked and identified quicker than just by tackling one problem at a time. There is already information that backs up theories, such as the fact that beacons may be misplaced and not being optimized to each station. The developed work resulted as well in the writing of a scientific paper, validated and accepted to the 2nd International Conference on Intelligent Traffic and Transportation (ICITT 2018).
Estimating the Number of Residual Defects

Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count them, however it is impossible to find all the defects within a reasonable amount of time. Estimating defect density can become difficult for high reliability software, since remaining defects can be extremely hard to test for. One possible way is to apply the exponential SRGM and thus estimate the total number of defects present at the beginning of testing. Here we show the problems with this approach and present a new approach based on software test coverage. Software test coverage directly measures the thoroughness of testing avoiding the problem of variations of test effectiveness. We apply this model to actual test data to project the residual number of defects. The results show that this method results in estimates that are more stable than the existing methods. This method is easier to understand and the convergence to the estimate can be visually observed.
Datenevolutions- und Migrationsstrategien inNoSQL-Datenbanken

Die dauerhafte Verfügbarkeit von Daten stellt eine der Kernanforderungen an NoSQL-Datenbanksysteme dar. In diesem Artikel werden verschiedene Datenmigrationsstrategien im Kontext von NoSQL-Datenbanken, insbesondere für Document Stores, vorgestellt und hinsichtlich ihrer Effizienz und ihres Einsatzspektrums bewertet. Dabei werden Strategien vorgestellt, die die Migrationsoperation nicht sofort ausführen, sondern die Daten on-demand migrieren (Lazy Migration). Die Migrationsvarianten werden anhand von vier Dimensionen der Datenmigration von NoSQLDatenbanken verglichen und bewertet. Ziel ist es, einen Advisor zu entwickeln, der auf Basis von Metriken eine optimale Migrationsstrategie vorschlägt. Dabei sollen verschiedene Optimierungsziele berücksichtigt werden. Das Projekt Darwin wird vorgestellt, in dem die in diesem Artikel genannten Techniken implementiert werden sollen.
Design and Implementation of Consecutive Interpreting System Based on Transformer NMT Model

The traditional machine translation system with push-to-talk mode is not suitable for the processing of long-time oral translation. This paper proposed a consecutive interpreting system, solving the problem of long-time continuous listening by using pipeline work mode. In this mode, audio sampling is always on during the whole speech. In usage scenarios, audiences of the speeches or lectures can see bilingual subtitles on the projection or on their own device, and this system will keep translating while listens to the speaker. The speech-to-text module is based on the speech recognition model of Baidu open platform, and the translation is based on the Transformer NMT model proposed by Google. The average translation delay time of our system is only about 0.8s in our delay test. This system can play the role of the interpreter in conferences or lectures where translation precision requirement is not high.
Studies of intra-action: Informing design for palpability

These difficulties were described during discussions between researchers and emergency professionals embarking on a joint project to explore the architectural requirements for pervasive computing in emergency response (PalCom: A new perspective on ambient computing http://www.ist-palcom.org, [6]). When asked – somewhat naively – why they do not use biosensors and alarms to assist in the monitoring of victims, the professionals pointed out that biosensors and displays might improve visibility and audibility of vital signs from a distance, but they would require additional time and work to set up. Moreover, wired displays and power sources would impede the transport of victims, and alarms would add to the chaos of the situation, overwhelming staff rather than alleviating the risks of missing significant changes in patient conditions.
Automata-2008: Theory and Applications of Cellular Automata

Cellular automata are regular uniform networks of locally-connected finite-state machines. They are discrete systems with non-trivial behaviour. Cellular automata are ubiquitous: they are mathematical models of computation and computer models of natural systems. The book presents results of cutting edge research in cellular-automata framework of digital physics and modelling of spatially extended non-linear systems; massive-parallel computing, language acceptance, and computability; reversibility of computation, graph-theoretic analysis and logic; chaos and undecidability; evolution, learning and cryptography. The book is unique because it brings together unequalled expertise of inter-disciplinary studies at the edge of mathematics, computer science, engineering, physics and biology.
Two mathematical models centrifugal compressor stage vaneless diffuser comparison

Mathematical modeling of gas dynamic characteristics of centrifugal compressor stages is an important part of the modern process of optimal gas-dynamic design. The mathematical model of the vaneless diffuser as of the stage calculates flow parameters at the diffuser exit. In the known Universal Modeling Method the vaneless diffuser model is based on the equations of the process and continuity, on momentum theorem. The objects of calculation are elementary parts of the diffuser. The pressure loss formulae use a number of empirical coefficients. The proposed alternative model is based on the approximation of the results of calculations of diffusers by CFD (Computational Fluid Dynamics)-methods. The model showed several advantages and can be used in new versions of mathematical models.Mathematical modeling of gas dynamic characteristics of centrifugal compressor stages is an important part of the modern process of optimal gas-dynamic design. The mathematical model of the vaneless diffuser as of the stage calculates flow parameters at the diffuser exit. In the known Universal Modeling Method the vaneless diffuser model is based on the equations of the process and continuity, on momentum theorem. The objects of calculation are elementary parts of the diffuser. The pressure loss formulae use a number of empirical coefficients. The proposed alternative model is based on the approximation of the results of calculations of diffusers by CFD (Computational Fluid Dynamics)-methods. The model showed several advantages and can be used in new versions of mathematical models.
Shape Modeling in Medical Images with Marching Methods

We present a shape recovery technique in 2D and 3D with specific applications in modeling anatomical shapes from medical images. This algorithm models ext;remely corrugated structures like the brain, is topologically adaptable, and runs in 0( N log N) time where N is the total number of points in the domain: Our technique is based on the level set shape recovery scheme introduced in [14, 15] and the fast . marching method in [22] for computing solutions to static Hamilton-Jacobi equations.
Monte Carlo methods in finance

An invaluable resource for quantitative analysts who need to run models that assist in option pricing and risk management. This concise, practical hands on guide to Monte Carlo simulation introduces standard and advanced methods to the increasing complexity of derivatives portfolios. Ranging from pricing more complex derivatives, such as American and Asian options, to measuring Value at Risk, or modelling complex market dynamics, simulation is the only method general enough to capture the complexity and Monte Carlo simulation is the best pricing and risk management method available. The book is packed with numerous examples using real world data and is supplied with a CD to aid in the use of the examples.
A simple rate control algorithm for max total user utility

We consider the rate control problem with the objective of maximizing the total user utility. It takes into account the possible differences in user requirements, and also provides a framework for achieving a wide range of fairness objectives. We propose a simple algorithm for achieving the optimal rates for this problem. The algorithm can be implemented in a distributed way and does not require the network to know the user utility functions. In our algorithm, the network communicates to the user the number of congested links on the user's path, and the user (end-host) adjusts its rate accordingly, taking into account its utility function and the network congestion feedback. We show through analysis and experimentation that our algorithm converges to the optimum rates.
Android Malware Detection via Graphlet Sampling

Android systems are widely used in mobile & wireless distributed systems. In the near future, Android is believed to dominate the mobile distributed environment. However, with the popularity of Android-based smartphones/tablets comes the rampancy of Android-based malware. In this paper, we propose a novel topological signature of Android apps based on the function call graphs (FCGs) extracted from their Android App PacKages (APKs). Specifically, by leveraging recent advances on graphlet mining, the proposed method fully captures the invocator-invocatee relationship at local neighborhoods in an FCG without exponentially inflating the state space. Using real benign app and malware samples, we demonstrate that our method, App topologiCal signature through graphleT Sampling (ACTS), can detect malware and identify malware families robustly and efficiently. More importantly, we demonstrate that, without augmenting the FCG with any semantic features such as bytecode-based vertex typing, local topological information captured by ACTS alone can achieve a high malware detection accuracy. Since ACTS only uses structural features, which are orthogonal to semantic features, it is expected that combining them would give a greater improvement in malware detection accuracy than combining non-orthogonal semantic features.
Modelling, Identification and Control of A "Magnetic Levitation CE152"

This project takes a comprehensive look at model development for a laboratory magnetic levitation with the final aim to design a control system is presented. The CE152 made by Humusoft is a laboratory magnetic levitation system designed for studying system dynamics and control engineering principles. First, the magnetic levitation system set-up is depicted, then the whole system is disassembled into simpler subsystems, then theoretical modelling is systematically described. Identification of the necessary parameters is tackled using direct and indirect measurement methods and their results are presented. As the system is nonlinear and unstable, it should be linearized at optional operating point and a digital PID controller with a fine tuned parameters is designed to track a small varying input signals. Finally the simulation’s model is validated with the real system, the results show the simulation’s model is adequately represents the real magnetic levitation system.
Development of a welding platform and tool for the study of weld and process parameters, during continuous friction stir welding of AA6082-T6 sheets

Bobbin tool friction stir welding is a relatively novel technology whose application, despite its benefits, is still limited due to unfamiliarity presented by less published literature. Advantages associated with the bobbin-tool technique lie imbedded in the resultant double-sided processed zone, of somewhat rectangular cross section, along the joint line. Currently, the joint integrity benefits are overshadowed by high setup costs associated with slightly more complex tool and platform designs of bobbin-tool friction stir welding. To largely exploit and optimise the technique, there is need for an in-depth understanding of interaction between welding parameters and response variables. This comprehension could assist with process optimisation, reproducibility, automation and possibly process economic feasibility. This paper proposes design considerations with regards to development of a continuous solid-state welding platform and tool, for instrumentation of process output variables. As an instance, upon tool and platform development, calibration and verification, data acquisition of weld forces developed during bobbin-tool friction stir welding, as a function of process time, can then be implemented to enable analysis. Feasibility of the proposed methodology is then left for evaluation in future work. Thus, analysis of weld forces can be facilitated by the design and development of an instrumented fixture and a bobbin friction stir welding tool, in joining AA6082-T6 aluminium plates.
Atc Computational Issues

A method of calculating Available Transfer Capability (ATC) and the exploration of the relative effects of certain computational issues are described in this paper. Specifically, the calculation of ATC is laid out for the purposes of pointing out the various computational aspects that affect it such as algorithmic tolerances and source/sink composition among others. A test from the Pennsylvania-Jersey-Maryland (PJM) Interconnection is used to obtain results on this study. Among the inferences obtained from this work is the necessity to properly account for uncertainties that exist not only in the physical structure of the power system but also those that exist in the computation of its properties reflected in ATC evaluation.
Semi-Supervised Model Selection Based on Cross-Validation

We propose a new semi-supervised model selection method that is derived by applying the structural risk minimization principle to a recent semi-supervised generalization error bound. This bound that we build on is based on the cross-validation estimate underlying the popular cross-validation model selection heuristic. Thus, the proposed semi-supervised method is closely connected to cross-validation which makes studying these methods side by side very natural. We evaluate the performance of the proposed method and the cross-validation heuristic empirically on the task of selecting the parameters of support vector machines. The experiments indicate that the models selected by the two methods have roughly the same accuracy. However, whereas the cross-validation heuristic only proposes which classifier to choose, the semi-supervised method provides also a reliable and reasonably tight generalization error guarantee for the chosen classifier. Thus, when unlabeled data is available, the proposed semi-supervised method seems to have an advantage when reliable error guarantees are called for. In addition to the empirical evaluation, we also analyze the theoretical properties of the proposed method and prove that under suitable conditions it converges to the optimal model.