Miracle-dz/UniFAR-FTUs huggingface dataset:
Une proposition de composants formels

RÉSUMÉ. La notion de composant, bien qu’ancienne, n’a pasencore donnétoutesapuissance d’expressionpour la constructiondesystèmeslogicielscomplexes. Lespropositionsactuelles, au niveaude la conceptionou du codage, bienquedémonstr ativesnoussemblentencore très insuffisantes.Il est fondamentalquela notion de composantslogiciels apparaissele plus tôt possibledansle cycledevie, etenparticulier auniveauspécificationformelle. Danscetarticle nousprésentonsnotre notion de composantformel sur uneétudede casmodéliséeen KORRIGAN. Noscomposantssontbaséssur unenotion de vuegraphiqueet textuelleet utilisent dessystèmesdetransitionssymboliques, desspécificationsalgébriquesetunecolle temporelle. Nousillustronsdivers aspects,notamment la composition,la réutilisationet la communication entre composants.
Premature Sebaceous Hyperplasia in an Adolescent Boy

Abstract: Sebaceous hyperplasia is a common, benign condition of the sebaceous glands in adults of middle age or older, occurring primarily on the face and neck. In adolescent or young adult patients, it is a rare entity called premature sebaceous hyperplasia (PSH). Previous reports indicate that the onset of PSH occurs during or shortly after puberty, with an average age‐at‐onset of 19 years. Here we present an extremely rare prepubescent case of PSH that developed on the right side of a boy’s neck when he was 8 years old.
Magnetotransport properties of p-type (In,Mn)As diluted magnetic III-V semiconductors.

Magnetotransport properties of p-type (In,Mn)As, a new diluted magnetic semiconductor based on a III-V semiconductor, are studied. The interaction between the holes and the Mn 3d spins is manifested in the anomalous Hall effect, which dominates the Hall resistivity from low temperature (0.4 K) to nearly room temperature, and in the formation of partial ferromagnetic order below 7.5 K, which is a cooperative phenomenon related to carrier localization. The coexistence of remanent magnetization and unsaturated spins as well as the large negative magnetoresistance at low temperatures is explained by the formation of large bound magnetic polarons.
Language Equations with Symmetric Difference

The paper investigates the expressive power of language equations with the operations of concatenation and symmetric difference. For equations over every finite alphabet Σ with |Σ| ≥ 1, it is demonstrated that the sets representable by unique solutions of such equations are exactly the recursive sets over Σ, and the sets representable by their least (greatest) solutions are exactly the recursively enumerable sets (their complements, respectively). If |_| ≥ 2, the same characterization holds already for equations using symmetric difference and linear concatenation with regular constants. In both cases, the solution existence problem is P01-complete, the existence of a unique, a least or a greatest solution is P02-complete, while the existence of finitely many solutions is P03-complete.
Studies of the behavior of Chinese stock markets

In my doctoral dissertation, I analyze many characteristics of the Chinese stock mar­ kets. 1 find tha t stock markets are ineflBcient. Stock-market return volatility is leptokurtotic, time-varying, mildly persistent and is affected by exogenous government policy variables. 1 also find that differences in average excess returns among classes of shares that can be bought by domestic Chinese investors and foreign investors are consistent with individual shares' risk exposure in a manner predicted by the ICAPM. Furthermore, 1 find strong evidence that underpricing of Chinese IPOs is partially due to limited aggregate supply of shares and can be explained by a signaling model under asymmetric information among issuers and investors.
Ligand-activated Pregnane X Receptor Interferes with HNF-4 Signaling by Targeting a Common Coactivator PGC-1α

