Miracle-dz/UniFAR-FTUs huggingface dataset:
On minimal disjoint degenerations for preprojective representations of quivers

We derive a root test for degenerations as described in the title. In the case of Dynkin quivers this leads to a conceptual proof of the fact that the codimension of a minimal disjoint degeneration is always one. For Euclidean quivers, it enables us to show a periodic behaviour. This reduces the classification of all these degenerations to a finite problem that we have solved with the aid of a computer. It turns out that the codimensions are bounded by two. Somewhat surprisingly, the regular and preinjective modules play an essential role in our proofs.
A Detection Algorithm for Yellow Traffic Signs in Natural Scenes

According to the color and geometric properties of traffic signs in China, an efficient algorithm of the segmentation and detection of yellow traffic signs in natural scenes is proposed in this paper. Firstly, the image segmentation algorithm based on RGB model is improved and applied on segmenting yellow traffic signs in natural scenes. Then, the detection algorithm based on the shape of the traffic sign is used to locate yellow traffic sign. The basis of the detection algorithm is to calculate component differences of the horizontal and vertical projection. The experimental results demonstrate that this efficient algorithm can achieve better identify results for yellow traffic signs in natural scenes, and it is robust and has broad applicability.
Spatial-Temporal Distortion Metrics for Video

Accurate objective quality metrics are of great potential benefit to the video industry, as they promise the means to evaluate the performance of acquisition, display, coding and communication systems. Many researchers have focused on developing digital video quality metrics which produce results that accurately emulate subjective responses. However, to be widely applicable a metric must also work over a wide range of quality, and be useful for in-service quality monitoring. We have developed novel spatial-temporal distortion metrics for video sequences. This metric is capable of capturing spatial distortions in video sequences, in addition to temporal artifacts. And it can quantify the spatial distortion and differentiate the type of distortion. Furthermore the metric correlate well with subjective quality measures because perception distortions of human were took account of. Results are presented that demonstrate our perceptual quality metric performs better than existing methods
A NEW SINGLE-ROLLER BURNISHING TECHNIQUE DECREASING ROUGHNESS OBTAINED

This article presents outcomes from comprehensive study of a new single-roller burnishing technique of external cylindrical surfaces, directed to achieving smaller roughness of workpieces made of low alloyed constructional steel. The method differs from the conventional roller burnishing because it is performed in conditions of tangential and axial skid between the deforming roller having toroidal operating surface and the workpiece being burnished. This positive effect for roughness has been achieved by a single-roller burnishing device, allowing crossing of the roller and the burnished workpiece axes, as well as adjusting the
Comparison of the Proseal LMA and intersurgical I-gel during gynecological laparoscopy

Background The relatively recently developed I-gel (Intersurgical Ltd., Workingham, England) is a supraglottic airway device designed for single-use that, unlike conventional LMAs, does not require an inflatable cuff. In addition, the I-gel, much like the Proseal LMA (PLMA), has a gastric drainage tube associated with an upper tube for decompression of the stomach, thereby avoiding acid reflux and decreasing the risk of pulmonary absorption. The purpose of this study was to compare PLMA and I-gel devices in patients undergoing gynecological laparoscopy based on sealing pressure before and during pneumoperitoneum, insertion time, and gas exchange. Methods Following Institutional Review Board approval and written informed consent, 30 adult patients were randomly allocated to one of two groups (the PLMA or I-gel group). In each case, insertion time and number of attempts were recorded. After successful insertion, airway leak pressure was measured. Results Successful insertion and mechanical ventilation with both supraglottic airway devices was achieved on the first attempt in all 30 patients, and there were no significant differences with respect to insertion time. Likewise, leak pressure did not vary significantly either between or within groups after CO2 insufflation. In addition, differences between leak volume and leak fraction between groups were not significant. Conclusions The results of our study indicate that the I-gel is a reasonable alternative to the PLMA for controlled ventilation during laparoscopic gynecologic surgery.
Delivering Customer-Oriented Behaviour through Empowerment: An Empirical Test of HRM Assumptions

Organizational initiatives to strengthen customer orientation among front‐line service workers abound, and have led many commentators to speak of the reconstitution of service work. These interventions rest on managers’ assumptions about what engenders the desired customer‐oriented behaviours among employees. We evaluate those assumptions in the context of a major change initiative in a supermarket firm. The logic of the programme mirrors key precepts in the contemporary management literature. These are that management behaviour, job design and values‐based training can produce a sense of empowerment among employees, and that empowerment will generate prosocial customer‐oriented behaviour. Using data from a large scale employee survey, we test the validity of those assumptions. Employees who perceived management behaviour in a positive light and who had participated in values‐based training were more likely to feel empowered (i.e. to have internalized prosocial service values and to feel a sense of competence and autonomy on the job). Psychological empowerment was, in turn, positively related to the customer‐oriented behaviour of workers. This study, therefore, provides support for key assumptions underlying HRM theory and practice in services.
Dense 3D Reconstruction from Severely Blurred Images Using a Single Moving Camera

