Miracle-dz/UniFAR-FTUs huggingface dataset:
Appendix and Uterus Metastasis of Squamous Cell Carcinoma Arising from Mature Cystic Teratoma of the Ovary

Mature cystic teratoma of the ovary rarely undergoes malignant transformation. There is no consensus for a treatment modality because of the rarity of the disease. Herein we present a case of squamous cell carcinoma (SCC) arising in a mature cystic teratoma (MCT) in a 66-year-old patient. The patient underwent total hysterectomy and bilateral salpingo-oophorectomy, omentectomy, appendectomy, and bilateral pelvic + paraaortic lymph node dissection. The histopathological examination revealed malignant invasion of the appendix and uterus. The patient, who refused the continuation of treatment initiated with the administration of a single dose of cisplatin, died 5 months later because of the disease. It is imperative that gynecologists consider appendectomy in SCC arising from MCT cases.
Induction of Necrosis in Human Liver Tumor Cells by α-Phellandrene

α-Phellandrene (α-PA) is a component of dietary spices and herbs. The effect of α-PA on anticancer is unclear. This study aims to investigate the effects of α-PA on liver tumor cell death fate. Human liver tumor (J5) cells were incubated with α-PA and analyzed for cell cycle distribution, expression of Bax, Bcl-2, poly (ADP-ribose) polymerase (PARP) protein, and caspase-3 activity of J5 cells, and levels of nitric oxide (NO) production, lactate dehydrogenase (LDH) leakage, and ATP depletion were also analyzed in this study. Results found that α-PA significantly (P < 0.05) decreased the cell viability of J5 cells after 24-h treatment. The cell cycle distribution, Bax, Bcl-2, PARP protein levels, and caspase-3 activity of J5 cells did not change for 24 h after treatment with 30 μM α-PA. Reactive oxygen species levels significantly increased, mitochondrial membrane potential levels significantly decreased when J5 cells were treated with 30 μM α-PA for 24 h (P < 0.05). Thirty μM α-PA significantly (P < 0.05) increased the necrotic cell number, NO production, LDH leakage, and ATP depletion after 24 h of incubation. These results suggest that α-PA induced J5 cell necrosis but not apoptosis, and α-PA-induced necrosis possibly involved ATP depletion.
Purification and Characterization of a Polyextremophilic α-Amylase from an Obligate Halophilic Aspergillus penicillioides Isolate and Its Potential for Souse with Detergents

An extracellular α-amylase from the obligate halophilic Aspergillus penicillioides TISTR3639 strain was produced and enriched to apparent homogeneity by ammonium sulfate precipitation and Sephadex G100 gel filtration column chromatography. The mass of the purified amylase was estimated to be 42 kDa by SDS-PAGE. With soluble starch as the substrate it had a specific activity of 118.42 U·mg−1 and V max⁡ and K m values of 1.05 µmol·min−1·mg−1 and 5.41 mg·mL−1, respectively. The enzyme was found to have certain polyextremophilic characteristics, with an optimum activity at pH 9, 80°C, and 300 g·L−1 NaCl. The addition of CaCl2 at 2 mM was found to slightly enhance the amylase activity, while ZnCl2, FeCl2, or EDTA at 2 mM was strongly or moderately inhibitory, respectively, suggesting the requirement for a (non-Fe2+ or Zn2+) divalent cation. The enzyme retained more than 80% of its activity when incubated with three different laundry detergents and had a better performance compared to a commercial amylase and three detergents in the presence of increasing NaCl concentrations up to 300 g·L−1. Accordingly, it has a good potential for use as an α-amylase in a low water activity (high salt concentration) and at high pH and temperatures.
Vers l'analyse de l'engagement de l'apprenant : une approche par la visualisation multi-échelle de traces hétérogènes