Previous studies show that feedback inhibition of bile acid production by bile acids is mediated by multiple mechanisms, including activation of pregnane X receptor (PXR). Consistent with these studies, the antibiotic rifampicin, a ligand for human PXR, reduces hepatic bile acid levels in cholestasis patients. To delineate the mechanisms underlying PXR-mediated suppression of bile acid biosynthesis, we examined the functional cross-talk between human PXR and HNF-4, a key hepatic activator of genes involved in bile acid biosynthesis including the cholesterol 7-α hydroxylase (CYP7A1) and sterol 12-α hydroxylase (CYP8B1) genes. Treatment with rifampicin resulted in repression of endogenous human CYP7A1 expression in HepG2 cells that was reversed by PXR small interfering RNA. The coactivator PGC-1 enhanced transcriptional activity of HNF-4, and this enhancement was suppressed by rifampicin-activated PXR. Endogenous PGC-1 from mouse liver extracts bound to PXR, and recombinant PGC-1 directly interacted with both PXR and HNF-4 in vitro. Rifampicin-dependent interaction of PXR with PGC-1 was shown in cells by coimmunoprecipitation, and intranuclear localization studies using confocal microscopy provided further evidence for this interaction. In chromatin immunoprecipitation studies, rifampicin treatment did not inhibit HNF-4 binding to the native promoters of CYP7A1 and CYP8B1 but resulted in dissociation of PGC-1 and concomitant gene repression. Most interestingly, these rifampicin effects were also observed in the phosphoenolpyruvate carboxykinase gene that contains a functional HNF-4-binding site and is central to hepatic gluconeogenesis. Our study suggests that ligand-activated PXR interferes with HNF-4 signaling by targeting the common coactivator PGC-1, which underlies physiologically relevant inhibitory cross-talk between drug metabolism and cholesterol/glucose metabolism.
Board Diversity and Audit Quality: Evidence from Turkey

Recent management studies report that demographic and cognitive characteristics of board of directors and corporate performance are related. [7] reported that demographic characteristics of managers influence positively on their voluntary disclosure styles. This study conjectures that demographic diversity (e.g. gender and age) and cognitive diversity (e.g. interlocking directorship and levels of education) of board of directors impacts on client’s incentive and ability to demand high audit quality proxy by Big4 auditors. Utilizing data from a sample of 415 firm-year observations for the period of 2011 to 2015 of Turkey quoted firms and using random effect estimation model to estimate the regression, we find a positive relationship between director within 36-55 and 46-55 years old and audit quality. The study’s findings also show that interlocking directorship and boards with Master degree holders has a significant positive impact on clients’ demand for high audit quality. This study contributes to provide additional theoretical insight by examining interlocking directorship with audit quality, which to the best of the researcher’s knowledge, have not been addressed in the environment of Turkey.
Progressive Union Organizing: The SEIU Justice for Janitors Campaign

[Excerpt] The Justice for Janitors campaign was conceived during a bitter labor dispute with Pittsburgh's Mellon Bank which started late in 1985. Mellon Bank, having just renewed an Service Employees International Union collective-bargaining agreement, replaced their former cleaning contractor with a nonunion company. The new contractor refused to honor the Mellon-SEIU labor accord and was willing to hire only half of Mellon's 80 janitors on a part-time basis with a substantial pay cut and no benefits. Mellon disclaimed any responsibility, stating that the dispute was strictly between the new cleaning contractor and the janitors. In response the SEIU called a strike, filed unfair labor practice charges with the NLRB and began an active media campaign against Mellon. The strike was settled in September 1987 when the NLRB ruled Mellon to be a "co-employer" of the janitors. Mellon subsequently agreed to reinstate janitors under the union contract and to pay $750,000 in back wages (Wright 1987).
Identifying impediments of succession planning in credit unions

