Miracle-dz/UniFAR-FTUs huggingface dataset:
Symplectic-orthogonal theta lifts of generic discrete series

0. Introduction. Let F be a non-Archimedean local field of characteristic zero. In this paper we study a correspondence between representations of symplectic groups Sp(n,F ) and special even-orthogonal split groups SO(2r,F ), where r ≥ 2. Letωn,r be the Weil representation of Sp(2nr,F ) attached to a nontrivial additive characterψF of F . We show that the correspondence arising by restricting the Weil representationωn,r to Sp(n,F )×SO(2r,F ) is functorial for generic square integrable representations. More precisely, let T be a smooth, irreducible representation of Sp(n,F ). Let 2(T, r) be the maximal T-isotypic quotient of ωn,r . The smallest r such that2(T, r) 6= 0 is called the first occurrence index of T. Now assume that T is a ψ-generic discrete series. (See (1.1) for the definition of ψ . ) Let L(s,T) be the standard Lfunction attached to T as in [Sh1]. Then we have the following results. IfL(0,T)=∞, then the first occurrence index is n. Let τ ′ be an irreducible quotient of 2(T,n). Then τ ′ is a ψ ′-generic discrete series representation of SO(2n,F ), and for any discrete series representation δ of GL(m,F ) (m arbitrary), we have L(s,δ×T)= L(s,δ)L(s,δ×τ ′). If L(0,T) 6= ∞, then the first occurrence index is n+1. Then 2(T,n+1) has the unique irreducible ψ ′-generic quotient τ ′. Furthermore, τ ′ is a discrete series representation of SO(2n+2,F ), and for any discrete series representation δ of GL(m,F ) (m arbitrary), we have L(s,δ×τ ′)= L(s,δ)L(s,δ×T). We also have analogous results for ψ ′-generic discrete series of SO(2n,F ). We refer the reader to Section 2 for precise statements. Our results have a conjectural interpretation as follows. Consider inclusions of dual groups SO(2n,C)⊂ SO(2n+1,C)⊂ SO(2n+2,C). Let W ′(F ) be the Weil-Deligne group of F . The conjectural Langlands parameter of T is an admissible homomorphism (see [Bo]) φ :W ′(F )−→ SO(2n+1,C).
Nonseparable Laplacian pyramids with multiscale local polynomials for scattered data

This paper introduces a family of nonseparable multiscale decompositions for two-dimensional scattered data based on a sample grid dependent implementation of a Laplacian pyramid. This Laplacian pyramid for two-dimensional, irregular observations coincides with a slightly redundant lifting scheme for second generation wavelet decompositions. We can thus associate a frame of wavelet functions with the decomposition and investigate from there the smoothness of a reconstruction from processed decomposition coefficients. The filters that appear in the lifting or pyramid scheme are realized by local polynomial smoothing operations. The novel design of nonseparable multiscale local polynomials does not require a multiscale triangulation of the scattered data, which is a major benefit compared to existing second generation wavelets on scattered data. The proposed scheme has also a better numerical condition, its implementation is faster, and the algorithm is easily extendible to more sophisticated versions.
Assessment of Fevicol (adhesive) Drying Process through Dynamic Speckle Techniques

Dynamic laser speckle (or biospeckle) analysis is a useful measurement tool to analyze micro-motion on a sample surface via temporal statistics based on a sequence of speckle images. The aim of this work was to evaluate the use of dynamic speckles as an alternative tool to monitoring Fevicol drying process. Experimental demonstration of intensity-based algorithm to monitor Fevicol drying process is reported. The experiment was explored with the technique called Inertia Moment of co-occurrence matrix. The results allowed verifying the drying process and it was possible to observe different activity stages during the drying process. Statistical Tukey test at 5% significance level allowed differentiating different stages of drying. In conclusion, speckle activity, measured by the Inertia Moment, can be used to monitor drying processes of the Fevicol.
BLSTM Neural Network Based Word Retrieval for Hindi Documents

