Miracle-dz/UniFAR-FTUs huggingface dataset:
Author ' s personal copy A quantitative comparison between C 0 and C 1 elements for solving the Cahn – Hilliard equation

The Cahn–Hilliard (CH) equation is a time-dependent fourth-order partial differential equation (PDE). When solving the CH equation via the finite element method (FEM), the domain is discretized by C-continuous basis functions or the equation is split into a pair of second-order PDEs, and discretized via C-continuous basis functions. In the current work, a quantitative comparison between C Hermite and C Lagrange elements is carried out using a continuous Galerkin FEM formulation. The different discretizations are evaluated using the method of manufactured solutions solved with Newton’s method and Jacobian-Free Newton Krylov. It is found that the use of linear Lagrange elements provides the fastest computation time for a given number of elements, while the use of cubic Hermite elements provides the lowest error. The results offer a set of benchmarks to consider when choosing basis functions to solve the CH equation. In addition, an example of microstructure evolution demonstrates the different types of elements for a traditional phase-field model. Published by Elsevier Inc.
Research on instrumentation technology for the embedded assembly software testing based on host computer

Technology of instrumentation is one of key technologies in the embedded software coverage testing. To reduce the impact of source program which from instrumented program implantated to the program to be tested, we proposed a new technology of instrumentation which use the host environment as a test environment, A Sequence block as the basic unit of instrumentation. This method reduce the code expansion in some degree, and achieve an efficient Instrumentation. This technology have the versatility to coverage testing in embedded software Test. Tests for other languages, also have a certain reference value.
LETTER TO THE EDITOR: Quantum aspects of semantic analysis and symbolic artificial intelligence

A zipper tooth has a body portion with an opening at one end for connection to a tape to form a zipper stringer of a slide fastener. At the other end of the body portion is an engaging head. Just behind the engaging head are a pair of grooves, one on each side of the body portion. The grooves are contoured to accommodate portions of the engaging heads of other similar zipper teeth. At each end of each of the grooves are outwardly extending tapered projections. The projections are rolled over to provide endwalls for the grooves so that a cavity is formed for locking accepting portions of engaging heads of other zipper teeth.
Lily: Ontology Alignment Results for OAEI 2008

This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matching, large scale ontology matching, semantic ontology matching and mapping debugging. In OAEI 2009, Lily submited the results for four alignment tasks: benchmark, anatomy, directory and conference.
A design of code-aided channel estimation in two-way relay networks

In this paper, the channel estimation problem at the relay node in TWRN is investigated. We propose a turbo receiver at the relay where it jointly combines a nonbinary decoder and an EM estimator. By passing soft value between the decoder and estimator in an iterative manner, our approach outperforms the method of separate decoding and estimation in terms of mean square error (MSE) and bit error rates (BER).
Multi-user detection for Inmarsat's BGAN system

The development and performance of a hardware-prototype multi-user detection (MUD) receiver for Inmarsat's Broadband Global Area Network (BGAN) is described. The MUD receiver is used to compensate increased adjacent channel interference due to reduced channel spacing and can simultaneously detect up to six bearers in a 200-kHz satellite subband. With this technique, the channel-spacing can be reduced from 40 kHz to 25 kHz, permitting a capacity increase of 50%. This capacity increase is achieved with an implementation loss comparable to the combined implementation loss and adjacent channel interference allowance for the non-MUD scenario. Differences between simulations and hardware implementations are discussed, as well as observed limitations on performance.
Web based ATM PVC management

This paper discusses the design of a public domain web based ATM PVC Management tool for the Dutch SURFnet research ATM network. The aim of this tool is to assists in the creation and deletion of PVCs through local and remote ATM network domains. The tool includes security mechanisms to restrict the access to these ATM domains, and provides a high level graphical user interface to hide the differences between the ATM switches from various vendors.
Potential Regulatory Elements Between Attachment Styles and Psychopathology: Rejection Sensitivity and Self-esteem.

Introduction The importance of attachment in individuals' development is enormous. The attachment patterns established with the first experiences are thought to affect our relationships and especially our mental state. In this study, it is aimed to examine the mediator effect of self-esteem and rejection sensitivity in the relationship between attachment, depression and anxiety. Method 340 university students are included in the study. Students' attachment patterns in close relationships are evaluated by Experiences in Close Relationships-Revised, depression and anxiety levels by Beck depression and Beck Anxiety Scales, rejection sensitivity by the Rejection Sensitivity Scale and self-esteem by Self-Esteem Scale. Results It was found that, as anxious attachment level increased, psychopathology symptoms and rejection sensitivity increased and self-esteem decreased. In addition, the mediator effect of self-esteem in the relationship between anxious attachment and psychopathology and the mediator effect of rejection sensitivity between anxious attachment and self-esteem could be mentioned. On the other hand, there was no significant relationship between avoiding attachment and psychopathology. Discussion The findings of the study show that there is a difference between anxious and avoidant attachment patterns and anxious attachment is associated with increased rejection sensitivity and susceptibility to depression and anxiety and decreased self-esteem.
A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations

