SoroushVahidi/scidocs huggingface dataset:
Optical mouse sensor for detecting height variation and translation of a surface
(2008)

A new sensing system based on an optical mouse sensor is developed. The optical mouse sensor is traditionally used as a 2D motion sensor, and in this study it is creatively used for detecting the height variation and translation of the object surfaces at the same time. Based on the experimental characteristics of the sensing system, it can be seen that the sensing system is useful in many fields such as robot odometry. The sensing system is based on a low-cost photoelectric sensor, which is a commercial LED-based optical mouse sensor, and thus it is easily available and generalized. Specially, the outputs of the sensor are intuitively displayed on the computer screen and recorded on the hard disk, which greatly improves the convenience of the system. A periodically-square-shaped rubber surface and a periodically-arc-shaped rubber surface are studied in the experiments. Experiments show that the shape information of the object surfaces and the translation direction of the object surfaces can be obtained at the same time. Besides, in the experiments, it is found that the sensitivity of the optical mouse sensor in different translation direction is different.
BCS: A Binary Cuckoo Search algorithm for feature selection
(2013)

Feature selection has been actively pursued in the last years, since to find the most discriminative set of features can enhance the recognition rates and also to make feature extraction faster. In this paper, the propose a new feature selection called Binary Cuckoo Search, which is based on the behavior of cuckoo birds. The experiments were carried out in the context of theft detection in power distribution systems in two datasets obtained from a Brazilian electrical power company, and have demonstrated the robustness of the proposed technique against with several others nature-inspired optimization techniques.
Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling
(2016)

Statistical models, such as Markov chains, have recently started to be studied for the purpose of Procedural Content Generation (PCG). A major problem with this approach is controlling the sampling process in order to obtain output satisfying some desired constraints. In this paper we present three approaches to constraining the content generated using multi-dimensional Markov chains: (1) a generate and test approach that simply resamples the content until the desired constraints are satisfied, (2) an approach that finds and resamples parts of the generated content that violate the constraints, and (3) an incremental method that checks for constraint violations during sampling. We test our approaches by generating maps for two classic video games, Super Mario Bros. and Kid Icarus.
Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications
(2010)

Recent Internet applications, such as online social networks and user-generated content sharing, produce an unprecedented amount of social information, which is further augmented by location or collocation data collected from mobile phones. Unfortunately, this wealth of social information is fragmented across many different proprietary applications. Combined, it could provide a more accurate representation of the social world, and it could enable a whole new set of socially-aware applications. We introduce Prometheus, a peer-to-peer service that collects and manages social information from multiple sources and implements a set of social inference functions while enforcing user-defined access control policies. Prometheus is socially-aware: it allows users to select peers that manage their social information based on social trust and exploits naturallyformed social groups for improved performance. We tested our Prometheus prototype on PlanetLab and built a mobile social application to test the performance of its social inference functions under real-time constraints. We showed that the social-based mapping of users onto peers improves the service response time and high service availability is achieved with low overhead.
Design pattern implementation in Java and aspectJ
(2002)

AspectJ implementations of the GoF design patterns show modularity improvements in 17 of 23 cases. These improvements are manifested in terms of better code locality, reusability, composability, and (un)pluggability.The degree of improvement in implementation modularity varies, with the greatest improvement coming when the pattern solution structure involves crosscutting of some form, including one object playing multiple roles, many objects playing one role, or an object playing roles in multiple pattern instances.
A Semantic Framework for the Security Analysis of Ethereum smart contracts
(2018)

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted third party. Given their financial nature, bugs or vulnerabilities in these programs may lead to catastrophic consequences, as witnessed by recent attacks. Unfortunately, programming smart contracts is a delicate task that requires strong expertise: Ethereum smart contracts are written in Solidity, a dedicated language resembling JavaScript, and shipped over the blockchain in the EVM bytecode format. In order to rigorously verify the security of smart contracts, it is of paramount importance to formalize their semantics as well as the security properties of interest, in particular at the level of the bytecode being executed. In this paper, we present the first complete small-step semantics of EVM bytecode, which we formalize in the F* proof assistant, obtaining executable code that we successfully validate against the official Ethereum test suite. Furthermore, we formally define for the first time a number of central security properties for smart contracts, such as call integrity, atomicity, and independence from miner controlled parameters. This formalization relies on a combination of hyperand safety properties. Along this work, we identified various mistakes and imprecisions in existing semantics and verification tools for Ethereum smart contracts, thereby demonstrating once more the importance of rigorous semantic foundations for the design of security verification techniques.
Axe UX: Exploring long-term user experience with iScale and AttrakDiff
(2014)