Retrieval from Hindi document image collections is a challenging task. This is partly due to the complexity of the script, which has more than 800 unique ligatures. In addition, segmentation and recognition of individual characters often becomes difficult due to the writing style as well as degradations in the print. For these reasons, robust OCRs are non existent for Hindi. Therefore, Hindi document repositories are not amenable to indexing and retrieval. In this paper, we propose a scheme for retrieving relevant Hindi documents in response to a query word. This approach uses BLSTM neural networks. Designed to take contextual information into account, these networks can handle word images that can not be robustly segmented into individual characters. By zoning the Hindi words, we simplify the problem and obtain high retrieval rates. Our simplification suits the retrieval problem, while it does not apply to recognition. Our scalable retrieval scheme avoids explicit recognition of characters. An experimental evaluation on a dataset of word images gathered from two complete books demonstrates good accuracy even in the presence of printing variations and degradations. The performance is compared with baseline methods.
Emitter sheet resistance from photoluminescence images

This paper presents proof-of-concept data for a method of determining the emitter sheet resistance of a diffused wafer from a photoluminescence image (PLI). The method uses inhomogeneous illumination to cause lateral current flow within the emitter, allowing lateral resistance affects to be observed in the photoluminescence (PL) signal. Both computer modelling and experimental results show a simple relationship between the ratio of the maximum photoluminescence from the illuminated region over the minimum photoluminescence from the non-illuminated region, and the product of the emitter series resistance of a wafer and the illumination intensity. The proof-of-concept method utilises this simple relationship to determine the emitter sheet resistance of a wafer from several PL images taken at different illumination intensities.
The X-Ray Jet in the Crab Nebula: Radical Implications for Pulsar Theory?

The recent Chandra image of the Crab nebula shows a striking, axisymmetric polar jet. It is shown that jets are formed in axisymmetric, magnetized pulsar winds and that the jet luminosity scales relative to the total as (γ0σeq)-4/3, where σeq is the ratio of Poynting flux to particle kinetic energy output at the equator at the base of the flow and γ0 is the initial Lorentz factor of the flow. The results are applied to the image of the Crab nebula, and the limit is set for the Crab pulsar of σeq ≤ 102. It is argued that conventional pulsar theory needs to be reexamined in light of these limits.
A GA-Based Simulation System for WMNs: Performance Analysis for Different WMN Architectures Considering Exponential Distribution, HWMP and TCP Protocols

In our previous work, we implemented WMN-GA system which is based on Genetic Algorithms (GAs) and used it for node placement problem in WMNs. In this paper, we evaluate the performance of two different distributions of mesh clients for two WMN architectures considering PDR, throughput, delay, fairness index and energy metrics. For simulations, we used ns-3, Hybrid Wireless Mesh Protocol (HWMP) and TCP. We compare the performance of both architectures for exponential distribution of mesh clients by sending multiple Constant Bit Rate (CBR) flows in the network. The simulation results show that the PDR for both WMN architectures is almost the same. The throughput of I/B WMN is higher than Hybrid WMN. The delay of I/B WMN is lower than Hybrid WMN. The fairness index of Hybrid WMN is higher than I/B WMN. For I/B WMN architecture, the energy decreases faster than Hybrid WMN.
Morphology-property relationships in polycarbonate-based blends. I. Modulus

Abstract The tensile, dynamic mechanical and morphological properties of PC/HDPE, PC/LDPE and PC/PS blends have been investigated with the intent of clarifying the major factors governing the modulus of these essentially incompatible blends. Scanning electron microscopy shows that all of the PC/HDPE, PC/LDPE and PC/PS blends have a domain structure whose morphology is strongly dependent on the concentration of the dispersed phase; when the dispersed phase concentration is less than 15%, the domains are mostly of spherical shape, while above 20% agglomeration takes place to form rodlike structures. Dynamic mechanical data shows there is essentially no adhesion at the PC-HDPE and PC-LDPE boundaries, while there is appreciable adhesion at the PC-PS interface. The existence of an intermixed zone was postulated to explain this interfacial adhesion. Morphological and thermal analysis results also indicate that both the HDPE and LDPE inclusions are loosely sitting in the holes in the PC matrix while the PS inclu.
Comparison of Two Dimension-Reduction Methods for Network Simulation Models

