Miracle-dz/UniFAR-FTUs huggingface dataset:
Uniformity seminorms on $\ell^\infty$ and applications

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemer\'edi's Theorem, used to detect uniformity of subsets of the integers. Another example is the seminorms on bounded functions in a measure preserving system (associated to the averages in Furstenberg's proof of Szemer\'edi's Theorem) defined by the authors. For each integer $k\geq 1$, we define seminorms on $\ell^\infty(\Z)$ analogous to these norms and seminorms. We study the correlation of these norms with certain algebraically defined sequences, which arise from evaluating a continuous function on the homogeneous space of a nilpotent Lie group on a orbit (the nilsequences). Using these seminorms, we define a dual norm that acts as an upper bound for the correlation of a bounded sequence with a nilsequence. We also prove an inverse theorem for the seminorms, showing how a bounded sequence correlates with a nilsequence. As applications, we derive several ergodic theoretic results, including a nilsequence version of the Wiener-Wintner ergodic theorem, a nil version of a corollary to the spectral theorem, and a weighted multiple ergodic convergence theorem.
Impedance control of a redundantly actuated 3-DOF planar parallel link mechanism using direct drive linear motors

The impedance control of a 3-degree-of-freedom (DOF) xyθ planar parallel link mechanism (PLM) with four redundant actuators, i.e., a 3D4M PLM, is proposed. The impedance control requires forward kinematics, which gives the position and orientation of the end effector of the PLM. The notable link arrangement of the 3D4M PLM makes it easy to derive the forward kinematics, which have been difficult to derive for conventional parallel links. In addition, the relations of static forces, including the internal force through redundant actuation, are derived. Using the forward kinematics, formulas of the impedance control that take into consideration the internal force of the 3D4M PLM are derived. Based on the design of decoupled dynamics, an experimental system of the 3D4M PLM is developed. A PLM is constructed on linear motors in which four moving parts are individually driven on one stator part. Workspace impedance control achieved by force command is implemented in the experimental system using a digital signal processor (DSP) based real time controller. Experimental responses of free damped vibrations to impedance control are compared with corresponding theoretical responses.
Lexicalized and Statistical Parsing of Natural Langu age Text in Tamil using Hybrid Language Models

A bstract:- Parsing is an important process of Natural Language Processing (NLP) and Computational Linguistics which is used to understand the syntax and semantics of a natural language (NL) sentences confined to the grammar. Parser is a computational system which processes input sentence according to the productions of the grammar, and builds one or more constituent structures which conform to the grammar. The interpretation of natural language text depends on the context also. Language models need syntax and semantic coverage for the better interpretation of natural language sentences in small and large vocabulary tasks. Though statistical parsing with trigram language models gives better performance through tri-gram probabilities and large vocabulary size, it has some disadvantages like lack of support in syntax, free ordering of words and long term relationship. Grammar based structural parsing provides solutions to some extent but it is very tedious for larger vocabulary corpus. To overcome these disadvantages, structural component is to be involved in statistical approach which results in hybrid language models like phrase and dependency structure language models. To add the structural component, balance the vocabulary size and meet the challenging features of Tamil language, Lexicalized and Statistical Parsing (LSP) is to be employed with the assistance of hybrid language models. This paper focuses on lexicalized and statistical parsing of natural language text in Tamil language with comparative analysis of phrase and dependency language models. For the development of hybrid language models, new part of speech (POS) tag set with more than 500 tags and dependency tag set with 31 tags for Tamil language have been developed which have the wider coverage. Phrase and dependency structure treebanks have been developed with 3261 Tamil sentences which cover 51026 words. Hybrid language models were developed using these treebanks, employed in LSP and evaluated against gold standards. This LSP with hybrid language models provides better results and covers all the challenging features of Tamil language.
How do parents view psychological assessment and intervention for their children with ADHD in Saudi Arabia?

ABSTRACT The purpose of this study is to provide quantitative data on parental experiences with their children with attention-deficit hyperactivity disorder (ADHD) and to focus more on their opinion about medication and the role of psychological assessment and interventions. The study sample included 211 parents of children with ADHD. More than half of the parents think that ADHD could be treated without medication and that their child is too young to have psychotropic medication with its side effects. There were concerns about misdiagnosis and being too quick to prescribe medications. Psychometric assessment and psychological intervention were infrequently used and their experience with combined interventions is almost rare. Pressure from schools to prescribe medication was one of the parents’ concerns. Parental satisfaction with medication occurred when an improvement in school performance was noted. It is essential for health professionals to be aware of parents’ experiences and to develop a proper evidence-based intervention for ADHD which includes psychological counselling or combined interventions and not to rely on medication intervention alone.
A Review of Stochastic Calculus for Finance

