gebhart/patrepeval huggingface dataset:
Polarization tracking system for free-space optical communication, including quantum communication (2023)

Quantum communication transmitters include beacon lasers that transmit a beacon optical signal in a predetermined state of polarization such as one of the states of polarization of a quantum communication basis. Changes in the beacon polarization are detected at a receiver, and a retarder is adjusted so that the states of polarization in a received quantum communication optical signal are matched to basis polarizations. The beacon and QC signals can be at different wavelengths so that the beacon does not interfere with detection and decoding of the QC optical signal.
Assessment of Simultaneous Calibration for Positions, Orientations, and Time Offsets in Multiple Microphone Arrays Systems (2023)

This paper verify the performance of the method of calibrating their positions, orientations, and time offsets using observations with multiple microphone arrays and estimating the sound source positions in the real environment. The conventional method calculates the orientation and time offset independently, and it is difficult to correct the solution when one of the optimizations cannot be performed well. Therefore, a method was proposed that can simultaneously estimate the position, orientation, and time offset by combining two types of objective functions. We evaluate the effectiveness of this simultaneous optimization through numerical simulations and experiments with recorded acoustic signals. As a result, it was shown that the proposed method is effective under the condition that the input error is small.
TLA+ Verification of Cache-Coherence Protocols (2000)

This paper describes two projects to formally specify and verify cache-coherence protocols for multiprocessor computers being built by Compaq. These protocols are significant components...
Azo-dye alignment for displays and photonics (2007)

Liquid crystal photo-alignment using azo-dyes for display and photonics applications is discussed. Various types of the glass and plastic substrates are used. Special types of 3D LC alignment, LC alignment inside thin micro tubes, and LC cladding layers in Si based waveguides and grating surface are concerned. The azo-dye photoalignment of polymerized LC films used as optical elements, such as polarizers and phase retarders is also considered. Optically rewritable liquid crystal display for plastic cards applications is shown. 1.
Exploring Automatic Query Refinement for Text-Based Video Retrieval (2006)

Text-based search using video speech transcripts is a popular approach for granular video retrieval at the shot or story level. However, misalignment of speech and visual tracks, speech transcription errors, and other characteristics of video content pose unique challenges for this video retrieval approach. In this paper, we explore several automatic query refinement methods to address these issues. We consider two query expansion methods based on pseudo-relevance feedback and one query refinement method based on semantic text annotation. We evaluate these approaches in the context of the TRECVID 2005 video retrieval benchmark using a baseline approach without any refinement. To improve robustness, we also consider a query-independent fusion approach. We show that this combined approach can outperform the baseline for most query topics, with improvements of up to 40%. We also show that query-dependent fusion approaches can potentially improve the results further, leading to 18-75% gains when tuned with optimal fusion parameters
Supplementary Data from MFF Regulation of Mitochondrial Cell Death Is a Therapeutic Target in Cancer (2023)

&lt;p&gt;Complete Supplementary Data with Figures embedded&lt;/p&gt;
On asynchronous implementations of fictitious play for distributed learning (2015)

The classical Fictitious Play (FP) algorithm is defined within a framework of synchronous repeated play. In practice, the global synchronization assumed in classical FP can be difficult to achieve in large-scale multi-agent settings. The paper considers FP with asynchronous updates-a variant of FP in which players are permitted to be either "active" or "idle" in each stage of the repeated play process. The FP process with asynchronous updates is shown to be a generalization of classical FP. Analytical convergence results are given for the asynchronous variant of FP. Furthermore, the paper studies an asynchronous continuous-time embedding of FP. The continuous- time embedded FP process may be implemented in a real-world setting where no global clock is available. Sufficient conditions for convergence of the continuous-time embedded process are provided as a consequence of the convergence analysis for FP with asynchronous updates. Example implementations that attain the sufficient condition are presented.
Computing Platforms for Big Data Analytics in Electric Vehicle Infrastructures (2018)