Credit unions, the cooperatives started by the people to serve the people, have experienced tremendous growth, success, and challenge since their inception in the mid-19 th century. While the overall number of members and assets are growing, the physical number of credit unions is decreasing due to mergers or insolvency, keeping market share stagnant for the past 20 years. As with all organizations, succession planning is essential to ensure a future. Considering a conceptual foundation including stakeholder theory and succession planning, the purpose of this qualitative study was to better understand how succession planning is utilized by CEOs of credit unions today, what impedes credit unions from succession planning and leadership development, as well as what tools or resources are needed within the industry to either build or enhance the succession planning efforts. Based on in-depth interviews with eight current CEO’s, findings revealed that succession planning is happening more frequently in large credit unions than previous research noted. CEOs are committed to their stakeholders and to the industry and are driving this process in their credit unions, they believe developing leaders is their main role, and they see succession planning as a competitive advantage because of the results it generates. To make the process successful, the CEOs are utilizing consultants, incorporating a variety of activities, focusing on innovation and technology, and challenging the talent management status quo. The CEOs did not believe suggested impediments from previous research were accurate. Rather, they believed that intrinsic factors got in the way including excuses, basic human nature and egos. To truly revolutionize the industry and gain market share, the CEOs shared that many strategies including hiring practices must change.
Necrobiotic xanthogranuloma scleritis in a case of granulomatosis with polyangiitis (Wegener’s granulomatosis)

The purpose of this study was to describe a case of necrobiotic xanthogranuloma scleritis in a 53-year-old male with unilateral progressive visual loss, scleritis, prolonged fever, and multiple mononeuropathy. Scleral biopsy showed necrosis with small abscess, and the pathological tissues revealed submucosal infiltration of mononucleated foamy histiocytes (xanthoma cells), hemosiderin-laden macrophages, neutrophils, lymphocytes, plasma cells, and erythrocytes without Touton giant cells or cholesterol clefts. Serum protein electrophoresis showed polyclonal gammopathy. All infectious investigations were negative. Afterward, this patient was diagnosed with granulomatosis with polyangiitis based on granuloma found in scleral tissue, vasculitis seen in sural nerve biopsy and positive serologies (C-ANCA and anti-PR3 antibody). He was treated with high-dose corticosteroid and later with intravenous cyclophosphamide monthly. He responded well to treatment, both eye and systemic conditions. Necrobiotic xanthogranuloma scleritis could be an early presentation of granulomatosis with polyangiitis.
Effects Of Interest Rates On Stock Market Capitalization

Is stock market capitalization susceptible to changes in interest rates or not? This paper tends to examine and explain this relationship in the context of Pakistan. When cost of debt financing (i.e. interest rate) increases, profits of geared companies are likely to go down, which might cause lower earnings and dividends per share. Deflated earnings and dividends might then lead to lowering of expectations about future benefits from the shares of such companies and would negatively effect share prices, thus lowering market capitalization of stock exchange. This paper examines the relationship between interest rate changes and stock market capitalization. Single-variate regression models are used to analyze the response of weekly market capitalization of Karachi Stock Exchange (KSE) to changes in Repo Rate and KIBOR. Contrary to most of the previous empirical studies, our findings indicate that whenever there has been a general rise in the interests rates, namely, State Bank’s Repo rate and KIBOR, market capitalization of KSE surprisingly though, increased. The findings of this research, on the one hand, do not stand supportive to most of the previous researches on the same topic, however, that could be because those researches were mostly carried out in developed capital markets. But, the research does support the notion that in developing countries banks and non-banking financial institutions make huge investments in the stock markets. As increase in interest rates increases the liquidity of banks and non-banking financial institutions and consequently when more funds are invested in the stock market that increases market capitalization
Learning Computer Programming with Game Design

We describe a teaching approach that introduces the computer science and information systems student to programming ideas using game design. Game-creation software that requires little or no programming knowledge is used for this purpose. Students construct a simple game using the software, and later they convert their game events to pseudo-code written using standard programming constructs. This rapid game creation teaching module can be implemented rather quickly and can be used as a precursor to the teaching of a formal programming language. In this paper, we overview the pedagogical model, discuss a rapid game creation tool, present a teaching plan, and outline the potential benefits of this approach.
Acute Release of Tissue Factor Pathway Inhibitor after In Vivo Thrombin Generation in Baboons

