Miracle-dz/UniFAR-FTUs huggingface dataset:
An Ambient Temperature Variation Tolerance Scheme for an Ultra Low Power Shared-L1 Processor Cluster

Near Threshold Operation is today a key research area in ultra-low power (ULP) computing, as it promises 10x improvement in energy efficiency compared to super-threshold operation, and it mitigates thermal bottlenecks. Unfortunately near-threshold operation is plagued by greatly increased sensitivity to threshold voltage variations, such as those caused by ambient temperature fluctuation. In this paper we focus on tightly-coupled ULP processor cluster architecture where a low latency, high-bandwidth processor-to-L1-memory interconnection network plays a key role. We propose a lightweight runtime solution to tolerate ambient temperature induced variations by dynamically adapting the processor-to-L1-memory latency without compromising execution correctness. We extensively tested our solution in different scenarios and we evaluate the different design trade-offs, showing the cost, performance reliability gain compared to state-of-the-art static solutions. Our solution is able to reach a performance gain up to 25% in a typical use case scenario with a very low (≈4%) area overhead.
Handover Management in Dense Networks with Coverage Prediction from Sparse Networks

Millimeter Wave (mm-Wave) provides high bandwidth and is expected to increase the capacity of the network thousand-fold in the future generations of mobile communications. However, since mm-Wave is sensitive to blockage and incurs in a high penetration loss, it has increased complexity and bottleneck in the realization of substantial gain. Network densification, as a solution for sensitivity and blockage, increases handover (HO) rate, unnecessary and ping-pong HO’s, which in turn reduces the throughput of the network. On the other hand, to minimize the effect of increased HO rate, Time to Trigger (TTT) and Hysteresis factor (H) have been used in Long Term Evolution (LTE). In this paper, we primarily present two different networks based on Evolved NodeB (eNB) density: sparse and dense. As their name also suggests, the eNB density in the dense network is higher than the sparse network. Hence, we proposed an optimal eNB selection mechanism for 5G intra-mobility HO based on spatial information of the sparse eNB network. In this approach, User Equipment (UE) in the dense network is connected only to a few selected eNBs, which are delivered from the sparse network, in the first place. HO event occurs only when the serving eNB can no longer satisfy the minimum Signal-to-Noise Ratio (SNR) threshold. For the eNBs, which are deployed in the dense network, follow the conventional HO procedure. Results reveal that the HO rate is decreased significantly with the proposed approach for the TTT values between 0 ms to 256 ms while keeping the radio link failure (RLF) at an acceptable level; less than 2% for the TTT values between 0 ms to 160 ms. This study paves a way for HO management in the future 5G network.
Combining Linguistic and Statistical Knowledge Sources in Natural-Language Processing for ATIS

During the past year, signiicant improvements have been made in the natural-language processing technology used in the SRI ATIS spoken-language understanding system. The principal developments have been (1) the incorporation of information from the natural-language grammar and lexicon into a statistical language model that is used in both recognition and understanding, (2) implementation of a robust interpretation component that constructs queries out of grammatical fragments when an utterance cannot be analyzed as a single phrase or utterance, and (3) a new context mechanism for air travel planning that constructs an explicit model of the user's intended itinerary.
Blind iterative channel identification and equalization

We propose an iterative solution to the problem of blindly and jointly identifying the channel response and transmitted symbols in a digital communications system. The proposed algorithm iterates between a symbol estimator, which uses tentative channel estimates to provide soft symbol estimates, and a channel estimator, which uses the symbol estimates to improve the channel estimates. The proposed algorithm shares some similarities with the expectation-maximization (EM) algorithm but with lower complexity and better convergence properties. Specifically, the complexity of the proposed scheme is linear in the memory of the equalizer, and it avoids most of the local maxima that trap the EM algorithm.
ALGORITHM VISUALIZATION IN TEACHING PRACTICE

