Miracle-dz/UniFAR-FTUs huggingface dataset:
Puzzle games ( like Rubik ’ s cube ) solver

This project is a continuation of the PTAM (Parallel Tracking and Mapping for Small AR Workspaces) like approach solution [1]. Basically, it turned to be not an appropriate solution for recognizing full cube under not ideal illumination. Since the process might fail during the processing of any face out of six, it has to start from scratch, thus it will not be finished at all. On the contrary, this algorithm gave a better understanding of Tracking and Mapping problem as well as Structure from Motion problem. At the current stage it was decided to use approaches from Sudoku Solver and First version of Rubik’s cube face extraction to reconstruct cubes model. At the same time PTAM can be used to track cube motion but not rotation. It was also decided to use Kalman filter to optimize PTAM work and to use it for motion prediction because of its nature. This project also contains self-written Rubik’s cube 3D model rendering with the newbie solution method programmed to solve the cube in real time. This means that program can reconstruct cube from the video, not ideally, it might take some time and a lot of rotations until the cube is recognized, and solve it while displaying all rotations on the 3D model and writing all movements as a text to the text box.
Evaluation of Lightning-Induced Voltage on Overhead Lines With Nonlinear Load Using the Scattering Theory

In order to evaluate the effects of indirect lightning return stroke on overhead lines, a solution of the electric-field integral equation (EFIE) in the time domain is adopted to describe the electromagnetic transients from lightning. The resolution of (EFIE) by the method of moment (MoM) in the time domain by introducing the antenna theory model (AT) of the lightning channel conducts to a precise evaluation of the coupling mechanism between the lightning channel and overhead lines. This method is applied to single-phase and three-phase overhead lines located above a perfectly conducting ground. By solving EFIE with MoM in the time domain, not only is it possible to evaluate the induced overvoltage more accurately, but it is also possible to apply nonlinear protective devices, such as surge arrester, in the overhead lines and simulate the effects of these devices. The proposed method will provide an outstanding view on the protection scheme to protect overhead lines against lightning.
Statistical Model Checking of a Digital Hydraulic Power Management System

This thesis extends on a Finnish case study on a Digital Hydraulic Power Management System, which is an example of a cyber-physical system. Such systems may have strict bounds on properties, which can be proven using modeling techniques and verification queries. Scaling of models to arbitrary size is under ongoing research, which this paper explores using the example of the Digital Hydraulic Power Management System with the tool UPPAAL. Statistical Model Checking sidesteps the state space explosion problem, and this paper contains a practical example of using UPPAAL-SMC to visualize results efficiently. Experiences with UPPAAL-SMC are also discussed.
Design of Power-Efficient Digital Circuits Using Gate-Diffusion Input (GDI) Technique in CMOS Process

-in this paper Gate diffusion input (GDI) technique of Low-power digital circuit design is described and verified in 0. 18µm CMOS process. This technique permits reducing power consumption, propagation delay, and area of digital circuits of logic design. Performance comparison with traditional CMOS and pass-transistor logic design techniques is presented. These methods are compared with respect to the layout area, number of devices and power dissipation. Basic logic Gates have been implemented in various design styles. Their properties are discussed, simulation results are reported.
Refined aircraft segmentation in SAR images using shape prior

Target segmentation is the basic work of the synthetic aperture radar (SAR) image interpretation. As for aircraft, it is difficult to accurately extract the target from the background due to its complex structure. This paper proposes a refined segmentation method for aircraft target, in which the ratio of exponentially weighted averages (ROEWA) operator is used to produce the edge map and the shape prior is utilized by the point distribution model (PDM). The Catmull-Rom (CR) spline is used to build shape samples. Combining the shape prior and the gradient vector flow (GVF) snake model, the refined segmentation of the aircraft is achieved. The experimental results based on Ku-band airborne SAR data illustrate the effective performance of the proposed method on refined segmentation for aircraft targets.
Design of a low permanent magnet mass hybrid excited flux switching machine for a PHEV application

This paper presents an optimized design of a Hybrid-Excited Flux-Switching machine (HEFSM) with a very low quantity of permanent magnet (PM) for a Plug-in Hybrid Electric Vehicle (PHEV) traction application. The design examined is the result of an evolutionary optimization algorithm. The adopted solution needs only 650g of PMs to reach a maximum power of 80kW over a wide speed range (2,600 to 12,000rpm) and a peak torque of 233Nm at 2,605rpm. The contribution of the field excitation coils is appraised, particularly on the back-emf, the mean torque and the core loss levels. The global performances of the machine are presented through efficiency and losses maps and the contribution of the PMs is also discussed.
Robots have needs too

