Miracle-dz/UniFAR-FTUs huggingface dataset:
An Unconstrained $\ell_q$ Minimization with $0q\leq1$ for Sparse Solution of Underdetermined Linear Systems

We study an unconstrained version of the $\ell_q$ minimization for the sparse solution of underdetermined linear systems for $0<q\leq1$. Although the minimization is nonconvex when $q<1$, we introduce a regularization and develop an iterative algorithm. We show that the iterative algorithm converges and that the iterative solutions converge to the sparse solution under some additional assumptions on underdetermined linear systems. Numerical experiments are presented to demonstrate the effectiveness of our approach.
Delay‐dependent robust stability for stochastic time‐delay systems with polytopic uncertainties

This paper considers a delay‐dependent and parameter‐dependent robust stability criterion for stochastic time‐delay systems with polytopic uncertainties. The delay‐dependent robust stability criterion, as expressed in terms of linear matrix inequalities (LMIs), is obtained by using parameter‐dependent Lyapunov functions. It is shown that the result derived by a parameter‐dependent Lyapunov functional is less conservative. Numerical examples are provided to illustrate the effectiveness of the proposed method. Copyright © 2008 John Wiley & Sons, Ltd.
Level Set Image Segmentation Method Based on Prior Shape Knowledge

A shape-prior based on image segmentation method was proposed to approach the defect of the current level set method in segmenting the subject with strong noise and weak boundary.By using level set method,this model combines region and boundary information together and selects the optimal prior shape by Similarity Matching.The model displays its advantages in the segmentation of complicated image with strong noise and weak boundary,and in the efficiency to solve the problems of confirming the primary contour of curve evolution.Compared with traditional way,the experiment proves that this approach contributes better segmenting effect and improved accuracy.
Human Readable Feature Generation for Natural Language Corpora

This paper proposes an alternative to the Paragraph Vector algorithm, generating fixed-length vectors of human-readable features for natural language corpora. It extends word2vec retaining its other advantages like speed and accuracy, hence its proposed name is doc2feat. Extracted features are presented as lists of words with their proximity to the particular feature, allowing interpretation and manual annotation. By parameter tuning focus can be made on grammatical aspects of the corpus language, making it useful for linguistic applications. The algorithm can run on variable-length pieces of texts, and provides insight into what features are relevant for text classification or sentiment analysis. The corpus does not have to, and in specific cases should not be, preprocessed with stemming or stop-words removal.
Generating Web Applications Using CodeWorker

Generative programming as a discipline of Automatic programming uses different approaches and tools in building of generators and associated applications. CodeWorker enables possibility to define program specification by using Extended BNF notation. This approach was described in the paper and compared to some others, including Open Promol, XVCL, GenVoca and SCT. An example of Web application was given showing the advantages and drawbacks of this approach in building of Web applications.
On Generalizations of Prime Ideals (II)

Let R be a commutative ring with identity. We say that a proper ideal P of R is (n − 1, n)-weakly prime (n ≥ 2) if 0 ≠ a 1…a n ∈ P implies a 1…a i−1 a i+1…a n ∈ P for some i ∈ {1,…, n}, where a 1,…, a n ∈ R. In this article, we study (n − 1, n)-weakly prime ideals. A number of results concerning (n − 1, n)-weakly prime ideals and examples of (n − 1, n)-weakly prime ideals are given. Rings with the property that for a positive integer n such that 2 ≤ n ≤ 5, every proper ideal is (n − 1, n)-weakly prime are characterized. Moreover, it is shown that in some rings, nonzero (n − 1, n)-weakly prime ideals and (n − 1, n)-prime ideals coincide.
Physical Oceanography Of The Baltic Sea