Experimenters characterize the behavior of simulation models for data communications networks by measuring multiple responses under selected parameter combinations. The resulting multivariate data may include redundant responses reflecting aspects of a smaller number of underlying behaviors. Reducing the dimension of multivariate responses can reveal the most significant model behaviors, allowing subsequent analyses to focus on one response per behavior. This paper investigates two methods for reducing dimension in multivariate data generated from simulation models. One method combines correlation analysis and clustering. The second method uses principal components analysis. We apply both methods to reduce a 22-dimensional dataset generated by a network simulator. We identify issues that an analyst must decide, and we compare the reductions suggested by the methods. We have used these methods to identify significant behaviors in simulated networks, and we suspect they may be applied to reduce the dimension of empirical data measured from real networks.
SOLVING THE PHASE PROBLEM IN PROTEIN ELECTRON CRYSTALLOGRAPHY: MULTIPLE ISOMORPHOUS REPLACEMENT AND ANOMALOUS DISPERSION AS ALTERNATIVES TO IMAGING

Electron crystallography of 2-dimensional protein crystals combines electron diffraction with high resolution imaging of the crystals to calculate an electron density map. However, high resolution imaging is still associated with many technical problems whereas the registration of diffraction patterns to high resolution is less demanding. The ability to retrieve phase information from diffraction patterns with heavy atoms, as in X-ray crystallography, would therefore open up new vistas. Thus we have investigated both theoretically and experimentally the use of heavy atom labelling. Model calculations show that substituted heavy atoms affect electron diffraction intensities and that anomalous dispersion and multiple isomorphous replacement (MIR) are indeed potential techniques for phase determination. Since the expected changes are small the intensities of electron diffraction patterns have to be measured with sufficient accuracy. For thin catalase micro crystals we find that significant difference Patterson maps can be obtained if sensitive electron detectors and zero-loss energy filtering are used. Heavy atom derivative diffraction patterns have been recorded which show significant changes from native protein diffraction patterns.
A physically-based model with adaptive refinement for facial animation

The paper presents a physically-based 3D facial model based on anatomical knowledge for facial expression animation. The facial model incorporates a physically-based approximation to facial skin and a set of anatomically-motivated facial muscles. The skin model is established through the use of a mass-spring system with nonlinear springs which simulate the elastic-dynamics of a real facial skin. Muscle models are developed to emulate facial muscle contraction. Lagrangian mechanics governs the dynamics, dictating the deformation of facial surface in response to muscular forces. We show that when surface regions are influenced by the large muscular force, the local deformation becomes inaccurate. The conventional method to deal with this problem is using a fine network, but it also increases the cost of computation. We therefore present an approach to adaptively refine the mass-spring facial model to a required accuracy. It generates more pleasing results at low computational expense.
CSF tau correlates with CJD disease severity and cognitive decline

Creutzfeldt–Jakob disease (CJD) is the most common prion disease in humans. The clinical diagnosis of CJD is supported by a combination of electroencephalogram, MRI, and the presence in the CSF of biomarkers. CSF tau is a marker for neuronal damage and tangle pathology, and is correlated with cognitive status in Alzheimer's disease (AD).
Single channel blind signal separation with Bayesian-MCMC

To solve the problem of single channel blind signal separation with unknown components number, a method based on Bayesian-MCMC is presented. First, single channel mixed signal, whose components have same general parameters, is modeled to change the problem into joint estimation of signal parameters and components number. Then, Bayesian theorem is applied in the joint estimation. Lastly, Bayesian computation of the estimation is accomplished with reversible jump MCMC. Simulation results indicate that the algorithm is practical and effective.
Maximum Model Counting

We introduce the problem Max#SAT, an extension of model counting (#SAT). Given a formula over sets of variables X, Y, and Z, the Max#SAT problem is to maximize over the variables X the number of assignments to Y that can be extended to a solution with some assignment to Z. We demonstrate that Max#SAT has applications in many areas, showing how it can be used to solve problems in probabilistic inference (marginal MAP), planning, program synthesis, and quantitative information flow analysis. We also give an algorithm which by making only polynomially many calls to an NP oracle can approximate the maximum count to within any desired multiplicative error. The NP queries needed are relatively simple, arising from recent practical approximate model counting and sampling algorithms, which allows our technique to be effectively implemented with a SAT solver. Through several experiments we show that our approach can be successfully applied to interesting problems.
Assessing faculty professional development in STEM higher education: Sustainability of outcomes

