Miracle-dz/UniFAR-FTUs huggingface dataset:
A robust match filtering algorithm for use with repetitive patterns

Reliably matching feature points is an important part of many computer vision applications. This task is made harder when matching scenes containing repetitive patterns. The description of many feature points may be identical causing ambiguity in the matching results. This paper presents a filtering algorithm to remove erroneous matches caused by repetitive patterns. The proposed algorithm geometrically segments feature point locations into localized groups which are checked for consistency using correlation. A hierarchical approach is taken whereby neighboring groups are checked for consistency and collapsed into stronger ones. Finally a global model is calculated and used to ensure all cliques satisfy the scene geometry. The proposed method is generic and does not rely on specific feature detection algorithm. Experimental results demonstrate that the proposed method is superior to current state-of-the-art algorithms in accuracy and efficiency. The accuracy of matching repetitive patterns obtained from the proposed method is up to 99% compared to 96% obtained by previous state-of-the-art matching algorithms. The root mean squared residual matching error has been improved to 1.11 pixels compared to 4.09 obtained from current state-of-the-art image matching algorithms. The execution time of the method is competitive with most state-of-the-art image matching algorithms.
Physics-Based Passivity-Preserving Parameterized Model Order Reduction for PEEC Circuit Analysis

The decrease of integrated circuit feature size and the increase of operating frequencies require 3-D electromagnetic methods, such as the partial element equivalent circuit (PEEC) method, for the analysis and design of high-speed circuits. Very large systems of equations are often produced by 3-D electromagnetic methods, and model order reduction (MOR) methods have proven to be very effective in combating such high complexity. During the circuit synthesis of large-scale digital or analog applications, it is important to predict the response of the circuit under study as a function of design parameters such as geometrical and substrate features. Traditional MOR techniques perform order reduction only with respect to frequency, and therefore the computation of a new electromagnetic model and the corresponding reduced model are needed each time a design parameter is modified, reducing the CPU efficiency. Parameterized model order reduction (PMOR) methods become necessary to reduce large systems of equations with respect to frequency and other design parameters of the circuit, such as geometrical layout or substrate characteristics. We propose a novel PMOR technique applicable to PEEC analysis which is based on a parameterization process of matrices generated by the PEEC method and the projection subspace generated by a passivity-preserving MOR method. The proposed PMOR technique guarantees overall stability and passivity of parameterized reduced order models over a user-defined range of design parameter values. Pertinent numerical examples validate the proposed PMOR approach.
Guaranteeing Convergence of Distributed Systems : From Specification to Implementation via Refinement

This paper describes a methodology for developing and verifying a class of distributed systems using stepwise refinement and a theorem prover. The process of refinement leads to algorithms in which individual steps can be implemented atomically in a straightforward way. These algorithms are then transformed from the notation of the theorem prover to a target programming language, such as Java and Erlang. The methodology allows the system state space to be continuous. The key temporal properties that are preserved by the above refinement and transformation processes are convergence and termination. The proof techniques used are extensions of control theoretic results to temporal logic of continuous time and state spaces. We present a library of theorems and proofs to reduce the work required to develop and verify programs in this class. The applicability of the method is demonstarted by modeling and performing step-wise refinement of a collection of standard algorithms for sensor networks and multi-vehicle systems.
Are the Pathological Characteristics of Prostate Cancer More Aggressive or More Indolent Depending upon the Patient Age?