Positive user experience (UX) is an important goal in product design. Positive long-term UX is believed to improve customer loyalty, therefore being vital for continuous commercial success. Most UX research investigates momentary or short-term UX although the relationship between the user and the product evolves over time. There is a need to develop methods for measuring long-term UX and evaluate their feasibility in different product contexts. In this explorative study, 18 customers reported their experiences during the first three months of use of a non-interactive design tool, an axe. UX was evaluated with retrospective iScale tool and monthly repeated AttrakDiff questionnaire. iScale demonstrated the long-term trend of the attractiveness of the product well and provided information about the causes of the change in the experience. The AttrakDiff questionnaire was a good indicator of attractiveness during a longer period of time and is also well suited to remote studies.
kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
(2017)

Many kinds of memory safety vulnerabilities have been endangering software systems for decades. Amongst other approaches, fuzzing is a promising technique to unveil various software faults. Recently, feedback-guided fuzzing demonstrated its power, producing a steady stream of security-critical software bugs. Most fuzzing efforts—especially feedback fuzzing—are limited to user space components of an operating system (OS), although bugs in kernel components are more severe, because they allow an attacker to gain access to a system with full privileges. Unfortunately, kernel components are difficult to fuzz as feedback mechanisms (i.e., guided code coverage) cannot be easily applied. Additionally, non-determinism due to interrupts, kernel threads, statefulness, and similar mechanisms poses problems. Furthermore, if a process fuzzes its own kernel, a kernel crash highly impacts the performance of the fuzzer as the OS needs to reboot. In this paper, we approach the problem of coverageguided kernel fuzzing in an OS-independent and hardware-assisted way: We utilize a hypervisor and Intel’s Processor Trace (PT) technology. This allows us to remain independent of the target OS as we just require a small user space component that interacts with the targeted OS. As a result, our approach introduces almost no performance overhead, even in cases where the OS crashes, and performs up to 17,000 executions per second on an off-the-shelf laptop. We developed a framework called kernel-AFL (kAFL) to assess the security of Linux, macOS, and Windows kernel components. Among many crashes, we uncovered several flaws in the ext4 driver for Linux, the HFS and APFS file system of macOS, and the NTFS driver of Windows.
High-Efficiency Slim Adapter With Low-Profile Transformer Structure
(2011)

This paper presents the implementation of a high-efficiency slim adapter using an resonant converter. A new structure of the slim-type transformer is proposed, which is composed of copper wire as the primary winding and printed-circuit-board winding on the outer layer as the secondary winding. The proposed structure is suitable for a slim and high-efficiency converter because it has advantages of easy utilization and wide conductive cross-sectional area. In addition, the voltage-doubler rectifier is applied to the secondary side due to its simple structure of secondary winding, and a filter is adopted to reduce the output filter size. The validity of this study is confirmed by the experimental results from an 85-W prototype.
Thing broker: a twitter for things
(2013)

In the Web of Things, standard web technologies and protocols are used to represent and communicate with physical and virtual things. One challenge toward this vision is integrating things with different characteristics, protocols, interfaces and constraints while maintaining the simplicity and flexibility required for a variety of applications. In this paper we present the Thing Broker, a core platform for Web of Things that provides RESTFul interfaces to things using a Twitter-based set of abstractions and communication model. We present the key abstractions, a reference implementation and explain how a typical WoT application can be created using Thing Broker. We finish with a preliminary evaluation and draw some lessons from our experiences.
Studying depression using imaging and machine learning methods
(2016)

Depression is a complex clinical entity that can pose challenges for clinicians regarding both accurate diagnosis and effective timely treatment. These challenges have prompted the development of multiple machine learning methods to help improve the management of this disease. These methods utilize anatomical and physiological data acquired from neuroimaging to create models that can identify depressed patients vs. non-depressed patients and predict treatment outcomes. This article (1) presents a background on depression, imaging, and machine learning methodologies; (2) reviews methodologies of past studies that have used imaging and machine learning to study depression; and (3) suggests directions for future depression-related studies.
Unified temporal and spatial calibration for multi-sensor systems
(2013)