This is a review of the two-volume text Stochastic Calculus for Finance by Steven Shreve, ∗Graduate School of Business, Stanford University, Stanford CA 94305-5015. I am grateful for conversations with Julien Hugonnier and Philip Protter, for decades worth of interesting discussions with Mike Harrison, and also for the patient encouragement of the editor, Bob Devaney. Stochastic Calculus for Finance, by Steven E. Shreve, Springer Finance Textbook Series, in two volumes: Volume I: The Binomial Asset Pricing Model, Springer, New York, 2005, x+187 pages, $34.95, ISBN-13: 978-0387-24968-1, and Volume II: ContinuousTime Models, Springer, New York, 2004, x+550 pages, $69.95, ISBN 0-387-40101-6. This is a review of Steven Shreve’s masterful two-volume text, Stochastic Calculus for Finance, which introduces students to stochastic calculus as a tool for financial derivative pricing. The recent turmoil in financial markets has been partly caused by insufficient attention to rigorous financial modeling. Among the causes of this failing is the relative shortage of mathematically well trained professionals in the financial services industry. Shreve is a founder of one of the oldest and most successful masters degree programs in financial engineering, established at Carnegie-Mellon University in 1994. The lecture notes on which this book was based were tested and honed by Steve over many years of teaching in this Computational Finance program. The result is a remarkable piece of pedagogy and a great service to all entrants to the field. I will begin with a brief outline of the nature of the subject and some of the major historical milestones, and then explain why I believe that Shreve’s text is the ideal introduction to the topic. The stochastic integral as a model of trading profits Michael Harrison, whose role in the development of the subject will come up shortly, once remarked to me that stochastic calculus has the appearance of having been expressly designed as a tool for financial analysis, so naturally does it fit the application. Stochastic calculus is now the language of pricing models and risk management at essentially every major financial firm, and is the backbone of a large body of academic research on asset pricing, corporate finance, and investor behavior. The typical stochastic-calculus-based financial model describes the random variation of the market price, say Xt at time t, of some financial asset. For proper foundations, one fixes a probability space (Ω,F , P ) (a measure space with P (Ω) = 1), as well as a filtration {Ft : t ∈ [0,∞)} of sub-σ-algebras of F that determines the timing of the revelation of information. The “usual conditions” for a filtration are laid out, for example, by Protter [2004]. One may loosely view Ft as the set of events (elements of F) 2000 Mathematics Subject Classification: 60-01, 60H10, 60J65, 91B28.
Predominantly electronic or personal service delivery? a case in the wealth management context

Financial services have been a recurrent subject of a multichannel inquiry but investigation into the wealth management area is scarce. This paper intends to fill the gap and presents the results of a questionnaire directed at customers of a financial conglomerate. The objective of this research is to examine which variables influence consumers’ channel preferences in the wealth management context, and to find out possible differences between the customers who prefer predominantly electronic service or personal service delivery. Logistic regression and t-tests are used in the analysis. The perceived channel attributes of personalization, convenience and safety, relationship strength, and the internet and wealth management knowledge influence the channel preferences. Typical wealth management customers prefer multichannel service delivery; only 4 % of customers prefer pure electronic service, and 14 % of customers prefer pure personal service. There are several aspects that differentiate those customers who prefer predominantly electronic or personal service. The preference for the electronic channel indicated investments in shares, independent decision making style in wealth management tasks and reliance on electronic information channels. In addition, the customers who perceive relationship strength with the service provider as weaker prefer predominantly eservices, which should give impetus for action among the management in the financial service
Component placement and location for a dynamic software composition system

In this paper, we discuss an approach to wide-area dynamic software composition that avoids the cost, inflexibility and complexity of installing and maintaining applications on user devices (laptops, cell phones, etc.) and at the same time addresses issues related to performance and security that limit the applicability of application servers, cloud computing and the like. Specifically, this paper deals with a core problem encountered in trying to build such a system: the placement and subsequent location of software components that will be composed "on-the-fly" to create applications customized to meet user needs, current location and device capabilities.
An Intuitive Approach for Specifying Interface Constraint

Interface is important for software modules, e.g., classes, components and services. Most current description approaches focus only on each method signatures of the target interface, while constraint on interface, e.g. temporal sequence of the invocation is less considered so far. This paper proposes an intuitive approach for specifying interface constraint, especially the temporal constraints on different methods of the interface. As a directed graph, the proposed approach is intuitive and powerful. Notations of relationships are introduced, followed by some examples. One algorithm that can translate the high level intuitive graph to low level FSA is presented.
A longitudinal study of preparatory handwriting: Developing efficiency in motor control