Summary Tissue factor pathway inhibitor (TFPI), the major downregulator of the procoagulant activity of tissue factor (TF), is synthesised by endothelial cells (EC) and acutely released in vitro after thrombin stimulation. Expression of TF on EC and subsequent thrombin generation occurs in vivo during sepsis or malignancy, inducing disseminated intravascular coagulation (DIC). The present study investigates the changes in plasma TFPI in relation to markers of in vivo thrombin generation induced by injection of factor Xa (FXa)/phospholipids in baboons at dosages leading to partial (48%) or complete fibrinogen depletion. The plasma concentrations of thrombin-antithrombin III (TAT) and fibrinopeptide A (FpA), as markers of in vivo generation of thrombin, were strongly enhanced after injection of FXa/phospholipids. TFPI levels, whether measured as antigen or activity, increased significantly in both treatment groups within few minutes, and were dependent on the dose of FXa/phospholipids. Significant positive correlations between plasma levels of TFPI and of TAT or FpA were observed. Altogether, our results indicate that experimentally induced in vivo generation of thrombin causes the acute release of TFPI, high-lighting a possible novel function of thrombin in downregulation of the coagulation process, potentially relevant for the outcome of DIC.
Stakeholder Engagement and Corporate Social Responsibility (CSR) Performance: International Evidence

This study examines the impact of stakeholder engagement in the form of controlling shareholders on the corporate social responsibility (CSR) performance of firms using data from 25 countries. The results show that there is a positive relation between state-controlled ownership and the CSR performance of firms, whereas the other types of controlling ownership have no impact on CSR performance. Further results show that evidence is more pronounced in countries with more stakeholder engagement. Additional analysis indicates that the change of state controlled firms leads to a change in CSR performance, but not vice versa. Taken together, this paper highlights the importance of governmental ownership in shaping firms' corporate social responsibility performance in an international context. Copyright © 2017 John Wiley & Sons, Ltd and ERP Environment
Coupling Coefficients Estimation of Wireless Power Transfer System via Magnetic Resonance Coupling Using Information From Either Side of the System

Wireless power transfer via magnetic resonance coupling method has opened a new possibility to the electric vehicle system. It allows the wireless charging system of moving vehicles, using charging lanes. However, although the efficiency of power transmission is relatively high, the efficiency still depends on displacement of coils. There have been several researches on methods to maintain power transmission at the highest efficiency. However, in such systems, the information on system parameter especially coupling coefficients is needed, and in the charging lane system, such information is unlikely to be obtainable without a communication system. Therefore, it has come to attention that parameter estimation is a crucial factor to implement a charging lane system. This paper presents derivations of equations for estimating coupling coefficients in several configurations of wireless power transfer system, using information from only one side, either the transmitting side or the receiving side, of the system. The presented equations are both applicable to the case of single receiving coil and are also generalized for the case of multiple receiving coils. Each equation is verified by both simulations and experiments. An experimental system of the coupling coefficient estimation system is constructed for estimation from the receiving side using a dc/dc converter.
Soyasaponin Bb Protects Rat Hepatocytes from Alcohol-Induced Oxidative Stress by Inducing Heme Oxygenase-1

Background: It has been known that oxidative stress induced by alcohol played a crucial role in the formation of alcoholic liver disease. Although the formation mechanisms underlying liver injury induced by alcohol still remained largely unknown, it has been considered that oxidative stress played a core role in the pathogenesis of hepatocyte damage. Objective: The aim of this study was to investigate the effects of soyasaponin Bb (Ss-Bb) on oxidative stress in alcohol-induced rat hepatocyte injury. Results: It has been shown that the administration of Ss-Bb could significantly restore antioxidant activity in BRL 3A cells. Moreover, the impaired liver function and morphology changes resulting from ethanol exposure were improved by Ss-Bb treatment. Treatment with a pharmacological inhibitor of haem oxygenase-1 (HO-1) indicated a critical role of HO-1 in mediating the protective role. Finally, we found that pretreatment with Ss-Bb to ethanol exposure cells increased the expression level of HO-1.Conclusion: It was suggested that Ss-Bb may protect against alcohol-induced hepatocyte injury through ameliorating oxidative stress, and the induction of HO-1 was an important protective mechanism.
Approximation algorithms for offline scheduling of power loads in smart grids

