Miracle-dz/UniFAR-FTUs huggingface dataset:
Rehearsal : A Con guration Veri cation Tool for Puppet

Although configuration management tools like Puppet make configuring a lot of systems easier, they don’t protect from misconfiguration. In some cases bugs are not caught in the testing environment because the configuration leads to an indeterministic state. Puppet manifests are configuration files which represent the desired state of a system. Among other things, it contains information about which users to create, files and their desired content and packages that should be installed. Manifests can sometimes seem trivial and correct, but still violate the properties of determinism and idempotence. Shambaugh et al. [10] tackle this problem with Rehearsal, a configuration verification tool for Puppet. The tool applies static verification to check whether Puppet manifests are deterministic and idempotent. For this purpose they create a semantics for Puppet and a domain specific language, namely FS, into which they transform the configuration files. A summary of their approach is presented in this paper.
The unequal benefits of family activation : an analysis of the social distribution of family policy among families with young children

In the last decades, measures to reconcile work and family life arose in response to new societal needs stemming from the generalization of dual earnership. However, dual earnership has not been adopted evenly across various social groups in European societies. Consequently, concerns about the distribution of the benefit of those policies arise: does this new orientation entail a loss of redistributive power of the welfare state? We address this question by focussing on the interaction of three types of family measures and their overall distributional effect in Europe with the Belgian region of Flanders as case in point. We develop a fine-grained analysis to reveal the budgetary impact of the variation in use and generosity, and find that the redistributive effect of child benefits is largely undone by subsidized childcare and parental leave benefits. As such, our analysis supports concern about a reduction of the redistributive character of the „new‟ welfare state.
Encyclopedia of medical decision making

Decision making is a critical element in the field of medicine that can lead to life-or-death outcomes, yet it is an element fraught with complex and conflicting variables, diagnostic and therapeutic uncertainties, patient preferences and values, and costs. Together, decisions made by physicians, patients, insurers, and policymakers determine the quality of health care, quality that depends inherently on counterbalancing risks and benefits and competing objectives such as maximizing life expectancy versus optimizing quality of life or quality of care versus economic realities. Broadly speaking, concepts in medical decision making (MDM) may be divided into two major categories: prescriptive and descriptive. Work in the area of prescriptive MDM investigates how medical decisions should be done using complicated analyses and algorithms to determine cost-effectiveness measures, prediction methods, and so on. In contrast, descriptive MDM studies how decisions actually are made involving human judgment, biases, social influences, patient factors, and so on. "The Encyclopedia of Medical Decision Making" gives a gentle introduction to both categories, revealing how medical and healthcare decisions are actually made - and constrained - and how physician, healthcare management, and patient decision making can be improved to optimize health outcomes. It discusses very general issues that span many aspects of MDM, including bioethics; health policy and economics; disaster simulation modeling; medical informatics; the psychology of decision making; shared and team medical decision making; social, moral, and religious factors; end-of-life decision making; assessing patient preference and patient adherence; and more. It incorporates both quantity and quality of life in optimizing a medical decision. It considers characteristics of the decision maker and how those characteristics influence their decisions. It presents outcome measures to judge the quality or impact of a medical decision. It examines some of the more commonly encountered biostatistical methods used in prescriptive decision making. It provides utility assessment techniques that facilitate quantitative medical decision making. It addresses the many different assumption perspectives the decision maker might choose from when trying to optimize a decision. It offers mechanisms for defining MDM algorithms.
New scaling laws for stagnant lid convection with a composite ice rheology : Application to Ganymede and Titan

The persistence of subsurface oceans in icy moons primarily depends on the efficiency of heat transfer through the outer ice shell. Scaling laws for heat transfer have already been determined by previous studies. These consider however a simplified rheology assuming a single creep mechanism, often using a linearized version of the temperature-dependent viscosity law (called Frank-Kamenetskii approximation). In the present study, we test the influence of ice rheology on the efficiency of heat transfer by considering a more realistic composite viscosity law, including diffusion creep, grain boundary sliding, basal slip and dislocation creep. In order to establish heat transfer scaling laws, we performed a large number of numerical simulations of thermal convection in the stagnant lid regime using a 2-D spherical annulus geometry geometry, varying the curvature f (0.92< f < 0.99) and the grain size (10−5 m < dg < 10−2 m). From these simulations, we derive new scaling relationships taking into account the grain size and apply them to the of modeling the thermal evolution of Ganymede and Titan.
Title Single-View Hair Modeling for Portrait Manipulation