De nombreux travaux de recherche dans le domaine des Learning Analytics proposent des indicateurs statistiques tels que la duree ou le nombre d'actions realisees sur les outils ou les ressources utilises. Ces indicateurs supportent generalement le suivi et la reflexivite des activites de l'apprenant en renvoyant des informations sur l'utilisation de chaque outil et ressource. Mais les contextes d'apprentissage en ligne sont de plus en plus complexes, permettant l'utilisation de ressources variees. Dans ces nouveaux contextes, l'activite de l'apprenant devient " heterogene " (avec plusieurs outils et types de documents), et " discrete " (interrompue par les actions sur chaque outil ou document). Ainsi, les bilans d'indicateurs statistiques ne suffisent pas pour comprendre l'activite de l'apprenant et plus particulierement son engagement dans l'activite et les pratiques de regulation mises en place. Nos travaux de recherche visent a proposer aux enseignants, apprenants et concepteurs, des visualisations des traces heterogenes des apprenants avec une attention particuliere sur leur engagement et leurs pratiques de regulation. Ces visualisations cherchent a favoriser l' interpretation de ces comportements grâce a des analyses a plusieurs niveaux temporels et de groupe (apprenant, classe, institution).
Principles, practice, and applications of tabled logic programming

analysis on the data that is collected. As a result, there is no means to easily differentiate between parts of the execution that are "normal" versus those parts thathave diffficult-to-detect timing errors. Only an expert's eye can quickly spot the differences. We are investigating tools that can help embedded system designers analyze, debug, and fine-tune the timing characteristics of their embedded implementations. Such a tool can have a major impact, by allowing designers whose expertise is in an area other than real-time system analysis, such as communications, controls, or hardware design, to use the tool and obtain valuable information on how to fix their code that is not performing according to specifications.
Min Max Generalization for Deterministic Batch Mode Reinforcement Learning: Relaxation Schemes

We study the $\min \max$ optimization problem introduced in Fonteneau et al. [Towards min max reinforcement learning, ICAART 2010, Springer, Heidelberg, 2011, pp. 61--77] for computing policies for batch mode reinforcement learning in a deterministic setting with fixed, finite time horizon. First, we show that the $\min$ part of this problem is NP-hard. We then provide two relaxation schemes. The first relaxation scheme works by dropping some constraints in order to obtain a problem that is solvable in polynomial time. The second relaxation scheme, based on a Lagrangian relaxation where all constraints are dualized, can also be solved in polynomial time. We also theoretically prove and empirically illustrate that both relaxation schemes provide better results than those given in [Fonteneau et al., 2011, as cited above].
Blocking when service is required from several facilities simultaneously

This paper analyzes a mathematical model of a blocking system with simultaneous resource possession. There are several multiserver service facilities without extra waiting space at which several classes of customers arrive in independent Poisson processes. Each customer requests service from one server in each facility in a subset of the service facilities, with the subset depending on the customer class. If service can be provided immediately upon arrival at all required facilities, then service begins and all servers assigned to the customer start and finish together. Otherwise, the attempt is blocked (lost without generating retrials). The problem is to determine the blocking probability for each customer class. An exact expression is available, but it is complicated. Hence, this paper investigates approximation schemes.
On Aperiodic-Correlation Bounds

We present a new derivation of a lower bound for an aperiodic correlation metric: the integrated sidelobe level (ISL) of a set of sequences under the energy constraint. Sequences (or sequence sets) with low aperiodic correlations are widely demanded in many applications, including radar/sonar range compression, medical imaging, channel estimation and multi-user spread-spectrum communications. While the lower bound has been implicitly discussed in the literature before, here we adopt a different framework to derive the bound. In particular, we make use in the derivation of our recently proposed cyclic algorithm framework, which can also be used to efficiently synthesize unimodular sequences with low correlations. We also show that by relaxing the unimodular constraint, the ISL lower bound can be approached closely.
PPARα agonists improve renal preservation in kidneys subjected to chronic in vitro perfusion: interaction with mannitol

