Miracle-dz/UniFAR-FTUs huggingface dataset:
Modal Analysis of the Milling Machine Structure through FEM and Experimental Test

Machine tool vibrations have great impact on machining process. In this paper the dynamic behavior and modal parameters of milling machine is presented. For this purpose, the CAD model of the milling machine structure is provided in CATIA and then Natural frequencies and mode shapes of the machine tool structure are carried out through FEM modal analysis under ANSYS Workbench. The model is evaluated and corrected with experimental results by modal testing on FP4M milling machine. Finally, the natural frequencies and mode shapes obtained by both experimental and FEM modal analysis are compared. The results of two methods are in widely agreement.
Biocompatible polymer encapsulation with embedded functional structures for medical devices

For biomedical applications the encapsulation of devices is a nontrivial task which has to meet ambitious specifications such as biocompatibility, mechanical and chemical stability, fluidic sealing or electrical isolation. Especially for microsystems the packaging is considered as a key process since it has to provide the interface between the microchips and the outer world. For life science applications polydimethylsiloxane (PDMS) has been widely employed, particularly for the formation of multilayer stacks. In our concept the multilayer approach is employed to design a multilayered housing for an active microport with embedded functional structures. In addition to PDMS, we explored polyurethane (PU) as a suitable material for the multilayer technique. Compared to PDMS it excels by an even better transparency and a slightly higher mechanical stability. Moreover, a large number of glues work with PU whereas adhesives for PDMS are rarely found. For our application the bond strength is an extremely critical parameter due to the demand of an absolutely reliable sealing. Several bonding techniques such as adhesion, annealing, mixing ratio variation and adhesive layers have been compared considering the reversibility of the bond type and the bond strength. An experimental setup has been developed which applies a load to the bond interface and determines the maximum applicable force.
A cost-based model and effective heuristic for repairing constraints by value modification

Data integrated from multiple sources may contain inconsistencies that violate integrity constraints. The constraint repair problem attempts to find "low cost" changes that, when applied, will cause the constraints to be satisfied. While in most previous work repair cost is stated in terms of tuple insertions and deletions, we follow recent work to define a database repair as a set of value modifications. In this context, we introduce a novel cost framework that allows for the application of techniques from record-linkage to the search for good repairs. We prove that finding minimal-cost repairs in this model is NP-complete in the size of the database, and introduce an approach to heuristic repair-construction based on equivalence classes of attribute values. Following this approach, we define two greedy algorithms. While these simple algorithms take time cubic in the size of the database, we develop optimizations inspired by algorithms for duplicate-record detection that greatly improve scalability. We evaluate our framework and algorithms on synthetic and real data, and show that our proposed optimizations greatly improve performance at little or no cost in repair quality.
Programmers use slices when debugging

Computer programmers break apart large programs into smaller coherent pieces. Each of these pieces: functions, subroutines, modules, or abstract datatypes, is usually a contiguous piece of program text. The experiment reported here shows that programmers also routinely break programs into one kind of coherent piece which is not coniguous. When debugging unfamiliar programs programmers use program pieces called slices which are sets of statements related by their flow of data. The statements in a slice are not necessarily textually contiguous, but may be scattered through a program.
Genome-Wide Identification and Characterization of bZIP Transcription Factors in Brassica oleracea under Cold Stress

Cabbages (Brassica oleracea L.) are an important vegetable crop around world, and cold temperature is among the most significant abiotic stresses causing agricultural losses, especially in cabbage crops. Plant bZIP transcription factors play diverse roles in biotic/abiotic stress responses. In this study, 119 putative BolbZIP transcription factors were identified using amino acid sequences from several bZIP domain consensus sequences. The BolbZIP members were classified into 63 categories based on amino acid sequence similarity and were also compared with BrbZIP and AtbZIP transcription factors. Based on this BolbZIP identification and classification, cold stress-responsive BolbZIP genes were screened in inbred lines, BN106 and BN107, using RNA sequencing data and qRT-PCR. The expression level of the 3 genes, Bol008071, Bol033132, and Bol042729, was significantly increased in BN107 under cold conditions and was unchanged in BN106. The upregulation of these genes in BN107, a cold-susceptible inbred line, suggests that they might be significant components in the cold response. Among three identified genes, Bol033132 has 97% sequence similarity to Bra020735, which was identified in a screen for cold-related genes in B. rapa and a protein containing N-rich regions in LCRs. The results obtained in this study provide valuable information for understanding the potential function of BolbZIP transcription factors in cold stress responses.
Measurement of Dynamic Compressive Properties of Apples using the Oscillatory Test