This paper presents the history of algorithm visualization (AV), highlighting teaching- methodology aspects. A combined, two-group pedagogical experiment will be presented as well, which measured the efficiency and the impact on the abstract thinking of AV. According to the results, students, who learned with AV, performed better in the experiment.
A frequency domain model for beat frequency oscillation analysis in microgrid

Power electronic converters are typical nonlinear systems in frequency domain. With a perturbation frequency excitation, the current and voltage of power converters in steady state contain not only perturbation but also many sidebands. In a Microgrid containing a large amount of power converters, one converter's switching frequency ripples are other converters' perturbations and beat frequency components will be generated if switching frequencies of those power converters are different. As the control loops always take high gains in low frequency regions and the low pass filters almost have no effect on low-frequency disturbances, if the beat frequency component has certain values, they may be magnified and presented as oscillations. This paper develops a frequency domain model to describe the characteristics of power converter around switching frequency range and to analyze the high frequency interactions of power converters in Micorgrid. The voltage mode controlled boost converters are illustrated as demonstration. The proposed model indicates that switching frequency affects the output characteristics of power converters significantly. In a system consists of two boost converters in parallel, the beat frequency oscillation that traditional output impedance models fail to explain could be accurately predicted by the proposed model. In addition, based on this model, design guideline is proposed to avoid the potential beat frequency oscillation in parallel system. Simulation results validate the accuracy and effectiveness of the proposed method.
Snap-n-fold: origami pattern generation based real-life object structure

Origami (Paper-folding) is one of the main forms of paper-craft which has been appreciated by people from different cultures all over the world. However, it is still difficult for ordinary people to model the real-life objects and design their paper-folding patterns. In this paper we present 'Snap-n-Fold', an origami-generating system based on real-life objects' structures captured by a camera. It is based on the algorithm which combines object extraction, structure skeletonization, and origami generation. Users only need to capture the desired object through the camera to create origami folding pattern. Snap-n-Fold can be implemented on both PC and mobile platforms such as iOS and Andriod, therefore users can model the real-life objects using origami by only taking a snap-shot of the objects anytime and anywhere.
Viruses: agents of coral disease?

The potential role of viruses in coral disease has only recently begun to receive attention. Here we describe our attempts to determine whether viruses are present in thermally stressed corals Pavona danai, Acropora formosa and Stylophora pistillata and zoanthids Zoanthus sp. , and their zooxanthellae. Heat-shocked P. danai, A. formosa and Zoanthus sp. all produced numerous virus-like particles (VLPs) that were evident in the animal tissue, zooxanthellae and the surrounding seawater; VLPs were also seen around heat-shocked freshly isolated zooxanthellae (FIZ) from P. danai and S. pistillata. The most commonly seen VLPs were tail-less, hexagonal and about 40 to 50 nm in diameter, though a diverse range of other VLP morphotypes (e.g. rounded, rod-shaped, droplet-shaped, filamentous) were also present around corals. When VLPs around heat-shocked FIZ from S. pistillata were added to non-stressed FIZ from this coral, they resulted in cell lysis, suggesting that an infectious agent was present; however, analysis with transmission electron microscopy provided no clear evidence of viral infection. The release of diverse VLPs was again apparent when flow cytometry was used to enumerate release by heat-stressed A. formosa nubbins. Our data support the infection of reef corals by viruses, though we cannot yet determine the precise origin (i.e. coral, zooxanthellae and/or surface microbes) of the VLPs seen. Furthermore, genome sequence data are required to establish the presence of viruses unequivocally.
ICCAD-2015 CAD contest in incremental timing-driven placement and benchmark suite