Alsemgeest, R.M. , Bosga-Stork, I. , & Bloemen, M. (2012) Motor capacity and performance in children with developmental coordination disorder. Abstracts from the Dutch Society for Pediatric Physical Therapy. Pediatric Physical Therapy, 24, 210-214. Luten, S. , Bloemen M. , & Bosga-Stork, I. (2012). BOT2 and BEERY VMI, do they measure the same concept? Abstracts from the Dutch Society for Pediatric Physical Therapy. Pediatric Physical Therapy, 24, 210-214. Van Roode, E.M. , Bosga-Stork, I.M. , & Bloemen, M.A.T. (2013). The intra-rater and inter-rater reliability of the quickscan gait analysis: a pilot study. Abstracts from the Dutch Society for Pediatric Physical Therapy. Pediatric Physical Therapy, 25, 339-342. Abstract. Pg 109-113, Nara, Japan. Bosga-Stork, I.M. , Prunty, M. , Molyneaux, A. , & Barnett, A. (discussant), Sumner, E. (chair) (2014, August). A window on variability in handwriting development. In E. Sumner (Chair), The Development of handwriting speed: processes and problems. Conference on Writing Research, SIG Writing, pp 168170. Amsterdam, The Netherlands.
Mining Spatial Data via Clustering

Contributions from researchers in Knowledge Discovery are producing essential tools in order to better understand the typically large amounts of spatial data in Geographical Information Systems. Clustering techniques are proving to be valuable in providing exploratory analysis functionality while supporting approaches for automated pattern discovery in spatially referenced data and for the iden-tiication of important spatial relationships. However, there is little recognition of the broader context for which many clustering approaches are related. The concern for eecient ltering of outliers has divested attention from the actual problem being solved, which has resulted in a lack of recognition for the variety of approaches that could be modeled and in the re-discovery of solution approaches that are problematic or inferior. We present an overview of non-hierarchical clustering approaches for spatial data analysis. Our panoramic view to clustering large spatio-referenced datasets suggests that more eeective and eecient clustering methods are possible.
PARSE STRUCTURE AND SEGMENTATION FOR IMPROVING SPEECH RECOGNITION

Separate avenues of prior work have shown that parsing language models lead to improved recognition performance, and that segmentation of speech into sentence-like units has an impact on parser performance. This paper brings these two findings together, showing that segmentation also impacts the quality of a syntax-based language model, such that larger reductions in word error rate are possible when using sentence-like segmentations rather than simple paused-based strategies. Further, we show that the same types of syntactic features used in parse reranking can also be used to reduce word error rate in an N-best rescoring framework.
Negativity and anti-social attention seeking among narcissists on Twitter: A linguistic analysis

A linguistic analysis shows differences in the way narcissistic and non-narcissistic users communicate on Twitter. Because narcissism is marked by attention-seeking, and is related to negativity and perceived victimization, we hypothesized that narcissists would use more words about anger and negative emotions. Conversely, we further hypothesized that they would use fewer words about social interaction and positive emotions. An analysis of over 1,000 users supported these hypotheses.
Constructing Optimistic Fair Exchange Protocols from Committed Signatures

In PODC 2003, Park et al. [32] first introduce a connection between fair exchange and sequential two-party multi-signature scheme and provide a novel method of constructing fair exchange protocol by distributing the computation of RSA signature. This approach avoids the design of verifiable encryption scheme at the expense of having cosigner store a piece of prime signer’s secret key. Dodis and Reyzin [20] showed that the protocol in [32] is totally breakable in the registration phase, then presented a remedy scheme which is provably secure in the random oracle model, by utilizing Boldyreva non-interactive two-party multi-signature scheme [8]. Security in the random oracle model does not imply security in the real world. In this paper, we provide the first two efficient committed signatures which are provably secure in the standard complexity model from strong RSA assumption. Then we construct efficient optimistic fair exchange protocols from those new primitives.
A vision-based masking model for spread-spectrum image watermarking

We present a perceptual model for hiding a spread-spectrum watermark of variable amplitude and density in an image. The model takes into account the sensitivity and masking behavior of the human visual system by means of a local isotropic contrast measure and a masking model. We compare the insertion of this watermark in luminance images and in the blue channel of color images. We also evaluate the robustness of such a watermark with respect to its embedding density. Our results show that this approach facilitates the insertion of a more robust watermark while preserving the visual quality of the original. Furthermore, we demonstrate that the maximum watermark density generally does not provide the best detection performance.
IP multicast traffic monitoring system with IPFIX/PSAMP

