Miracle-dz/UniFAR-FTUs huggingface dataset:
A note on the Bruhat decomposition of semisimple Lie groups

Let a split element of a connected semisimple Lie group act on one of its flag manifolds. We prove that each connected set of fixed points of this action is itself a flag manifold. With this we can obtain a generalized Bruhat decomposition of a semisimple Lie group by entirely dynamical arguments. AMS 2000 subject classification: Primary: 22E46, Secondary: 14M15.
Dynamic Stream Allocation with the Discrepancy between Data Access Time and CPU Usage Time

Huge quantities of data arriving in chronological order are one of the most important information resources, and stream mining algorithms are developed especially for the analysis of the fast streams of data. A stream mining algorithm usually refers to the input data only once and never revisits them (read-once-write-once), while the conventional data intensive applications refer to the input data in a write-once-read-many manner. That is, once the stream mining falls behind, the process drops the input data until it catches up with the input data stream. Therefore, the fast execution of the stream mining leads the perfect analysis on all the input data, and it is very critical for the quality of the service. We propose a dynamic resource management for the stream mining in the distributed environment. The resource management utilizes the discrepancy between data access time and CPU usage time inside the stream mining, and speeds up the mining process. We implemented the methodology and proved successfully to process all the input data of such a fast data stream, whereas the serial execution drops more than 90% of the input data. Keywords-Load Balancing; Resource Management; Stream Mining.
The Effectiveness of Accounting Regulation for Soci al Welfare Corporations in Japan: Evidence by Survey Research

Social welfare services are becoming increasingly i mportant in a ‘super-aging’ Japan. The Basic Structural Reform of Social Welfare was i mplemented in 1997, and this reform promulgated the Long-Term Care Insurance Law and modified social welfare services. Although the objective of accounting regu lation for social welfare corporations has been changed from reporting to int ernal control to outside parties, only a few studies have focused on the effectivenes s of the new accounting regulation. Therefore, this study seeks to elucidate the effect iv ness of accounting regulation for social welfare corporations in Japan. This study us es the results of 250 questionnaires distributed among managers in social welfare corpor ati ns. We find that approximately 81.2% of the surveyed corporations use websites and 74.4% publish PR (public relations) information to disseminate financial inf ormation, which indicates that managers are aware of the requirement to furnish fi nancial information for outside parties. However, we find that only 16% of the corp orations publish annual reports and only 18% provide financial statements on their webs it s. Moreover, managers of social welfare corporations use financial statements to ma ke managerial decisions and to explain their financial situation to the board of d irectors and employees. These results suggest that accounting information, instead of bei ng used for external reporting as stipulated by accounting regulation, is primarily u sed for internal control, thereby indicating that accounting regulation is not effect ive in social welfare corporations.
DO NOT QUOTE WHY DO MEMBERS LEAVE? THE IMPORTANCE OF RETENTION TO TRADE UNION RENEWAL

Abstract Drawing on survey results from three large British trade unions, this paper examines why members leave trade unions. As anticipated, large numbers of members leave because of some change to their employment circumstances (made redundant, changed employer or retired). A significant proportion of members left their union, however, because they were dissatisfied with some aspect of union organisation and performance. Furthermore, the paper demonstrates that the proportion of members leaving because of dissatisfaction varies according to a range of factors, including union ‘type’ and sector of organisation. The implications of the research are that if unions are to be renewed and membership is to increase, a range of issues to promote retention need to be addressed in addition to developing new means of organisation and recruitment.
Herbal Medicines Attenuate PD-L1 Expression to Induce Anti-Proliferation in Obesity-Related Cancers