Human preferences of distance (proxemics) to a robot significantly impact the performance of the robot's automated speech and gesture recognition during face-to-face, social human-robot interactions. This work investigated how people respond to a sociable robot based on its performance at different locations. We performed an experiment in which the robot's ability to understand social signals was artificially attenuated by distance. Participants (N = 180) instructed the robot using speech and pointing gestures, provided proxemic preferences before and after the interaction, and responded to a questionnaire. Our analysis of questionnaire responses revealed that robot performance factors---rather than human-robot proxemics---are significant predictors of user evaluations of robot competence, anthropomorphism, engagement, likability, and technology adoption. Our behavioral analysis suggests that human proxemic preferences change over time as users interact with and come to understand the needs of the robot, and those changes improve robot performance.
The roles and practices of business analysts: a boundary practice perspective

To develop a better understanding of the practice of business and systems analysis, we adopted the boundary practice lens to view business analysis as a boundary practice between users and IT staff. This paper presents findings from an interpretive case study of a group of business analysts working within a large public sector university. We find that business analysts are largely expected to ‘protect’ the users and IT staff from each other. The business analysts’ location in the organisation structure and previous work experience in business or IT is likely to influence (a) the focus of their work (b) the closeness and trust developed with users and IT staff and (c) their legitimacy in spanning users and IT staff. To be able to bring about agreed requirements specifications that are both technically possible to realise and can be delivered at an acceptable cost, but also will result in a system that is suitable for the business purpose and easy to use, business analysts need to negotiate a middle path between users and IT staff. Because business analysts need to work effectively with IT and the business and move easily between the respective cultures, learning outcomes in the education of BAs need to emphasise (a) dealing with social and political context of both business requirements and technical/economic feasibility and (b) using distinct skills, knowledge, tools, and techniques in dealing with users and IT.
An effective method to analyze variations of high-dimensional patterns over medical streams

In medical field, patterns over time-varied data streams usually imply high domain value. The variations of patterns can often be very complex and hard to evaluate. Traditional methods usually take each pattern as a whole to analyze data stream variations or only focus on one type of variation; however, few works have achieved a widely applicable resolution. This paper considers the feature of sub parts for data stream patterns and studies their variations and relationships from the perspective of multiple dimensions, to explore a comprehensive understanding for the variation history and effectively support different types of queries to help analyze the variations. This paper first decomposes patterns into different dimensions and then evaluates the variations of each dimension. After that, a data cube called VS-Cube is used to find out the variations of a single dimension as well as the relationships between different dimensions within a certain pattern. At last, a case study on disease MI over medical stream is given to demonstrate the effectiveness and efficiency of our proposed methods.
Sketch 2 Real A new photoediting tool for digital alchemy

Sketch2Real is a system for inserting new objects into existing photograph by simply drawing the sketches of the objects on the photograph. The idea is to free the user from searching through a large number of objects to find a potential object to be inserted into the photograph. Our system provides an interface to select an image to modify and tools to draw a sketch on the image. The user is allowed to draw sketch of objects and the system recognizes the sketch as belonging to a particular object category. It retrieves a few best matching object images based on the shape by searching into the object database for that category. The retrieved objects are then filtered based on the illumination with respect to the background image; the resulting objects are seamlessly blended in the photograph thus making photos more interesting. We compare different algorithms used for shape matching and two different object databases for finding the potential objects.
EVS 27 Barcelona , Spain , November 17-20 , 2013 Comparison of Braking Performance by Electro-Hydraulic ABS and Motor Torque Control for In-wheel Electric Vehicle

In this study, a slip control algorithm using motor torque control during the braking of the in-wheel electric vehicle was proposed and an anti-lock brake system (ABS) simulator was developed on the basis of the test results for electro-hydraulic ABS. The slip control algorithm using motor torque control limits the in-wheel motor torque according to road friction coefficient and slip ratio while the ABS prevents locking of the wheel by lowering or raising the brake pressure through solenoid valve control. A MATLAB/Simulink model and a CarSim vehicle model were developed, and the motor torque control and ABS simulator were applied to the MATLAB/Simulink-CarSim co-simulator and compared braking performance.
Highly compressible solid-state supercapacitor with folded paper-based electrode