We developed methods for prolonged (12 h), sterile, normothermic perfusion of rat kidneys and screened compounds for renal preservation including: mitochondrial transition pore inhibitor (decylubiquinone); caspase inhibitor (Z‐VAD); peroxisome proliferator‐activated receptor‐alpha (PPARα) agonists (gemfibrozil, WY‐14643); antioxidants (trolox, luteolin, quercetin); growth factors (HGF, PDGF, EGF, IGF‐1, VEGF, transferrin); calpain inhibitor (Z‐Val‐Phe‐CHO); calmodulin inhibitor (W7); KATP opener (minoxidil, minoxidil sulfate); PARP inhibitor (3‐aminobenzamide); calcium channel blocker (verapamil); V2 agonist (DDAVP); diuretics (acetazolamide, hydrochlorothiazide, furosemide, mannitol); peroxisome proliferator‐activated receptor‐beta agonist (L‐165041); dopamine agonist (dopamine); essential fatty acid (linolenic acid); β‐NAD; urea; uric acid; and aldosterone. In pilot studies, only PPARα agonists and mannitol provided promising results. Accordingly, these agents were investigated further. Fifteen rat kidneys were perfused for 12 h with L‐15 media at 37 °C in the absence or presence of mannitol, gemfibrozil, gemfibrozil + mannitol or WY‐14643. Chronic perfusion in untreated kidneys caused destruction of glomerular and tubular architecture (light and electron microscopy), disappearance of Na+‐K+‐ATPase‐α1 (Western blotting), and apoptosis (Apoptag staining). Gemfibrozil and WY‐14643 marginally improved some biomarkers of renal preservation. However, the combination of gemfibrozil with mannitol markedly improved all parameters of renal preservation. We conclude that PPARα agonists, particularly when combined with mannitol, protect organs from normothermic, perfusion‐induced damage.
An Essential Contribution by IFN-γ to CD8+ T Cell-Mediated Rejection of Pancreatic Islet Allografts1

CD8+ T cells have long been considered to be the prototypical cytotoxic lymphocyte subpopulation. However, whether alloreactive CD8+ T cells require traditional cytolytic pathways such as perforin and Fas ligand (FasL) to mediate graft rejection has been a controversial issue. In the present studies, we examined the role of varied effector pathways in CD8+ T cell-mediated rejection of pancreatic islet allografts. Our goal was to systematically determine the relative requirements, if any, of perforin and FasL as well as the proinflammatory cytokine IFN-γ in triggering graft destruction. To study CD8+ T cell effector pathways independently of other lymphocyte populations, purified alloreactive CD8+ T cells were adoptively transferred into severe combined immune-deficient (SCID) recipients bearing established islet allografts. Results indicate that to reject established islet allografts, primed CD8+ T cells do not require the individual action of the conventional cytotoxic effectors perforin and Fas ligand. In contrast, the ability to produce IFN-γ is critical for efficient CD8+ T cell-mediated rejection of established islet allografts. Furthermore, alloreactive CD8+ TCR transgenic T cells (2C) also show IFN-γ dependence for mediating islet allograft rejection in vivo. We speculate from these results that the production of IFN-γ by alloreactive CD8+ T cells is a rate-limiting step in the process of islet allograft rejection.
View-dependent Transmission of Three-dimensional Mesh Models Using Hierarchical Partitioning

In this paper, we propose a new scheme for sending three-dimensional (3-D) mesh models. In order to make a viewdependent representation of 3-D mesh models, we combine sequential and progressive mesh transmission techniques. After we partition a 3-D mesh model into a hierarchical tree, we determine the amount of information for each submesh. Then, we can send the 3-D model information by view-dependent selection with mesh merging and splitting operations. Experimental results have demonstrated that the proposed scheme can send mesh information adaptively through mesh merging and splitting operations and provides good visual quality in a limited bandwidth channel.
Study on suppression mechanism of space charge accumulation in nano-doped LDPE