With the emergence of ever-growing smart vehicular applications and ubiquitous deployment of IoT devices across different architectural layers of Intelligent Transportation System (ITS), data-intensive analysis emerges to be a major challenge. Without powerful communication and computational support, various vehicular applications and services will still stay in the concept phase and cannot be put into practice in the daily life. In this paper, we consider the case of Electric Vehicle (EV) to Smart Grid (SG) integration. The EVs are key players for Transport Oriented Smart Cities (TOSC) as they help cities to become greener by reducing emissions and carbon footprint. We analyze different use-cases in EV to SG integration to show how Big Data Analytics (BDA) platforms can play a vital role towards successful EV rollout. We then present two computing platforms namely, distributed cloud computing and edge/fog computing. We highlighted the distinguishing features of each towards supporting BDA activities in EV integration. Finally, we provide a detailed overview of opportunities, trends, and challenges of both these computing techniques.
Chromatid cohesion defects may underlie chromosome instability in human colorectal cancers (2008)

Although the majority of colorectal cancers exhibit chromosome instability (CIN), only a few genes that might cause this phenotype have been identified and no general mechanism underlying their function has emerged. To systematically identify somatic mutations in potential CIN genes in colorectal cancers, we determined the sequence of 102 human homologues of 96 yeast CIN genes known to function in various aspects of chromosome transmission fidelity. We identified 11 somatic mutations distributed among five genes in a panel that included 132 colorectal cancers. Remarkably, all but one of these 11 mutations were in the homologs of yeast genes that regulate sister chromatid cohesion. We then demonstrated that down-regulation of such homologs resulted in chromosomal instability and chromatid cohesion defects in human cells. Finally, we showed that down-regulation or genetic disruption of the two major candidate CIN genes identified in previous studies (MRE11A and CDC4) also resulted in abnormal sister chromatid cohesion in human cells. These results suggest that defective sister chromatid cohesion as a result of somatic mutations may represent a major cause of chromosome instability in human cancers.
Does Team-Based Learning Improve Clinical Reasoning in Neurology? (P2.373) (2016)

Objective: We have developed and validated a Script Concordance Test (SCT), assessing Clinical reasoning (CR) in two key neurology topics — neurological localization (NL) and neurological emergencies (NE). We aimed to determine if Team-Based Learning (TBL) improves CR in medical undergraduates in these two topics using our SCT as an outcome measure. Background: CR is the ability to weigh clinical information and make decisions under conditions of uncertainty. TBL, an active learning method, has been shown to improve knowledge in neurology; however, improvement in CR has not been previously demonstrated. Methods: We conducted a modified crossover study involving 179 third and fifth year undergraduates from the Yong Loo Lin School of Medicine posted to NNI for neurology teaching. We compared TBL to interactive lectures. Each student group was randomly assigned to TBL in either NE or NL, and interactive lectures in the other topic. Groups were randomised in a 1:1 ratio. TBL and interactive lectures occurred in the same 2½-hour session. For example, 3rd year group 1 received TBL in NE and interactive lectures in NL; group 2 received TBL in NL and interactive lectures in NE. The SCT was done immediately after the session. We analysed the differences in SCT scores between groups using the unpaired T-test. Results: Mean SCT scores in NL for students receiving TBL were higher compared to interactive lectures (64.8[percnt] vs 61.7[percnt], mean difference 3.1[percnt],95[percnt] CI 0.7-5.5[percnt],p=0.013). Effect size was 0.37. Mean SCT scores in NE, however, were not significantly different between groups (66.6[percnt] vs 67.0[percnt], mean difference 0.4[percnt],95[percnt] CI -2.3[percnt]-3.1[percnt],p=0.75). Conclusions: TBL was modestly superior to interactive lectures in improving clinical reasoning in neurological localization. For neurological emergencies however, TBL and interactive lectures were equally effective. This differential effect may be due to contextual factors such as nature of topic or lecturer expertise.
Effects of the Competitive Season and Off‐Season on Knee Articular Cartilage in Collegiate Basketball Players Using Quantitative MRI: A Multicenter Study (2021)

