Miracle-dz/UniFAR-FTUs huggingface dataset:
On a Heegaard Floer theory for tangles

The purpose of this thesis is to define a "local" version of Ozsv\'{a}th and Szab\'{o}'s Heegaard Floer homology $\operatorname{\widehat{HFL}}$ for links in the 3-dimensional sphere, i.e. a Heegaard Floer homology $\operatorname{\widehat{HFT}}$ for tangles in the closed 3-ball. After studying basic properties of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $\nabla_T^s$, we prove a glueing theorem in terms of Zarev's bordered sutured Floer homology, which endows $\operatorname{\widehat{HFT}}$ with an additional glueing structure. For 4-ended tangles, we repackage this glueing structure into certain curved complexes $\operatorname{CFT}^\partial$, which we call peculiar modules. This allows us to easily recover oriented and unoriented skein relations for $\operatorname{\widehat{HFL}}$. Our peculiar modules enjoy some symmetry properties, which support a conjecture about $\delta$-graded mutation invariance of $\operatorname{\widehat{HFL}}$. In fact, we show that any two links related by mutation about a $(2,-3)$-pretzel tangle have the same $\delta$-graded link Floer homology. In the last part of this thesis, we explore the relationship between peculiar modules and twisted complexes in the fully wrapped Fukaya category of the 4-punctured sphere. This thesis is accompanied by two Mathematica packages. The first is a tool for computing the generators of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $\nabla_T^s$. The second allows us to compute Zarev's bordered sutured Floer invariants of any bordered sutured manifold using nice diagrams.
Investigation into the Biodiversity of Low-Temperature Microorganisms in Frozen Soil of the Tianshan Mountain in China

Studying microbial diversity in the frozen soil is crucial to screen and utilize the cold-adapted microorganisms. In this paper, selected the Tianshan permafrost in the unique geographical environment in Xinjiang of China as study material, then diversity of the frozen soil microorganism were determined by pure culture and sequencing. The results indicated that, among 68 isolated strains, 65.2% of them belong to Gram-positive bacteria, and the colony colors were mainly creamy white, lemon yellow, white. The optimum growth temperature of the isolated microorganisms were 20-24°C, the majority of them are cold-adaptable bacteria. after the 16S rDNA sequence analysis, the selected representative strains were subjected to the phylogenetic analyses, these strains cultivable at low temperature belong to 6 phylogenetic groups of  - proteobacteria subclass,  - proteobacteria subclass,  - proteobacteria subclass, Gram-positive bacteria, positive bacteria and CFB, among them,  -,  -,  - proteobacteria was the dominant flora. Pseudomonas spp. is the dominant genus, which accounts for the highest percentage in the grains. We can conclude that permafrost of the Tianshan Mountain can nurture rich diversity of microorganisms at low temperature, and may be viewed as a good source for screening low-temperature microorganism.
Nonparametric Segment Detection

In computer and robotic vision point clouds from depth sensors have to be processed to form higher-level concepts such as lines, planes, and objects. Bayesian methods formulate precisely prior knowledge with respect to the noise and likelihood of points given a line, plane, or object. Nonparametric methods also formulate a prior with respect to the number of those lines, planes, or objects. Recently, a nonparametric Bayesian method has been proposed to perform optimal inference simultaneously over line fitting and the number of lines. In this paper we propose a nonparametric Bayesian method for segment fitting. Segments are lines of finite length. This requires 1. ) a prior for line segment lengths: the symmetric Pareto distribution, 2. ) a sampling method that handles nonconjugacy: an auxiliary variable MCMC method. Results are measured according to clustering performance indicators, such as the Rand Index, the Adjusted Rand Index, and the Hubert metric. Surprisingly, the performance of segment recognition is worse than that of line recognition. The paper therefore concludes with recommendations towards improving Bayesian segment recognition in future wo
Fast Modulation of μ-Opioid Receptor (MOR) Recycling Is Mediated by Receptor Agonists*