In order to increase accuracy and robustness in state estimation for robotics, a growing number of applications rely on data from multiple complementary sensors. For the best performance in sensor fusion, these different sensors must be spatially and temporally registered with respect to each other. To this end, a number of approaches have been developed to estimate these system parameters in a two stage process, first estimating the time offset and subsequently solving for the spatial transformation between sensors. In this work, we present on a novel framework for jointly estimating the temporal offset between measurements of different sensors and their spatial displacements with respect to each other. The approach is enabled by continuous-time batch estimation and extends previous work by seamlessly incorporating time offsets within the rigorous theoretical framework of maximum likelihood estimation. Experimental results for a camera to inertial measurement unit (IMU) calibration prove the ability of this framework to accurately estimate time offsets up to a fraction of the smallest measurement period.
An empirical analysis of the distribution of unit test smells and their impact on software maintenance
(2012)

Unit testing represents a key activity in software development and maintenance. Test suites with high internal quality facilitate maintenance activities, such as code comprehension and regression testing. Several guidelines have been proposed to help developers write good test suites. Unfortunately, such rules are not always followed resulting in the presence of bad test code smells (or simply test smells). Test smells have been defined as poorly designed tests and their presence may negatively affect the maintainability of test suites and production code. Despite the many studies that address code smells in general, until now there has been no empirical evidence regarding test smells (i) distribution in software systems nor (ii) their impact on the maintainability of software systems. This paper fills this gap by presenting two empirical studies. The first study is an exploratory analysis of 18 software systems (two industrial and 16 open source) aimed at analyzing the distribution of test smells in source code. The second study, a controlled experiment involving twenty master students, is aimed at analyzing whether the presence of test smells affects the comprehension of source code during software maintenance. The results show that (i) test smells are widely spread throughout the software systems studied and (ii) most of the test smells have a strong negative impact on the comprehensibility of test suites and production code.
Regenerative braking control method and optimal scheme for electric motorcycle
(2011)

This paper describes an optimal regenerative braking control scheme for a permanent magnet brushless DC motor of an electric motorcycle to achieve dual goals of the electric brake and the maximal power harvest in two cases of the road, downhill and flat, without any additional changes on the hardware. Based on regenerative braking of brushless DC motor in half bridge modulation mode, the relationship between average regenerative current on the DC bus and PWM duty cycle under different speeds was studied intensively from the three aspects of theoretical deduction, simulation based on Matlab/Simulink and platform experiments, and then a simple but effective scheme considering the actual application was proposed tentatively to achieve the dual goals. Since the braking kinetic energy is harvested in the form of the electric energy stored up in battery, the scheme could improve the driving range, safeness, noise preventability and cost effective of electric motorcycles.
Design and optimisation of a voice coil motor (VCM) with a rotary actuator for an ultrasound scanner. IEEE Transactions on Industrial Electronics
(2015)

This paper proposes a new application for the rotary VCM. In developing a low cost ultrasound scanner for the developing world an oscillating transducer is required to sweep over the skin. The ultrasound scanner must operate from a USB power supply in remote locations. The application requires a 3.3N force on the coils of the motor to overcome the inertia of the skin. A proof of concept prototype motor with electronics has been designed, simulated and tested. The VCM optimisation is discussed in detail with the unique separation of the magnets being critical to reduce the axial bearing forces for this application.
Design and Modeling of a Textile Pressure Sensor for Sitting Posture Classification
(2010)

A textile pressure sensor has been designed for measuring pressure distribution on the human body. Electrodes built with conductive textiles are arranged on both sides of a compressible spacer, forming a variable capacitor. The use of textiles makes unobtrusive, comfortable, lightweight, and washable sensors possible. This simplifies the goal to integrate such sensors into clothing in the future, to be simple, and fast to mount just as getting dressed. Hysteresis induced by the spacer of the sensor has been modeled with the Preisach model to reduce the measurement error from 24% to 5% on average and the maximal error from above 50% to below 10%. Standard textiles that are not specially optimized for low hysteresis can be used for designing the sensor due to the modeling. The model may also be used for other pressure or even strain sensors to reduce their hysteresis. The modeling enhances the accuracy of the textile sensor to those of commercial, nontextile pressure sensing mats. Furthermore, we used the sensor system for the classification of sitting postures in a chair. The data of nine subjects have been classified with Naive Bayes classifier, achieving an average recognition rate of 82%. We show that the textile sensor performs similarly to a commercial, nontextile pressure sensing mat for this application.
PID control system analysis, design, and technology
(2005)