Human hair is known to be very difficult to model or reconstruct. In this paper, we focus on applications related to portrait manipulation and take an application-driven approach to hair modeling. To enable an average user to achieve interesting portrait manipulation results, we develop a single-view hair modeling technique with modest user interaction to meet the unique requirements set by portrait manipulation. Our method relies on heuristics to generate a plausible high-resolution strand-based 3D hair model. This is made possible by an effective high-precision 2D strand tracing algorithm, which explicitly models uncertainty and local layering during tracing. The depth of the traced strands is solved through an optimization, which simultaneously considers depth constraints, layering constraints as well as regularization terms. Our single-view hair modeling enables a number of interesting applications that were previously challenging, including transferring the hairstyle of one subject to another in a potentially different pose, rendering the original portrait in a novel view and image-space hair editing.
Analog Circuits for DC-DC converters by Martin Dřínovský

DC-DC converter are essential part in a whole range of applications. With the continuous integration and demand for higher efficiency more strict requirements are put on various circuits that make up the converter. The thesis pursues three circuit areas, current sensors, oscillators, zero crossing and overcurrent detectors. Current sensors are used for overcurrent protection, regulation and in case of multiphase converters for balancing. A new high voltage current sensor for coil-based current sensing in DC-DC converters is presented. The sensor employs DDCC with high voltage input stage and gain trimming. The circuit has been simulated and implemented in 0.35 μm BCD technology as part of a multiphase DC-DC converter where its function has been verified. The circuit is able to sustain common mode voltage on the input up to 40 V while it occupies 0.387× 0.345 mm. In the second part, a function generator generating both square and triangle waveforms suitable for DC-DC converters is proposed. The generator employs only one low area comparator with accurate hysteresis set by a bias current and a resistor. Oscillation frequency and its non-idealities are analyzed. The function of the proposed circuit is demonstrated on a design of 1 MHz oscillator in STMicroelectronics 180 nm BCD technology. The designed circuit is thoroughly simulated including trimming evaluation. It consumes 4.1 μA at 1.8 V and takes 0.0126 mm of silicon area. The temperature variation from −40 ◦C to 125 ◦C is ±1.5 % and the temperature coefficient is 127 ppm/◦C. In the third part, a dual purpose over-current (OCD) and zero crossing detector (ZCD) for high voltage switching DC-DC battery chargers is presented. As in both buck and boost operation modes the current is sensed on high side power transistor it is possible to reuse the detection circuit which inherently saves silicon area. The circuit was designed in STMicroelectronics 0.18 μm BCD technology and occupies only 0.035 mm while consuming 1.2 mW operating from 12 V power supply. The correct operation of the circuit was verified on silicon as part of a dual-phase battery charger. The last presented circuit is an overcurrent detector with built-in reference and programmable threshold. It features a built-in detection threshold set by a VGS of a MOS transistor and a resistor value R. The main benefits of this solution are lack of kickback noise on reference bias line, low power operation – consumes only when sensing current, high speed, and small area. All these properties are essential for ultra-low power converters. The circuit was designed in the same 0.18 μm BCD technology and its operation was verified on silicon. It occupies 0.011mm2 and consumes 16 μA static current (at zero inductor current).
Kobe University Repository : Kernel タイトル Tit le Posterior analysis of the mult iplicat ive heteroscedast icity model 著者

In this paper, we show how to use Bayesian approach in the multiplicative heteroscedasticity model discussed by Harvey (1976). The Gibbs sampler and the Metropolis-Hastings (MH) algorithm are applied to the multiplicative heteroscedasticity model, where some candidate-generating densities are considered in the MH algorithm. We carry out Monte Carlo study to examine the properties of the estimates via Bayesian approach and the traditional counterparts such as the modified two-step estimator (M2SE) and the maximum likelihood estimator (MLE). Our results of Monte Carlo study show that the candidate-generating density chosen in our paper is suitable, and Bayesian approach shows better performance than the traditional counterparts in the criterion of the root mean square error (RMSE) and the interquartile range (IR).
P 38 mitogen activated protein kinase expression and regulation by interleukin-4 in human B cell non-Hodgkin lymphomas

