Miracle-dz/UniFAR-FTUs huggingface dataset:
A Practical Solution to the Problem of Automatic Word Sense Induction

Recent studies in word sense induction are based on clustering global co-occurrence vectors, i.e. vectors that reflect the overall behavior of a word in a corpus. If a word is semantically ambiguous, this means that these vectors are mixtures of all its senses. Inducing a word's senses therefore involves the difficult problem of recovering the sense vectors from the mixtures. In this paper we argue that the demixing problem can be avoided since the contextual behavior of the senses is directly observable in the form of the local contexts of a word. From human disambiguation performance we know that the context of a word is usually sufficient to determine its sense. Based on this observation we describe an algorithm that discovers the different senses of an ambiguous word by clustering its contexts. The main difficulty with this approach, namely the problem of data sparseness, could be minimized by looking at only the three main dimensions of the context matrices.
Implementation of a portable nested data-parallel language

This paper gives an overview of the implementation of NESL, a portable nested data-parallel language. This language and its implementation are the first to fully support nested data structures as well as nested data-parallel function calls. These features allow the concise description of parallel algorithms on irregular data, such as sparse matrices and graphs. In addition, they maintain the advantages of data-parallel languages: a simple programming model and portability. The current NESL implementation is based on an intermediate language called VCODE and a library of vector routines called CVL. It runs on the Connection Machine CM-2, the Cray Y-MP C90, and serial machines. We compare initial benchmark results of NESL with those of machine-specific code on these machines for three algorithms: least-squares line-fitting, median finding, and a sparse-matrix vector product. These results show that NESL's performance is competitive with that of machine-specific codes for regular dense data, and is often superior for irregular data.
Optimization of the piezoelectric response of 0–3 composites: a modeling approach

Finite element modeling is used in this study to optimize the electromechanical behavior of 0–3 composites according to the material properties of their constituents. Our modeling approach considers an ‘extended’ 2D representative volume element (RVE) with randomly dispersed piezoelectric particles. A variable distribution of their polarization axes is also implemented because a full periodic arrangement of fillers and a unique poling orientation are unrealistic in practice. Comparisons with a simpler RVE and with an analytical model based on the Mori–Tanaka approach are performed as a function of the particle concentration for the elastic, dielectric and piezoelectric homogenized properties. An optimization of the piezoelectric response of 0–3 composites according to material considerations is then computed, allowing it to be shown that the piezoelectric strain coefficient is not the only relevant parameter and that lead-free piezoelectric fillers such as LiNbO3 and ZnO are competitive alternatives. Finally, the piezoelectric responses of 0–3 composites with different filler arrangements are quantitatively compared to 1–3 composites and to the corresponding bulk material.
Riccati solutions of discrete Painlevé equations with Weyl group symmetry of type E8(1)

We present special solutions of the discrete Painleve equations associated with A0(1), A0(1)* and A0(1)**-surfaces. These solutions can be expressed by solutions of linear difference equations. Here the A0(1)-surface discrete Painleve equation is the most generic difference equation, as all discrete Painleve equations can be obtained by its degeneration limit. These special solutions exist when the parameters of the discrete Painleve equation satisfy a particular constraint. We consider that these special functions belong to the hypergeometric family although they seem to go beyond the known discrete and q-discrete hypergeometric functions. We also discuss the degeneration scheme of these solutions.
Optimal Taxation with Behavioral Agents

This paper develops a theory of optimal taxation with behavioral agents. We use a general framework that encompasses a wide range of biases such as misperceptions and internalities. We revisit the three pillars of optimal taxation: Ramsey (linear commodity taxation to raise revenues and redistribute), Pigou (linear commodity taxation to correct externalities), and Mirrlees (nonlinear income taxation). We show how the canonical optimal tax formulas are modified and lead to novel economic insights. We also show how to incorporate nudges in the optimal taxation framework, and jointly characterize optimal taxes and nudges. (JEL D62, D91, H21)
Molecular dynamics in azobenzene liquid crystal polymer films studied by transient grating technique

We studied the effect of the ratio between the monomer and cross-linker molecules in the azobenene included liquid crystal polymer films by using the heterodyne transient grating (HD-TG) technique, which is one of the time-resolved measurement techniques. Depending on the ratio, the magnitude of the refractive index change, its anisotropy, and the lifetime of the cis isomer of azobenzene, generated by a UV pulse irradiation. By increasing the cross-linker ratio, the refractive index change and its anisotropy was reduced, indicating less ability for the motion, while slower lifetime was observed by increasing the monomer ratio, indicating that the film is difficult to return the original shape by a visiblelight irradiation. The obtained dynamics was consistent with the functionality of the films.
Differential turbo-coded modulation with APP channel estimation