Purpose. To identify pathological characteristics of prostate cancer according to patient age at diagnosis. Methods. A retrospective review of 2,929 men diagnosed with prostate cancer was performed. Pathological characteristics were compared across age groups: ≤55, 56–75, and >75 years. Results. The study cohort included 133 patients (4.5%), 2,033 patients (69.5%), and 763 patients (26.0%) in the three age groups, respectively. The median pathological Gleason sums in the three age groups were 8, 7, and 8, respectively. The Gleason sum, primary Gleason score, and second primary Gleason score were significantly different among the three age groups (Z = 12.975, p = 0.002; Z = 9.264, p = 0.010; Z = 6.692, p = 0.035, resp.). The percentages of Gleason pattern 5 tumors for the three age groups were 44.4%, 32.3%, and 36.8%, respectively; they were significantly different (χ2 = 11.641, p = 0.003). The percentages of tumors with Gleason score grade groups 3–5 for the three age groups were 66.9%, 60.5%, and 66.3%, respectively; they were significantly different (χ2 = 9.401, p = 0.009). Conclusions. The present study indicated that men aged ≤55 years or >75 years show higher levels of clinically significant prostate cancer compared to patients between the ages of 55 and 75 years. Younger and more elderly male patients are more likely to have a more aggressive disease.
Effect of TPC and Rake receiver on Uplink Link Capacity of DS-CDMA Packet Mobile Communication

あらまし パケット通信では,パケット衝突が発生しても受信電力の大きいパケットが正しく受信されるというキャプチャ 効果があることが知られている. ところで,DS-CDMAパケット移動通信では,パスロスやシャドウィングによる遠近問題やマ ルチパスフェージングが存在するために,帯域を拡散することによるリンク容量(収容可能なアクティブユーザの最大数)の増 加を期待できない. そこで,遠近問題やマルチパスフェージングで生ずる受信電力変動を抑圧することが必要になる. このため の技術として送信電力制御(TPC)と Rake 受信が知られている. ここで注意しなければならないことは,受信電力変動幅の抑 圧とキャプチャ効果とはトレードオフの関係にあるということである. 本論文では,DS-CDMAパケット移動通信の上りリンク 容量に及ぼす TPC と Rake 受信の効果を計算機シミュレーションにより明らかにしている. その結果,低速 TPC ではリンク容 量を最大とするパス数が存在し,最大リンク容量は高速 TPCより大きくなること,TPCを用いない場合と高速 TPCのときのリ ンク容量はパス数にかかわらずほぼ一定となることが分かった. 低速 TPCを用いるときのリンク容量が高速 TPCより大きくな る理由は,高速 TPCでは受信電力が一定になってしまうのでキャプチャ効果を期待できないが,低速 TPCでは遠近問題のみを 解決してフェージングの抑圧を Rake 受信に任せているので,キャプチャ効果が得られる程度の適度な受信電力変動を残してい るからである. 一方,TPCを用いないときのリンク容量は,高速 TPCおよび低速 TPCに比べ著しく低下する. キーワード 無線パケット通信,TPC,ALOHA/DS-CDMA,リンク容量
MARKET TRENDS OF USER-CENTRIC ENTERPRISE MASHUPS

Numerous Web services and APIs available online have triggered the creation of mashups. They manage to provide added value by timely and flexible reuse and combination of existing data or software components to satisfy ad hoc needs. Most mashups strive for end-user friendliness and certain types of them are increasingly adopted by enterprises. In this paper, based on a review of recent literature and some enterprise mashup tools, we identify the current trends in the domain of user-centric enterprise mashups. Then we discuss the implications and challenges related to the enterprise mashup adoption.
Effect of Dexmedetomidine in Preventing Postoperative Side Effects for Laparoscopic Surgery