The introduction of nano-fillers into polyethylene can suppress space charge accumulation. The mechanism of this phenomenon hasn't been understood clearly, and has been explained in two different ways, i.e. an interface behavior that reduces charge injection and a bulk property that affects charge migration. In order to investigate which factor determines the space charge behavior in LDPE nano-composites, samples of triple-layer structure are measured. The experimental results show that the nano-fillers can reduce charge injection. However, the reduced charge injection cannot entirely remove the space charge. The bulk property also plays an important role in space charge suppression. Furthermore, a bipolar blocking phenomenon is found in our triple layer sample at high temperature. This can be explained by a shift in the apparent Fermi (charge demarcation) level near the electrode due to the trapping of injected charge, which increases the interface barrier.
Childhood Family Psychosocial Environment and Coronary Heart Disease Risk

Objective: Little is known about whether the childhood family psychosocial environment affects coronary heart disease (CHD). Study objectives were to evaluate associations of childhood family psychosocial environment (termed "risky families"; characterized by cold, unaffectionate interactions, conflict, aggression, neglect, and/or low nurturance) with calculated risk for CHD. Methods: Study participants included 3554 participants of the Coronary Artery Risk Development in Young Adults Study, aged 33 to 45 years. Childhood family psychosocial environment was measured using a risky family questionnaire via self-report. Ten-year CHD risk was calculated using the validated Framingham risk algorithm. Results: In a multivariable-adjusted regression analysis adjusted for age, race/ethnicity, and childhood socioeconomic position, a 1-unit (range, 0-21) increase in risky family score was associated with 1.0% (95% confidence interval = 0.4%-1.7%) and 1.0% (95% confidence interval = 0.2%-1.8%) higher CHD risk in women and men, respectively. Multiple mediation analyses suggested significant indirect effects of education, income, depressive symptomatology, and anger-out expression in women and education in men, indicating that these may be mediating mechanisms between childhood psychosocial environment and CHD risk. Of the modifiable Framingham algorithm components, smoking (in women and men) and high-density lipoprotein (in women) were the factors most strongly associated with risky family score. Conclusions: Childhood family psychosocial environment was positively associated with the calculated 10-year CHD risk. Mechanisms may include the potential negative impact of childhood family psychosocial environment on later-life socioeconomic position (e.g., education in men and women) and/or psychosocial functioning (e.g., depression and anger-out expression in women), which may in turn lead to higher CHD risk, particularly through smoking (in men and women) and low level of high-density lipoprotein cholesterol (in women). CHD = coronary heart disease; SEP = socioeconomic position; CARDIA = Coronary Artery Risk Development in Young Adults; HDL = high-density lipoprotein; CES-D = Center for Epidemiologic Studies Depression scale; CV = Coefficient of variation
Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents

We consider the synthesis of control policies from temporal logic specifications for robots that interact with multiple dynamic environment agents. Each environment agent is modeled by a Markov chain whereas the robot is modeled by a finite transition system (in the deterministic case) or Markov decision process (in the stochastic case). Existing results in probabilistic verification are adapted to solve the synthesis problem. To partially address the state explosion issue, we propose an incremental approach where only a small subset of environment agents is incorporated in the synthesis procedure initially and more agents are successively added until we hit the constraints on computational resources. Our algorithm runs in an anytime fashion where the probability that the robot satisfies its specification increases as the algorithm progresses.
The Growing Role of Front-of-Pack Nutrition Profile Labeling: A Consumer Perspective on Key Issues and Controversies

Nutrition-related diseases, such as some cancers, heart diseases, and obesity, belong to the most challenging health concerns of our time. Communicating intuitive and simple nutrition information by means of front-of-pack (FOP) nutrition profile signpost labeling is increasingly seen as an essential tool in efforts to combat unhealthy food choices and improve public health. Consequently, much attention in policy and research is given to nutrient profiling methods and the determination of optimal nutrition criteria. Although consumer research on nutrition signpost labeling is now gradually appearing in the literature, the value and meaning of these labeling systems for consumers have received less attention. In the current debate a concise overview is lacking of the consumer perspective, including relevant psychological phenomena, in relation to much debated controversies surrounding these labels and their further development, such as the most effective type of signpost labeling system and varying stakeholder interests. Therefore, this paper aims to critically review the literature in the consumer domain of FOP nutrition labeling in order to illustrate the strengths and weaknesses of this form of nutrition education from a consumer perspective.
Flexible Execution of Distributed Business Processes based on Process Instance Migration