Thank you very much for downloading physical oceanography of the baltic sea. Maybe you have knowledge that, people have look numerous times for their favorite readings like this physical oceanography of the baltic sea, but end up in infectious downloads. Rather than enjoying a good book with a cup of tea in the afternoon, instead they juggled with some harmful virus inside their desktop computer. physical oceanography of the baltic sea is available in our digital library an online access to it is set as public so you can get it instantly. Our book servers saves in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Merely said, the physical oceanography of the baltic sea is universally compatible with any devices to read.
Search Engine Results Comparison for Result Filtering

Search Engines are a highly complex mixture of technologies and business motives. Behind this complexity incentives to engineer the results for business motives or otherwise are sometimes made. One claim is that Google results are directed towards user search history or identity. Search results bubble towards user preferences. While the claim of another search engine DuckDuckGo is that user identity is not used to engineer search results. In this report two search engine results are compared DuckDuckGo and Google in a two way Google Signed In / Out configuration. A new Google account is opened and a profile is built for this Signed In account with three specific search terms over a six week period. An automated web browser is then used to gather data for three configurations of - Google Signed In, Google Signed Out and Duckduckgo. The first thirty URL returns of each Search Term for each Search Engine configuration are then categorised using the Web Service Similarsites.com. The returned categories are then evaluated for filtering. Findings suggest Google Search has a difference between a Signed In and Signed Out Search. Divergence is stronger depending on the particular topic - a filter bubble indication. The exercise has the limitation of reliance on similarsites.com integrity, a small time frame for analysis.
Exemplifying the theory of evidence in remote sensing image classification

This article introduces the mathematical theory of evidence in classifying remote sensing images. Its main intent is to introduce the less familiar concepts of belief functions in image classification. The belief function can be considered as a generalisation of the classical Bayes probability function that includes, however, a way to assess the strength of evidence. To illustrate the theory of evidence, seven examples are given.
Fitting the Generalized Lambda Distribution with Location and Scale-Free Shape Functionals

Synoptic Abstract The generahzed lambda distribution (gld) is a family of distributions that can take on a very wide range of shapes within one distributional form. We present a fitting method for the gld using location and scale-free shape functionals to fit the shape functions before fitting the location and scale parameters. Such functions provide an alternative to the moments as a “shape-first” approach, with the advantage of being defined for parameter values where moments are infinite. We investigate the performance of the method with a simulation study and illustrate its use to choose parameter values of the gld to approximate other distributions.
The time contour plot: graphical analysis of a film soundtrack

Audio segmentation comprises a set of techniques for analysing the features of audio signals, including motion picture soundtracks. Parsing the structure of film audio allows us to identify scenes and change points, features in the audio envelope (attack, decay, sustain, release), the distribution of sound energy, and the presence of affective events in a soundtrack. Despite the availability of a wide range of software capable of audio analysis (e.g. Python, R, Sonic Visualiser, Audacity, Speech Filing System, Raven Lite, etc.) statistical analyses of cinematic style have yet to apply these methods to the formal analysis of film soundtracks systematically. In this paper I demonstrate the analysis of film sound using the time contour plot of generated by the R package seewave. The time contour plot is a graphical method for visualising the temporal structure of sound energy based on the short-time Fourier transform of a signal and allows analysts to identify interesting features in a film’s soundtrack that warrant further examination and to communicate is a straightforward manner that is easy to comprehend. Applying this method to the soundtrack of Behold the Noose (Jamie Brooks, 2014), a short horror film, I show that the sound energy in the film increases non-linearly in creating of a state of heightened anxiety in the viewer.
Finite-dimensional Lie subalgebras of algebras with continuous inversion

We investigate the nite-dimensional Lie groups whose points are sep- arated by the continuous homomorphisms into groups of invertible elements of locally convex algebras with continuous inversion that satisfy an appropriate completeness con- dition. We nd that these are precisely the linear Lie groups, that is, the Lie groups which can be faithfully represented as matrix groups. Our method relies on proving that certain nite-dimensional Lie subalgebras of algebras with continuous inversion commute modulo the Jacobson radical.
Analysis of Payment Card Industry Data Security Standard [PCI DSS] Compliance by Confluence of COBIT 5 Framework