Background: Opioid receptor ligands provide effective pain treatment, but their use is limited by the development of tolerance and dependence. Results: Recycling of internalized receptors is acutely regulated by the presence of their agonist. Conclusion: Receptor recycling is actively modulated. Significance: This acute modulation of receptor recycling provides a substrate for the rapid adaptations occurring during physiological time scales. The μ-opioid receptor (MOR) is a member of the G protein-coupled receptor family and the main target of endogenous opioid neuropeptides and morphine. Upon activation by ligands, MORs are rapidly internalized via clathrin-coated pits in heterologous cells and dissociated striatal neurons. After initial endocytosis, resensitized receptors recycle back to the cell surface by vesicular delivery for subsequent cycles of activation. MOR trafficking has been linked to opioid tolerance after acute exposure to agonist, but it is also involved in the resensitization process. Several studies describe the regulation and mechanism of MOR endocytosis, but little is known about the recycling of resensitized receptors to the cell surface. To study this process, we induced internalization of MOR with [d-Ala2, N-Me-Phe4, Gly5-ol]-enkephalin (DAMGO) and morphine and imaged in real time single vesicles recycling receptors to the cell surface. We determined single vesicle recycling kinetics and the number of receptors contained in them. Then we demonstrated that rapid vesicular delivery of recycling MORs to the cell surface was mediated by the actin-microtubule cytoskeleton. Recycling was also dependent on Rab4, Rab11, and the Ca2+-sensitive motor protein myosin Vb. Finally, we showed that recycling is acutely modulated by the presence of agonists and the levels of cAMP. Our work identifies a novel trafficking mechanism that increases the number of cell surface MORs during acute agonist exposure, effectively reducing the development of opioid tolerance.
Bureau of the Census through Joint Statistical Agreement Jsa 75-2. the Asymptotic Covariance Structure of Estimated Parameters from Contingency Table Log-linear Models the Asymptotic Covariance Structure of Estimated Parameters from Contingency Table Log-linear Models the Asymptotic Covariance Struc

This paper presents a matrix formulation for log-linear model analysis of contingency tables. Both weighted least squares estimators and maximum likelihood estimators are considered in this fr~ework with results being given for their corresponding covariance matrix atructures. Moreover, a general analytical strategy is presented for the simultaneous use of these two estimation procedures in a manner which emphasizes their respective strengths. Four examples illustrating the application of this methodology are then provided. * now at Department of Epidemiology and Public Health, Division of Biometry, Yale University School of Medicine, New Haven, Connecticut t now at Department of Community Health Science, Duke University, Durham, North Carolina THE ASYMPTOTIC COVARIANCE STRUCTURE OF ESTIMATED PARAMETERS FROM CONTINGENCY TABLE LOG-LINEAR MODELS Gary G. Koch, Daniel H. Freeman, Jr., and H. Dennis Tolley Department of Biostatistics University of North Carolina at Chapel Hill Chapel Hill, N. C. , U. S. A.
Orienting Parts With Shape Variation

We study the problem of orienting a part with given admitted shape variations by means of pushing with a single frictionless jaw. We use a very general model for shape variations that is defined by two given convex polygons <formula formulatype="inline"><tex Notation="TeX">$P_I \subseteq P_E$</tex></formula>. In this model, any valid instance must contain <formula formulatype="inline"><tex Notation="TeX">$P_I$</tex></formula> while it must be contained in <formula formulatype="inline"><tex Notation="TeX">$P_E$</tex></formula>. The problem that we solve is to determine, for a given <formula formulatype="inline"><tex Notation="TeX">$h$</tex></formula>, the sequence of <formula formulatype="inline"><tex Notation="TeX">$h$</tex> </formula> push actions that puts all valid instances of a part with given shape variation into the smallest possible interval of final orientations. The resulting algorithm runs in <formula formulatype="inline"><tex Notation="TeX">$O(hn)$</tex></formula> time, where <formula formulatype="inline"><tex Notation="TeX">$n=\vert P_I\vert +\vert P_E\vert$</tex></formula>.
Override and restricted union for partial functions

