LLukas22/scidocs huggingface dataset:
Drain: An Online Log Parsing Approach with Fixed Depth Tree

Logs, which record valuable system runtime information, have been widely employed in Web service management by service providers and users. A typical log analysis based Web service management procedure is to first parse raw log messages because of their unstructured format, and then apply data mining models to extract critical system behavior information, which can assist Web service management. Most of the existing log parsing methods focus on offline, batch processing of logs. However, as the volume of logs increases rapidly, model training of offline log parsing methods, which employs all existing logs after log collection, becomes time consuming. To address this problem, we propose an online log parsing method, namely Drain, that can parse logs in a streaming and timely manner. To accelerate the parsing process, Drain uses a fixed depth parse tree, which encodes specially designed rules for parsing. We evaluate Drain on five real-world log data sets with more than 10 million raw log messages. The experimental results show that Drain has the highest accuracy on four data sets, and comparable accuracy on the remaining one. Besides, Drain obtains 51.85%~81.47% improvement in running time compared with the state-of-the-art online parser. We also conduct a case study on an anomaly detection task using Drain in the parsing step, which determines the effectiveness of Drain in log analysis.
Formalization of Workflows and Correctness Issues in the Presence of Concurrency

In this paper, main components of a workflow system that are relevant to the correctness in the presence of concurrency are formalized based on set theory and graph theory. The formalization which constitutes the theoretical basis of the correctness criterion provided can be summarized as follows: -Activities of a workflow are represented through a notation based on set theory to make it possible to formalize the conceptual grouping of activities. -Control-flow is represented as a special graph based on this set definition, and it includes serial composition, parallel composition, conditional branching, and nesting of individual activities and conceptual activities themselves. -Data-flow is represented as a directed acyclic graph in conformance with the control-flow graph. The formalization of correctness of concurrently executing workflow instances is based on this framework by defining two categories of constraints on the workflow environment with which the workflow instances and their activities interact. These categories are: -Basic constraints that specify the correct states of a workflow environment. -Inter-activity constraints that define the semantic dependencies among activities such as an activity requiring the validity of a constraint that is set or verified by a preceding activity. Basic constraints graph and inter-activity constraints graph which are in conformance with the control-flow and data-flow graphs are then defined to represent these constraints. These graphs are used in formalizing the intervals among activities where an inter-activity constraint should be maintained and the intervals where a basic constraint remains invalid. A correctness criterion is defined for an interleaved execution of workflow instances using the constraints graphs. A concurrency control mechanism, namely Constraint Based Concurrency Control technique is developed based on the correctness criterion. The performance analysis shows the superiority of the proposed technique. Other possible approaches to the problem are also presented.
Polymer-Sorted
Semiconducting Carbon Nanotube Networks for High-Performance Ambipolar
Field-Effect Transistors

Efficient selection of semiconducting single-walled carbon nanotubes (SWNTs) from as-grown nanotube samples is crucial for their application as printable and flexible semiconductors in field-effect transistors (FETs). In this study, we use atactic poly(9-dodecyl-9-methyl-fluorene) (a-PF-1-12), a polyfluorene derivative with asymmetric side-chains, for the selective dispersion of semiconducting SWNTs with large diameters (>1 nm) from plasma torch-grown SWNTs. Lowering the molecular weight of the dispersing polymer leads to a significant improvement of selectivity. Combining dense semiconducting SWNT networks deposited from an enriched SWNT dispersion with a polymer/metal-oxide hybrid dielectric enables transistors with balanced ambipolar, contact resistance-corrected mobilities of up to 50 cm(2)·V(-1)·s(-1), low ohmic contact resistance, steep subthreshold swings (0.12-0.14 V/dec) and high on/off ratios (10(6)) even for short channel lengths (<10 μm). These FETs operate at low voltages (<3 V) and show almost no current hysteresis. The resulting ambipolar complementary-like inverters exhibit gains up to 61.
Angiokeratoma of the vulva Angioceratoma da vulva

Angiokeratomas are benign tumors characterized by ectasia of blood vessels in the papillary dermis associated with acanthosis and hyperkeratosis of the epidermis. Dermatological examination of angiokeratomas of Fordyce is characterized by papular keratotic lesions of erythematous-violet color. They are more common in the scrotum, and vulvar involvement is rarely reported. Histopathology is particularly important to distinguish them from other benign and malignant tumors. The article reports the case of a middle-aged black woman with a history of chronic constipation, varicose veins of the lower limbs and cesarean section performed 20 years ago who had had multiple vulvar angiokeratomas for three months.
Gentamicin-induced correction of CFTR function in patients with cystic fibrosis and CFTR stop mutations.