A method of monitoring the traffic of IP multicast streaming, such as IPTV, by using IPFIX/PSAMP is presented. IP multicast streaming services have recently become popular network services. However, a method of IP multicast traffic monitoring has not been established. IPFIX/PSAMP architecture has been proposed for quality monitoring, but no commercial router supports IPFIX/PSAMP. Therefore, we propose a monitoring system composed of Probes and Web-Consoles on general-purpose PCs for implementation in real networks as soon as possible. In this paper, we report the feasibility of and evaluate the system.
How Does B-Value Affect HARDI Reconstruction Using Clinical Diffusion MRI Data?

Background A number of imaging factors can affect the orientation distribution function (ODF) reconstruction in high angular resolution diffusion imaging (HARDI). The aim of this study was to investigate the effect of the b-value on the HARDI reconstruction and to seek for the appropriate b-value for ODF reconstruction from clinical HARDI data. Methods Diffusion MRI data with various b-values were collected on a GE 3T MRI scanner. To reconstruct the diffusion ODF and fiber ODF, decomposition-based spherical polar Fourier imaging and deconvolution-based constrained spherical deconvolution approaches were applied separately. The full width at half maximum (FWHM) of the ODF and the angular difference of the peaks extracted from ODF were measured to investigate the effect of b-value on the ODF reconstruction. Visual inspection of the ODF was used to evaluate the reconstructions. Results The FWHM of the ODFs in the corpus callosum, which was chosen as the region of interest (ROI), decreased with increasing b-values. The differences in the FWHM for the diffusion ODF and the fiber ODF between the b-values of 2000 s/mm2 and 2500 s/mm2 were not significant. The angular differences of the ODF between 2000 s/mm2 and 2500 s/mm2 were lowest in both single-directional and two-directional situations. The ODFs became sharper and crossing-fiber situations were detected with an increase in b-value. B = 2000 s/mm2 and above revealed most of the two-way or three-way crossing-fiber structures. Conclusions Considering both the signal-to-noise ratio and the acquisition time, b = 2000 s/mm2 is the basic requirement for ODF reconstruction using current HARDI methods on clinical data. This study can provide a useful reference for researchers and clinicians attempting to set appropriate scan protocols for specific HARDI experiments.
Becoming a consumer-provider of mental health services: Dialogical identity development in prosumers in the United States of America and Japan

ABSTRACT The aim of this study was to examine the process in which peer-delivered service providers, or prosumers, developed an identity as a prosumer in the United States and Japan. Participants were 25 prosumers from the United States and 23 from Japan, who provided peer-delivered services for wages. The authors analyzed data from qualitative, in-depth interviews and created a conceptual model of prosumer identity development. In addition, the authors identified common themes that characterized their experiences as developing prosumers and contextual factors that affected their identity development from a social constructionist perspective. Results indicate the following: (1) prosumers experience sense of worth and/or distress affected by societal, cultural, and historical factors of their environment associated with prosumer work; and (2) prosumers develop a prosumer identity as they pursue a sense of worth and actively address distress, by integrating the preexisting consumer and provider positions at a higher level. Participants who had established prosumer identity described how they created unique relationships with consumers and colleagues rather than seeking to fit into predesigned molds. In conclusion, the authors discuss the vital connection of prosumer identity development with relationships with consumers and colleagues, and roles and needs of supervision and training for prosumers to promote their identity development through open discussion as well as active exploration of sense of worth and distress, and possible impact of prosumer identity development for inducing organizational and systemic changes in mental health service system.
A Novel Method to Extract Informative Blocks from Web Pages

This paper proposes a novel algorithm to extract the informative blocks from web pages and filter the advertisement which has noting to do with the subject when people browse the Web page. In this pager, we use HTML Parser to construct DOM tree and apply corresponding rules to construct a new tree (CST) which can easily help us to separate the “primary content blocks” from the other blocks. Then we will use our algorithm to analysis CST and trim off useless blocks which are on the CST. The algorithms can identify primary content blocks by looking for the blocks that contains much more numbers of the block content. Our system can extract web content which is existed as the Table format or the Div format well. At last, Experiments on a set of more than thousands of web pages from 5 different sites show that the method is practical, and can achieve high accuracy.
Ownership Meets Java

Ownership Generic Java (OGJ) is a language with ownership types as an extension to Java. In this position paper we outline the state of OGJ. We hope that the other aliasing and ownership researchers would beneﬁt from the discussion around how to add ownership into a modern generic and annotation-capable typed object-oriented language like Java.