The override operation ⊔ is a natural one in computer science, and has connections with other areas of mathematics such as hyperplane arrangements. For arbitrary functions f and g, f ⊔g is the function with domain dom(f)∪dom(g) that agrees with f on dom(f) and with g on dom(g)\ dom(f). Jackson and the author have shown that there is no finite axiomatisation of algebras of functions of signature (⊔). But adding operations (such as update) to this minimal signature can lead to finite axiomatisations. For the functional signature (⊔, \) where \ is set-theoretic difference, Cirulis has given a finite equational axiomatisation as subtraction o-semilattices. Define f g g = (f ⊔ g)∩ (g⊔ f) for all functions f and g; this is the largest domain restriction of the binary relation f ∪ g that gives a partial function. Now f ∩ g = f\(f\g) and f ⊔ g = f g (f g g) for all functions f, g, so the signatures (g) and (⊔,∩) are both intermediate between (⊔) and (⊔, \) in expressive power. We show that each is finitely axiomatised, with the former giving a proper quasivariety and the latter the variety of associative distributive o-semilattices in the sense of Cirulis.
IDENTIFICATION OF LONGITUDINAL AND LATERAL DYNAMICS OF AN ULTRALIGHT AIRCRAFT

Most aircraft can be considered as rigid bodies whose motion is determined by a set of forces due to aerodynamic effects, propulsion and gra vity. Their dynamics can thus be described by computing the position and veloc ity f the center of gravity as well as the orientation and angular velocity of b dy-fixed axes with respect to a set of earth reference axes. The dynamic equatio ns of motion are well–known so that aircraft modeling leads to very accurate esults provided that an equally accurate knowledge of the aircraft parameters an d of the acting forces is available. This information is, however, seldom availab le particularly for light or ultralight aircraft. The alternative to modeling is iden tification; the practical application of identification techniques is however condit ioned by the choice of the class of models (often linear), the design of suitable da ta–gathering experiments and by the final validation of the obtained model i.e. by the evaluation of the degree of approximation of its description of the real pr ocess. This paper describes the identification of the longitudinal and lateral d ynamics of an ultralight aircraft and shows that the consistency of the obtained desc riptions can heavily depend on the considered class of models. In particular, it is s hown that traditional equation-error approaches relying on ARX or those relying o Output Error models can prove unreliable while the less known ARX+noise mode ls can give very consistent results.
4.6 A $47\text{fs}_{\text{rms}}$-Jitter and 26.6mW 103.5GHz PLL with Power-Gating Injection-Locked Frequency-Multiplier-Based Phase Detector and Extended Loop Bandwidth

The W and D bands located at the lower boundary of the sub-THz spectrum are considered viable candidates for CMOS-based wireless-communication systems to utilize sub-THz frequencies. However, there are still many challenges to overcome before these bands can be put to practical use. One of the most critical challenges is the design of a frequency synthesizer to generate sub-THz local-oscillator (LO) signals with extremely low jitter. This is because the value of the rms jitter required to support the target EVM decreases as the LO frequency increases, e.g., the rms jitter of an LO signal at 100GHz must be reduced to less than 50fs to satisfy −30dB EVM for 64-QAM. To achieve such low rms jitter, the bandwidth of a PLL must be extended to suppress the poor phase noise (PN) of a sub-THz VCO, but it cannot sufficiently filter the high in-band PN that is amplified by a large multiplication factor $(M)$. Thus, to date, cascaded PLLs with frequency multipliers (FMs) [1], [2] have been used extensively since they can solve this dilemma. However, their multi-stage architectures require large power and silicon area. As a single-stage solution, sub-sampling PLLs (SSPLLs) are more efficient in terms of power and area. Since the high phase-error $(\Phi_{\mathsf{ERR}})$-detection gain $(K_{\mathsf{PD}})$ of the sub-sampling PD (SSPD) can reduce the in-band PN dramatically, SSPLLs can have an extended bandwidth. However, the problem is that this merit of SSPLLs is no longer valid when the frequency of the VCO, $f_{\mathsf{VCO}}$, is increased much higher than the frequency of the output pole of the SSPD, $f_{\mathsf{RC}}$. The top of Fig. 4.6. 1 shows this situation, in which the value of $K_{\mathsf{PD}}$ is reduced significantly as the $\Phi_{\mathsf{ERR}}$ is suppressed by the pole of the SSPD. Recently, the power-gating injection-locked-FM PD (PG-ILFM PD) was presented to address this $K_{\mathsf{PD}}$-reduction problem of the SSPD at sub-THz frequencies [3]. First, it generates a discontinuous but ultra-low-jitter signal, $S_{\mathsf{ILFM}}$, at the exact target frequency, $M\cdot f_{\text{REF}}$, using a replica VCO (R-VCO). Then, by mixing this $S_{\text{ILFM}}$ with the output of the main VCO (M-VCO), $S_{\mathsf{VCO}}$, the PG-ILFM PD downconverts the $\Phi_{\mathsf{ERR}}$ information in $S_{\mathsf{VC}0}$ to the baseband before it is suppressed by the output pole of the PD. Thus, it can maintain a high $K_{\mathsf{PD}}$ and low in-band PN even when $f_{\mathsf{VCO}}$ exceeds 100GHz.
3D Thermal Resistance Model for Real-Time Temperature Monitoring of Multi-Chip IGBT Modules