2 Technical Efficacy Stage: 2.
Preface (2013)

The IEEE 14 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">th</sup> International Superconductive Electronics Conference (ISEC 2013) was held in Cambridge, Massachusetts, USA from July 7 to 11, 2013. The ISEC is a biennial conference focused entirely on superconductive electronics. The first ISEC occurred in 1987 in Tokyo, Japan. It was followed by meetings in Tokyo (1989), Glasgow (UK, 1991), Boulder (USA, 1993), Nagoya (Japan, 1995), Berlin (Germany, 1997), Berkeley (USA, 1999), Osaka (Japan, 2001), Sydney (Australia, 2003), Noordwijkerhout (the Netherlands, 2005), Washington DC (USA, 2007), and Fukuoka (Japan, 2009). In 2011, ISEC was an integral part of the Superconductivity Centennial Conference (SCC 2011) in the Hague (the Netherlands). This ISEC 2013 was held as an IEEE conference sponsored by the IEEE Council on Superconductivity.
Tarzetta versus Tazzetta. Des difficultés d’interpréter l’article 60.1 du Code de nomenclature (2010)

This note represents the synthesis of a discussion on the Internet forum Mycologia Europaea and its conclusions about a nomenclatural change of the name of the genus Tarzetta (Cooke) Lambotte to the benefit of the spelling Tazzetta. A brief history of the genus is given and the arguments against this modification are developed
Configuring Trees of Classifiers in Distributed Multimedia Stream Mining Systems (2010)

Multimedia stream mining applications require the identification of several different attributes in data content, and hence rely on a set of cascaded statistical classifiers to filter and process the data dynamically. In this paper, we introduce a novel methodology for configuring such cascaded classifier topologies, specifically binary classifier trees, in resource-constrained, distributed stream mining systems. Instead of traditional load shedding, our approach configures classifiers with optimized operating points after jointly considering the misclassification cost of each end-to-end class of interest in the tree, the resource constraints for every classifier, and the confidence level of each data object that is classified. The proposed approach allows for both intelligent load shedding as well as data replication based on available resources dynamically. We evaluate the algorithm on a sports video concept detection application and identify huge cost savings over load shedding alone. Additionally, we propose several distributed algorithms that enable each classifier in the tree to reconfigure itself based on local information exchange. We analyze the associated tradeoffs between convergence time, information overhead, and the cost efficiency of results achieved by each classifier for each of these algorithms.
Adjuvant dendritic cell vaccination in high-risk uveal melanoma patients (2015)

Meeting abstracts The presence of monosomy 3 in the primary tumor is widely accepted as the most reliable prognostic parameter, identified in approximately 50% of patients with primary uveal melanoma [[1][1]]. Long term studies have shown a 3-year survival rate of 40% if monosomy 3 is present,
Relationship between transition of fracture mode of carbon fiber-reinforced plastic and glass transition temperature of its resin (2015)

In this study, the correlation between the stress–strain behavior of a carbon fiber-reinforced plastic (CFRP) and the temperature at which the heat-affected zone (HAZ) is generated is investigated. First, CFRP ([−45/45]2s laminate) specimens were heated at several temperatures to induce thermal damage, i.e. a HAZ. Subsequently, tensile tests were conducted on the specimens with thermal damage. Then, microscopy and X-ray measurements were carried out to discuss the stress–strain responses from a microscopic viewpoint. The results of strain measurement during thermal treatment indicated that the strain increases with increasing temperature. The tensile tests showed that the CFRP specimens subjected to thermal damage during heating at a high temperature fractured in the ductile mode, whereas the fracture mode of the CFRP specimens with low-temperature thermal damage was discontinuous. Microstructure observation using X-ray tomography showed that the debonding between the carbon fibers and the resin matrix induced by heating to above the glass transition temperature was responsible for the continuous fracture mode.
The Dense Estimation of Motion and Appearance in Layers (2005)