In this paper, we formulate and study a scheduling problem related to Smart Grids. Specifically, the goal is to schedule a set of power loads with same start time and deadlines using minimum peak power. A job can be scheduled anytime after the start time as long as it finished before the deadline. Certain jobs have the added flexibility of being scheduled intermittently i.e. with intermissions in the power supply. We formulate ILPs for this problem. We observe that this problem is closely related to the 2d rectangle packing problem: strip packing. We extend some classic heuristics of the strip packing for our purpose. The ILPs and heuristics are extensively evaluated using simulated experiments.
Caroli Disease: A Case Report Observed at the Cocody Teaching Hospital of Abidjan (Cote D’Ivoire)

Caroli disease is a rare affection. It’s commonly associated to polycystic kidneys. We report a case of a nine-year-old girl. She was hospitalized at the pediatric unit of the Cocody Teaching Hospital for an intermittent fever. During the clinical examination, we found a likely cirrhotic hepatomegaly associated to an edematous-ascitic syndrome. Biological exams showed an infectious syndrome with a hyperleukocytosis at 13.000 per mm3, a hyperneutrophilia at 9.600 per mm3. Serological viral markers of B, C and D hepatitis were negative. We saw an intra-hepatic cystic picture at the liver CT-scan with a vascular lesion at his center called a “dot sign”. The diagnosis of Caroli disease could be evocated.
THE INFLUENCE OF WEBSITE SIGNALING IN PERCEIVED QUALITY AND INTENTION TO BUY ON INTERNET SERVICES

Este artigo tem como objetivo verificar a influência da sinalização de websites na qualidade percebida e na intenção de compra de serviços na internet. Para isso, um experimento foi conduzido a partir da definição de uma empresa fictícia de serviços e do desenvolvimento de websites com diferentes níveis de qualidade e investimento. Os canais digitais foram acessados, o serviço analisado e, posteriormente, avaliado. Resultados provenientes de ANOVA e testes de correlação confirmaram que a plataforma digital tem força de sinalização e influência sobre a qualidade percebida e intenção de compra de um consumidor que julga um serviço on-line. A teoria base para a elaboração do estudo foi a Sinalização da Qualidade, que foi aplicada para análise experimental em um grupo de universitários, qual resultou em 135 questionários válidos.
Governance innovation cases in coastal tourism

• You may download this work for personal use only. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying this open access version If you believe that this document breaches copyright please contact us providing details and we will investigate your claim. Please direct all enquiries to puresupport@bib.sdu. dk
SHREC’16 Track: 3D Sketch-Based 3D Shape Retrieval

Sketch-based 3D shape retrieval has unique representation availability of the queries and vast applications. Therefore, it has received more and more attentions in the research community of content-based 3D object retrieval. However, sketch-based 3D shape retrieval is a challenging research topic due to the semantic gap existing be-tween the inaccurate representation of sketches and accurate representation of 3D models. In order to enrich and advance the study of sketch-based 3D shape retrieval, we initialize the research on 3D sketch-based 3D model retrieval and collect a 3D sketch dataset based on a developed 3D sketching interface which facilitates us to draw 3D sketches in the air while standing in front of a Microsoft Kinect. The objective of this track is to evaluate the performance of different 3D sketch-based 3D model retrieval algorithms using the hand-drawn 3D sketch query dataset and a generic 3D model target dataset. The benchmark contains 300 sketches that are evenly divided into 30 classes, as well as 1258 3D models that are classiﬁed into 90 classes. In this track, nine runs have been submitted by ﬁve groups and their retrieval performance has been evaluated using seven commonly used retrieval performance metrics. We wish this benchmark, the comparative evaluation results and the corresponding evaluation code will further promote sketch-based 3D shape retrieval and its applications.