Medium-voltage and high-capacity converters are vital for new energy generation, petroleum metallurgy, and electrical drives. Their long equipment service life and high cost make the reliability enhancement of them crucial. Among various failure factors in large-capacity converters, the failure of Insulated Gate Bipolar Transistor (IGBT) modules due to temperature-related issues is the most significant component. Therefore, real-time temperature monitoring of IGBT modules is one of the key means to improve the reliability of large-capacity converters. To reduce the influence of material temperature variations, aging, and power loss calculation errors on the junction temperature estimated by the thermal resistance model, the researchers are increasingly paying attention to the temperature observer, which imposes requirements on the observability of the model's state space. A hybrid thermal resistance is proposed to solve the problem that existing thermal resistance models cannot simultaneously achieve high accuracy and strong observability for air cooling IGBT modules. The proposed model exhibits an error of less than 5% compared to finite element analysis. The lumped thermal resistance model for IGBT in this paper can be implemented in the controller to monitor the 3D temperature distribution in real-time, and can serves as the basis for a temperature observer.
Query-Efficient Black-Box Attack by Active Learning

Deep neural network (DNN) as a popular machine learning model is found to be vulnerable to adversarial attack. This attack constructs adversarial examples by adding small perturbations to the raw input, while appearing unmodified to human eyes but will be misclassified by a well-trained classifier. In this paper, we focus on the black-box attack setting where attackers have almost no access to the underlying models. To conduct black-box attack, a popular approach aims to train a substitute model based on the information queried from the target DNN. The substitute model can then be attacked using existing white-box attack approaches, and the generated adversarial examples will be used to attack the target DNN. Despite its encouraging results, this approach suffers from poor query efficiency, i.e., attackers usually needs to query a huge amount of times to collect enough information for training an accurate substitute model. To this end, we first utilize state-of-the-art white-box attack methods to generate samples for querying, and then introduce an active learning strategy to significantly reduce the number of queries needed. Besides, we also propose a diversity criterion to avoid the sampling bias. Our extensive experimental results on MNIST and CIFAR-10 show that the proposed method can reduce more than 90% of queries while preserve attacking success rates and obtain an accurate substitute model which is more than 85% similar with the target oracle.
Bone marrow stem cell applied in the canine veterinary clinics 1

