Miracle-dz/UniFAR-FTUs huggingface dataset:
Mimicking Λ with a spin-two ghost condensate

We propose a simple higher-derivative braneworld gravity model which contains a stable accelerating branch, in the absence of a cosmological constant or potential, that can be used to describe the late-time cosmic acceleration. This model has similar qualitative features to that of Dvali, Gabadadze and Porrati, such as the recovery of four-dimensional gravity at subhorizon scales, but unlike that case, the graviton zero mode is massless and there are no linearized instabilities. The acceleration rather is driven by bulk gravity in the form of a spin-two ghost condensate. We show that this model can be consistent with cosmological bounds and tests of gravity.
Balancing sector volume workload by using air traffic controller click inputs

Disclaimer This document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Student theses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the document as presented in the repository. The required complexity or quality of research of student theses may vary by program, and the required minimum study period may vary in duration.
Design and calibration of a digital Fourier holographic microscope for particle sizing via goniometry and optical scatter imaging in transmission.

Goniometry and optical scatter imaging have been used for optical determination of particle size based upon optical scattering. Polystyrene microspheres in suspension serve as a standard for system validation purposes. The design and calibration of a digital Fourier holographic microscope (DFHM) are reported. Of crucial importance is the appropriate scaling of scattering angle space in the conjugate Fourier plane. A detailed description of this calibration process is described. Spatial filtering of the acquired digital hologram to use photons scattered within a restricted angular range produces an image. A pair of images, one using photons narrowly scattered within 8 - 15° (LNA), and one using photons broadly scattered within 8 - 39° (HNA), are produced. An image based on the ratio of these two images, OSIR = HNA/LNA, following Boustany et al. (2002), yields a 2D Optical Scatter Image (OSI) whose contrast is based on the angular dependence of photon scattering and is sensitive to the microsphere size, especially in the 0.5-1. 0µm range. Goniometric results are also given for polystyrene microspheres in suspension as additional proof of principle for particle sizing via the DFHM.
Unified motion planning of passing under obstacles with humanoid robots

A motion planning method for humanoid robots to pass under obstacles is proposed. The proposed motion planner can calculate a goal configuration and connect it with an initial configuration in a collision-free dynamically stable motion. The method can generate not only a body motion but also the footstep sequence. The effectiveness of the proposed method was validated by experiments with the humanoid robot HRP-2.
Finding Stories in 1, 784, 532 Events: Scaling Up Computational Models of Narrative

Information professionals face the challenge of making sense of an ever increasing amount of information. Storylines can provide a useful way to present relevant information because they reveal explanatory relations between events. In this position paper, we present and discuss the four main challenges that make it difficult to get to these stories and our first ideas on how to start resolving them.
Expectation Propagation as a Way of Life

We revisit expectation propagation (EP) as a prototype for scalable algorithms that partition big datasets into many parts and analyze each part in parallel to perform inference of shared parameters. The algorithm should be particularly efficient for hierarchical models, for which the EP algorithm works on the shared parameters (hyperparameters) of the model. The central idea of EP is to work at each step with a "tilted distribution" that combines the likelihood for a part of the data with the "cavity distribution," which is the approximate model for the prior and all other parts of the data. EP iteratively approximates the moments of the tilted distributions and incorporates those approximations into a global posterior approximation. As such, EP can be used to divide the computation for large models into manageable sizes. The computation for each partition can be made parallel with occasional exchanging of information between processes through the global posterior approximation. Moments of multivariate tilted distributions can be approximated in various ways, including, MCMC, Laplace approximations, and importance sampling.
Initializing acoustic phone models of under-resourced languages: a case-study of Luxembourgish

The national language of the Grand-Duchy of Luxembourg, Luxembourgish, has often been characterized as one of Europe’s under-described and under-resourced languages. In this contribution we report on our ongoing work to take Luxembourgish on board as an e-language : an electronically searchable spoken language. More specifically, we focus on the issue of producing acoustic seed models for Luxembourgish. A phonemic inventory was defined and linked to inventories from major neighboring languages (German, French and English), with the help of the IPA symbol set. Acoustic seed model sets were composed using monolingual German, French or English acoustic model sets and corresponding forced alignment segmentations were compared. Next a super-set of multilingual acoustic seeds was used putting together the three language-dependent sets. The language-identity of the aligned acoustic models provides information about the overall acoustic adequacy of both the cross-language phonemic correspondances and the acoustic models. Furthermore some information can be gleaned on inter-language distances : the German acoustic models provided the best match with 54.3% of the segments aligned using German seeds, 35.3% using the English ones and only 10.4% using the French acoustic models. Since Luxembourgish is considered a Western Germanic language close to German, this result is in line with its linguistic typology.
Networked MIMO with clustered linear precoding