This paper presents a general framework for specification and detection of properties in distributed computations. A property of states in distributed computation in progress is defined by predicates (called behavioral patterns) and satisfaction rules (called modal operators). A behavioral pattern is obtained by combining basic predicates that are defined over either local states or consistent global states of the computation. In both cases, we model a distributed computation by a directed acyclic graph in which vertices represent (local or global) states and edges represent causal relation over the states. Specification and verification of behavioral patterns are formulated as instances of the language recognition problem, and basic concepts used in formal language theory are applied. A basic predicate is assimilated to a symbol, and a behavioral pattern is specified as a language (i.e., a set of words) defined over an alphabet of symbols. Based on this model and given a behavioral pattern, we define four modal operators (i.e., four different satisfaction rules). Three of them are equivalent to modal operators previously introduced in related works. Finally, we present algorithms to verify each of the four modal operators over a class of behavioral patterns, called regular patterns.
Blind separation of speech signals based on lattice-ica geometric procedure.

This work explains a new method for blind separation of a linear mixture of sources, based on geometrical considerations concerning the observation space. This new method is applied to a mixture of several sources and it obtains the estimated coefficients of the unknown mixture matrix A and separates the unknown sources. The principles of the new method and a description of the algorithm followed by some speed enhancements are shown. Finally, we illustrate with simulations of several source distributions how the algorithm performs.
Media, sports & society.

PART ONE: OVERVIEWS Media, Sports, and Society - Lawrence A Wenner The Research Agenda Media Made Sport - Robert W McChesney A History of Sports Coverage in the United States Cultural Studies and the Sports/Media Complex - Sut Jhally PART TWO: THE MEDIA SPORTS PRODUCTION COMPLEX Sports Programming - Susan Tyler Eastman and Timothy P Meyer Scheduling, Costs, and Competition Professional Sports Organizations - Robert V Bellamy, Jr Media Strategies Making Spectacle - Richard Gruneau A Case Study in Television Sports Production PART THREE: MEDIA SPORTS CONTENT The Super Bowl Pre-Game Show - Lawrence A Wenner Cultural Fantasies and Political Subtext Super Bowl Football versus World Cup Soccer - Michael R Real A Cultural-Structural Comparison The Rhetoric of Winning and Losing - Leah R Vande Berg and Nick Trujillo The American Dream and America's Team Drugs and (Len) Bias on the Sports Page - Lewis Donohew, David Helm, and John Haas PART FOUR: THE AUDIENCE FOR MEDIA SPORTS The Audience Experience with Sports on Television - Lawrence A Wenner and Walter Gantz Viewers' Enjoyment of Televised Sports Violence - Jennings Bryant Sex Typing, Sports Interests, and Relational Harmony - Michael E Roloff and Denise H Solomon
Estimation of the spectral envelope of mixed spectrum signalsusing a penalized likelihood

Speech modeling techniques used for analysis and synthesis usually rely on a source-lter representation where the source is a mixed spectrum signal, ie. one which consists of both sinusoidal and wide-band noise-like components. In such models, it is of prime importance to estimate a spectral envelope which represents the main features of the speech magnitude spectrum. In this paper, we introduce a new performance criterion for spectral envelope tting which is based on the statistical analysis of the behavior of the empirical sinusoids and noise parameter estimates. We demonstrate the performance of a penalized version of this criterion where the penalization (or regularization) term is designed to control the smoothness of the estimated envelope. This approach can signiicantly improve the reliability of sinusoidal models when used in applications such as speech coding or enhancement.
Patterns of brain atrophy that differentiate corticobasal degeneration syndrome from progressive supranuclear palsy.

BACKGROUND Progressive brain atrophy is associated with the corticobasal degeneration syndrome (CBDS) and progressive supranuclear palsy (PSP). Regional differences in brain atrophy may reflect the clinical features of disease. OBJECTIVE To quantify the structural neuroanatomical differences between CBDS and PSP. DESIGN A survey of neurologic deficits was conducted in all patients. Voxel-based morphometry was used to quantify structural neuroanatomical differences on magnetic resonance images in each subject group. SETTING University hospital dementia clinic. PARTICIPANTS Fourteen patients who met clinical research criteria for CBD and 15 patients who met clinical research criteria for PSP, who were matched for severity of disease, age, and functional status, and 80 age-matched control subjects. MAIN OUTCOME MEASURES Statistically significant differences in regional gray and white matter volume, after multiple comparisons correction, between groups of subjects. RESULTS The patients with CBDS displayed an asymmetric (left > right) pattern of brain atrophy that involved the bilateral premotor cortex, superior parietal lobules, and striatum. Progressive supranuclear palsy was associated with atrophy of the midbrain, pons, thalamus, and striatum, with minimal involvement of the frontal cortex. Midbrain structures were more atrophied in PSP than in CBD, whereas dorsal frontal and parietal cortices were more atrophied in CBD than in PSP. The degree of atrophy of the midbrain and pontine tegmentum and the left frontal eye field differentiated the 2 patient groups with 93% accuracy. CONCLUSIONS Distinct patterns of brain atrophy exist in CBDS and PSP that can be used to differentiate the 2 diseases. Assessments of brain atrophy in these disorders should be focused on cortical and brainstem ocular motor control areas.
Highly Resilient Systems for Cloud