New faculty sustained the implementation of learner-centered courses in biology following professional development. We tested the effectiveness of Faculty Institutes for Reforming Science Teaching IV (FIRST), a professional development program for postdoctoral scholars, by conducting a study of program alumni. Faculty professional development programs are critical components of efforts to improve teaching and learning in the STEM (Science, Technology, Engineering, and Mathematics) disciplines, but reliable evidence of the sustained impacts of these programs is lacking. We used a paired design in which we matched a FIRST alumnus employed in a tenure-track position with a non-FIRST faculty member at the same institution. The members of a pair taught courses that were of similar size and level. To determine whether teaching practices of FIRST participants were more learner-centered than those of non-FIRST faculty, we compared faculty perceptions of their teaching strategies, perceptions of environmental factors that influence teaching, and actual teaching practice. Non-FIRST and FIRST faculty reported similar perceptions of their teaching strategies and teaching environment. FIRST faculty reported using active learning and interactive engagement in lecture sessions more frequently compared with non-FIRST faculty. Ratings from external reviewers also documented that FIRST faculty taught class sessions that were learner-centered, contrasting with the teacher-centered class sessions of most non-FIRST faculty. Despite marked differences in teaching practice, FIRST and non-FIRST participants used assessments that targeted lower-level cognitive skills. Our study demonstrated the effectiveness of the FIRST program and the empirical utility of comparison groups, where groups are well matched and controlled for contextual variables (for example, departments), for evaluating the effectiveness of professional development for subsequent teaching practices.
On gradient adaptation with unit-norm constraints

In this correspondence, we describe gradient-based adaptive algorithms within parameter spaces that are specified by ||w||=1, where ||/spl middot/|| is any vector norm. We provide several algorithm forms and relate them to true gradient procedures via their geometric structures. We also give algorithms that mitigate an inherent numerical instability for L/sub 2/-norm-constrained optimization tasks. Simulations showing the performance of the techniques for independent component analysis are provided.
A Performance Evaluation of Dropbox in the light of Personal Cloud Storage Systems

Personal cloud storage services have attracted the attention of users thanks to this great accessibility. Personal cloud storage services allow users to synchronize their local files with the servers in the cloud in order to make them accessible from anywhere, on any device, and at any time thanks to the client applications provided by the vendors. Various experiments are evaluated on Dropbox, one of the most popular personal cloud storage services, in order to reveal how they affect the performances of file operations such as downloading files from the cloud storage, uploading files to the cloud storage, and deleting files from the cloud storage. The experimental results are discussed with revealing the insights about how the file operations are performed on Dropbox. Also, we discuss the several techniques and architectural design principles provided by Dropbox in order to improve the file synchronization performance in terms of required time and stability. Even though we focus on Dropbox, the proposed study gives an idea about the architecture of personal cloud storage services in general and how can they be improved in terms of performance, security, and usability. We conclude the paper with discussing the features to evaluate personal cloud storage services.
Civil remedies and crime prevention: An introduction

Civil remedies are procedures and sanctions, specified by civil statutes and regulations, used to prevent or reduce criminal problems and incivilities. Civil remedies generally aim to persuade or coerce nonoffending third parties to take responsibility and action to prevent or end criminal or nuisance behavior. Early examples of civil remedy approaches typically targeted non-offending third parties (e.g., landlords, property owners) and used nuisance and drug abatement statutes to control problems. The penalties of these abatement statutes included repair requirements, fines, padlocks/closing, and property forfeiture, and sought to make owners and landlords maintain drug- and nuisance-free properties. In recent years, the scope of civil remedies has expanded beyond non-offending third parties to specifically and directly target offending parties such as batterers, gangs, and delinquent youths. Civil remedies that directly target offenders (e.g., restraining orders, injunctions against loitering and gang member congregations) are oftentimes intermediate steps ultimately enforced by criminal sanctions (arrest, prosecution and incarceration of offenders). Growth in the use of civil remedies as a crime control tactic is attributable to several factors. First, increasing use of civil remedies came at a time when communities and law enforcement officials recognized that criminal remedies were neither effective nor desirable for a wide range
Bone marrow transplantation demonstrates medullar origin of CD34+ fibrocytes and ameliorates hepatic fibrosis in Abcb4−/− mice