At modern technology nodes, improving routability and reducing total wirelength are no longer sufficient to close timing. Incremental timing-driven placement (TDP) seeks to resolve timing violations while limiting the impact to the original placement in an effort to achieve timing closure. To improve the timing landscape in localized regions, some latches or nets may require specialized attention that may not be available in other traditional placement flows (e.g., wirelength-driven). To address this problem, the ICCAD-2015 contest encourages advanced research in incremental timing-driven placement, by providing (i) a flexible timing-oriented placement framework, including a publicly-available and high-quality academic timer, (ii) a set of realistic benchmarks that facilitates academic and commercial collaboration, (iii) an evaluation metric that objectively defines the quality of newly-developed algorithms.
Semi-supervised Learning Framework for Cross-Lingual Projection

Cross-lingual projection encounters two major challenges, the noise from word-alignment error and the syntactic divergences between two languages. To solve these two problems, a semi-supervised learning framework of cross-lingual projection is proposed to get better annotations using parallel data. Moreover, a projection model is introduced to model the projection process of labeling from the resource-rich language to the resource-scarce language. The projection model, together with the traditional target model of cross-lingual projection, can be seen as two views of parallel data. Utilizing these two views, an extension of co-training algorithm to structured predictions is designed to boost the result of the two models. Experiments show that the proposed cross-lingual projection method improves the accuracy in the task of POS-tagging projection. And using only one-to-one alignments proves to lead to more accurate results than using all kinds of alignment information.
PAPR Reduction Using LDPC for MIMOOFDMSystems

Orthogonal Frequency Division Multiplexing (OFDM) technology is one of the most recent emerging trends in Wireless Communication. The major disadvantage of OFDM system is the high Peak-to-Average Power Ratio (PAPR) which result in the Bit Error Rate (BER) performance degradation. In this paper, a Low-Density-Parity Check (LDPC) encoder is used effectively to reduce PAPR problem. In addition the Multiple-Input Multiple-Output (MIMO) antennas technology is studied to solve reception problem.The reviewed techniques shows better reduction in PAPR as compare to other techniques, such as Cyclic coding, selective mapping, filtering and clipping
Sexual Discounting of Condom Use with Delay by Men: Implications of Relationship Status and Sexual Orientation

ii Dedication . iv Vita . v List of Tables . viii List of Figures . ix Chapter 1: Introduction . 1 Chapter 2: Method . 6 Pre-Screening . 7 Participants . 8 Measures . 9 Data Analysis . 14 Chapter 3: Results . 17 Data Quality of the SDT . 17 Comparisons Across SDT Partner Conditions . 18 vii HIV Status, PrEP Use, and Sexual Behavior . 20 Condom Use . 21 Associations between SDT Performance and Self-Report Measures . 21 Impulsivity and Sensation Seeking . 23 Chapter 4: Discussion . 25 References . 32
Why Canonical Disks Cannot Produce Advection-dominated Flows

Using simple arguments we show that the canonical thin Keplerian accretion disks cannot smoothly match any plain advection-dominated accretion flow (ADAF) model. By "plain" ADAF models we mean the ones with zero cooling. The existence of sonic points in exact solutions is critical and imposes constraints that cannot be surpassed adopting "reasonable" physical conditions at the hypothetical match point. Only the occurrence of new critical physical phenomena may produce a transition. We propose that exact advection models are a class of solutions that do not necessarily involve the standard thin cool disks and suggest a different scenario in which good ADAF solutions could eventually occur.
Distinctions in Meiotic Spindle Structure and Assembly During In Vitro and In Vivo Maturation of Mouse Oocytes1