The Payment Card Industry Data Security Standard (PCI DSS) aims to enhance the security of cardholder data and is required when cardholder data or authentication data are stored, processed or transmitted. The implementation of enabling processes from COBIT 5 can complement compliance to PCI DSS. COBIT 5 assists enterprises in governance and management of enterprise IT and, at the same time, supports the need to meet security requirements with supporting processes and management activit ies. This paper provid es analysis of mapping of COBIT 5 supporting processes to PCI DSS 3.0 security requirements. It also presents domains which support the simultaneous application of COBIT 5 and PCI DSS 3.0 which would help create collaborations within the enterprise.
Spatio-temporal energy measurements in renowned concert halls with a loudspeaker orchestra

Room acoustical parameters are commonly measured as spatial averages from a few source positions to several listening positions. In addition, ISO3382-1:2009 suggests that subjective listener aspect could be predicted with a few parameters at mid frequencies. It is obvious that such recommendation is inadequate to describe all perceptual differences between concert halls or seating positions. Explaining multidimensional subjective impressions is not possibly with a few averaged numbers. In our opinion, to compare accurately between concert halls the measurement positions should be exactly at the same distance from the sources in each hall. And sources should be numerous to represent the typical real source on a wide area --- a symphony orchestra. In this paper, we compare renowned European concert halls with spatio-temporal visualization of sound energy. Measurements at identical distances in halls enable an accurate comparison of sound energy distributions. The analysis of measured spatial impulse responses is performed with spatial decomposition method (SDM). The spatial sound energy distribution is presented as a function of time to visualize the cumulative energy before and after 100 ms.
Intervention for restricted dynamic range and reduced sound tolerance

Hyperacusis is the intolerance to sound levels that normally are judged acceptable to others. The presence of hyperacusis (diagnosed or undiagnosed) can be an important reason that some persons reject their hearing aids. Tinnitus retraining therapy (TRT), originally proposed for the treatment of persons with debilitating tinnitus, offers the significant secondary benefit of increased loudness discomfort levels (LDLs) in many persons. TRT involves both counseling and the daily exposure to soft sound from bilateral noise generator devices (NGs). We implemented a randomized, double‐blind, placebo‐controlled clinical trial to assess the efficacy of TRT as an intervention for reduced sound tolerance in hearing‐aid eligible persons with hyperacusis and/or restricted dynamic ranges. Subjects were assigned to one of four treatment groups: (1) full treatment, both counseling and NGs, (2) counseling with placebo NGs, (3) NGs without counseling, and (4) placebo NGs without counseling. They were evaluated at least monthly, typically for 5 months or more, on a variety of audiometric tests, including LDLs, the contour test for loudness for tones and speech, word recognition measured at each session’s comfortable and loud levels, and on electrophysiological measures. We will present interim results and selected examples of positive treatment effects. [Work supported by NIH R01 DC04678. ]
Toroidal Theory of MHD Instabilities