A clustered base transceiver station (BTS) coordination strategy is proposed for a large cellular MIMO network, which includes full intra-cluster coordination-to enhance the sum rate-and limited inter-cluster coordination-to reduce interference for the cluster edge users. Multi-cell block diagonalization is used to coordinate the transmissions across multiple BTSs in the same cluster. To satisfy per-BTS power constraints, three combined precoder and power allocation algorithms are proposed with different performance and complexity tradeoffs. For inter-cluster coordination, the coordination area is chosen to balance fairness for edge users and the achievable sum rate. It is shown that a small cluster size (about 7 cells) is sufficient to obtain most of the sum rate benefits from clustered coordination while greatly relieving channel feedback requirement. Simulations show that the proposed coordination strategy efficiently reduces interference and provides a considerable sum rate gain for cellular MIMO networks.
Enterprise Social Link Recommendation

Many companies have started to use Enterprise Social Networks (ESNs), such as Yammer, to facilitate collaboration and communication amongst their employees in the business context. Social link recommendation, which finds and suggests whom one wants to connect with in a company, is crucial for ESNs to promote their usages. Although link recommendation has been studied extensively in external social networks (e.g., Facebook and Twitter), it has not been addressed in ESNs. In this paper, we study this novel problem. Social link recommendation in ESNs is significantly different from that in external social networks, and also has unique challenges: (1) people usually socialize differently in enterprise than in their personal life, but users' social behaviors in enterprise have not been well explored, and (2) there is important business information available in ESNs under the enterprise context, e.g., a company? s organizational chart, but how to exploit it for link recommendation is still an open problem. To this end, we mine not only the social graph and user-generated content in ESNs, but also the company's organizational chart, to model enterprise user social behaviors. We develop a supervised link recommendation algorithm using a large scale enterprise social network based on Yammer (with over 100k users), which shows that the proposed techniques perform effectively. Moreover, we find that both the social graph and the organizational chart are complementary to each other for link recommendation in ESNs.
Fuzzy c-Regression Models with direction-dependent uncertainty and its application to residential solar electric power analysis

Switching regression is a powerful tool for revealing intrinsic non-linear dependencies among exploratory variables and objective variables. Fuzzy c-Regression Models (FCRM) is an FCM-type switching regression algorithm, which iteratively estimate fuzzy memberships of objects and local regression functions. In this paper, FCRM is applied to a residential solar electric power analysis. Although solar electric power is severely influenced by sunshine duration, meteorological observation of actual sunshine duration is often underestimated from the actual quantity of solar radiation. So, the variable has direction-dependent uncertainty. In this paper, FCRM is modified for handling such uncertain observations and the applicability is demonstrated with several experimental results.
DICLERGE: Divide-Cluster-Merge Framework for Clustering Aircraft Trajectories

Whether descriptive, predictive or prescriptive, most analytics applications pertaining to aircraft trajectory data require clustering to group similar trajectories and discovering a representative trajectory for all as a single entity. During the process, considering a trajectory as a whole may mislead, resulting in overfitting and a failure to discover a representative trajectory. In this paper, we describe a novel clustering framework; divide-cluster-merge, DICLERGE, for the aircraft trajectory data, that divides trajectories into three major flight phases: climb, enroute, and descent. It clusters each phase in isolation, then merges them together. Our unique approach also discovers a representative trajectory, the model for the entire trajectory set. Our experiments use a real trajectory dataset with pertinent weather observations to demonstrate the effectiveness and efficiency of the DICLERGE algorithm to the aircraft trajectory clustering problem.
Association between health literacy and patient experience of primary care attributes: A cross-sectional study in Japan

Primary care is regarded as a setting that potentially mitigate patient health literacy (HL) related inequalities. However, there is a lack of evidence about influence of patient HL on the patients’ perception of quality of primary care. We aimed to examine the association between HL and patient experience of primary care attributes. We conducted a cross-sectional survey, and sent questionnaires to adult residents who were randomly selected from a basic resident register in Yugawara Town, Kanagawa, Japan. We assessed HL using a 14-item Health Literacy Scale (HLS-14) and patient experience of primary care attributes using a Japanese version of Primary Care Assessment Tool (JPCAT), which comprises six domains: first contact, longitudinality, coordination, comprehensiveness (services available), comprehensiveness (services provided), and community orientation. We used a multivariable linear regression analyses to adjust individual covariates. Data were analyzed for 381 residents who had a usual source of care. After adjustment for patients’ sociodemographic and health characteristics, patient HL was positively associated with the JPCAT total score (B = 4.49, 95% confidence interval: 0.27 to 8.65 for HLS-14 total score highest quartile, compared with the lowest quartile). Among primary care attributes, HL had significant associations with longitudinality and comprehensiveness (service provided). We found that HL was positively associated with patient experience of primary care attributes in Japanese people. Our findings indicated that greater efforts might be needed to improve patient-centered and tailored primary care to those with low HL.
4′-Hydroxybiphenyl-4-carboxylic acid