Pro-inflammatory hormones and cytokines (leptin, tumor necrosis factor (TNF)-α, and interleukin (IL)-6) rise in obesity. Elevated levels of hormones and cytokines are linked with several comorbidities such as diabetes, heart disease, and cancer. The checkpoint programmed cell death protein 1 (PD-1)/programmed death-ligand 1 (PD-L1) plays an important role in obesity and cancer proliferation. L-thyroxine (T4) and steroid hormones up-regulate PD-L1 accumulation and promote inflammation in cancer cells and diabetics. On the other hand, resveratrol and other herbal medicines suppress PD-L1 accumulation and reduce diabetic effects. In addition, they induce anti-cancer proliferation in various types of cancer cells via different mechanisms. In the current review, we discuss new findings and visions into the antagonizing effects of hormones on herbal medicine-induced anti-cancer properties.
The Use of Underwater Gliders as Acoustic Sensing Platforms

Underwater gliders travel through the ocean by buoyancy control, which makes their motion silent and involves low energy consumption. Due to those advantages, numerous studies on underwater acoustics have been carried out using gliders and different acoustic payloads have been developed. This paper aims to illustrate the use of gliders in underwater acoustic observation and target detection through experimental data from two sea trials. Firstly, the self-noise of the glider is analyzed to illustrate its feasibility as an underwater acoustic sensing platform. Then, the ambient noises collected by the glider from different depths are presented. By estimating the transmission loss, the signal receiving ability of the glider is assessed, and a simulation of target detection probability is performed to show the advantages of the glider over other underwater vehicles. Moreover, an adaptive line enhancement is presented to further reduce the influence of self-noise. Meanwhile, two hydrophones are mounted at both ends of the glider to form a simple array with a large aperture and low energy consumption. Thus, the target azimuth estimation is verified using broadband signals, and a simple scheme to distinguish the true angle from the port‒starboard ambiguity is presented. The results indicate that the glider does have advantages in long-term and large-scale underwater passive sensing.
Exploring Localization for Mouthings in Sign Language Avatars

According to the World Wide Web Consortium (W3C), localization is “the adaptation of a product, application or document content to meet the language, cultural and other requirements of a specific target market” (Ishida & Miller, 2015). One aspect of localizing a sign language avatar is creating a capability to produce convincing mouthing. For purposes of this inquiry we make a distinction between mouthings and mouth gesture (Crasborn et al., 2008) . The term ‘mouthings’ refers to mouth movements derived from words of a spoken language while ‘mouth gesture’ refers to mouth movements not derived from a spoken language. This paper reports on a first step to identify the requirements for an avatar to be capable of mouthings in multiple signed languages.
Viral Hepatitis in Iranian Armed Forces: Prevalence of HBV and HCV in the Wounded-In-Action (WIA)

Objective: Viral hepatitis remains a health threat to military forces. Most recently there has been concern about hepatitis C virus transmission during military service. Hepatitis B and C are the main causes of mortality and morbidity in military personnel. Methods: In this study, all WIAs of two corps of Revolutionary Guards of IR. Iran were checked for hepatitis B and C and liver function tests (LFT). A questionnaire was filled out for all WIAs, in which risk factors were asked. Results: In this study, 563 WIAs were enrolled. Mean age was 38.9±3.9. Mean rate of disability was 25.5%. HBsAg positive prevalence was 4.8% and anti-HCV was 0.7%. In anti-HCV positive group, 50% had elevated enzymes and in HBsAg positive WIAs, 30.4% had elevated enzymes. All of HCV positive WIAs had surgery as a risk factor (100%). Conclusions: Based on the prevalence of anti-HCV positive, which shows a 5.5 times increase in prevalence of HCV in
APPROACHES ON CLINICAL PRESENTATION AND MANAGEMENT OF ATRIAL FIBRILLATION IN ELDERLY PATIENTS

The prevalence of AF, which is mainly observed among the elderly population aged above 65 years, with 70% of the AF cases reported in people aged between 65 to 85. However, some cases are reported in populations as low as 40 years but at a low rate. AF is characterized by irregular and rapid contractions of the atrial muscles, which may also lead uncoordinated contraction of the ventricular muscles leading to arrhythmia. Various approaches in screening, diagnosis, prevention, and treatment are addressed with reference to relevant research studies and data from clinical trials of various studies. Screening is primarily done through pulse taking and evaluation of the heartbeat as well as the rhythm of the heartbeat. Electrocardiography is used in the detection of the flow of electrical impulses in the heart muscles. Diagnosis entails identification of the source of the abnormality in the electrical conduction of the cardiac muscles. Transthoracic echocardiogram (TTE) and transesophageal echocardiogram (TEE) aid in the presentation of the source of the irregular transmission of the electrical signals. Management of AF is achieved through various strategies such as medical therapy, procedures, and surgery. The most common medical therapy is the use of anticoagulants, which also facilitate the management of the symptoms and the risk factors. Catheter Ablation is highlighted as the most effective approach compared to the outcomes of medical therapy in the management of the AF.
Preterm birth has impact on the long term health of two generations.