A serially concatenated coding system which can operate without channel state information (CSI) with use of a simple channel-estimation technique is presented. This channel-estimation technique uses the inner decoder's a posteriori probability (APP) information about the transmitted symbols to form a channel estimate for each symbol interval, and is termed "APP channel estimation. " The serially concatenated code is comprised of an outer rate-2/3 binary error-control code, separated by a bit interleaver from an inner code consisting of an 8-phase-shift keying (PSK) bit mapping and differential 8-PSK modulation. Coherent decoding provides bit-error rate performance 0.6 dB from 8-PSK capacity for large interleaver sizes. APP channel-estimation decoding without initial CSI over constant and random walk phase models shows near-coherent results, with fractions of a decibel performance loss for random walk and linear phase models
Process simulation of iron ore sintering bed with flue gas recirculation

Flue gas recirculation (FGR) has been incorporated into the sintering process with the aim of improving productivity while fulfilling tightened environmental regulations. The incorporation of FGR inevitably requires changes in the process equipment as well as incoming and outgoing gas conditions such as temperature, composition and flowrate. These changes may affect not only the reactions in the bed but also the factors related to the design and operation of the plant, which requires the checking of possible effects on gas conditions over the entire bed. The modelling approach proposed in this study for a sintering bed uses a flowsheet process simulator as the starting point for studying the effects of FGR on the sintering process. This paper is the first of two which will present comprehensive information on the modelling approach, and details of the modelling cases and the corresponding results will be described in the companion paper.
Regulatory fit and health behavior

Everyone prefers health to ill-health, though some worry more about ill health than others and for others abstract health concerns seem to pale compared with the prospect of immediate hedonic pleasures. Two studies (n = 90, n = 70) utilized a ‘fit’ in self-regulatory focus approach (Higgins, 2000) to describe when and how worrying about health (versus focus on hedonic pleasure) is likely to lead to distinct health behaviors. According to this model, individuals differ in their self-regulatory focus–some focus on reaching safety and security through vigilant and careful action (prevention focus) and others focus on opportunities to eagerly approach hopes and aspirations (promotion focus). We proposed that likelihood of engaging in health care-taking behaviors is higher among individuals who experience ‘prevention fit’–who are prevention-focused and are chronically or temporarily worried about health–whereas likelihood of engaging in eagerness-related behaviors that may be detrimental to health is higher among individuals who experience ‘promotion fit’–who are promotion-focused and chronically or temporarily experience thrill seeking. Prevention fit correlated with health care-taking behaviors (Study 1) and with readiness to engage in cancer detection behaviors (Study 2). Promotion fit correlated with using stimulants to overcome physical weakness (Study 1). Current address: Université catholique de Louvain, 1348, Louain-la-Neuve, Belgium
Structured Sparsity via Alternating Direction Methods

We consider a class of sparse learning problems in high dimensional feature space regularized by a structured sparsity-inducing norm which incorporates prior knowledge of the group structure of the features. Such problems often pose a considerable challenge to optimization algorithms due to the non-smoothness and non-separability of the regularization term. In this paper, we focus on two commonly adopted sparsity-inducing regularization terms, the overlapping Group Lasso penalty $l_1/l_2$-norm and the $l_1/l_\infty$-norm. We propose a unified framework based on the augmented Lagrangian method, under which problems with both types of regularization and their variants can be efficiently solved. As the core building-block of this framework, we develop new algorithms using an alternating partial-linearization/splitting technique, and we prove that the accelerated versions of these algorithms require $O(\frac{1}{\sqrt{\epsilon}})$ iterations to obtain an $\epsilon$-optimal solution. To demonstrate the efficiency and relevance of our algorithms, we test them on a collection of data sets and apply them to two real-world problems to compare the relative merits of the two norms.
Recombination Pattern Reanalysis of Some HIV-1 Circulating Recombination Forms Suggest the Necessity and Difficulty of Revision

Background Recombination is one of the major mechanisms underlying the generation of HIV-1 variability. Currently 61 circulating recombinant forms of HIV-1 have been identified. With the development of recombination detection techniques and accumulation of HIV-1 reference stains, more accurate mosaic structures of circulating recombinant forms (CRFs), like CRF04 and CRF06, have undergone repeated analysis and upgrades. Such revisions may also be necessary for other CRFs. Unlike previous studies, whose results are based primarily on a single recombination detection program, the current study was based on multiple recombination analysis, which may have produced more impartial results. Methods Representative references of 3 categories of intersubtype recombinants were selected, including BC recombinants (CRF07 and CRF08), BG recombinants (CRF23 and CRF24), and BF recombinants (CRF38 and CRF44). They were reanalyzed in detail using both the jumping profile hidden Markov model and RDP3. Results The results indicate that revisions and upgrades are very necessary and the entire re-analysis suggested 2 types of revision: (i) length of inserted fragments; and (ii) number of inserted fragments. The reanalysis also indicated that determination of small regions of about 200 bases or fewer should be performed with more caution. Conclusion Results indicated that the involvement of multiple recombination detection programs is very necessary. Additionally, results suggested two major challenges, one involving the difficulty of accurately determining the locations of breakpoints and the second involving identification of small regions of about 200 bases or fewer with greater caution. Both indicate the complexity of HIV-1 recombination. The resolution would depend critically on development of a recombination analysis algorithm, accumulation of HIV-1 stains, and a higher sequencing quality. With the changes in recombination pattern, phylogenetic relationships of some CRFs may also change. All these results may be critical to understand the role of recombination in a complex and dynamic HIV evolution.
Cell penetrating peptide mediated quantum dot delivery and release in live mammalian cells