BACKGROUND
Mutations in the cystic fibrosis transmembrane conductance regulator (CFTR) gene containing a premature termination signal cause a deficiency or absence of functional chloride-channel activity. Aminoglycoside antibiotics can suppress premature termination codons, thus permitting translation to continue to the normal end of the transcript. We assessed whether topical administration of gentamicin to the nasal epithelium of patients with cystic fibrosis could result in the expression of functional CFTR channels.


METHODS
In a double-blind, placebo-controlled, crossover trial, patients with stop mutations in CFTR or patients homozygous for the DeltaF508 mutation received two drops containing gentamicin (0.3 percent, or 3 mg per milliliter) or placebo in each nostril three times daily for two consecutive periods of 14 days. Nasal potential difference was measured at base line and after each treatment period. Nasal epithelial cells were obtained before and after gentamicin treatment from patients carrying stop mutations, and the C-terminal of surface CFTR was stained.


RESULTS
Gentamicin treatment caused a significant reduction in basal potential difference in the 19 patients carrying stop mutations (from -45+/-8 to -34+/-11 mV, P=0.005) and a significant response to chloride-free isoproterenol solution (from 0+/-3.6 to -5+/-2.7 mV, P<0.001). This effect of gentamicin on nasal potential difference occurred both in patients who were homozygous for stop mutations and in those who were heterozygous, but not in patients who were homozygous for DeltaF508. After gentamicin treatment, a significant increase in peripheral and surface staining for CFTR was observed in the nasal epithelial cells of patients carrying stop mutations.


CONCLUSIONS
In patients with cystic fibrosis who have premature stop codons, gentamicin can cause translational "read through," resulting in the expression of full-length CFTR protein at the apical cell membrane, and thus can correct the typical electrophysiological abnormalities caused by CFTR dysfunction.
A multicenter pilot study of a bronchial valve for the treatment of severe emphysema.

BACKGROUND
Chronic obstructive pulmonary disease (COPD) affects millions of people and has limited treatment options. Surgical treatments for severe COPD with emphysema are effective for highly selected patients. A minimally invasive method for treating emphysema could decrease morbidity and increase acceptance by patients.


OBJECTIVE
To study the safety and effectiveness of the IBV(R) Valve for the treatment of severe emphysema.


METHODS
A multicenter study treated 91 patients with severe obstruction, hyperinflation and upper lobe (UL)-predominant emphysema with 609 bronchial valves placed bilaterally into ULs.


RESULTS
Valves were placed in desired airways with 99.7% technical success and no migration or erosion. There were no procedure-related deaths and 30-day morbidity and mortality were 5.5 and 1.1%, respectively. Pneumothorax was the most frequent serious device-related complication and primarily occurred when all segments of a lobe, especially the left UL, were occluded. Highly significant health-related quality of life (HRQL) improvement (-8.2 +/- 16.2, mean +/- SD change at 6 months) was observed. HRQL improvement was associated with a decreased volume (mean -294 +/- 427 ml, p = 0.007) in the treated lobes without visible atelectasis. FEV(1), exercise tests, and total lung volume were not changed but there was a proportional shift, a redirection of inspired volume to the untreated lobes. Combined with perfusion scan changes, this suggests that there is improved ventilation and perfusion matching in non-UL lung parenchyma.


CONCLUSION
Bronchial valve treatment of emphysema has multiple mechanisms of action and acceptable safety, and significantly improves quality of life for the majority of patients.
Alleviating extreme poverty in Chile: the short term effects of Chile Solidario

This paper evaluates the effect of an anti-poverty program, Chile Solidario, during its first two years of operation. We find that the program tends to increases significantly their take-up of cash assistance programs and of social programs for housing and employment, and to improve education and health outcomes for participating households. There is no evidence that the participation to employment program translates into improved employment or income outcomes in the short term. Finally, we provide suggestive evidence of the key role that the psycho-social support had in enabling this change, by increasing awareness of social services in the community as well as households’ orientation towards the future.
Integrating problem-based learning with ICT for developing trainee teachers' content knowledge and teaching skill

Professional teachers can guarantee the progress and the promotion of society because fostering the development of next generation is up to them and depends on their professional knowledge which has two kinds of sources; content knowledge and teaching skill. The aim of the present research was studying the effect of integrating problem-based learning with Information and Communications Technology (ICT) on developing content knowledge and teaching skill of trainee teachers. The research design was a quasi-experimental one, and the participants were elementary education trainee teachers of Shahid Bahonar teacher training center of Hamadan, Iran. Two groups were given tests of theory and practice on teaching mathematical concepts at elementary school, and then a multivariate analysis of variance (MANOVA) was conducted to compare the pretest-posttest scores. There was a significant difference, in both multivariate and univariate analyses, in scores. The findings suggest that trainee teachers who integrate problembased learning with ICT in solving a problem may develop more professional content knowledge and teaching skill than those who merely employ ICT.
Turbulence and holography