Gomes I.S. , Oliveira V.C. , Pinheiro A.O. , Roballo K.C. S. , Araujo G.S. M. , Veronezi, J.C. , Martins D.S. & Ambrósio C.E. 2017. Bone marrow stem cell applied in the canine veterinary clinics. Pesquisa Veterinária Brasileira 37(10):1139-1145. Department of Veterinary Medicine, Faculty of Animal Science and Food Engineer, University of Sao Paulo, Av. Duque de Caxias Norte, 225, Pirassununga, SP 13635-900, Brazil. E-mail: kellyroballo@gmail.com Cell therapy represents an old therapeutic practice initiated with the transfusion of whole blood in different clinical situations. There is now a breakthrough in the study of multipotent stem cell therapy because of its functionality in regeneration of tissues, which promotes attention of the scientific community. Bone marrow is one of the main sources of multipotent stem cells, composed by hematopoietic stem cells responsible for the renewal of the cellular components of the blood, and mesenchymal stem cells that aid in the regeneration of tissues. These cells have a strong potential for the treatment of several diseases, due their main characteristics such as high plasticity, capacity for self-renewal and immunomodulation. Although, there are many studies that show good results with the use of cell therapy as a form of treatment for several diseases, some studies still show inconclusive or unsatisfactory results. Therefore, the objective of this study was to review the application of bone marrow stem cells in the canine model since improvements on the knowledge of the technique are necessary to enable its applicability with safety and efficacy.
The Use of Static Posturography Cut-Off Scores to Identify the Risk of Falling in Older Adults

Background: Falling is the most common accident that occurs in daily living and the second leading cause of unintentional injury death worldwide. The complexity of the risk factors associated with falling makes older people at risk of falling difficult to identify. The aim of the study was to identify the cut-off scores of standing posturography measures that can be used to predict the risk of falling in older adults. Methods: This observational study involved 267 elderly people aged 65 to 85 years (73.99 SD 7.51) living in south-eastern Poland. The subjects were divided into two groups: a group with a high risk of falling and a group with a low risk of falling, based on their timed up-and-go test. Postural stability was assessed during eyes-open and eyes-closed trials using the two-plate stability platform CQ Stab 2P. Results: The best accuracy, sensitivity, and specificity were observed for the sway path, anterior-posterior sway path, and medial-lateral sway path with open and closed eyes. The clinical cut-off score to predict the risk of falling was 350.63 for the sway path with open eyes, 272.64 for the anterior-posterior sway path, and 159.63 for the medial-lateral sway path. The clinical cut-off score for sway path with closed eyes was 436.11. Conclusions: Static posturography screenings in clinical practice may also be useful for detecting typical balance changes in older adults.
Using Mobile Nodes to Control Rumors in Big Data Based on a New Rumor Propagation Model in Vehicular Social Networks

Vehicle data, which may have some errors, provide a source for big data analysis. Car owners sometimes publish false information to protect their privacy or interests. The spread of these false messages will contribute to potential loss as rumors. Recently, the emergence of the vehicular social network has further accelerated the spread of rumors and anti-rumors. Researchers have proposed a number of methods to reduce the loss caused by rumors. However, these methods do not account for the fact that it takes some time for users to reply to the message after receiving the rumors. Each user responds differently to rumors, but previous methods do use fixed conversion rates in different states. To overcome these difficulties, individuals are classified as susceptible, trustful, contagious, immune or recoverable (STCIR). We propose a novel STCIR model to study the dynamic propagation of rumors. Each user is assigned a time threshold attribute to indicate the time delay of the user’s response. In some cases, a user may receive a rumor repeatedly in the course of the time threshold. Furthermore, we introduce vehicular nodes as authorities that produce correct information to curb rumors through user forwarding, and the anti-rumors starting from users are regarded as a rumor cascade. The experimental results reveal that vehicular nodes can reduce the scale and number of rumors. Vehicular nodes emerge early and move fast, and by moving to a greater degree, these nodes can increase the efficiency of mitigating rumors.
Germplasm of Cucurbitaceae in Brazil

The cucurbit species represent an important agribusiness in Brazil. Main species are Cucurbita moschata, C. maxima, Cucumis melo, C. sativus, Citrullus lanatus, and Sechium edule which were introduced by African slaves and Indians. More recently, European, American and Japanese immigrants introduced some improved genotypes which were spread across the country. There are some public and private breeding programs whose genetic variability is limited. In traditional agriculture however, there is a great genetic variability which gave base to the establishment of four germplasm banks that comprise more t han 4700 accessions, involving over fifteen species of which only 25% have been evaluated. Several useful genes were identified. It is necessary to further the evaluation of the rescued genetic variability and to assess the need for new collections in order to h ave cucurbit germplasm for long-term conservation and for breeding programs in Brazil.