Quantum dots (QDs) are semiconductor nanocrystals whose unique fluorescence properties make them desirable biological imaging probes. However, reliable and efficient cellular delivery of QDs remains technically challenging. To address this problem, we developed a cell penetrating peptide (CPP) based approach that delivers QDs into mammalian cells with high reproducibility and efficiency and minimal cytotoxicity. To understand the delivery mechanism, we analyzed related cell uptake pathways. We followed internalization and endosomal release of CPP conjugated QDs (CPP-QDs) and found that although endocytosis (micropinocytosis) was the predominant pathway, some CPP-QDs were internalized through direct permeation of the plasma membrane. Internalized QDs could be released from endosomes to the cytoplasm if conjugated with an endosomolytic peptide (HA2), but most of released particles either were re-captured by lysosomes or aggregated in the cytoplasm. Together, our results provide insights into mechanisms of CPP mediated cellular delivery of quantum dots for intracellular imaging as well as therapeutic applications.
Reliability prediction of single crystal silicon MEMS using dynamic Raman spectroscopy

This paper proposes an extension and improvement to reliability predictions in single-crystal silicon MEMS by utilizing dynamic Raman spectroscopy to allow the gathering process of Weibull fracture test data to be done directly on devices thereby taking account of actual geometrical tolerances, dynamic load conditions and effects from the microfabrication process. A theoretical model is derived to calculate the probability of fracture of device during resonance and Raman spectroscopy is used to measure dynamically induced strains on microcantilever test structures. Acquiring this fracture data on devices will improve reliability prediction accuracy.
Material parameter extraction in terahertz time domain spectroscopy

In terahertz time domain spectroscopy (THz-TDS) material parameter extraction is necessary for determining the complex refractive index of materials in the THz region. The process of material parameter extraction requires the fitting of a theoretical model for the propagation the THz pulse through the material to experimentally acquired THz time domain data, where by the complex refractive index of the theoretical model is varied until it fits the experimental data. It requires close agreement between a model of the THz electric field propagation and experimental THz data for accurate extraction of the complex refractive index. In this thesis I report on the methods of material parameter extraction with the goal of accurately determining the complex refractive index of materials within the THz region. I also investigate a series of optimisation techniques from understanding the behaviour of the extracted complex refractive index for different model assumptions and initial parameters. The inclusion of the material parameter extraction optimisation techniques allows for material parameter extraction methods which are similar to the state of the art in the field. Material placed at the THz focus are commonly investigated using the plane wave assumption for material parameter extraction. I demonstrate an extraction method which models a converging beam, this improves the accuracy of the extracted complex refractive indices for materials placed in focused THz-time domain spectrometers. Furthermore, I have developed an elegant method to determine the angular beam profile of the focussed THz beam by using the converging beam extraction method. Finally I report on the THz-TDS performance of photoconductive THz generation and detection from a high peak power vertical external cavity surface emitting laser (VECSEL). VECSELs are optically pumped semiconductor disk lasers (SDL) which are inherently compact, have multi-GHz repetition rates and could lead to a cost effective THz spectrometer system.
Origin of the atriopeptin-like immunoreactive innervation of the paraventricular nucleus of the hypothalamus

The paraventricular nucleus of the hypothalamus (PVH) contains a prominent collection of varicose atriopeptin-like immunoreactive (APir) fibers. We have used immunohistochemistry and fluorescent retrograde tracers to investigate the origin of these fibers. All parts of the PVH contain APir fibers. The densest collections are found in the periventricular area and in the parvocellular components of the nucleus. Somewhat smaller numbers of fibers are found within the borders of the magnocellular part of the PVH. Following the injection of fluorescent retrograde tracers into the PVH and subsequent immunohistochemical staining, numerous retrogradely labeled APir neurons were observed in the anteroventral periventricular nucleus (AVPV), adjacent to the anteroventral tip of the third ventricle. Smaller groups of retrogradely labeled APir neurons were observed in the ventromedial part of the bed nucleus of the stria terminalis, the pedunculopontine and laterodorsal tegmental nuclei, and the medial part of the nucleus of the solitary tract. The APir projection from the AVPV to the PVH is of particular interest in view of the abundant evidence implicating both regions in the regulation of the fluid and electrolyte balance and blood pressure. AP may serve as a central neuromodulator as well as a circulating hormone in cardiovascular regulation.
Implementing Real-Time Transport Services over an Ossified Network