Research over the last decade has provided clear evidence that children and young adults born very preterm have reduced insulin sensitivity. There is very little data on the metabolic changes, changes in body composition and blood pressure beyond young adulthood in preterm survivors, particularly those born moderately preterm, who constitute the vast majority of preterm survivors. To date the impact of parent’s prematurity on the health of their children has not been assessed. This thesis reports glucose metabolism, body composition and blood pressure profile of a cohort of 52 adults (31 preterm, 21 term at mean GA of 33.3 and 39.8 weeks respectively) aged between 34-38 years and their 61 healthy, pre-pubertal, term born offspring (37 of preterm parents, 24 of term parents) aged 5-10 years. The adult cohort, both preterm and term born, were a subgroup of a much larger cohort involved in two previous studiesthe Auckland Steroid Trial and The Steroid Follow-up study. Insulin secretion and insulin sensitivity were assessed using hyperglycaemic clamp in adults and frequently sampled intravenous glucose tolerance test in the offspring. Both the adults and their offspring had their body composition assessed using DXA scan and blood pressure measured using 24 hour ambulatory blood pressure monitor. In the Adult study, compared to those born at term, those born preterm had ~50% reduction in insulin sensitivity, but had appropriate compensatory hyperinsulinaemia. The preterm subjects, especially men, also had increased total and abdominal adiposity. Although the mean blood pressure between the two groups was similar, preterm subjects had greater variability of blood pressure profile. In the Offspring study, the offspring of preterm parents had similar insulin sensitivity and insulin secretion as the offspring of term parents but had increased total and abdominal adiposity. Although the mean blood pressure in both the
Nasopharyngeal disorders of dogs and cats: A review and retrospective study

Nasopharyngeal disease was diagnosed in 38 dogs and 24 cats at the University Veterinary Centre, Sydney, Australia, between 1990 and 2001. Most of the animals were presented for stertor and/or difficult breathing. Evaluation of animals with suspected nasopharyngeal disease includes physical examination (particularly of local lymph nodes), digital palpation of the soft palate while the animal is under sedation or anesthesia, and visualization of the nasopharynx using retraction of the soft palate or flexible retrograde endoscopy. The nasopharynx may be approached surgically by incision of the soft palate when manipulation of catheters, nasal flushing, or endoscopic biopsy fails to dislodge obstructing material or yield a
Nut allergy prevalence and differences between Asian-born children and Australian-born children of Asian descent

Citation for published version (APA): Panjari, M. , Koplin, J. J., Dharmage, S. C. , Peters, R. L. , Gurrin, L. C. , Sawyer, S. M. , Mcwilliam, V. , Eckert, J. K. , Vicendese, D. , Erbas, B. , Matheson, M. C. , Tang, M. L. K. , Douglass, J., Ponsonby, A. L. , Dwyer, T. , Goldfeld, S. , & Allen, K. J. (2016). Nut allergy prevalence and differences between Asian-born children and Australian-born children of Asian descent: A state-wide survey of children at primary school entry in Victoria, Australia. Clinical and Experimental Allergy, 46(4), 602-609. https://doi.org/10.1111/cea.12699
A contribuição das bombas de efluxo QacA e Smr para a multirresistência em Staphylococcus aureus