AbstractDexmedetomidine (DEX) has been used extensively for patients during surgery. Some studies found that DEX could reduce the incidence of postoperative side effects in laparoscopic surgical patients. However, no firm conclusions were made about it.The authors searched for randomized controlled trials (RCTs) in PubMed, EMBASE, and the Cochrane Central Register of Controlled Trials testing DEX administrated in laparoscopic surgical patients and reporting on postoperative nausea, vomiting, shivering, heart rate, mean arterial pressure (MAP), or extubation time after surgery or within 1 hour in postoperative care unit. Trial sequential analysis (TSA) was used for RCTs comparing DEX with placebo or no treatment in laparoscopic surgery patients. A protocol for this meta-analysis has been registered on PROSPERO (http://www.crd.york.ac.uk/prospero) and the registration number is CRD42015020226.Fifteen studies (899 patients) were included. DEX could significantly reduce the incidence of postoperative nausea (risk ratio [RR] and 95% confidence interval [CI], 0.43 [0.28, 0.66], P < 0.0001), vomiting (RR and 95% CI, 0.36 [0.18, 0.72], P = 0.004), shivering (RR and 95% CI, 0.19 [0.11, 0.35], P < 0.00001), rescue antiemetic (RR and 95% CI, 0.18 [0.07, 0.47], P = 0.0006), and increase the incidence of dry mouth (RR and 95% CI, 7.40 [2.07, 26.48], P = 0.002) comparing with the control group. In addition, firm conclusions can be made on the results of postoperative nausea according to the TSA. Meta-analysis showed that DEX group had a significantly lower heart rate (mean difference [MD] and 95% CI, −14.21 [−18.85, −9.57], P < 0.00001) and MAP (MD and 95% CI, −12.35 [−15.28, −9.42], P < 0.00001) than the control group, and firm conclusions can be made according to the TSA. No significance was observed on extubation time between 2 groups (MD and 95% CI, 0.70 [−0.89, 2.28], P = 0.39). The results from this meta-analysis indicated that perioperative DEX decreased postoperative nausea and shivering in laparoscopic surgical patients. However, common adverse effects were lower heart rate and MAP. Firm conclusions cannot be made on postoperative shivering, rescue antiemetic, and dry mouth until more RCTs were included.
What is Required for Conservative Christians in the African American Community to Experience Mental Health as a Potential Resource for Emotional Healing? A Phenomenological Approach

The purpose of this phenomenological study is to examine what is required for conservative Christians in the African American community to experience mental health counseling as a potential resource for emotional healing. The theories guiding this study are person-centered and experiential with emphasis on the Gestalt approach. Person-Centered theory was created by Carl Rogers over 40 years ago to encourage clinicians to honor their clients’ lead in their treatment process while discovering their own solutions. Experiential therapy is a humanistic approach to therapy, which will also be implemented in this research. An experiential approach to counseling prioritizes the need for genuine, empathetic, therapeutic relationship and focuses on the experience of the client during the session. The most significant experiential approach to this research is Gestalt therapy because it focuses on the here and now of the interviewee’s experience. Participants will include eight members of African American churches from the southern geographic regions of the United States. Using the information gathered during the interviews, the researcher will better understand (a) their personal experiences with the mental health profession, (b) their perceptions of mental health, (c) their current coping skills for emotional healing, (d) as well as gain insight as to how to integrate African American religious culture and mental health. The results of this research will explain the disconnect between the mental health field and the African American community.
Membrane proteins follow multiple pathways to the basolateral cell surface in polarized epithelial cells

Newly synthesized apical and basolateral membrane proteins are sorted from one another in polarized epithelial cells. The trans-Golgi network participates in this sorting process, but some basolateral proteins travel from the Golgi to recycling endosomes (REs) before their surface delivery. Using a novel system for pulse–chase microscopy, we have visualized the postsynthetic route pursued by a newly synthesized cohort of Na,K-ATPase. We find that the basolateral delivery of newly synthesized Na,K-ATPase occurs via a pathway distinct from that pursued by the vesicular stomatitis virus G protein (VSV-G). Na,K-ATPase surface delivery occurs at a faster rate than that observed for VSV-G. The Na,K-ATPase does not pass through the RE compartment en route to the plasma membrane, and Na,K-ATPase trafficking is not regulated by the same small GTPases as other basolateral proteins. Finally, Na,K-ATPase and VSV-G travel in separate post-Golgi transport intermediates, demonstrating directly that multiple routes exist for transport from the Golgi to the basolateral membrane in polarized epithelial cells.
A Novel Approach for Trademark Image Retrieval by Combining Global Features and Local Features

Traditional trademark image retrieval algorithm only using global feature easily makes mistaken retrieval, and scale invariant feature transform (SIFT) features have limited descriptive ability for image contour and high algorithm complexity. This paper proposes a trademark retrieval algorithm combining the image global features and local features. In this paper, we will firstly, extract Zernike moments of the retrieved image and sort them according to similarity. Candidate images are formed. Then, the SIFT features are used for matching the query image accurately with candidate images. Experimental results show that this method not only keeps high precision- recall of SIFT features and is superior than the method based on the single Zernike moments feature, but also improves effective retrieval speed compared to the single SIFT features. This method can be well applied to the trademark image retrieval system.
Path Directed Symbolic Execution in the K Framework

The K framework is a rewrite-based executable semantic framework built with the purpose to define programming languages and formal analysis methods. This paper introduces K definition of the path-directed symbolic execution, which is that part of Counterexample Guided Abstraction Refinement (CEGAR) where the counterexample is checked for spuriousness. To express this technique in K, we use strongest post condition computation on straight line code. The programming language at hand is imperative, with simple arithmetic, but the approach can be applied to more complicated languages. This work aims to further advance the integration of CEGAR technique in rewriting logic semantics project in general, and in K in particular. By doing this we obtain an uniform description of the definition of the programming language, the abstract model checking, and the counterexample guided refinement. This uniformity enables formal reasoning about CEGAR's implementation correctness which could be further standardized and eventually automatized.
A Low Complexity Frequency-Domain Parallel Demodulation Structure Combined with Symbol Synchronization

A frequency-domain parallel demodulation structure combined with symbol synchronization is proposed by analyzing traditional demodulation structure based on FFT. The structure not only decreases the output data rate of filter to symbol rate but also shortens FFT length, thus the implementation complexity is reduced obviously. In addition, a frequency-domain symbol synchronization algorithm for the improved structure is proposed by illustrating its computational process and implementation architecture. The capture and tracking performance of the algorithm are simulated. The simulation results show that the structure has low implementation complexity and good performance in low signal-to-noise ratio (SNR) environment so that it can meet the practical application requirements in highspeed satellite communication system.
Sarker Ozone Decomposition over Silver-Loaded Perlite

The Bulgarian natural expanded mineral obtained from Bentonite AD perlite (A deposit of "The Broken Mountain" for perlite mining, near by the village of Vodenicharsko, in the municipality of Djebel), was loaded with silver (as ion form Ag 2 and 5 wt% by the incipient wetness impregnation method), and as atomic silver Ag using Tollen’s reagent (silver mirror reaction). Some physicochemical characterization of the samples are provided via: DC arc-AES, XRD, DR-IR and UV-VIS. The aim of this work was to obtain and test the silver-loaded catalyst for ozone decomposition. So the samples loaded with atomic silver show ca. 80% conversion of ozone 20 minutes after the reaction start. Then conversion decreases to ca. 20 % but stay stable during the prolongation of time. Keywords—aluminum-silicates, Ag/perlite expanded glass, ozone decomposition
A Test of the Collisional Dark Matter Hypothesis from Cluster Lensing

Spergel & Steinhardt proposed the possibility that dark matter particles are self-interacting as a solution to two discrepancies between the predictions of cold dark matter models and observations: First, the observed dark matter distribution in some dwarf galaxies has large, constant-density cores, as opposed to the predicted central cusps; and second, small satellites of normal galaxies are much less abundant than predicted. The dark matter self-interaction would produce isothermal cores in halos and expel the dark matter particles from dwarfs orbiting in large halos. Another consequence of the model is that halos should become spherical once most particles have interacted. Several observations show that the mass distribution in relaxed clusters of galaxies is elliptical. Here, I discuss in particular gravitational lensing in the cluster MS 2137-23, where the ellipticity of the dark matter distribution can be measured to a small radius, r ~ 70 kpc, suggesting that most dark matter particles in clusters outside this radius do not collide during the characteristic age of clusters. If true, this implies that any dark matter self-interaction with a cross section independent of velocity is too weak to have affected the observed density profiles in the dark-matter dominated dwarf galaxies, or to have facilitated the destruction of dwarf satellites in galactic halos. If sx is the cross section and mx the mass of the dark matter particle, then sx/mx < 10-25.5 cm2 GeV-1.
A Multimodal Motion-Captured Corpus of Matched and Mismatched Extravert-Introvert Conversational Pairs

This paper presents a new corpus, the Personality Dyads Corpus, consisting of multimodal data for three conversations between three personality-matched, two-person dyads (a total of 9 separate dialogues). Participants were selected from a larger sample to be 0.8 of a standard deviation above or below the mean on the Big-Five Personality extraversion scale, to produce an Extravert-Extravert dyad, an Introvert-Introvert dyad, and an Extravert-Introvert dyad. Each pair carried out conversations for three different tasks. The conversations were recorded using optical motion capture for the body and data gloves for the hands. Dyads’ speech was transcribed and the gestural and postural behavior was annotated with ANVIL. The released corpus includes personality profiles, ANVIL files containing speech transcriptions and the gestural annotations, and BVH files containing body and hand motion in 3D.
Innovation in user interface development: obstacles and opportunities

Case studies of two software development organizations suggest that common practices of these organizations pose obstacles to innovation. Although software development organizations have good reasons to be conservative and resist innovation, they recognize the importance of innovations to the competitiveness of their products. But organizations experienced at development of regularly scheduled releases are not well suited to development of innovations. In this research investigators worked with the user interface teams in two organizations while interviewing people throughout the organizations. Both organizations developed prototypes, but only small design changes were prototyped and tested early in development. Innovative changes were evaluated late, when resistance to iteration was great. User interface designs and prototypes were often not shown to users. Mechanisms for coordinating development were another conservative influence. Both organizations successfully overcame these obstacles by departing from established practices.
Hierarchical Framework for Shape Correspondence

Detecting similarity between non-rigid shapes is one of the fundamental problems in computer vision. In order to measure the similarity the shapes must first be aligned. As opposite to rigid alignment that can be parameterized using a small number of unknowns representing rotations, reflections and translations, non-rigid alignment is not easily parameterized. Majority of the methods addressing this problem boil down to a minimization of a certain distortion measure. The complexity of a matching process is exponential by nature, but it can be heuristically reduced to a quadratic or even linear for shapes which are smooth two-manifolds. Here we model the shapes using both lo- cal and global structures, employ these to construct a quadratic dissimilarity measure, and provide a hierarchical framework for minimizing it to obtain sparse set of corre- sponding points. These correspondences may serve as an initialization for dense linear correspondence search.
Collision problem: characteristics for a taxonomy

The collision problem appears within many fields. The specific characteristics that can be identified in different problems lead to the broad set of specialized algorithms that appear in the literature. This paper deals with the first step needed to address the collision problem taxonomy challenge: a survey that compiles and suggests a set of characteristics that could be used to discriminate collision problems, i.e. to generate the taxonomy.
α-Dystroglycan Functions in Acetylcholine Receptor Aggregation But Is Not a Coreceptor for Agrin-MuSK Signaling

α-dystroglycan (α-DG) is an agrin-binding protein that has been implicated in acetylcholine receptor (AChR) clustering, but it is unclear whether it acts as a coreceptor involved in initial agrin signaling or as a component involved in later events. To investigate its role, we have generated antisense derivatives of the C2 mouse muscle cell line, which have reduced α-DG expression. When compared with wild-type cells, the α-DG-deficient myotubes have a dramatic reduction in the number of spontaneous and agrin-induced AChR clusters. Several findings suggest that this decrease in AChR clustering is likely not because of a defect in agrin signaling through the MuSK receptor tyrosine kinase. Compared with wild-type cells, the α-DG-deficient cell lines showed only a transient reduction in the level of agrin-induced MuSK tyrosine phosphorylation and no reduction in AChR β-subunit tyrosine phosphorylation. Additionally, agrin-induced phosphorylation of MuSK in wild-type myotubes was not decreased using agrin fragments that lack the domain primarily responsible for binding to α-DG. Finally, neural agrin-induced phosphorylation of MuSK was unaffected by treatments such as excess muscle agrin or anti-α-DG antibodies, both of which block agrin–α-DG binding. Together, these results suggest that α-DG is not required for agrin-MuSK signaling but rather that it may play a role elsewhere in the clustering pathway, such as in the downstream consolidation or maintenance of AChR clusters.