Real-time applications require a set of transport services not currently provided by widely-deployed transport protocols. Ossification prevents the deployment of novel protocols, restricting solutions to protocols using either TCP or UDP as a substrate. We describe the transport services required by real-time applications. We show that, in the short-term (i.e., while UDP is blocked at current levels), TCP offers a feasible substrate for providing these services. Over the longer term, protocols using UDP may reduce the number of networks blocking UDP, enabling a shift towards its use as a demultiplexing layer for novel transport protocols.
Performance and complexity analysis of suboptimal MIMO detectors

In this paper, we consider coded MIMO systems using suboptimal iterative receivers. We propose to use the list type breadth first detectors based on M and TM algorithms and the soft output linear MMSE detectors with a priori information. We compare these two families of suboptimal iterative receivers in terms of complexity and bit-error-rate performance.
Multiple beamforming with constellation precoding: Diversity analysis and Sphere Decoding

Multi-Input Multi-Output (MIMO) wireless communication systems commonly employ beamforming techniques with Singular Value Decomposition (SVD). In such systems, if no channel encoding is employed, the full diversity order provided by the channel is achieved when a single symbol is transmitted over multiple channels; however, this property is lost whenever multiple symbols are simultaneously transmitted. The full diversity order can be restored when channel coding is added to such a system. For example, when Bit-Interleaved Coded Modulation (BICM) is combined with this technique, the full diversity order of NM in an M ×N MIMO channel, transmitting S parallel streams is possible; provided SRc ≤ 1 where RC is the BICM convolutional code rate. In this paper, we present multiple beamforming with constellation precoding which can achieve the full diversity order with both uncoded and BICM-coded SVD systems. An analytical proof of this property is provided. In addition, to reduce the computational complexity of Maximum Likelihood (ML) decoding, we introduce a Sphere Decoding (SD) technique. This technique achieves several orders of magnitude reduction in computational complexity not only with respect to conventional ML decoding, but also, with respect to conventional SD.
Spatial Memory for Context Reasoning in Object Detection

Modeling instance-level context and object-object relationships is extremely challenging. It requires reasoning about bounding boxes of different classes, locations etc. Above all, instance-level spatial reasoning inherently requires modeling conditional distributions on previous detections. Unfortunately, our current object detection systems do not have any memory to remember what to condition on! The state-of-the-art object detectors still detect all object in parallel followed by non-maximal suppression (NMS). While memory has been used for tasks such as captioning, they mostly use image-level memory cells without capturing the spatial layout. On the other hand, modeling object-object relationships requires spatial reasoning – not only do we need a memory to store the spatial layout, but also a effective reasoning module to extract spatial patterns. This paper presents a conceptually simple yet powerful solution – Spatial Memory Network (SMN), to model the instance-level context efficiently and effectively. Our spatial memory essentially assembles object instances back into a pseudo “image” representation that is easy to be fed into another ConvNet for object-object context reasoning. This leads to a new sequential reasoning architecture where image and memory are processed in parallel to obtain detections which update the memory again. We show our SMN direction is promising as it provides 2.2% improvement over baseline Faster RCNN on the COCO dataset with VGG161.
Oligomerization properties of GCN4 leucine zipper e and g position mutants

Putative intersubunit electrostatic interactions between charged amino acids on the surfaces of the dimer interfaces of leucine zippers (g‐e' ion pairs) have been implicated as determinants of dimerization specificity. To evaluate the importance of these ionic interactions in determining the specificity of dimer formation, we constructed a pool of >65,000 GCN4 leucine zipper mutants in which all the e and g positions are occupied by different combinations of alanine, glutamic acid, lysine, or threonine. The oligomerization properties of these mutants were evaluated based on the phenotypes of cells expressing λ repressor‐leucine zipper fusion proteins. About 90% of the mutants do not form stable homooligomers. Surprisingly, approximately 8% of the mutant sequences have phenotypes consistent with the formation of higher‐order (>dimer) oligomers, which can be classified into three types based on sequence features. The oligomerization states of mutants from two of these types were determined by characterizing purified fusion proteins. The Type I mutant behaved as a tetramer under all tested conditions, whereas the Type III mutant formed a variety of higher‐order oligomers, depending on the solution conditions. Stable homodimers comprise less than 3% of the pool; several g‐e' positions in these mutants could form attractive ion pairs. Putative repulsive ion pairs are not found among the homodimeric mutants. However, patterns of charged residues at the e and g positions do not seem to be sufficient to predict either homodimer or heterodimer formation among the mutants.