In this paper, we present a novel compressible solid-state supercapacitor with PVA/H3PO4 solid-state electrolyte and folded carbon-nanotube (CNT)/paper electrode. In this structure, both of the compression tolerance of folding structure and the strain capability of CNT film contribute to achieve high compression-tolerant abilities of the electrode, which can be widely used in various environments. This solid-state supercapacitor has achieved the specific capacitance to 11.07 mF/cm2, and capacitance retention retains more than 90% after 100 cycling tests. In addition, the performance of this supercapacitor is very stable even when it is compressed under 50% strain, which enlightens a broad field of compressible energy storage devices to be compatible with high compression-tolerant electronics and flexible self-powered systems.
Correlation Between the Overactive Bladder Questionnaire (OAB-q) and Urodynamic Data of Parkinson Disease Patients Affected by Neurogenic Detrusor Overactivity During Antimuscarinic Treatment

Introduction: Parkinson disease (PD) patients present urinary symptoms during the course of the disease, very often suggestive of overactive bladder and sustained by neurogenic detrusor overactivity. These symptoms cause a severe lowering of quality of life determining social withdrawal and they need to be early diagnosed to restore social interaction and prevent urinary tract complications. Today overactive bladder diagnosis is easier, thanks to the availability of new investigative tools, particularly voiding questionnaires. The aim of the present study was to evaluate the reliability of the Overactive Bladder screener (OAB screener/OAB-questionnaire), a new voiding questionnaire specifically developed for the overactive bladder diagnosis in PD subjects suffering from overactive bladder symptoms. Clinical data obtained by the questionnaire were compared with urodynamic outcomes, at basal conditions and after antimuscarinic treatment, to better explorate the questionnaire reliability. Materials and Methods: Forty PD patients have been enrolled in the protocol, and submitted to the OAB screener, voiding diary and urodynamic investigation before and after antimuscarinic treatment. OAB-score and urodynamic parameters were statistically analyzed and compared. Results: The OAB-q well correlated with voiding diary and urodynamic data of Parkinson subjects either at baseline or after the antimuscarinic treatment. The study suggests that this clinical tool might be used for neurogenic overactive bladder diagnosis and that it seems to be a useful outcome measure for treatments of neurogenic OAB.
Using criticality to attack performance bottlenecks

We observe that the challenges software optimizers and microarchitects face every day boil down to a single problem: bottleneck analysis. A bottleneck is any event or resource that contributes to execution time, such as a critical cache miss or window stall. Tasks such as tuning processors for energy efficiency and finding the right loads to prefetch all require measuring the performance costs of bottlenecks. In the past, simple event counts were enough to find the important bottlenecks. Today, the parallelism of modern processors makes such analysis much more difficult, rendering traditional performance counters less useful. If two microarchitectural events (such as a fetch stall and a cache miss) occur in the same cycle, which event should we blame for the cycle? What cost should we assign to each event? In this work, we propose a new way of thinking about performance that employs a global view of program execution to determine the criticality of program events. With the new-found understanding that a rigorous notion of criticality provides, we can correctly identify which events are bottlenecks, something that is not generally possible with event counts alone. Our work goes even further, however. We can also quantify how much a particular bottleneck costs to execution time, how much slack a non-bottleneck event has, as well as how the cost and slack of multiple events interact with each other. This thesis makes the following key contributions: (1) Fundamental metrics. We have gleaned from the seemingly diverse space of performance-related problems a few fundamental requirements of a performance analysis methodology for modern machines: measuring and interpreting cost, slack, and interactions. (2) Modeling. We have shown how to construct dependence-graph models capable of representing the critical path of modern, parallel machines. (3) Measuring. We have developed software algorithms for efficiently computing the cost, slack, and interactions for large numbers of micro-operations. (4) Interpreting. We have characterized the types of interactions that are possible and shown how they can be exploited in design and optimizations. (5) Hardware Support. We have developed inexpensive hardware capable of measuring criticality online and proposed a profiling infrastructure (enhancing performance counters) that enables measuring of the more sophisticated cost, slack, and interaction metrics for real program executing on real machines. (6) Case Studies. We have illustrated through case studies how our performance analysis technology can tackle some of the problems that face architects and optimizers. While this thesis focuses on microprocessors, many of the techniques are applicable to parallel systems in general. To illustrate the generality, we briefly illustrate how to model a chip multiprocessor using our dependence-graph abstraction. Once the graph is constructed, all of the criticality metrics discussed throughout the thesis can be measured and interpreted.
EFFICIENT AUTHENTICATION METHOD USING SCORE LEVEL FUSION AND PARTICLE SWARM OPTIMIZATION ( PSO ) OF MULTIMODAL BIOMETRICS

A multimodal biometric system aims at combined information from various single modality systems. In this paper various normalization and fusion techniques are examined by using the three modalities namely fingerprint, retina and ear. The performance of score level fusion preceded by the different normalization schemes show the improved recognition rates compared to the fusion of original scores. The results are experimentally verified and the performance graphs are plotted. Keywords— Multimodal biometrics, score level fusion, authentication, normalization.
50 nm thick AlN resonant micro-cantilever for gas sensing application