Motion blur frequently occurs in dense 3D reconstruction using a single moving camera, and it degrades the quality of the 3D reconstruction. To handle motion blur caused by rapid camera shakes, we propose a blur-aware depth reconstruction method, which utilizes a pixel correspondence that is obtained by considering the effect of motion blur. Motion blur is dependent on 3D geometry, thus parameter zing blurred appearance of images with scene depth given camera motion is possible and a depth map can be accurately estimated from the blur-considered pixel correspondence. The estimated depth is then converted into pixel-wise blur kernels, and non-uniform motion blur is easily removed with low computational cost. The obtained blur kernel is depth-dependent, thus it effectively addresses scene-depth variation, which is a challenging problem in conventional non-uniform deblurring methods.
Pacific Journal of Mathematics Topological Dynamics on Moduli Spaces, I

Let M be a one-holed torus with boundary @M (a circle) and ? the mapping class group of M xing @M. The group ? acts on M C (SU(2)) which is the space of SU(2)-gauge equivalence classes of at SU(2)-connections on M with xed ho-lonomy on @M. We study the topological dynamics of the ? -action and give conditions for the individual ? -orbits to be dense in M C (SU(2)).
Dynamic Network-Based Epistasis Analysis: Boolean Examples

In this article we focus on how the hierarchical and single-path assumptions of epistasis analysis can bias the inference of gene regulatory networks. Here we emphasize the critical importance of dynamic analyses, and specifically illustrate the use of Boolean network models. Epistasis in a broad sense refers to gene interactions, however, as originally proposed by Bateson, epistasis is defined as the blocking of a particular allelic effect due to the effect of another allele at a different locus (herein, classical epistasis). Classical epistasis analysis has proven powerful and useful, allowing researchers to infer and assign directionality to gene interactions. As larger data sets are becoming available, the analysis of classical epistasis is being complemented with computer science tools and system biology approaches. We show that when the hierarchical and single-path assumptions are not met in classical epistasis analysis, the access to relevant information and the correct inference of gene interaction topologies is hindered, and it becomes necessary to consider the temporal dynamics of gene interactions. The use of dynamical networks can overcome these limitations. We particularly focus on the use of Boolean networks that, like classical epistasis analysis, relies on logical formalisms, and hence can complement classical epistasis analysis and relax its assumptions. We develop a couple of theoretical examples and analyze them from a dynamic Boolean network model perspective. Boolean networks could help to guide additional experiments and discern among alternative regulatory schemes that would be impossible or difficult to infer without the elimination of these assumption from the classical epistasis analysis. We also use examples from the literature to show how a Boolean network-based approach has resolved ambiguities and guided epistasis analysis. Our article complements previous accounts, not only by focusing on the implications of the hierarchical and single-path assumption, but also by demonstrating the importance of considering temporal dynamics, and specifically introducing the usefulness of Boolean network models and also reviewing some key properties of network approaches.
Web Document Classification: Managing Context Change

This paper focuses on the information management systems of the dynamic World Wide Web. Many individual web pages, such as news portals, provide periodic information and public announcements from various organizations. Pushing methods include semantic web methods or RSS (Really Simple Syndication), which is one of the related approaches to monitoring this type of information. Information filtering and classification of collected information are integral to information management systems because people have to locate and archive for the future, as well as for the present. One of the major problems in applying the current information filtering or classification approaches to this dynamic information is that the classification or filtering of knowledge is not static, so the system must be able to manage the change of knowledge in real time. Previous studies have proven that while the current approaches can handle presampled information very well, the maintenance issue is not well addressed. i-Web has been developed to locate the new information from the target (registered) Web sites and Multiple Classification Ripple Down Rules, the knowledge acquisition method, is applied to maintain the information classification knowledge in this system. The MCRDR-based document classification enables domain users to elicit their domain knowledge incrementally and revise their knowledge base (KB). They may then reclassify documents according to context changes. Our experiment results show the MCRDR document classifier performs these tasks successfully in the real world.
Channels With Cooperation Links That May Be Absent

It is well known that cooperation between users in a communication network can lead to significant performance gains. A common assumption in past works is that all the users are aware of the resources available for cooperation, and know exactly to what extent these resources can be used. Unfortunately, in many modern communication networks, the availability of cooperation links cannot be guaranteed a priori, due to the dynamic nature of the network. In this paper, a family of models is suggested where the cooperation links may or may not be present. Coding schemes are devised that exploit the cooperation links if they are present, and can still operate (although at reduced rates) if cooperation is not possible.
Automated in-plane OCT-probe positioning towards repetitive optical biopsies