is explicitly known. For these coordinates, all tangential information on the field lines is lumped into the definition of the coordinates, while the normal behaviour is described by the safety factor q = q(1/J). For separate harmonics, exp i(m{) + n'{)), the parallel gradient operator then simplifies considerably: is known in the relevant portion of the poloidal plane. In practice, this requires a numerical equilibrium program, such as the finite element code HELENA [25].
`Squeezing Time'

The `time squeeze', notions of `rush' and `harried' are popular concerns in contemporary society. This article reports on interviews with 20 suburban households who all suggested that people feel increasingly harried. Respondents were quick to suggest a set of generic narratives to explain the causes of `harriedness', notably that people `work more' and `consume more' - the same explanation offered by prominent academic analyses. However, such explanations did not tally with their `experiences' of harriedness. It is argued that `harriedness' was generated by a felt need to allocate and schedule practices within designated time frames (which created hot spots). This was `necessary' in order to coordinate practices within social networks and to `free-up' other time frames (cold spots) for interaction with significant others. On the one hand, this suggests a rationalized conception of time as subject to personal control. On the other, such individual responses (to schedule and allocate) to the perceived `time squeeze' were responses to a collective problem. In a society where increasingly people feel the need to generate personal schedules, temporal alignment within networks becomes problematic. In attempting to schedule practices, which often required employment of convenience devices and services, respondents reported a growing anxiety that care is compromised by convenience. It was this anxiety that made the `time squeeze' discourse meaningful to respondents.
Meta-Analysis of Experiments With Matched Groups or Repeated Measures Designs

Tests for experiments with matched groups or repeated measures designs use error terms that involve the correlation between the measures as well as the variance of the data. The larger the correlation between the measures, the smaller the error and the larger the test statistic. If an effect size is computed from the test statistic without taking the correlation between the measures into account, effect size will be overestimated . Procedures for computing effect size appropriately from matched groups or repeated measures designs are discussed. The purpose of this article is to address issues that arise when meta-analyses are conducted on experiments with matched groups or repeated measures designs. It should be made clear at the outset that although this article pertains to metaanalyses of experiments with correlated measures, it does not pertain to meta-analyses of correlations. Such experimental designs, often called matched groups designs or designs with repeated measures, we call correlated designs (CDs), and their analysis is decidedly different from that of the independent groups designs (IGDs). The matched groups design in its simplest form occurs when subjects are matched on some variable and then randomly assigned by matched pairs to experimental and control conditions. The correlation for this type of CD is the correlation between experimental and control scores across matched pairs. The second type of CD is the repeated measures design, which in its simplest form tests the same subject under both experimental and control conditions, usually in random or counterbalanced orders to minimize carryover. The correlation of importance here is the correlation that commonly occurs between the repeated measures, and this correlation is often quite high in human research.
An Optimal Algorithm for Monte Carlo Estimation (Extended Abstract).

A typical approach to estimate an unknown quantity p is to design an experiment that produces a random variable Z distributed in [0,1] with E[Z] = p, run this experiment independently a number of times and use the average of the outcomes as the estimate. In this paper, we consider the case when no a priori information about Z is known except that is distributed in [0,1]. We describe an approximation algorithm Ad which, given E and 6, when running independent experiments with respect to any Z, produces an estimate that is within a factor 1+~ of p with probability at least 1 - 6. We prove that the expected number of experiments run by AA which depends on Z) is optimal to within a constant J actor for every Z.
SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies

We present an iterative constraint algorithm, QSHAKE, for use with semirigid molecules in molecular dynamics simulations. The algorithm is based on ''SHAKE-ing'' bond constraints between rigid bodies, whose equations of motion are solved in the quaternion framework. The algorithm is derived and its performance compared with SHAKE for liquid octane. QSHAKE is . significantly more efficient whenever SHAKE requires triangles or tetrahedra of constraints to maintain molecular shape. Efficiencies are gained because QSHAKE reduces the number of holonomic constraints that must be solved iteratively and requires fewer iterations to obtain convergence. The gains in efficiency are most noticeable when a high degree of precision is imposed on the constraint criteria. QSHAKE is also stable at larger time steps than SHAKE, thus allowing for even more efficient exploration of phase space for semirigid molecules. Q 1998 John Wiley & Sons, Inc. J Comput Chem 19: 102)111, 1998
More Past Glories

We continue in the same vein as Lichtenstein, Pnueli and Zuck in ? The Glory of the Past? , demonstrating the advantages of including past-time operators in using temporal logic in computer science. A normal form for temporal formulas, based on a simple combination of past formulas, is arrived at via syntactic rewrites and is shown to be a useful alternative to automata-based temporal reasoning. The use of the normal form in providing a complete axiomatization for PCTL* (i.e. CTL* with past connectives) is sketched.
Spatial implementation for compressive imaging

Most existing works on compressive imaging require electronic devices to perform the spatial optical modulation (SOM) or sparsifying transform (ST), which increase the cost and power consumption in field application. For the implementation of compressive imaging with a cheaper cost, the sensing strategy with blocking random pulse sampling (BRPS) is proposed. Instead of using the SOM and ST required by conventional technologies, the BRPS sampling can be achieved by the random unit-pulse in spatial domains. For actual application, the BRPS can be realized by address controlling for CMOS image sensors with a low resolution. For BRPS sampling, the image can be reconstructed by TVAL3. Experimental results show that, the BRPS achieves better reconstruction than conventional compressive sensing with Gaussian random matrix. Therefore, the BRPS contributes to the implementation of compressive sensing with low cost, low power consumption, less memory requirement, and better reconstruction.
CENTRAL LIMIT THEOREMS FOR DIRECTIONAL AND LINEAR RANDOM VARIABLES WITH APPLICATIONS

A central limit theorem for the integrated squared error of the directional{ linear kernel density estimator is established. The result enables the construction and analysis of two testing procedures based on the squared loss: a nonparametric independence test for directional and linear random variables and a goodness{of{ t test for parametric families of directional{linear densities. Limit distributions for both test statistics, and a consistent bootstrap strategy for the goodness{of{t test, are developed for the directional{linear case and adapted to the directional{ directional setting. Finite sample performance for the goodness{of{t test is illus-
Real-time Moving Object Detection and Tracking System based on SOPC

The real-time performance has been increasingly required with the progress of intelligent video surveillance system,but relevant algorithm is increasing complex.To realize the real-time moving object detection and tracking,it always utilizes the system on a programmable chip(SOPC) with high speed and concurrent flow processing ability,which has a wide application prospect.This article designed a real-time moving object detection and tracking system adopted by FPGA as core processor.The system used background subtraction method based on accumulative difference updating for detecting moving object.The Kalman filter and histogram matching algorithm have been used for object tracking.The experimental results show that the system can timely realize the moving object detection and tracking for video sequence in static scene effectively.
3D KINEMATIC ANALYSIS OF OVERARM MOVEMENTS FOR DIFFERENT SPORTS

The aim of this study was to compare the kinematics of the overarm throw for different sports. Eleven elite female handball players and nine elite female volleyball players were selected as subjects for the study. Arm and forearm segment movement in the backswing and acceleration phases of players performing the volleyball spike and the handball jump shot were evaluated. Video data were captured using two Sony 50Hz cameras and were digitized and analyzed using Simi Motion Analysis 5.5 program. In the backswing phase, there were significant differences in the angular width, velocity and acceleration between the volleyball players and handball players on the transverse, vertical, and sagittal planes of the motions (p<.01). In the acceleration phase, the statistically significant difference was found in the angular width of the arm segment motion on the transverse plane (p<.05). On the sagittal plane, the significant difference was found in the angular width, velocity, and acceleration of the arm motions between the volleyball and handball players (p<.05). These results suggest that volleyball players use vertical flexion more frequently, thus increasing the time to gain velocity. Handball players transfer the velocity used in horizontal flexion to the vertical flexion in a short period of time.
DESIGN OF PROCESSING ELEMENT (PE3) FOR IMPLEMENTING PIPELINE FFT PROCESSOR

Multiplexing is a method by which multiple analog message signals or digital data streams are combined into one signal over a shared medium. In communication, different multiplexing schemes are used. To achieve higher data rates, Orthogonal Frequency Division Multiplexing (OFDM) is used due to its high spectral efficiency. OFDM became a serious alternative for modern digital signal processing methods based on the Fast Fourier Transform (FFT). The problems with Orthogonal subcarriers can be addressed with FFT in communication applications. An 8-bit processing element (PE3), used in the execution of a pipeline FFT processoris designed and presented in this paper. Simulations are carried out using Mentor Graphics tools in 130nm technology.