Many advanced business applications, collaborations, and virtual organizations are based on distributed business process management. As, in such scenarios, competition, fluctuation and dynamism increase continuously, the distribution and execution of individual process instances should become as flexible as possible in order to allow for an ad-hoc adaptation to changing conditions at runtime. However, most current approaches address process distribution by a fragmentation of processes already at design time. Such a static configuration can be assigned to different process engines near runtime, but can hardly be changed dynamically because distribution logic is weaved into the business process itself. A more dynamic segmentation of such distribution can be achieved by process runtime migration even without modifying the business logic of the original process model. Therefore, this contribution presents a migration data meta-model for enhancing such existing processes with the ability for runtime migration. The approach permits the inclusion of intensions and privacy requirements of both process modelers and initiators and supports execution strategies for sequential and parallel execution of processes. The contribution concludes with presenting a conceptual evaluation in which runtime migration has been applied to XPDL and WS-BPEL process instances and, based on these results, a qualitative comparison of migration and fragmentation.
Influence of slot/pole number combination on performances of permanent magnet machines with concentrated windings for ship application

Five promising permanent magnet (PM) machine configurations, namely machine 1 with 24-slot/16-pole, machine 2 with 27-slot/18-pole, machine 3 with 24-slot/20-pole, machine 4 with 24-slot/28-pole and machine 5 with 27-slot/24-pole are compared to find out the best one for a small ship application. A nonlinear two-dimensional finite element analysis including rotor motion is developed for this study. Comparison results show that the machine 4 is the best selection if using criterion of maximum torque density. If the criterion is maximum efficiency, the conventional machine 2 is the best option. However, if using a multi-criteria that compromises between maximum torque density and maximum efficiency, the machine 3 is the best selection.
20IO International Conference on Computer Application and System Modeling (ICCASM 2010) Research on Chaos Partheno -Genetic Algorithm for TSP

Traveling Salesman Problem (TSP) is a typical combination optimization problem; it is hard to find a precision result. So it is very important to search for the near result. A novel chaos partheno-genetic algorithm (CPGA) method is proposed for TSP in this paper. The new legal solution is obtained by chaos search, partheno-genetic algorithm and greedy local search. Partheno-genetic algorithm overcomes the premature convergence drawback of genetic algorithms, and which is guaranteed to keep the diversity of the population in the conditions of the lower diversifying initial population. Moreover, the algorithm not only makes use the chaos search strategy to improve the algorithm search space greatly and avoid the standard genetic algorithms easy falling into the partial minimum flaw, but also utilizes the greedy local search to improve local searching capability, enhance searching efficiency. In the process of optimization, the method has the ability of escaping from the local minimized point and arriving at the global optimal point. Simulation results show that the chaos partheno-genetic algorithm using for TSP are efficient and feasible.
Social Consequences of the Financial Crisis in Asia

This paper assesses the social impact of the Asian Financial crisis, drawing on the results of studies in six countries, namely, Indonesia, Republic of Korea, Lao People's Democratic Republic, Malaysia, Philippines, and Thailand. The impacts appear to be less than were anticipated early in the crisis. However, it seems to early to draw conclusions about the eventual social consequences.
Ranking of new sponsored online ads

Online advertising in search engines is a wide, attractive and growing market. In this market, revenue of search engines depends on the number of user clicks received on displayed ads. Thus, in order to increase the revenue, search engines try to select top ads and rank them based on their quality. For ads which were in the system for a period of time, this quality could be measured empirically. But for new ads, or those ads without enough historical data, search engines should predict the quality. The purpose of this work is to find a method for estimating quality of new ads in attracting user's clicks. We use semantic and feature based similarity algorithms to predict the quality score of new ads using historical similar ads. Our trace-based evaluations show that the proposed method outperforms other approaches in the literature in terms of the accuracy of prediction. In addition, the proposed is less computationally expensive than previous methods and it can run in real time.