The prevalence and regulation of p38 mitogen activated protein kinase (MAPK) expression in human lymphomas have not been extensively studied. In order to elucidate the role of p38 MAPK in lymphomagenesis, we examined the expression of native and phosphorylated p38 (p-p38) MAPK in cell lines derived from human hematopoietic neoplasms including B cell lymphoma-derived cell lines using Western blot analysis. The p-p38 MAPK protein was also analyzed in 30 B cell non-Hodgkin lymphoma (NHL) tissue biopsies by immunohistochemistry. Our results show that the expression of p38 MAPK was upregulated in most of the cell lines as compared with peripheral blood lymphocytes, while the expression of p-p38 MAPK was more variable. A subset of B cell NHL biopsies showed increased expression of p-p38 MAPK relative to reactive germinal center cells. Interleukin-4 (IL-4) induced a dose-dependent increase in the expression of p-p38 MAPK (1.6to 2.8-fold) in cell lines derived from activated B cell-like diffuse large B cell lymphoma (DLBCL) but not those from germinal center-like DLBCL. No change was seen in native p38 MAPK. The in vitro kinase activity of p38 MAPK, however, was induced (1.6to 3.2-fold) in all five cell lines by IL-4. Quantitative fluorescent RT-PCR demonstrated that all four isoforms of p38 MAPK gene were expressed in the lymphoma cell lines, with p38γ and p38β isoforms being predominant. IL4 stimulation increased the expression of β, γ, and δ isoforms but not α isoform in two cell lines. In conclusion, there is constitutive expression and activation of p38 MAPK in a large number of B-lymphoma-derived cell lines and primary lymphoma tissues, supportive of its role in lymphomagenesis. The differential IL-4 regulation of p38 MAPK expression in cell lines derived from DLBCL may relate to the cellular origin of these neoplasms.
THE RELATIONSHIP AMONG PERCEIVED QUALITY , CONSUMER SATISFACTION AND LOYALTY IN THE VIETNAMESE MARKET FOR SEAFOOD

The purpose of this study is to discuss, develop and test the relationship among perceived quality performance, consumer satisfaction and two different format of loyalty toward seafood. We frame our discussion with the purpose of drawing together streams from the quality-satisfaction research, loyalty literature, attitude research and from research on food consumption behavior. More precisely, we want to test whether the predictive relationship between cognitive quality performance – affective satisfaction – loyalty will be different if we frame our measure of loyalty as an attitudinal construct or as a behavioral construct. This is done in a convenience sample of 250 consumers in Vietnam. The empirical study is based on using structural equation approach to test construct validity of measures and empirical fit of the theoretical model. The results showed a high and positive correlations between perceived quality performance and satisfaction. The relationship between satisfaction and loyalty is positive and weaker than one between quality and satisfaction for the both formats of loyalty as expected. The relationship between satisfaction and attitudinal loyalty is much stronger than one between satisfaction and behavioral loyalty. In addition, evidences of appropriate psychometric properties, reliability and validity, of the measures were supported by the constructs measures in the model. Keyword: Perceived quality, satisfaction, loyalty, seafood, Vietnam.
Cancer prevention and management through exercise and weight control

Research Methods Observational Studies and Intervention Trials in Exercise, Diet, and Cancer Prevention Research: Ross L. Prentice Physical Activity Measurement: Barbara E. Ainsworth and Karen J. Coleman Measurement of Body Fat and Energy Balance: Melinda Irwin Physical Activity and Cancer Incidence Physical Activity and Cancer Incidence: Breast Cancer: Alpa V. Patel and Leslie Bernstein Physical Activity and Colorectal Cancer: Martha L. Slattery Physical Activity and Prostate Cancer Risk: Christine M. Friedenreich Mechanisms Associating Physical Activity with Cancer Incidence Physical Activity Effects on Sex Hormones: Anne McTiernan Exercise and Insulin Resistance: Laura Lewis Frank Exercise and Immune Function: Catherine M. Wetmore and Cornelia M. Ulrich Exercise and Prostaglandins: Maria Elena Martinez Mechanisms Associating Obesity with Cancer Incidence: Animal Models: Henry J. Thompson, Weiqin Jiang, and Zongjian Zhu Physical Activity Intervention Studies in Humans: Anne McTiernan Genetics, Physical Activity, and Cancer: Tuomo Rankinen Overweight/Obesity and Cancer Incidence Obesity, Weight Change, and Breast Cancer Incidence: Rachel Ballard-Barbash Body Size, Obesity, and Colorectal Cancer: Martha L. Slattery Endogenous Hormone Metabolism and Endometrial Cancer: Rudolf Kaaks and Annekatrin Lukanova Obesity and Pancreatic Cancer: Dominique S. Michaud and Edward Giovannucci Obesity and Overweight in Relation to Adenocarcinoma of the Esophagus: Cathrine Hoyo and Marilie D. Gammon Mechanisms Associating Obesity with Cancer Incidence Obesity and Sex Hormones: Rudolph Kaaks and Anne McTiernan Obesity and Insulin Resistance: George Blackburn and Belinda Waltman Obesity, Cytokines, and Other Inflammatory Markers: Elisa L. Priest and Timothy S. Church Mechanisms Associating Physical Activity with Cancer Incidence: Animal Models: Lisa H. Colbert Genetics, Obesity, and Cancer: Shelley Tworoger and Monica McGrath Physical Activity and Cancer Prognosis Quality of Life and Fatigue in Breast Cancer : Kerri Winters-Stone and Anna L. Schwartz Exercise and Quality of Life in Survivors of Cancer Other Than Breast: Kerry S. Courneya, Kristin L. Campbell, Kristina H. Karvinen, and Aliya B. Ladha Physical Activity and Physiological Effects Relevant to Prognosis: Page E. Abrahamson and Marilie D. Gammon Energy Balance and Cancer Prognosis Breast Cancer: Pamela J. Goodwin Colon, Prostate, and Other Cancers: Cheryl L. Rock Implementation Physical Activity and Energy Balance: Mikael Fogelholm Diet and Other Means of Energy Balance Control: David Heber and Susan Bowerman Population-Based Approaches to Increasing Physical Activity: Fiona Bull Incorporating Exercise and Diet Recommendations into Primary Care Practice: Nicolaas P. Pronk Promoting Physical Activity in Cancer Survivors: Anna L. Schwartz and Kerri Winters-Stone Obesity and Early Stage Breast Cancer Outcome: Rowan T. Chlebowski and Michelle L. Geller Incorporating Weight Control into Management of Patients with Early Breast Cancer in the U.K.: Michelle Harvie and Anthony Howell Index
Enterprise maturity and successful business process orientation projects