v Índice de Fíguras. ix Índice de Tabelas.xi Lista de Abreviaturas.xiii 1 INTRODUÇÃO . 1 1.1 Género Staphylococcus . 1 1.1.1 Características gerais . 1 1.1.2 Staphylococcus aureus e a sua importância clínica . 1 1.2 Resistência aos compostos antimicrobianos em S. aureus . 2 1.2.1 Compostos antimicrobianos . 2 1.2.1.1 Antibióticos . 2 1.2.1.2 Biocidas . 3 1.2.2 Mecanismos de resistência aos compostos antimicrobianos . 4 1.2. 3 Resistência aos biocidas: a sua importância clínica . 7 1.3 Resistência mediada por sistemas de efluxo . 8 1.3. 1 Classificação dos sistemas de efluxo . 9 1.3. 2 Sistemas de efluxo em S. aureus . 13 1.3. 2.1 Sistemas de efluxo codificados em plasmídeos . 13 1.3. 2.2 Sistemas de efluxo codificados no cromossoma . 19 1.4 Métodos de avaliação da actividade de efluxo. 23 1.5 Objectivos desta Dissertação . 24 2 MATERIAL E MÉTODOS . 25 2.1 Material . 25 2.1.1 Estirpes bacterianas . 25
Presence of Anemia in COPD Patients and Its Correlation with Disease Severity: An Observational Study.

Background and Objective: Chronic obstructive pulmonary disease (COPD) is a common and important condition with a rising global incidence. It is projected to be the fourth leading cause of death worldwide by 2020. Chronic obstructive pulmonary disease (COPD) is associated with important extra pulmonary manifestations, including anemia, weight loss, depression, reduced exercise tolerance etc which all are not commonly looked for while treating COPD patients which intern leads to their poor health status. Objective of this study is to find the presence of anemia in COPD patients and its correlation with disease severity. Materials and Methodology: 100 patients from IPD of C.U. Shah medical hospital were taken for the study that fulfilled the eligibility criteria. Result: Results were analyzed with the SPSS 16 for windows. Majority of the cases suffering from COPD were found to be anemic. We have use Pierson co-relational analysis to check any co relation between disease severity and serum Hb percentage, which was not significant statistically. Conclusion: This study shows that anemia is being more prevalent in most of the sufferers of COPD but it is not correlated with the disease severity. It should be included in the screening and as well as management of patients of COPD to reduce its ill health effects and thereby reducing the disease burdens on the patient’s health.
Rapport de stage : Precise Widenings for Proving Termination by Abstract Interpretation

Ce rapport décrit les résultats obtenus au cours de mon stage de fin de licence 3 à l’ETH Zürich, sous la direction de Caterina Urban. Le but du stage était d’étudier l’opérateur de widening de FuncTion, un programme permettant de montrer la terminaison de programmes C, de déterminer dans quels cas et pourquoi il perdait en précision, puis de chercher des heuristiques pour remédier à cela. Une troisième étape consistait alors à implanter ces heuristiques et les évaluer expérimentalement. Le stage s’est déroulé dans les locaux de l’ETH Zürich, en compagnie d’autres membres de l’équipe et d’autres stagiaires. Cela m’a permis d’échanger avec un certain nombre de chercheurs, et de découvrir ce que faisait l’équipe. La première section de ce rapport décrit rapidement l’opérateur de widening de FuncTion existant ; les suivantes présentent mon propre travail au cours de ce stage.
Information Convergence in the Long Tail. The Case of Tourism Destination Information

Tourism information on the Internet is spreading through a wide range of different websites. In addition to the official destination or attraction websites, many are unofficial websites such as blogs, wiki, social networks, to also offer destination information. Hence official websites, being destination or attraction sites, are challenged by unofficial ones. Actually these two different types of websites often diffuse similar content in terms of topics and subjects but in different forms. This study explores the information market around a given tourism destination and investigates the characteristics and quality of the available websites. It underlines the importance of consumer generated content and its strategic role for the promotion. Finally, several ways of exploiting the official and unofficial contents are explored and the topic of the possible information convergence, thanks to folksonomies, is discussed.
An Effective Deep-Learning Training Method using Data Augmentation