Traditional methods for implementing highly resilient systems are costly; and their methods using specialized hardware and high-speed interconnects do not extend to cloud. We demonstrate an architecture that rethinks the traditional approach and uses cloud's agility to provision additional capability as failures occur. This architecture continues serving requests with the best possible response even as the primary service deteriorates and even fails completely. It offloads requests according to their need to access the primary service; first redirecting requests with less need to lower-grade secondary capability that is provisioned on-demand on the cloud in order to reserve primary capacity for requests that need it (e.g., first redirect web-browsing requests to a slightly out-of-date cached dataset, and reserve the primary, most-consistent data service for check-out requests). Our approach 1) triages access to the primary service based on request needs in times when it is overwhelmed, and 2) provisions on-demand cloud capability to offload and continue serving other requests as needed. The result is a highly resilient system architecture that scales via cloud.
The development of English proficiency and working memory in 5–6 year old ELLs in their first year of formal education

ABSTRACT The current longitudinal study set out to investigate the development of working memory and English language skills of 5–6 year old English Language Learners. These English Language Learners are all in their first year of formal schooling and all attend the same school in South Africa. South Africa has a rich linguistic diversity which results in many children undergoing their schooling in a language which is not their L1, where oftentimes this language is English. It is well established that English proficiency and working memory skills are predictors of future academic outcomes. Therefore, it is important to track the typical development of both these factors in order to understand when additional support or intervention should be offered. So as to reveal the trajectory of their development, the participants were assessed on working memory and language tasks three times over the course of one year; at the beginning, the middle and the end of the school year. It was found that the growth trajectories were linear for all tested domains of English. The working memory tasks also showed linear development, apart from the complex visuospatial working memory task which showed nonlinear growth.
From non-deterministic to probabilistic planning with the help of statistical relational learning

Using machine learning techniques for planning is getting increasingly more important in recent years. Various aspects of action models can be induced from data and then exploited for planning. For probabilistic planning, natural candidates are learning of action effects and their probabilities. For expressive formalisms such as PPDDL, this is a difficult problem since they can introduce easily a hidden data problem; the fact that multiple action outcomes may have generated the same experienced state transitions in the data. Furthermore the action effects might be factored such that this problem requires solving a constraint satisfaction problem within an expectation maximization scheme. In this paper we outline how to utilize recent techniques from the field of statistical relational learning for this problem. More specifically, we show how techniques developed for the CPT-L model of relational probabilistic sequences can be applied to the problem of learning probabilities in a PPDDL model. A CPT-L model concisely specify a Markov chain over arbitrary numbers of objects in the domain and simultaneous applications of multiple actions. The use of efficient BDD-style representations allows for fast and efficient learning in such domains. Even efficient online learning is possible as we will show in this paper. We relate to other learning approaches for similar domains and highlight the opportunities for incorporating our approach into architectures that can plan, execute the plan, and learn from the outcomes, in an online and incremental fashion.
QT2S: A System for Monitoring Road Traffic Via Fine Grounding of Tweets

Social media platforms provide continuous access to user generated content that enables real-time monitoring of user behavior and of events. The geographical dimension of such user behavior and events has recently caught a lot of attention in several domains: mobility, humanitarian, or infrastructural. While resolving the location of a user can be straightforward, depending on the affordances of their device and/or of the application they are using, in most cases, locating a user demands a larger effort, such as exploiting textual features. On Twitter for instance, only 2% of all tweets are geo-referenced. In this paper, we present a system for zoomed-in grounding (below city level) for short messages (for example, tweets). The system combines different natural language processing and machine learning techniques to increase the number of geo-grounded tweets, which is essential to many applications such as disaster response and real-time traffic monitoring.
Mining optimized association rules with categorical and numeric attributes