This paper proposes the design of a vision-guided control law for microrobotic-assisted biomedical applications. More precisely, the developed control law is to servo an optical coherence tomography (OCT) system in real-time to carry out repetitive optical biopsy tasks. The OCT images are simultaneously used to perform the optical biopsy and to control the sample holder (microrobotic work-flow). Instead of extracting visual features from the OCT images, the vision-based controller uses the concept of frequency domain information to compute relative motion between two successive OCT B-scan (cross-section) images. Therefore, the visual controller is designed to minimize the error between current and desired images by controlling the microrobotic platform. The proposed approach was experimentally validated, demonstrating more than satisfactory results especially in terms of accuracy, convergence, and robustness.
Automatic Calibration for a Robot Navigation System 1

This paper attacks the problem of automatic calibration of a mobile robot in an indoor environment. The problem is that the robot must locate itself accurately with respect to given landmarks, before it starts to navigate. In this paper, we examine the problem in a special case, where the ground plane is assumed to be horizontal and there are two locally parallel sidelines available. This assumption holds in many indoor environments, such as hallways, where the system's success has been demonstrated. The algorithm uses geometric features such as vanishing points and line orientations. Both theoretical analysis and experimental results show that this algorithm works very robustly and accurately.
Synthesis of Ball-Like Ag Nanorod Aggregates for Surface-Enhanced Raman Scattering and Catalytic Reduction

In this work, ball-like Ag nanorod aggregates have been synthesized via a simple seed-mediated method. These Ag mesostructures were characterized by scanning electron microscope (SEM), transmission electron microscopy (TEM), ultraviolet-visible spectroscopy (UV-Vis), and X-ray diffraction (XRD). Adding a certain amount of polyvinyl pyrrolidone (PVP) can prolong its coagulation time. These Ag nanorod aggregates exhibit effective SERS effect, evaluated by Rhodamine 6G (R6G) and doxorubicin (DOX) as probe molecules. The limit of detection (LOD) for R6G and DOX are as low as 5 × 10−9 M and 5 × 10−6 M, respectively. Moreover, these Ag nanorod aggregates were found to be potential catalysts for the reduction of 4-nitrophenol (4-NP) in the presence of NaBH4.
DETECTION AND ANALISYS OF TRANSIENTS IN ELECTRICAL NETWORKS BASED ON A MULTIRESOLUTION SCHEME

The use of the wavelet theory and multiresolution analysis allows to design algorithms to localize transients in electrical networks. Perturbations caused by capacitors switching are the source of the studied waveform. These signals were provided by the voltage measurements on capacitor buses to correct the power factor. Multiresolution analysis allows to identify the transient parameters that have influence on the perturbation characteristics. Other events like dips, sags, swells and impulsive transients can be located by means of the same tool.
Non-linear observation equation for motion estimation

The paper addresses the estimation of motion on an image sequence by data assimilation methods. The core of the study concerns the definition of the data term, or observation equation, that links images to the underlying motion field. In the image processing literature, the optical flow equation is usually chosen to characterize these links. It expresses the Lagrangian constancy of grey level values in time. However, this optical flow equation is obtained by linearization and is no more valid in case of large displacements. The paper discusses the improvement obtained with the original non-linear transport equation of the image brightness by the velocity field. A 4D-Var data assimilation method is applied that solves the evolution equation of motion and the observation equation in its non-linear and linear forms. The comparison of results obtained with both observation equations is quantified on synthetic data and discussed on oceanographic Sea Surface Temperature images.
A wideband CMOS VGLNA based on single-to-differential stage and resistive attenuator for TV tuners

A wideband CMOS variable gain low noise amplifier (VGLNA) based on a single-to-differential (S2D) stage and resistive attenuator is presented for TV tuner applications. Detailed analysis of input matching, noise figure (NF) and linearity for S2D is given. A highly linear passive resistive attenuator is proposed to provide 6 dB attenuation and input matching for each gain stage. The chip was fabricated by a 0.18 μm 1P6M CMOS process, and the measurements show that the VGLNA covers a gain range over 36.4 dB and achieves a maximum gain of 21.3 dB, a minimum NF of 3.0 dB, an IIP3 of 0.9 dBm and an IIP2 of 26.3 dBm at high gain mode with a power consumption less than 10 mA from a 1.8 V supply.
Smart telecare video monitoring for anomalous event detection