We examine the interplay between recent advances in quantum gravity and the problem of turbulence. In particular, we argue that in the gravitational context the phenomenon of turbulence is intimately related to the properties of spacetime foam. In this framework we discuss the relation of turbulence and holography and the interpretation of the Kolmogorov scaling in the quantum gravitational setting.
Automated extraction of fire line parameters from multispectral infrared images

Remotely sensed infrared images are often used to assess wildland fire conditions. Separately, fire propagation models are in use to forecast future conditions. In the Dynamic Data Driven Application System (DDDAS) concept, the fire propagation model will react to the image data, which should produce more accurate predictions of fire propagation. In this study we describe a series of image processing tools that can be used to extract fire propagation parameters from multispectral infrared images so that the parameters can be used to drive a fire propagation model built upon the DDDAS concept. The method is capable of automatically determining the fire perimeter, active fire line, and fire propagation direction. A multi-band image gradient calculation, the Normalized Difference Vegetation Index, and the Normalized Difference Burn Ratio along with several standard image processing techniques are used to identify and constrain the fire propagation parameters. These fire propagation parameters can potentially be used within the DDDAS modeling framework for model update and adjustment.
Energy-aware System Design for Wireless Sensor Network

Wireless sensor networks have already enabled numerous embedded wireless applications such as military, environmental monitoring, intelligent building, etc. Because micro-sensor nodes are supposed to operate for months or even years with very limited battery power source, it is a challenge for researchers to obtain long operating hour without scarifying original system performances. In this paper, the energy consumption sources of the wireless sensor networks are firstly analyzed, with the digital processing and radio transceiver units being emphasized. Then, we introduce the design scheme of our energy-aware wireless sensor network (GAINS). In GAINS, techniques to conserve the energy are exploited including the energy optimization node, software and energy-efficient communication protocol. The design architecture of our ultra low power wireless sensor network (WO-LPP) is specially presented.
Next-generation PONs: A performance investigation of candidate architectures for next-generation access stage 1

Driven by bandwidth-demanding video applications, next-generation access stage 1, proposed by FSAN as the first stage of next-generation passive optical networks, increases the subscriber bandwidth by upgrading the current GPON network. To reduce the upgrading cost, NGA1 conforms to the standardized GPON and the deployed optical distribution network. This article presents the investigation of five candidate NGA1 architectures from the perspective of the MAC-layer bandwidth allocation including the analysis of the traffic characteristics of the subscribers' applications and the criteria in mapping them into proper transmission containers. Extensive simulations were conducted to investigate and compare the performances of the five candidate NGA1 architectures.
Reconciling Apparent Conflicts between Mitochondrial and Nuclear Phylogenies in African Elephants

Conservation strategies for African elephants would be advanced by resolution of conflicting claims that they comprise one, two, three or four taxonomic groups, and by development of genetic markers that establish more incisively the provenance of confiscated ivory. We addressed these related issues by genotyping 555 elephants from across Africa with microsatellite markers, developing a method to identify those loci most effective at geographic assignment of elephants (or their ivory), and conducting novel analyses of continent-wide datasets of mitochondrial DNA. Results showed that nuclear genetic diversity was partitioned into two clusters, corresponding to African forest elephants (99.5% Cluster-1) and African savanna elephants (99.4% Cluster-2). Hybrid individuals were rare. In a comparison of basal forest "F" and savanna "S" mtDNA clade distributions to nuclear DNA partitions, forest elephant nuclear genotypes occurred only in populations in which S clade mtDNA was absent, suggesting that nuclear partitioning corresponds to the presence or absence of S clade mtDNA. We reanalyzed African elephant mtDNA sequences from 81 locales spanning the continent and discovered that S clade mtDNA was completely absent among elephants at all 30 sampled tropical forest locales. The distribution of savanna nuclear DNA and S clade mtDNA corresponded closely to range boundaries traditionally ascribed to the savanna elephant species based on habitat and morphology. Further, a reanalysis of nuclear genetic assignment results suggested that West African elephants do not comprise a distinct third species. Finally, we show that some DNA markers will be more useful than others for determining the geographic origins of illegal ivory. These findings resolve the apparent incongruence between mtDNA and nuclear genetic patterns that has confounded the taxonomy of African elephants, affirm the limitations of using mtDNA patterns to infer elephant systematics or population structure, and strongly support the existence of two elephant species in Africa.
A Lesson on Authentication Protocol Design