According to business process management (BPM), organizations should be oriented to optimize their business processes using the best technology available. Strategic management maturity (SMM) can be understood as the stage the organizations achieve when they use the best practices related to strategy to their business area. Business process orientation (BPO) stimulate the BPM effort and uses BPM as reference and tool. In this article, it is suggested that BPO projects using BPM information to have a successful impact depends on the SMM level of the organization where the project happened. A research was conducted in eleven Brazilian companies. Seven variables were used to measure the SMM level and four variables to evaluate the impact of the BPO projects. The conclusion was that the higher the SMM level of company, the higher is the positive impact of the BPO project.
ALLELOPATHIC POTENTIAL OF VOLATILE / ESSENTIAL OILS AND HYDROSOLS OBTAINED FROM CULTURED MEDICINAL PLANTS C ătă

Using the chemical substances in weed control, diseases and pests, without discernment, has been responsible for environmental damage and human health. For these reasons, in the last years research has intensified its efforts to find alternative agriculture strategies. One of these is represented by the Integrated Weed Management System (IWMS), so that the capacity to combat by natural ways could have a wider and more valuable application. From the multidisciplinary and interdisciplinary point of view approach, some species of agricultural interest are already known for their allelopathic effects and can be used as instruments for weed management, disease and pests. A feasible alternative is represented by the identification of natural substances with allelopathic effects for the production of natural bio pesticides. Research done so far has highlighted the possibility of using volatile / essential oils and hydrosols extracted from medicinal and aromatic plants disproof in controlled environment, such as horticulture (in greenhouses and solariums). The advantage of using such natural compounds is the fast decomposing process in the environment and thus is less harmful and can be applied in organic farming.
WannaCry Ransomware Campaign Exploiting SMB Vulnerability

The exploits used – EternalBlue and DoublePulsar – have been made available on the Internet through the ShadowBrokers dump on April 14th, 2017 [6], but already earlier patched by Microsoft on March 14th, 2017 as part of MS17-010 [3] for the supported versions of the Microsoft Windows operating system. Unfortunately, the patch was not available at that time for legacy Windows XP, Windows 8, as well as for Windows Server 2003 systems. Even in case of systems where the patch was available, it appears that many organizations have not yet installed it. As of the time of writing this advisory, there were at least 200 000 computers affected world-wide with some prominent organizations including Telefonica [4] in Spain and NHS hospitals in UK [5].
Vitamin D receptor FokI , BsmI , ApaI , and TaqI polymorphisms and the susceptibility to breast cancer : a meta-analysis

The goal of this study is to examine whether vitamin D receptor (VDR) polymorphisms are associated with the susceptibility to breast cancer. Meta-analysis was employed to investigate the association between the VDR FokI, BsmI, ApaI, and TaqI polymorphisms and the incidence of breast cancer. A total of 32 comparative studies were evaluated in this meta-analysis, which included 17,067 patients and 20,843 controls. Meta-analysis of the VDR FokI polymorphism indicated an association between the incidence of breast cancer and the ff genotype in Europeans (OR = 1.126, 95% CI = 1.026–1.243, p = 0.019) Furthermore, an association between the incidence of breast cancer and the VDR FokI polymorphism was found in the Europeans using the allele contrast, as well as the homozygote contrast. However, the meta-analysis indicated no association between breast cancer and the BsmI polymorphism in all study subjects, including the Europeans (OR for the B allele = 0.996, 95% CI = 0.964–1.097, p = 0.930, 1.026, 95% CI = 0.929–1.134, p = 0.610). Moreover, breast cancer incidence was not associated with the ApaI and Taq polymorphisms (OR for the A allele = 0.908, 95% CI = 0.763–1.041, p = 0.167, OR for the T allele = 0.972, 95% CI = 0.929–1.017, p = 0.221). This meta-analysis suggests that the VDR FokI polymorphism is associated with susceptibility to breast cancer in the European population.