Behavior determination and multiple object tracking for video surveillance are two of the most active fields of machine vision. We describe our system, which we are developing for applications in tele-assistance for the elderly, as an early warning monitor for anomalous events. Our system is based upon the computer vision library OpenCV. In this article we describe the algorithms we have developed for tracking multiple people in indoor environments. We also describe a simple histogram based algorithm for discriminating arm movements and body positions.
The Phenomenon of impulse buying

For many people, impulsiveness can be intuitive by nature. Impulsiveness can be related to their personality, low-inhibitions, external factors or all of the above. To an extent, this can be common and not harmful, but there comes a point when the individual has lost control of his or her impulsive behaviors. This is visible in common realms such as shopping. Rook (1987) indicated that over the past 35 years, research has shown that impulse buying existed across numerous consumer markets.
A new method for the determination of the locking range of oscillators

A time-domain method for the determination of the injection-locking range of oscillators is presented. The method involves three time dimensions: the first and the second are warped time scales used for the free-running frequency and the external excitation, respectively and the third is to account for slow transients to reach a steady-state regime. The locking range is determined by tuning the frequency of the external excitation until the oscillator locks. The locking condition is determined by analyzing the Jacobian matrix of the system. The method is advantageous in that the computational effort is independent of the presence of widely separated time constants in the oscillator. Numerical results for a Van Der Pol oscillator are presented.
Formation and evolution of compact binaries in globular clusters – II. Binaries with neutron stars

In this paper, the second of a series, we study the stellar dynamical and evolutionary processes leading to the formation of compact binaries containing neutron stars (NSs) in dense globular clusters. For this study, 70 dense clusters were simulated independently, with a total stellar mass ∼2 × 10 7 M� , exceeding the total mass of all dense globular clusters in our Galaxy. We find that, in order to reproduce the empirically derived formation rate of low-mass X-ray binaries (LMXBs), we must assume that NSs can be formed via electron-capture supernovae with typical natal kicks smaller than in core-collapse supernovae. Our results explain the observed dependence of the number of LMXBs on ‘collision number’ as well as the large scatter observed between different globular clusters. We predict that the number of quiescent LMXBs in different clusters should not have a strong metallicity dependence. We compare the results obtained from our simulations with the observed population of millisecond pulsars (MSPs). We find that in our cluster model the following mass-gaining events create populations of MSPs that do not match the observations (either they are inconsistent with the observed LMXB production rates, or the inferred binary periods or companion masses are not observed among radio bMSPs): (i) accretion during a common-envelope event with a NS formed through electron-capture supernovae (ECSNe), and (ii) mass transfer (MT) from a white dwarf donor. Some processes lead only to a mild recycling ‐ physical collisions or MT in a post-accretion-induced collapse system. In addition, for MSPs, we distinguish low magnetic field (long-lived) and high magnetic field (short-lived) populations, where in the latter NSs are formed as a result of accretion-induced collapse or merger-induced collapse. With this distinction and by considering only those mass-gaining events that appear to lead to NS recycling, we obtain good agreement of our models with the numbers and characteristics of observed MSPs in 47 Tuc and Terzan 5, as well as with the cumulative statistics for MSPs detected in globular clusters of different dynamical properties. We find that significant production of merging double NSs potentially detectable as short γ -ray bursts occurs only in very dense, most likely core-collapsed clusters.
Stratified Outsourcing Theory

The terminology of sourcing, outsourcing and insourcing is developed in detail on the basis of the preliminary definitions of outsourcing and insourcing and related activities and competences as given in our three previous papers on business mereology, on the concept of a sourcement, and on outsourcing competence respectively. Besides providing more a detailed semantic analysis we will introduce, explain, and illustrate a number of additional concepts including: principal unit of a sourcement, theme of a sourcement, current sourcement, (un)stable sourcement, and sourcement transformation. A three level terminology is designed: (i) factual level: operational facts that hold for sourcements including histories thereof, (ii) business level: roles and objectives of various parts of the factual level description, thus explaining each partner’s business process and business objectives, (iii) contract level: specification of intended facts and intended business models as found at the business level. Orthogonal to these three conceptual levels, are four temporal aspects: history, now (actuality), transformation, and transition. A detailed description of the well-known range of sourcement transformations is given.
The (in)security of Topology Discovery in Software Defined Networks

Topology Discovery is an essential service in Software Defined Networks (SDN). Most SDN controllers use a de-facto standard topology discovery mechanism based on Open-Flow to identify active links in the network. This paper discusses the security, or rather lack thereof, of the current SDN topology discovery mechanism, and its vulnerability to link spoofing attacks. The feasibility and impact of the attacks are verified and demonstrated via experiments. The paper presents and evaluates a countermeasure based on HMAC authentication.