Abstract To better understand the differences in cytoskeletal organization between in vivo (IVO) and in vitro (IVM) matured oocytes, we analyzed remodeling of the centrosome-microtubule complex in IVO and IVM mouse oocytes. Fluorescence imaging revealed dramatic differences in meiotic spindle assembly and organization between these two populations. Metaphase spindles at both meiosis I (M-I) and meiosis II (M-II) in IVO oocytes were compact, displayed focused spindle poles with distinct γ-tubulin foci, and were composed of acetylated microtubules. In contrast, IVM oocytes exhibited barrel-shaped spindles with fewer acetylated microtubules and γ-tubulin diffusely distributed throughout the spindle proper. With respect to meiotic progression, IVO oocytes were more synchronous in the rate and extent of anaphase to telophase of M-I and first polar body emission than were IVM counterparts. Furthermore, IVO oocytes showed a twofold increase in cytoplasmic microtubule organizing centers (MTOCs), and constitutive MTOC proteins (γ-tubulin and pericentrin) were excluded from the first polar body. Inclusion of MTOC constitutive proteins in the polar body and diminished number of cytoplasmic MTOCs was observed in IVM oocytes. These findings were corroborated in IVO oocytes obtained from naturally ovulated and spontaneously cycling mice and highlight a fundamental distinction in the spatial and temporal regulation of microtubule dynamics between IVO and IVM oocytes
Proposal of Incremental Sliding Mode Control

An incremental sliding mode controller for a class of second-order underactuated systems is proposed to achieve asymptotic stability and favorable performance. The second-order underactuated systems include two subsystems. Firstly, two state variables of a subsystem are chosen to construct the first-layer sliding surface. Secondly, the first-layer sliding surface and one of the left state variables are used to construct the second-layer sliding surface. The last sliding surface is constructed by the second-layer sliding surface and the left state variable. This proposed design method is applied to investigate the decoupled control of an inverted pendulum. The simulation results show the validity of incremental sliding mode control. At the same time, we analyze the way to construct the sliding surfaces and a rule of selecting parameters to construct the sliding surfaces
Near-infrared photometry of carbon stars in the Sagittarius dwarf irregular galaxy and DDO 210

Aims. We investigate the intermediate-age asymptotic giant branch stellar population of two Local Group dwarf irregular galaxies to characterize their carbon star population in near-infrared (IR). Methods. Our work is based on near-IR photometry complemented with optical ground based and Hubble Space Telescope (HST) photometry. Near-IR photometry is based on our and archival J and Ks-band images from SOFI near-IR array of the ESO New Technology Telescope (NTT). Optical photometry for DDO 210 is from the EMMI optical imager of ESO NTT, while the SagDIG optical data come from Momany et al. (2005, A&A, 439, 111). Results. We show that near-IR photometry is a very powerful tool for carbon star detection. We recovered two out of three previouslyknown carbon stars in DDO 210 and discovered six additional objects in this galaxy which have optical and near-IR colors consistent with carbon giants. This brings the total number of bona fide C-star candidates in DDO 210 to nine. However, to confirm the nature of these objects additional higher spatial resolution imaging or spectroscopic data are necessary. We detected a large population of C-star candidates in SagDIG, 18 of which were previously identified in Demers & Battinelli (2002, AJ, 123, 238) and Cook (1987, Ph.D. Thesis), and six new bona fide carbon stars. We present their optical and near-IR colors and use their luminosity function to put constraints on the star formation history (SFH) in this dwarf irregular galaxy.
Ball tracking and virtual replays for innovative tennis broadcasts

Presents a real-time computer vision system that tracks the motion of a tennis ball in 3D using multiple cameras. Ball tracking enables virtual replays, new game statistics, and other visualizations which result in very new ways of experiencing and analyzing tennis matches. The system has been used in international television broadcasts and webcasts of more than 15 matches. Six cameras around a stadium, divided into four pairs, are currently used to track the ball on serves which sometimes exceed speeds of 225 kmph. A multi-threaded approach is taken to tracking where each thread tracks the ball in a pair of cameras based on motion, intensity and shape, performs stereo matching to obtain the 3D trajectory, detects when a ball goes out of view of its camera pair, and initializes and triggers a subsequent thread. This efficient approach is scalable to many more cameras tracking multiple objects. The ready acceptance of the system indicates the growing potential for multi-camera based real-time tracking in broadcast applications.
Creating High-Level Components with a Generative Representation for Body-Brain Evolution