The purpose of this note is to describe a useful lesson we learned on authentication protocol design. In a recent article [9], we presented a simple authentication protocol to illustrate the concept of a trusted server. The protocol has a flaw, which was brought to our attention by Mart~n Abadi of DEC. In what follows, we first describe the protocol and its flaw, and how the flaw-was introduced in the process of deriving the protocol from its correct full information version. We then introduce a principle, called the Principle of Full Information, and explain how its use could have prevented the protocol flaw. We believe the Principle of Full Information is a useful authentication protocol design principle, and advocate its use. Lastly, we present several heuristics for simplifying full information protocols and illustrate their application to a mutual authentication protocol.
Plate Recognition using Python and OpenCV

Automatic License Plate Recognition system is a real time embedded system which automatically recognizes the license plate of vehicles. There are many applications ranging from complex security systems to common areas and from parking admission to urban traffic control. Automatic license plate recognition (ALPR) has complex characteristics due to diverse effects such as of light and speed. Most of the ALPR systems are built using proprietary tools like Matlab. This paper presents an alternative method of implementing ALPR systems using Free Software including Python and the Open Computer Vision Library. Keywords—License plate, Computer Vision, Pattern Recognition, Python, OCR.
A review of technology developments in flywheel attitude control and energy transmission systems

In the past decade there has been an upswing in the interest of flywheel energy storage systems for space applications. This interest has been driven by limitations of chemical batteries for Air Force mission concepts, advances in microprocessors and composite materials, and the promise of using flywheel systems for energy storage and as attitude control actuators. The primary issues are power efficiency, mass and size, and long-term stability. Flywheels as one-to-one replacements for spacecraft batteries are competitive for only a few special missions. When flywheels replace components in two major bus subsystems, the potential weight and volume benefits are attractive. The objective of this paper is to describe the progression of flywheel technology state-of-the-art for integrated power and attitude control (IPAC) systems in space applications, and describe current AFRL efforts. The main technology areas that are addressed in this paper are flywheel designs, bearings containment and safety, and combined power distribution and attitude control.
Objectivity, relativism, and truth

Acknowledgments Introduction: antirepresentationalism, ethnocentrism, and liberalism Part I. Solidarity or Objectivity?: 1. Science as solidarity 2. Is natural science a natural kind? 3. Pragmatism without method 4. Texts and lumps 5. Inquiry as recontextualization: an anti-dualist account of interpretation Part II. Non-Reductive Physicalism: 5. Pragmatism, Davidson and truth 6. Representation, social practice, and truth 7. Unfamiliar noises: Hesse and Davidson on metaphor PART III. The Priority of Democracy to Philosophy: 8. Postmodernist bourgeois liberalism 9. On ethnocentrism: a reply to Clifford Geertz 10. Cosmopolitanism without emancipation: a response to Jean-Francois Lyotard Index of names.
Effect of zinc supplementation on cell-mediated immunity and lymphocyte subsets in preschool children.

OBJECTIVE
In a zinc supplementation trial (with a significant impact on diarrheal morbidity), to evaluate effect of zinc supplementation on cellular immune status before and after 120 days of supplementation.


DESIGN
A double blind, randomized controlled trial with immune assessment at baseline and after 120 days on supplement.


SETTING
Community based study in an urban slum population.


SUBJECTS
Randomly selected children (zinc 38, control 48), had a Multitest CMI skin test at both times. In 66 children (zinc 22, control 34), proportions of CD3, CD4, CD8, CD16, CD20 cells and the CD/CD8 ratio were also estimated using a whole blood lysis method and flowcytometry.


INTERVENTION
Zinc gluconate to provide elemental zinc 10 mg daily and 20 mg during diarrhea.


MAIN OUTCOME RESULTS
Regarding CMI, the percentage of anergic or hypoergic children (using induration score) decreased from 67% to 47% in the zinc group, while in the control group it remained unchanged (73% vs 71%) (p = 0.05). The percentage of children deteriorating between first and second tests was significantly lower in the zinc group (13% vs 33%, p = 0.03). Regarding lymphocyte subsets, the zinc group had a significantly higher rise in the geometric means of CD3 (25%, p = 0.02), CD4 (64% p = 0.001), and CD4/CD8 ratio (73% p = 0.004) with no difference in CD8 and CD20. The rise in CD4 was significantly higher in the zinc as compared to the control group; the ratio of geometric means was 1.45 (95% CI, 1.03-2.01).


CONCLUSION
Zinc supplementation improves cellular immune status, which may have been one of the mechanisms for observed impact of zinc supplementation on diarrheal morbidity.
Genetic algorithms to optimise the time to make stock market investment

The application of Artificial Intelligence described in this article is intended to resolve the issue of speculation on the stock market. Genetic Algorithms is the technique that is used, with the article focusing on the different ways that chromosomes can be designed and on how the pertinent evaluation mechanism is established. The problem will be based on the speculation systems that are typical of Technical Analysis.