Segmenting image sequences into meaningful layers is fundamental to many applications such as surveillance, tracking, and video summarization. Background subtraction techniques are popular for their simplicity and, while they provide a dense (pixelwise) estimate of foreground/background, they typically ignore image motion which can provide a rich source of information about scene structure. Conversely, layered motion estimation techniques typically ignore the temporal persistence of image appearance and provide parametric (rather than dense) estimates of optical flow. Recent work adaptively combines motion and appearance estimation in a mixture model framework to achieve robust tracking. Here we extend mixture model approaches to cope with dense motion and appearance estimation. We develop a unified Bayesian framework to simultaneously estimate the appearance of multiple image layers and their corresponding dense flow fields from image sequences. Both the motion and appearance models adapt over time and the probabilistic formulation can be used to provideasegmentation of thescene into foreground/background regions. This extension of mixture models includes prior probability models for the spatial and temporal coherence of motion and appearance. Experimental results show that the simultaneous estimation of appearance models and flow fields in multiple layers improves the estimation of optical flow at motion boundaries.
Deterministic Disturbance Rejection in Linear Identification (1977)

Adverse effects of deterministic disturbances in linear identification are pointed out. The deterministic disturbance rejector (DDR) is introduced to remove such effects in discrete-time series-parallel and parallel identification schemes for single-input, single-output systems. The method works for a class of disturbances such as a constant disturbance that can be regarded as the outputs of free systems with known dynamics.
Development of a Miniaturized Hadamard Transform Time-of-Flight Mass Spectrometer (2007)

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gatherng and maintaining the data needed, and completing and reviewing this collection of information.
ACOUSTICS2008/1393 Very Broadband High Frequency Underwater Acoustic Communications (2008)

high-throughput communications. Recent work in phase-coherent underwater acoustic communications has shown that signal bandwidths of 10-40 khz at carrier frequencies from 80 to 120 khz may be used to achieve throughputs of up to 80 kbps at ranges of 100-500 meters in shallow water. The work has included channel impulse response measurements over time and with respect to range, and application of the adaptive decision feedback equalizer using signals at multiple bandwidths. The broadband, high-frequency propagation environment is characterized, and its impact on the reliability of very wide band signals (relative to the signal carrier) is presented.
Effect of temperature on cohesive modelling of 3M Scotch-Weld™ 7260 B/A epoxy adhesive (2019)

This work addresses the effect of the test temperature on the cohesive model parameters for the 3M Scotch-Weld™ 7260 B/A epoxy adhesive. It extends a previous experimental work done at room temperature and further develops a previously proposed parameter identification method based on optimization. Double-Cantilever Beam (DCB) and End-Notched Flexure (ENF) tests were conducted at four different temperatures: 20°C, 40°C, 55°C and 70°C. Moreover, Single Lap Joints (SLJ), and bulk specimens’ tensile tests were carried out. Finite element analyses of DCB and ENF tests were performed and optimization algorithms were used to calculate constitutive cohesive model parameters. Three approaches were followed. First, cohesive parameters were derived from bulk tests. Then, optimization with two variables for each mode was conducted, to identify the parameters ei and σu,i (i = I, II) of a triangular traction separation law. In the third, only σu,i, was taken as variable, while ei was derived from the elastic modulus of the bulk adhesive. Finally, the cohesive models were applied to simulate the response of the SLJ, and numerical results were compared with experiments. The two free variables optimization method allowed to obtain the most accurate predictions of the maximum load and SLJ displacement at failure.
40-to-640-Gbit/s Multiplexing and Subsequent 640-to-10-Gbit/s Demultiplexing Using Cascaded Nonlinear Optical Loop Mirrors (2011)