Designing and tuning a proportional-integral-derivative (PID) controller appears to be conceptually intuitive, but can be hard in practice, if multiple (and often conflicting) objectives such as short transient and high stability are to be achieved. Usually, initial designs obtained by all means need to be adjusted repeatedly through computer simulations until the closed-loop system performs or compromises as desired. This stimulates the development of "intelligent" tools that can assist engineers to achieve the best overall PID control for the entire operating envelope. This development has further led to the incorporation of some advanced tuning algorithms into PID hardware modules. Corresponding to these developments, this paper presents a modern overview of functionalities and tuning methods in patents, software packages and commercial hardware modules. It is seen that many PID variants have been developed in order to improve transient performance, but standardising and modularising PID control are desired, although challenging. The inclusion of system identification and "intelligent" techniques in software based PID systems helps automate the entire design and tuning process to a useful degree. This should also assist future development of "plug-and-play" PID controllers that are widely applicable and can be set up easily and operate optimally for enhanced productivity, improved quality and reduced maintenance requirements.
Design of PI and PID controllers with transient performance specification
(2002)

Proportional-integral-derivative (PID) controllers are widely used in industrial control systems because of the reduced number of parameters to be tuned. The most popular design technique is the Ziegler–Nichols method, which relies solely on parameters obtained from the plant step response. However, besides being suitable only for systems with monotonic step response, the compensated systems whose controllers are tuned in accordance with the Ziegler–Nichols method have generally a step response with a high-percent overshoot. In this paper, tuning methods for proportional-integral (PI) and PID controllers are proposed that, like the Ziegler–Nichols method, need only parameters obtained from the plant step response. The methodology also encompasses the design of PID controllers for plants with underdamped step response and provides the means for a systematic adjustment of the controller gain in order to meet transient performance specifications. In addition, since all the development of the methodology relies solely on concepts introduced in a frequency-domain-based control course, the paper has also a didactic contribution.
A zigbee-based home automation system
(2009)

In recent years, the home environment has seen a rapid introduction of network enabled digital technology. This technology offers new and exciting opportunities to increase the connectivity of devices within the home for the purpose of home automation. Moreover, with the rapid expansion of the Internet, there is the added potential for the remote control and monitoring of such network enabled devices. However, the adoption of home automation systems has been slow. This paper identifies the reasons for this slow adoption and evaluates the potential of ZigBee for addressing these problems through the design and implementation of a flexible home automation architecture. A ZigBee based home automation system and Wi-Fi network are integrated through a common home gateway. The home gateway provides network interoperability, a simple and flexible user interface, and remote access to the system. A dedicated virtual home is implemented to cater for the system's security and safety needs. To demonstrate the feasibility and effectiveness of the proposed system, four devices, a light switch, radiator valve, safety sensor and ZigBee remote control have been developed and evaluated with the home automation system.
CHARADE: Remote Control of Objects Using Free-Hand Gestures
(1993)

This paper presents an application that uses hand gesture input to control a computer while giving a presentation. In order to develop a prototype of this application, we have defined an interaction model, a notation for gestures, and a set of guidelines to design gestural command sets. This works aims to define interaction styles that work in computerized reality environments. In our application, gestures are used for interacting with the computer as well as for communicating with other people or operating other devices.
Dynamic Materialized Views
(2007)

A conventional materialized view blindly materializes and maintains all rows of a view, even rows that are never accessed. We propose a more flexible materialization strategy aimed at reducing storage space and view maintenance costs. A dynamic materialized view selectively materializes only a subset of rows, for example, the most frequently accessed rows. One or more control tables are associated with the view and define which rows are currently materialized. The set of materialized rows can be changed dynamically, either manually or automatically by an internal cache manager using a feedback loop. Dynamic execution plans are generated to decide whether the view is applicable at run time. Experimental results in Microsoft SQL Server show that compared with conventional materialized views, dynamic materialized views greatly reduce storage requirements and maintenance costs while achieving better query performance with improved buffer pool efficiency.