Bone marrow (BM)‐derived stem cells and CD34+ fibrocytes are associated with fibrogenesis in several organs. In an Abcb4−/− mouse model for sclerosing cholangitis alpha‐smooth muscle actin‐positive (α‐SMA+) myofibroblasts are thought to play a pivotal role in hepatic fibrogenesis. The aim of this study was 2‐fold: (1) to demonstrate that the origin of an important fibrogenetic cell population is the BM; and (2) to investigate whether transplantation of BM (BM‐Tx) affects liver function, staging, and grading. Surrogate markers for fibrogenesis and regulation of hepatic stellate cells (HSC) as well as progenitor‐cell‐derived fibrocytes in liver tissue were analyzed by quantitative real‐time polymerase chain reaction (PCR) and immunohistology. After lethal irradiation of recipient mice, BM‐Tx was carried out by way of tail vein injection of BM cells from marker protein donors (green fluorescent protein, GFP+) or Abcb4−/− mice as control (syngeneic Tx). Parameters of liver function were assessed serologically and histologically. Activated HSC of α‐SMA+/CRP2+ phenotype were expressed in ≈50% of proliferating bile ducts, whereas fibrotic liver parenchyma showed no expression thereof. Epithelial mesenchymal transfer (EMT) was visualized in the areas of proliferating bile ducts. The hematopoietic origin of CD34+ fibrocytes was demonstrated immunohistologically in livers of BM chimeric mice. These CD34+ cells infiltrated hepatic lobules from portal fields and developed a desmin+ phenotype expressing collagen type I in fibrotic parenchyma as well as in vitro after isolation by magnetic cell separation. Transplantation of GFP+/Abcb4+ BM improved liver function and staging compared with sham transplantation, but no significant differences were noticed among allogeneic and syngeneic Tx. Conclusion: The present study is the first to identify that both BM‐derived fibrocytes and HSC are involved in biliary fibrogenesis in Abcb4−/− mice. Our data suggest that changes in immunity subsequent to BM‐Tx may alter hepatic fibrosis. (HEPATOLOGY 2009.)
OM: A Tunable Framework for Optimizing Continuous Queries over Data Streams

Continuous query (CQ) is an important class of queries in Data Stream Management Systems. While much work has been done on algorithms for processing CQs, less attention has been paid to the issue of optimizing such queries. In this paper, we first argue that parameters such as output rate and main memory utilization are important cost objectives for CQ performance, than disk I/O. We propose a novel framework, called OM to optimize the memory utilization and output rate of CQs. Our technique monitors input stream and query characteristics, and switches plans only at certain boundary conditions. Our approach is tunable to application requirements and enables a user to make the query performance versus optimization overhead trade-off. Experimental analysis shows that our approach has high fidelity in predicting correct plans and is promising in terms of minimizing query scheduling overhead. Resumo. Consulta continua (CQ, Continuous query) e uma classe importante em Sistemas de Gerenciamento de Streams. Enquanto varios trabalhos propoem algoritmos para processar CQs, pouca atencao tem sido dada a otimizacao de tais consultas. Nesse artigo, argumentamos que parâmetros tais como a taxa de saida e a utilizacao da memoria principal sao metricas mais importantes para o desempenho de CQ do que o acesso ao disco. Dessa forma, nos propomos um novo framework, chamado OM, para otimizar a utilizacao de memoria e a taxa de saida de CQs. Nossa tecnica monitora o stream de entrada e as caracteristicas da consulta, e troca planos somente em certas condicoes de limite. Nossa proposta e ajustavel aos requisitos da aplicacao e permite que um usuario compare os beneficios entre o desempenho da consulta e a sobrecarga imposta pela otimizacao. A analise experimental mostra que a nossa proposta tem alta fidelidade ao prever os planos corretos e e promissora em minimizar a sobrecarga do agendamento de consultas.