Background/Objectives: Deep learning is changing the research paradigm, showing dramatic performance improvements in many areas of computer vision. Methods/Statistical analysis: It should be <70 words. Since Lecun's Lenet was released, Deep Learning has achieved significant performance improvements in object recognition and classification. However, it takes a huge data and takes a long time in order to learn, making it difficult to apply to real industrial environments. This method requires many manpower, high know-how and a lot of development time. Therefore, we propose an effective deep-training training and performance enhancement method using data augmentation. After changing the original image to a YUV color space favorable to computer vision, the image is created by raising or lowering the luminance value in units of 5.Using the proposed data augmentation method can save time and cost. Findings: In order to achieve satisfactory performance by applying deep learning to a real industrial environment, we must use our own method of producing a huge amount of data. In addition, the method of producing a direct dataset requires collecting a large amount of image data sets for a specific object and sorting the data with high quality. In this paper, we propose efficient learning method of SSD (Single Shot MultiBox Detector)deepening learning image object recognition model based on MobileNet which is widely used in a mobile environment and embedded environment and data augmentation method to improve recognition performance (mAP). Improvements/Applications: In SSDbased on MobileNet, the saturation of loss is faster than that of the original data set alone, and the mAP is improved by 0.7.
Lesões músculo-esqueléticas relacionadas com a prática do tênis de mesa*

* Trabalho realizado no Departamento de Ortopedia e Traumatologia da Escola Paulista de Medicina/Universidade Federal de São Paulo (EPMUnifesp – Serviço do Prof. Dr. José Laredo Filho). 1. Médico Assistente do Centro de Traumato-Ortopedia do Esporte. 2. Fisioterapeuta; Supervisor de Estágio do Centro de Traumato-Ortopedia do Esporte. 3. Chefe do Centro de Traumato-Ortopedia do Esporte. 4. Coordenador Científico do Centro de Traumato-Ortopedia do Esporte. Endereço para correspondência: Rua Embaú, 95 – 04039-060 – São Paulo, SP. Tel. /Fax: (11) 5539-5090/5579-3233. Recebido em 16/4/01. Aprovado para publicação em 23/5/02. Copyright RBO2002 ABSTRACT
SoK: Computer-Aided Cryptography

Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of cryptography. We present a cross-cutting systematization of the computer-aided cryptography literature, focusing on three main areas: (i) design-level security (both symbolic security and computational security), (ii) functional correctness and efficiency, and (iii) implementation-level security (with a focus on digital side-channel resistance). In each area, we first clarify the role of computer-aided cryptography—how it can help and what the caveats are—in addressing current challenges. We next present a taxonomy of state-of-the-art tools, comparing their accuracy, scope, trustworthiness, and usability. Then, we highlight their main achievements, trade-offs, and research challenges. After covering the three main areas, we present two case studies. First, we study efforts in combining tools focused on different areas to consolidate the guarantees they can provide. Second, we distill the lessons learned from the computer-aided cryptography community’s involvement in the TLS 1.3 standardization effort. Finally, we conclude with recommendations to paper authors, tool developers, and standardization bodies moving forward.
The Predictive Brain: A Modular View of Brain and Cognitive Function?

Modularity is arguably one of the most influential theses guiding research on brain and cognitive function since phrenology. This paper considers the following question: is modularity entailed by recent Bayesian models of brain and cognitive function, especially the predictive processing framework? It starts by considering three of the most well-articulated arguments for the view that modularity and predictive processing work well together. It argues that all three kinds of arguments for modularity come up short, albeit for different reasons. The analysis in this paper, although formulated in the context of predictive processing, speaks to broader issues with how to understand the relationship between functional segregation and integration and the reciprocal architecture of the predictive brain. These conclusions have implications for how to study brain and cognitive function. Specifically, when cognitive neuroscience works within an acyclic Markov decision scheme, adopted by most Bayesian models of brain and cognitive function, it may very well be methodologically misguided. This speaks to an increasing tendency within the cognitive neurosciences to emphasise recurrent and reciprocal neuronal processing captured within newly emerging dynamical causal modelling frameworks. The conclusions also suggest that functional integration is an organising principle of brain and cognitive function.