The title compound, C13H10O3, has potential oxygen donor and acceptor sites. Intermolecular hydrogen bonding between neighboring carboxylate groups leads to the formation of hydrogen-bonded dimers [graph-set motif R 2 2(8)]. A second hydrogen-bonding interaction between the hydroxy groups generates a chain and extends the structure into a lamellar layer. One of the benzene rings is disordered over two positions with an occupancy ratio of 0.57 (2):0.43 (2).
Metadata invariants: Checking and inferring metadata coding conventions

As the prevailing programming model of enterprise applications is becoming more declarative, programmers are spending an increasing amount of their time and efforts writing and maintaining metadata, such as XML or annotations. Although metadata is a cornerstone of modern software, automatic bug finding tools cannot ensure that metadata maintains its correctness during refactoring and enhancement. To address this shortcoming, this paper presents metadata invariants, a new abstraction that codifies various naming and typing relationships between metadata and the main source code of a program. We reify this abstraction as a domain-specific language. We also introduce algorithms to infer likely metadata invariants and to apply them to check metadata correctness in the presence of program evolution. We demonstrate how metadata invariant checking can help ensure that metadata remains consistent and correct during program evolution; it finds metadata-related inconsistencies and recommends how they should be corrected. Similar to static bug finding tools, a metadata invariant checker identifies metadata-related bugs as a program is being refactored and enhanced. Because metadata is omnipresent in modern software applications, our approach can help ensure the overall consistency and correctness of software as it evolves.
Analysis and Detection Of Errors In Implementation Of SHA-512 Algorithms On FPGAs

The Secure Hash Algorithm SHA-512 is a dedicated cryptographic hash function widely considered for use in data integrity assurance and data origin authentication security services. Reconfigurable hardware devices such as Field Programmable Gate Arrays (FPGAs) offer a flexible and easily upgradeable platform for implementation of cryptographic hash functions. Owing to the iterative structure of SHA-512, even a single transient error at any stage of the hash value computation will result in large number of errors in the final hash value. Hence, detection of errors becomes a key design issue. In this paper, we present a detailed analysis of the propagation of errors to the output in the hardware implementation of SHA-512. Included in this analysis are single, transient as well as permanent faults that may appear at any stage of the hash value computation. We then propose an error detection scheme based on parity codes and hardware redundancy. We report the performance metrics such as area, memory, and throughput for the implementation of SHA-512 with error detection capability on an FPGA of ALTERA. We achieved 100% fault coverage in the case of single faults with an area overhead of 21% and with a reduced throughput of 11.6% with the error detection circuit.
Pole assignment in LMI regions for linear constrained control systems

This paper is devoted to the pole assignment problem in LMI regions for linear non symmetrical constrained control systems. First, the eigenvalue clustreing problem in LMI regions for complex matrices is studied. Hence, the study is extended to the case of polytopic uncertainties. Second, the synthesis of stabilizing controllers for linear constrained control systems assigning the closed loop poles in specified LMI regions is achieved. The concept of positive invariance is used and it is shown that it is suitable for non symmetrical constrained control systems. Examples are given throughout the paper to illustrate our approach.
HMM based isolated Kannada digit recognition system using MFCC

In this paper we have implemented Kannada isolated digit recognition system using Mel frequency cepstral coefficients (MFCC) as feature vector. The system is designed to recognize isolated utterances of Kannada numbers. MFCC are used as the features and Hidden Markov Model (HMM) as pattern recognizer. K-means procedure is performed on the feature vectors to obtain the observation sequence. Discrete HMM is used in the system. The system is developed by considering the requirement of a voice controlled machine in Kannada language. Performance of the system is evaluated and compared based on the MFCC along with its first and second order derivatives.
ADAM12 Transmembrane and Secreted Isoforms Promote Breast Tumor Growth

Increased levels of ADAM12 have been reported in a variety of human cancers. We have previously reported that urinary ADAM12 is predictive of disease status in breast cancer patients and that ADAM12 protein levels in urine increase with progression of disease. On the basis of these findings, the goal of this study was to elucidate the contribution of ADAM12 in breast tumor growth and progression. Overexpression of both the ADAM12-L (transmembrane) and ADAM12-S (secreted) isoforms in human breast tumor cells resulted in a significantly higher rate of tumor take and increased tumor size. Cells expressing the enzymatically inactive form of the secreted isoform, ADAM12-S, had tumor take rates and tumor volumes similar to those of wild-type cells, suggesting that the tumor-promoting activity of ADAM12-S was a function of its proteolytic activity. Of the two isoforms, only the secreted isoform, ADAM12-S, enhanced the ability of tumor cells to migrate and invade in vitro and resulted in a higher incidence of local and distant metastasis in vivo. This stimulatory effect of ADAM12-S on migration and invasion was dependent on its catalytic activity. Expression of both ADAM12 isoforms was found to be significantly elevated in human malignant breast tissue. Taken together, our results suggest that ADAM12 overexpression results in increased tumor take, tumor size, and metastasis in vivo. These findings suggest that ADAM12 may represent a potential therapeutic target in breast cancer.
ULTRAVIOLET‐B DOSE‐RESPONSE CURVES FOR LOCAL AND SYSTEMIC IMMUNOSUPPRESSION ARE IDENTICAL