We experimentally demonstrate optical multiplexing of 40 Gbit/s channels at different wavelengths onto a single 640 Gbit/s channel and subsequent 640 to 10 Gbit/s demultiplexing using cascaded nonlinear optical loop mirrors. An average penalty of ~3.5 dB at 10−9 BER is observed after the nonlinear processes.
20nm CMP model calibration with optimized metrology data and CMP model applications (2015)

Chemical Mechanical Polishing (CMP) is the essential process for planarization of wafer surface in semiconductor manufacturing. CMP process helps to produce smaller ICs with more electronic circuits improving chip speed and performance. CMP also helps to increase throughput and yield, which results in reduction of IC manufacturer’s total production costs. CMP simulation model will help to early predict CMP manufacturing hotspots and minimize the CMP and CMP induced Lithography and Etch defects <sup>[2]</sup>. In the advanced process nodes, conventional dummy fill insertion for uniform density is not able to address all the CMP short-range, long-range, multi-layer stacking and other effects like pad conditioning, slurry selectivity, etc. In this paper, we present the flow for 20nm CMP modeling using Mentor Graphics CMP modeling tools to build a multilayer Cu-CMP model and study hotspots. We present the inputs required for good CMP model calibration, challenges faced with metrology collections and techniques to optimize the wafer cost. We showcase the CMP model validation results and the model applications to predict multilayer topography accumulation affects for hotspot detection. We provide the flow for early detection of CMP hotspots with Calibre CMPAnalyzer to improve Design-for-Manufacturability (DFM) robustness.
Federated Traffic Engineering with Supervised Learning in Multi-region Networks (2021)

Network operators usually adopt Traffic Engineering (TE) to configure the routing in their networks to achieve good load balancing performance and high resource utilization. While centralized TE can effectively improve network performance with a global view of the network, distributed TE has been considered as an alternative to manage large-scale networks that are usually partitioned into multiple regions. However, it is challenging for distributed TE to reach a global optimal performance since each region can make its local routing decisions only based on partially observed network states. In this paper, we propose a novel distributed TE scheme called FedTe, which leverages supervised learning coupled with a collaborative approach to improve the overall load balancing performance for multi-region networks. FedTe learns from the global optimal routing strategy in a centralized offline manner and predicts the optimal distribution of cross-region traffic among different regions through distributed deployment in real time. The predicted cross-region traffic distribution is integrated with measured local traffic to construct each region&#x2019;s optimal regional traffic matrix, which is used to perform intra-region TE optimization. FedTe can also handle dynamic traffic variation and link failures with a 2-layer hierarchical graph neural network architecture. To validate the effectiveness of the proposed scheme, we evaluate FedTe with two real-world network topologies and a large-scale synthetic topology. Extensive evaluation results show that FedTe can achieve near-optimal load balancing performance and outperform state-of-the-art distributed TE approaches by up to 28.9% on average.
Enhancing privacy of federated identity management protocols (2006)

Federated Identity Management (FIM) allows for securely provisioning certified user identities and attributes to relying parties. It establishes higher security and data quality compared to user-asserted attributes and provides for stronger user privacy protection than technologies based upon user-side attribute certificates. Therefore, industry pursues the deployment of FIM solutions as one cornerstone of the WS-Security framework. Current research proposes even more powerful methods for security and privacy protection in identity management with so called anonymous credential systems. Being based on new, yet well-researched, signature schemes and cryptographic zero-knowledge proofs, these systems have the potential to improve the capabilities of FIM by superior privacy protection, user control, and multiple use of single credentials. Unfortunately, anonymous credential systems and their semantics being based upon zero-knowledge proofs are incompatible with the XML Signature Standard which is the basis for the WS-Security and most FIM frameworks. We put forth a general construction for integrating anonymous credential systems with the XML Signature Standard and FIM protocols. We apply this method to the WS-Security protocol framework and thus obtain a very flexible WS-Federation Active Requestor Profile with strong user control and superior privacy protection.