Association rules are useful for determining correlations between attributes of a relation and have applications in marketing, financial and retail sectors. Furthermore, optimized association rules are an effective way to focus on the most interesting characteristics involving certain attributes. Optimized association rules are permitted to contain uninstantiated attributes and the problem is to determine instantiations such that either the support or confidence of the rule is maximized. We generalize the optimized association rules problem in three ways: (1) association rules are allowed to contain disjunctions over uninstantiated attributes; (2) association rules are permitted to contain an arbitrary number of uninstantiated attributes; and (3) uninstantiated attributes can be either categorical or numeric. Our generalized association rules enable us to extract more useful information about seasonal and local patterns involving multiple attributes. We present effective techniques for pruning the search space when computing optimized association rules for both categorical and numeric attributes. Finally, we report the results of our experiments that indicate that our pruning algorithms are efficient for a large number of uninstantiated attributes, disjunctions and values in the domain of the attributes.
From UBE3A to Angelman syndrome: a substrate perspective

Angelman syndrome (AS) is a debilitating neurodevelopmental disorder that is characterized by motor dysfunction, intellectual disability, speech impairment, seizures and common features of autism spectrum disorders (ASDs). Some of these AS related phenotypes can be seen in other neurodevelopmental disorders (Williams, 2011; Tan et al., 2014). AS patients commonly carry mutations that render the maternally inherited UBE3A gene non-functional. Duplication of the chromosomal region containing the UBE3A gene is associated with ASDs. Although the causative role for UBE3A gene mutations in AS is well established, a long-standing challenge in AS research has been to identify neural substrates of UBE3A, an E3 ubiquitin ligase. A prevailing hypothesis is that changes in UBE3A protein levels would alter the levels of a collection of protein substrates, giving rise to the unique phenotypic aspects of AS and possibly UBE3A associated ASDs. Interestingly, proteins altered in AS are linked to additional ASDs that are not previously associated with changes in UBE3A, indicating a possible molecular overlap underlying the broad-spectrum phenotypes of these neurogenetic disorders. This idea raises the possibility that there may exist a “one-size-fits-all” approach to the treatment of neurogenetic disorders with phenotypes overlapping AS. Furthermore, while a comprehensive list of UBE3A substrates and downstream affected pathways should be developed, this is only part of the story. The timing of when UBE3A protein functions, through either changes in UBE3A or possibly substrate expression patterns, appears to be critical for AS phenotype development. These data call for further investigation of UBE3A substrates and their timing of action relevant to AS phenotypes.
CWI at the TREC 2002 Video Track

We present a probabilistic model for the retrieval of multimodal documents. The model is based on Bayesian decision theory and combines models for text based search with models for visual search. The textual model, applied to the LIMSI transcripts, is based on the language modelling approach to text retrieval. The visual model, a mixture of Gaussian densities, describes keyframes selected from shots. Both models have proved successful on media specific retrieval tasks. Our contribution is the combination of both techniques in a unified model, ranking shots on ASR-data and visual features simultaneously.
Midline as a landmark for the position of the superior sagittal sinus on the cranial vault: An anatomical and imaging study

Background: Craniotomies involving the midline are regular practice in neurosurgery, during which injury to the superior sagittal sinus (SSS), an uncommon yet devastating event, may occur. The midline tends to be the most common landmark used to identify the position of the SSS. In this study we examined the reliability of the midline as a landmark for the SSS. Methods: We performed bilateral craniectomies on eight cadaveric heads, preserving the coronal, sagittal, and lambdoid sutures. The width of the SSS and its displacement from midline were measured on the cadaveric specimens and on 105 normal magnetic resonance images (MRIs) of the head at the following locations: halfway between nasion and bregma (NB), bregma (B), halfway between bregma and lambda (BL), lambda (L), and inion (I). Results: In all cadaveric specimens, the SSS was partially or totally displaced toward one side of midline, usually to the right. It tended to be closer to midline in the frontal region and more displaced posteriorly. The SSS usually drained into the right-side transverse sinus. The mean width of the SSS was 4.3, 5.9, 6.9, 7.9, and 7.8 mm, and the average displacement from midline was 4.3, 6.3, 5.5, 6.9, and 6.0 mm for NB, B, BL, L, and I, respectively. These measurements were then compared with those obtained from the MRIs. Conclusion: The SSS was consistently displaced on either side of midline. Thus, the midline is not reliable for identifying the SSS, and caution should be used within 6–10 mm on either side of midline.
Asymptotic Slowing Down of the Nearest-Neighbor Classifier

If patterns are drawn from an n-dimensional feature space according to a probability distribution that obeys a weak smoothness criterion, we show that the probability that a random input pattern is misclassified by a nearest-neighbor classifier using M random reference patterns asymptotically satisfies PM(error) - P∞(error) + a/M2/n, for sufficiently large values of M. Here, P∞(error) denotes the probability of error in the infinite sample limit, and is at most twice the error of a Bayes classifier. Although the value of the coefficient a depends upon the underlying probability distributions, the exponent of M is largely distribution free. We thus obtain a concise relation between a classifier's ability to generalize from a finite reference sample and the dimensionality of the feature space, as well as an analytic validation of Bellman's well known "curse of dimensionality. "