Abstract— –Irradiation of mice with UVB suppresses contact hypersensitivity either “locally”, i.e. when sensitizer is applied to the UV irradiated site, or “systemically”, i.e. when sensitizer is applied to a site distal to the site of irradiation. It has been suggested that local suppression requires lower doses of UV than does systemic suppression, and that different mechanisms are therefore responsible. We undertook a detailed analysis of the dose‐response and kinetics of UV‐induced local and systemic suppression of contact hypersensitivity to trinitrochlorobenzene in two strains of mice, C57BL/6 and BALB/c. We found that the UV dose‐responses for systemic and local suppression were identical within the same strain. Comparison, however, of UV dose‐responses between strains indicated that C57BL/6 mice required 6.4 times less UV than did BALB/c mice to generate an equivalent amount of suppression. In both strains, local suppression was initiated if sensitizer was applied immediately, or 1 or 3 days after completion of a single dose of UV. In contrast, systemic suppression was initiated only if sensitizer was applied 3 days after UV irradiation. Thus local suppression was generated in the absence of significant systemic suppression (but not vice versa), and this was dependent on time of application of sensitizer after UV irradiation, not on the dose of UV administered. Filtration of the UV source with Mylar indicated that UVB was responsible for initiating both local and systemic suppression. In summary, these results indicate that (1) genetically determined differences in susceptibility to UV suppression exist, (2) the time courses of generation of local and systemic suppression differ, and (3) the UV dose‐responses for local and systemic suppression are identical, and therefore use of the terms “low dose” and “high dose” to refer respectively to local and systemic suppression by UV irradiation are incorrect. We conclude that a common mechanism initiates UV‐induced local and systemic suppression of contact hypersensitivity by the immediate formation, at the site of UV irradiation, of an immunosuppressive signal which takes between 1 and 3 days to act systemically.
4D positron emission tomography image reconstruction based on biomechanical respiratory motion

Respiratory-induced organ motion is a technical challenge to nuclear imaging and to particle therapy dose calculations for lung cancer treatment in particular. Internal organ tissue displacements and deformations induced by breathing need to be taken into account when calculating Monte Carlo dose distributions or when performing tomographic reconstructions for PET imaging. This paper proposes a method to reconstruct PET activities over tetrahedral meshes which are deformed based on biomechanical patient specific model of the respiratory system to tackle the non reproductibility of the breathing. We also describe the adaptation of the popular List-Mode Maximum Likelihood Estimation (LM-MLEM) reconstruction algorithm to motion estimation model using the finite element method (FEM). Our simulations demonstrate the accuracy of the proposed 4D LM-MLEM reconstruction algorithm based on biomechanical model and its capability to correct motion artifacts due to the breathing.
Evolving adaptive neural networks with and without adaptive synapses

A potentially powerful application of evolutionary computation (EC) is to evolve neural networks for automated control tasks. However, in such tasks environments can be unpredictable and fixed control policies may fail when conditions suddenly change. Thus, there is a need to evolve neural networks that can adapt, i.e. change their control policy dynamically as conditions change. In this paper, we examine two methods for evolving neural networks with dynamic policies. The first method evolves recurrent neural networks with fixed connection weights, relying on internal state changes to lead to changes in behavior. The second method evolves local rules that govern connection weight changes. The surprising experimental result is that the former method can be more effective than evolving networks with dynamic weights, calling into question the intuitive notion that networks with dynamic synapses are necessary for evolving solutions to adaptive tasks.
Interaction of the H63D Mutation in the Hemochromatosis Gene with the Apolipoprotein E Epsilon 4 Allele Modulates Age at Onset of Alzheimer’s Disease

The H63D mutation in the hemochromatosis gene (HFE) has recently been considered as a risk factor in Alzheimer`s disease (AD) with advancing age at onset of the disease, independently of the apolipoprotein E (ApoE) Ε4 allele effect. We examined the distribution of the H63D mutation and ApoE genotypes as a function of age at AD onset in 328 patients with sporadic AD. Our data show that the mutant H63D allele potentially interacts with the ApoE Ε4 allele to significantly reduce age at onset of AD compared to ApoE Ε4 carriers alone, but has no effect on age at onset in ApoE Ε4 non-carriers.