One of the main limitations of scalability in body-brain evolution systems is the representation chosen for encoding creatures. This paper defines a class of representations called generative representations, which are identified by their ability to reuse elements of the genotype in the translation to the phenotype. This paper presents an example of a generative representation for the concurrent evolution of the morphology and neural controller of simulated robots, and also introduces GENRE, an evolutionary system for evolving designs using this representation. Applying GENRE to the task of evolving robots for locomotion and comparing it against a non-generative (direct) representation shows that the generative representation system rapidly produces robots with significantly greater fitness. Analyzing these results shows that the generative representation system achieves better performance by capturing useful bias from the design space and by allowing viable large scale mutations in the phenotype. Generative representations thereby enable the encapsulation, coordination, and reuse of assemblies of parts.
InterestMap : Harvesting Social Network Profiles for Recommendations

While most recommender systems continue to gather detailed models of their “users” within their particular application domain, they are, for the most part, oblivious to the larger context of the lives of their users outside of the application. What are they passionate about as individuals, and how do they identify themselves culturally? As recommender systems become more central to people’s lives, we must start modeling the person, rather than the
The Inhabitation Problem for Intersection Types

In the system λΛ of intersection types, without ω, the problem as to whether an arbitrary type has an inhabitant, has been shown to be undecidable by Urzyczyn in [10]. For one subsystem of λΛ, that lacks the Λ-introduction rule, the inhabitation problem has been shown to be decidable in Kurata and Takahashi [9]. The natural question that arises is: What other subsystems of λΛ, have a decidable inhabitation problem? The work in [2], which classifies distinct and inhabitation-distinct subsystems of λΛ, leads to the extension of the undecidability result to λΛ without the (η) rule. By new methods, this paper shows, for the remaining six (two of them trivial) distinct subsystems of λΛ, that inhabitation is decidable. For the latter subsystems inhabitant finding algorithms are provided.
Unlicensed LTE/WiFi coexistence: Is LBT inherently fairer than CSAT?

Ensuring fair co-existence between unlicensed LTE and WiFi networks is currently of major concern to both cellular operators and WiFi providers. Two main unlicensed LTE approaches currently being discussed, namely Carrier Sense Adaptive Transmission (CSAT) and Listen Before Talk (LBT). While these mechanisms differ in their compatibility with existing LTE specifications and regulatory compliance in different countries, they also use fundamentally different approaches to access the channel. Nevertheless, we show in this article that when optimally configured both approaches are capable of providing the same level of fairness to WiFi and that the choice between CSAT and LBT is solely driven by the LTE operator's interests.
Compiler-assisted leakage energy optimization for clustered VLIW architectures

Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. Relatively simpler issue logic and the presence of a large number of function units in the VLIW and the clustered VLIW architectures attribute a large fraction of this leakage energy consumption in the functional units. However, functional units are not fully utilized in the VLIW architectures because of the inherent variations in the ILP of the programs. This underutilization is even more pronounced in the context of clustered VLIW architectures because of the contentions for the limited number of slow intercluster communication channels which lead to many short idle cycles.In the past, some architectural schemes have been proposed to obtain leakage energy bene . ts by aggressively exploiting the idleness of functional units. However, presence of many short idle cycles cause frequent transitions from the active mode to the sleep mode and vice-versa and adversely a ffects the energy benefits of a purely hardware based scheme. In this paper, we propose and evaluate a compiler instruction scheduling algorithm that assist such a hardware based scheme in the context of VLIW and clustered VLIW architectures. The proposed scheme exploits the scheduling slacks of instructions to orchestrate the functional unit mapping with the objective of reducing the number of transitions in functional units thereby keeping them off for a longer duration. The proposed compiler-assisted scheme obtains a further 12% reduction of energy consumption of functional units with negligible performance degradation over a hardware-only scheme for a VLIW architecture. The benefits are 15% and 17% in the context of a 2-clustered and a 4-clustered VLIW architecture respectively. Our test bed uses the Trimaran compiler infrastructure.