Purpose: This study performed the oscillatory test using the texture analyzer to characterize the viscoelastic behavior of apples such as the storage modulus (E`), the loss modulus (E"), the complex modulus () and the energy dissipated per cycle (). Methods: The sinusoidal deformation with the frequency of 1-10 Hz and the maximum displacement of 0.1 mm were applied to the flesh tissues of Fuji, Golden Delicious and Red Delicious apples. The Lissajous figure was used to measure the phase angle() between stress and strain curve. Results: Trigger force was critical to the measurement of the phase angle. E`, E", and Wdiss were measured using the Lissajous figure and the phase angle. The complex modulus of Golden Delicious apple was significantly lower than those of Fuji apple and Red Delicious apple. Conclusions: Apple flesh was exhibiting more elasticity at low frequency, and more viscosity at high frequency. Dynamic compressive properties of Fuji apple were similar to those of Red Delicious apple but significantly different from those of Golden Delicious apple.
West Nile Virus during Pregnancy: A Case Study of Early Second Trimester Maternal Infection

A woman who contracted West Nile virus (WNV) neuroinvasive illness during her second trimester subsequently elected to terminate her pregnancy due to concerns of possible adverse effects of WNV on her developing fetus. Consent was obtained to test maternal and post-mortem fetal tissues for WNV infection. Fetal blood, liver, kidneys, spleen, umbilicus and amniotic fluid were negative for WNV RNA by polymerase chain reaction and negative for WNV IgM antibodies by ELISA, indicating that in this case there was no evidence of WNV transmission to the fetus. Until further information regarding outcomes of WNV infection during pregnancy is available, pregnant women in areas where WNV is transmitted should take precautions to avoid mosquito bites. Women with WNV illness during pregnancy should undergo regular prenatal checkups including ultrasound examinations to assess fetal development, and healthcare providers should promptly report cases of WNV in pregnant women to their state or local health department or to CDC.
Necl2 regulates epidermal adhesion and wound repair

Differential expression of cell adhesion molecules regulates stem cell location, self-renewal and lineage selection under steady state conditions and during tissue repair. We show that the intercellular adhesion protein nectin-like molecule 2 (Necl2) is highly expressed in bulge stem cells of adult human and mouse hair follicles. Overexpression of Necl2 in cultured human keratinocytes led to upregulation of calcium/calmodulin-associated Ser/Thr kinase (CASK), increased calcium-independent intercellular adhesion, and inhibition of cell motility and in vitro wound healing. Although the rate of cell proliferation was reduced, terminal differentiation was unaffected. To assess the role of Necl2 in vivo, we examined the epidermis of Necl2-null mice and developed transgenic mice that expressed Necl2 in the basal layer of murine epidermis. Necl2 overexpression led to a reduction in S-phase cells and an increase in quiescent cells retaining DNA label in the bulge. Although epidermal homeostasis appeared normal in both transgenic and knockout mice, wound healing was markedly delayed. Necl2 overexpression resulted in reduced proliferation and increased levels of CASK and E-cadherin at the leading edge of healing wounds, consistent with its effects in culture. Our results demonstrate that Necl2 is involved in regulating epidermal stem cell quiescence and location.
Evaluating Qualitative Reasoning as a Support Tool for the Transfer of Conceptual Knowledge

Qualitative reasoning (QR) is the area of Artificial Intelligence (AI) that captures and simulates conceptual knowledge about system behaviour. This thesis explores how QR can support the transfer of conceptual knowledge and how tools that provide that support can be evaluated. The approach in this thesis is to create an evaluation framework. This framework provides structure for exploring and evaluating how a QR software program can support knowledge transfer. The framework contains five types of support QR can provide to knowledge transfer. Dimensions are provided to describe usages of these types and guidance for evaluation those usages are set up. To investigate the usefulness of this framework it applied to Garp3. Garp3 is a software tool with a graphical interface that can be used to build and simulate QR models. Two studies are conducted to evaluate two usages. The first study addresses the acquisition of conceptual knowledge by working with QR and showed that novice users can work and learn with Garp3 with minimal software instructions. The second study addresses the articulation of conceptual knowledge with a recently developed structured approach. This study showed that novice users were able to build models with Garp3 with minimal software instructions. However, instruction and support to the structured approach is vital to model building success. The thesis discusses QR, ways to use and evaluate tools based on QR, and the specifics to the two evaluations studies that have been carried out.
Improving Diabetes Care in Practice

OBJECTIVE—The purpose of this study was to determine whether implementation of a multicomponent organizational intervention can produce significant change in diabetes care and outcomes in community primary care practices. RESEARCH DESIGN AND METHODS—This was a group-randomized, controlled clinical trial evaluating the practical effectiveness of a multicomponent intervention (TRANSLATE) in 24 practices. The intervention included implementation of an electronic diabetes registry, visit reminders, and patient-specific physician alerts. A site coordinator facilitated previsit planning and a monthly review of performance with a local physician champion. The principle outcomes were the percentage of patients achieving target values for the composite of systolic blood pressure (SBP) <130 mmHg, LDL cholesterol <100 mg/dl, and A1C <7.0% at baseline and 12 months. Six process measures were also followed. RESULTS—Over 24 months, 69,965 visits from 8,405 adult patients with type 2 diabetes were recorded from 238 health care providers in 24 practices from 17 health systems. Diabetes process measures increased significantly more in intervention than in control practices, giving net increases as follows: foot examinations 35.0% (P < 0.0.001); annual eye examinations 25.9% (P < 0.001); renal testing 28.5% (P < 0.001); A1C testing 8.1%(P < 0.001); blood pressure monitoring 3.5% (P = 0.05); and LDL testing 8.6% (P < 0.001). Mean A1C adjusted for age, sex, and comorbidity decreased significantly in intervention practices (P < 0.02). At 12 months, intervention practices had significantly greater improvement in achieving recommended clinical values for SBP, A1C, and LDL than control clinics (P = 0.002). CONCLUSIONS—Introduction of a multicomponent organizational intervention in the primary care setting significantly increases the percentage of type 2 diabetic patients achieving recommended clinical outcomes.
Does culture really matter? Cultural influences on the knowledge transfer process within multinational corporations

Transfer and imitation of the organizational capabilities are the twin elements of competition in innovative and growing markets. Knowledge therefore becomes an important strategic asset within organizations. Consequently the management of knowledge is considered with special attention. This paper focuses on the transfer of knowledge between to units of a multinational corporation. The premise of this paper is that successful transfer of knowledge is dependent on the dimensions of the context the transfer process faces. It first gives an overview on main influence factors during the knowledge transfer process between two company units, and then investigates the question whether cultural differences in the sender units influence the knowledge transfer process. The paper finally presents a model of culture related factors influencing the knowledge transfer process between two company units located in geographically different places.
Dehydrogenase Locus in the

Sequence variation among 10 alleles of the alcohol dehydrogenase (Adh) gene of the Hawaiian drosophilid D. mimica was analyzed with reference to the evolutionary history of the Hawaiian subgroup as well as to levels and patterns of polymorphism of the Adh gene in continental drosophilid species. The Adh gene of D. mimica is less polymorphic than that of other drosophilid species, and no replacement substitutions were found. Statistical analyses of the Adh alleles suggested the action of balancing selection and revealed significant linkage disequilibrium among three of the variable sites. The effective population size was estimated to be only slightly smaller than that of continental species and, surprisingly, on the same order of magnitude as the actual size.
A probabilistic quantum key transfer protocol

We propose a protocol to transfer a one-time pad (in a probabilistic manner) from Alice to Bob, over a public channel. The proposed protocol is unique because Bob merely acts as a receiver of the pad (secret key); that is, Bob does not need to send any message back to Alice unless he detects eavesdropping. Such a secure transfer of one-time pad, over public channel, is not possible in classical cryptography, and in quantum cryptography, all previous protocols require Bob to send almost as many messages back to Alice as she does to Bob to establish a key. Copyright © 2013 John Wiley & Sons, Ltd.
Formal Specification Of Asynchronous Distributed Real-time Systems By APTL

We propose a language, Asynchronous Propositional Temporal Logic (APTL), for the specification and verification of asynchronous hard-real-time systems. APTL extends the logic TPTL [1] by explicitly introducing local clocks whose numerical readings cannot be arithmetically compared to determine temporal precedence. To interprete timing inequalities involving different local clocks, we introduce an asynchronous distributed system model which interpretes timing inequalities in terms of the temporal precedence of local clock readings. With this model, we give the formal semantic definition of APTL formulas. APTL is especially useful for specifying and reasoning about properties inherent in asynchronous environments such as the bounded drift rates of local clocks. Two versions of a railroad crossing example are used to illustrate the expressiveness of APTL.
Evaluating microstructural parameters of three-dimensional grains generated by phase-field simulation or other voxel-based techniques

The MacPherson–Srolovitz relation expresses the rate of volume change of a grain in a three-dimensional polycrystalline system in terms of microstructural parameters—the mean grain width and the triple line length—as well as isotropic values for the grain boundary mobility and energy. We introduce methods to accurately determine these microstructural measures for grain structures described by a voxel-based microstructure representation, such as those generated by phase-field simulations, Monte Carlo Potts models, or three-dimensional reconstructions of experimentally measured polycrystalline microstructures. We evaluate the mean rate of volume change of grains during a phase-field simulation of grain growth and discuss the results in terms of the MacPherson–Srolovitz relation.
A Reduced Basis Method with Exact-Solution Certificates for Symmetric Coercive Equations

We introduce a reduced basis method that computes rigorous upper and lower bounds of the energy associated with the infinite-dimensional weak solution of parametrized symmetric coercive partial differential equations with piecewise polynomial forcing and operators that admit decompositions that are affine in functions of parameters. The construction of the upper bound appeals to the standard primal variational argument; the construction of the lower bound appeals to the complementary variational principle. We identify algebraic conditions for the reduced basis approximation of the dual variable that results in an exact satisfaction of the dual feasibility conditions and hence a rigorous lower bound. The formulation permits an offline-online computational decomposition such that, in the online stage, the approximation and exact certificates can be evaluated in complexity independent of the underlying finite element discretization. We demonstrate the technique in two numerical examples: a one-dimensional reaction-diffusion problem with a parametrized diffusivity constant; a planar linear elasticity problem with a geometry deformation. We confirm in both cases that the method produces guaranteed upper and lower bounds of the energy at any parameter value for any finite element discretization and reduced basis approximation.
Active Measurement of Memory Resource Consumption

Hierarchical memory is a cornerstone of modern hardware design because it provides high memory performance and capacity at a low cost. However, the use of multiple levels of memory and complex cache management policies makes it very difficult to optimize the performance of applications running on hierarchical memories. As the number of compute cores per chip continues to rise faster than the total amount of available memory, applications will become increasingly starved for memory storage capacity and bandwidth, making the problem of performance optimization even more critical. We propose a new methodology for measuring and modeling the performance of hierarchical memories in terms of the application's utilization of the key memory resources: capacity of a given memory level and bandwidth between two levels. This is done by actively interfering with the application's use of these resources. The application's sensitivity to reduced resource availability is measured by observing the effect of interference on application performance. The resulting resource-oriented model of performance both greatly simplifies application performance analysis and makes it possible to predict an application's performance when running with various resource constraints. This is useful to predict performance for future memory-constrained architectures.
Sulphide Capacities of CaO–Al2O3–SiO2–MgO–MnO Slags in the Temperature Range 1673–1773K

With a view to estimate the sulphide capacities of slags used in hot metal pretreatment processes, the sulphide capacities of CaO-Al2O3-SiO2-MgO, CaO-Al2O3-SiO2-MnO and CaO-Al2O3-SiO2-MgO-MnO slags .
Task and Server Assignment for Reduction of Energy Consumption in Datacenters

Energy consumption of cloud data centers accounts for a major operational cost. This paper presents an optimization model for task scheduling to minimize task processing time and energy consumption in data centers for cloud computing. We formulate an integer programming optimization problem to minimize the expected energy consumption of homogenous tasks in a data center with a large number of servers and propose the most-efficient-server first greedy task scheduling algorithm to minimize energy expenditure. We show that the proposed task scheduling can minimize the energy expenditure while bounding the average task waiting time. We present a simulation of the proposed task scheduling scheme to show an optimum number of servers to achieve small task processing times and to minimize energy consumption.
Differential Bone Loss in Mouse Models of Colon Cancer Cachexia

Cachexia is a distinctive feature of colorectal cancer associated with body weight loss and progressive muscle wasting. Several mechanisms responsible for muscle and fat wasting have been identified, however it is not known whether the physiologic and molecular crosstalk between muscle and bone tissue may also contribute to the cachectic phenotype in cancer patients. The purpose of this study was to clarify whether tumor growth associates with bone loss using several experimental models of colorectal cancer cachexia, namely C26, HT-29, and ApcMin/+. The effects of cachexia on bone structure and strength were evaluated with dual energy X-ray absorptiometry (DXA), micro computed tomography (μCT), and three-point bending test. We found that all models showed tumor growth consistent with severe cachexia. While muscle wasting in C26 hosts was accompanied by moderate bone depletion, no loss of bone strength was observed. However, HT-29 tumor bearing mice showed bone abnormalities including significant reductions in whole-body bone mineral density (BMD), bone mineral content (BMC), femoral trabecular bone volume fraction (BV/TV), trabecular number (Tb.N), and trabecular thickness (Tb.Th), but no declines in strength. Similarly, cachexia in the ApcMin/+ mice was associated with significant decreases in BMD, BMC, BV/TV, Tb.N, and Tb.Th as well as decreased strength. Our data suggest that colorectal cancer is associated with muscle wasting and may be accompanied by bone loss dependent upon tumor type, burden, stage and duration of the disease. It is clear that preserving muscle mass promotes survival in cancer cachexia. Future studies will determine whether strategies aimed at preventing bone loss can also improve outcomes and survival in colorectal cancer cachexia.
Transmission Power Optimization and Analysis for SMF considering Optical Pulse Broadening for 193.548 THz

The transmission of information through optical fiber is affected by various types of dispersions which reduce the efficiency and hence data carrying capacity of a fiber . But the most important kind of dispersion which affects a lot on the performance of the fiber is Polarization Mode Dispersion, PMD. PMD can cause the optical receiver to be unable to interpret the signal correctly, and results in high bit error rates. This paper demonstrates the broadening of pulse caused by polarization mode dispersion (PMD).