We present the fabrication and characterization of a 90µm × 40µm × 885nm piezoelectric micro-cantilever resonator containing a 50nm thick Aluminum Nitride (AlN) piezoelectric film for transduction. Material characterizations demonstrate that our AlN deposition technique enables the fabrication of ultra-thin films with high piezoelectric coefficient e<inf>31</inf> = 0.78C. m<sup>−2</sup>. Fully electrical actuation and detection of the cantilever resonance behavior is evidenced using onchip electric bridge and instrumented probe trans-impedance amplifier. Finally, based on Allan deviation measurement results, we demonstrate the potential of this cantilever for gas detection with an expected limit of detection equal to 70zg. µm<sup>−2</sup>
Scapular orientation in theropods and basal birds, and the origin of flapping flight

Basal birds such as Archaeopteryx and Confuciusornis are typically portrayed as flapping fliers. However, here I show that shoulder joint orientation in these animals prevented elevation of the humerus above the dorsum, thereby preventing use of the recovery stroke, an important part of flapping flight. In members of the clade Ornithothoraces, which includes extant birds and the extinct avian clade Enantiornithes, the shoulder joint is reoriented to permit elevation of the humerus above the dorsum, permitting flapping flight. Although basal birds may have glided, flapping flight began significantly later in avian evolution than has been thought.
Seven-month-olds ' Discrimination of Statements and Questions

Distinguishing between statements and questions is an important ability for language learners. In English and many other languages, questions generally involve syntactic structures and word order patterns that are different from statements. For example, in English, questions often begin with whwords (e.g. who, what, where, etc.) and auxiliary verbs switch positions with subjects (compare I see Jim with Who do I see? ). Distinguishing statements and questions is thus critical for learning the grammatical properties of the two sentence types. More broadly, the ability of learners to distinguish utterance types is required and assumed by many acquisition theories in which grammatical analyses are first carried out on canonical structures, such as simple transitive, declarative sentences (Pinker, 1984). Since questions and statements each account for a substantial portion of infant and child directed speech (44% and 30% respectively; Newport, 1977), learners’ ability to differentiate utterance types in their input is critical for analyzing the majority of utterances in the appropriate way. Yet, although many language acquisition theories assume that learners can differentiate these sentence types in the early stages of syntax acquisition, there is little evidence of how and when they do so. One potential source of sentence type information is prosodic information. In English and many other languages, there is evidence that adult listeners rely on pitch information as an important perceptual cue for distinguishing statements and questions. For example, although Russian has whwords, sentences often do not include lexical or syntactic/grammatical indicators of sentence type (Makarova, 2007). Russian has relatively free word order and no auxiliary verbs (Rojina, 2004) so listeners rely on pitch peak alignment rather than lexical cues to perceive distinctions between statements and yes/no questions (Makarova, 2007; Svetozarova, 1998). Statements and exclamations have earlier peaks than questions. There is also an effect of pitch peak height, where questions have higher pitch peaks than statements. In languages like English (Cruttenden, 1986, Lieberman, 1967) and French (Vion & Colas, 2006), which do use lexical markings (e.g. auxiliary verbs) to distinguish sentence types, the final pitch contour is a critical region in the utterance for perceiving distinctions between questions and statements. Săfárŏvá and Swerts (2004)
Higher order statistics based Direction of Arrival estimation with single Acoustic Vector Sensor in the under-determined case

Acoustic Vector Sensors (AVS) measure acoustic pressure as well as the acoustic particle velocity to estimate the acoustic intensity. The acoustic intensity, which is a vector quantity, represents the magnitude and direction of the active or propagating part of an acoustic field thus indicating the Direction of Arrival (DOA) of a received signal. This paper concerns with the feasibility of DOA estimation with a single acoustic vector sensor in the under-determined case where the number of sources are more than the number of sensors. It is proposed to use higher order statistics (cumulants) to increase the number of uniquely identifiable sources using a single vector sensor. The use of higher order statistics allows the increase in the dimension of the array steering matrix thereby resulting in increase of uniquely identifiable sources. The details of the proposed algorithm along with the number of sources which can be uniquely indentified are presented in this paper. It has been observed that a single AVS using fourth order statistics is capable of uniquely identifying eight sources with not more than four sources in a single plane. The number of sources can be increased by working with further higher order statistics of the order of 2q (for q ≥ 2). All the results of the proposed algorithm have been verified through suitable simulations.