gebhart/patrepeval huggingface dataset:
Chiral anomaly and ultrahigh mobility in crystalline<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>HfT</mml:mi><mml:msub><mml:mi mathvariant="normal">e</mml:mi><mml:mn>5</mml:mn></mml:msub></mml:mrow></mml:math> (2016)

$\mathrm{HfT}{\mathrm{e}}_{5}$ is predicted to be a promising platform for studying topological phases. Here through an electrical transport study, we present an observation of chiral anomaly and ultrahigh mobility in $\mathrm{HfT}{\mathrm{e}}_{5}$ crystals. Negative magnetoresistivity in $\mathrm{HfT}{\mathrm{e}}_{5}$ is observed when the external magnetic and electrical fields are parallel (B//E) and quickly disappears once B deviates from the direction of E. Quantitative fitting further confirms the chiral anomaly as the underlying physics. Moreover, by analyzing the conductivity tensors of longitudinal and Hall traces, ultrahigh mobility and ultralow carrier density are revealed in $\mathrm{HfT}{\mathrm{e}}_{5}$, which paves the way for potential electronic applications.
Temporal Coherence in Image-Based Visual Hull Rendering (2013)

Image-based visual hull rendering is a method for generating depth maps of a desired viewpoint from a set of silhouette images captured by calibrated cameras. It does not compute a view-independent data representation, such as a voxel grid or a mesh, which makes it particularly efficient for dynamic scenes. When users are captured, the scene is usually dynamic, but does not change rapidly because people move smoothly within a subsecond time frame. Exploiting this temporal coherence to avoid redundant calculations is challenging because of the lack of an explicit data representation. This paper analyzes the image-based visual hull algorithm to find intermediate information that stays valid over time and is, therefore, worth to make explicit. We then derive methods that exploit this information to improve the rendering performance. Our methods reduce the execution time by up to 25 percent. When the user's motions are very slow, reductions of up to 50 percent are achieved.
Technology assessment of hydrogen firing of process heaters (2011)

In conjunction with John Zink Co., LLC, the Chevron Energy Technology Company conducted a three part study evaluating potential issues with switching refinery process heaters from fuel gas to hydrogen fuel for the purpose of greenhouse gas emissions reduction via CO2 capture and storage. The focus was on the following areas: • Heater performance • Burner performance and robustness • Fuel gas system retrofit requirements This paper will summarize the findings of the study.
Involvement of Root-Colonizing Bacteria in Peach Orchard Soils Suppressive of the Nematode<i>Criconemella xenoplax</i> (1993)

A field site suppressive to peach tree short life and the ring nematode Criconemella xenoplax was identified. Steam treatment of these soils eliminated suppressiveness, whereas small amounts of nonsteamed sup pressive soil added to steamed soil inhibited C. xenoplax multiplication. Chemical and physical analysis of the soil detected no significant differences between suppressive and nonsuppressive soils, supporting the hypothesis that a biological agent(s) is important in C. xenoptax suppression. Among 290 randomly selected field strains of fluorescent pseudomonads from the rhizosphere of peach trees growing in suppressive soil, approximately 2.4% suppressed nematode population increases, 5.2% increased multiplication rates, and 92.4% had no effect in greenhouse bioassays [...]
Bioremediation of Swine Wastewater and Biofuel Potential by using Chlorella vulgaris, Chlamydomonas reinhardtii, and Chlamydomonas debaryana (2014)

Four commercial microalgae strains of Chlorella vulgaris, Chlamydomonas reinhardtii, Scenedesmus dimorphus and Neochloris oleoabundans, and a local strain of Chlamydomonas debaryana were studied in this research. It's found that S. dimorphus and N. oleoabundans were unable to grow on the swine wastewater. The optimal culture conditions for C. vulgaris and C. reinhardtii were found to be (600 mol m -2 s -1 and 25C) and (300 mol m -2 s -1 and 20C), respectively. The growth kinetics was determined using Optical Density (OD) method and flow cytometry. Under the optimal culture conditions, the highest specific growth rates were found to be 1.336 day -1 and 1.286 day -1 for C. vulgaris and C. reinhardtii, respectively. The removal efficiency of nutrients from the wastewater is a function of microalgae growth. When comparing a local C. debaryana strain with these two commercial strains, the final biomass yields and lipid contents were 1.25 g/L and 15.2% (of the total cell dry weight), 0.86 g/L and 19.7%, and 0.73 g/L and 21.7% for C. vulgaris, C. debaryana and C. reinhardtii, respectively. In addition, the lipids from these microalgal strains contain a variety of fatty acids, which are suitable for the biofuel production.
教師教育経営論 (1) : 教育組織の改革に対応する教師教育の在り方 (2004)

The purpose of this paper is to discuss the ideal teacher education for meeting the reform of school organization. It seems that the main role of school principal has been changing from the administrative leadership to the instructional leadership. However, the work-load of school principal has been increasing for the new additional roles. This condition needs the division of the total labor in school. The following policies are needed to solve these problems : 1) Teacher education should breed and equip the middle leader with successful instructional leadership. 2) It is needed to introduce the teacher evaluation system or merit rating system. The salary and personnel administrative system must change to meet the right or wrong of an individual teacher's instructional ability. It is the purpose for introduction of a merit rating system to raise a teacher's ability, to raise educational "quality", and to raise student's academic ability. 3) Independent and autonomous teacher training is important for improveing student's academic ability. This is one of independent and autonomous Management By Objective. 4) Teacher selection and adoption in personnel administration should be the objects of administration evaluation. 5) Principal should contact teachers and students every day, and his/her participating in creation of knowledge should become the nucleus-work. It is the principal's important jobs to make teacher into the creative staff, and to enhance their instructional leadership.
Solutions Strategies for Die Shift Problem in Wafer Level Compression Molding (2011)

Die shift problem that arises during the wafer molding process in embedded micro wafer level package fabrication was systematically analyzed and solution strategies were developed. A methodology to measure die shift was developed and applied to create maps of die shift on an 8 inch wafer. A total of 256 dies were embedded in an 8 inch mold compound wafer using compression molding. Thermal and cure shrinkages of mold compound are determined to be the primary reasons for die shift in wafer molding. Die shift value increases as the distance from the center of the wafer increases. Pre-compensation of die shift during pick and place is demonstrated as an effective method to control die shift. Applying pre-compensation method 99% of dies can be achieved to have die shift values of less than 40 μm. Usage of carrier wafer during wafer molding reduces the maximum die shift in a wafer from 633 μm to 79 μm. Die area/package area ratio has a strong influence on the die shift values. Die area/package area ratios of 0.81, 0.49, and 0.25 lead to maximum die shift values of 26, 76, and 97 μ.m, respectively. Wafer molding using low coefficient of thermal expansion (7 × 10 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">-6</sup> /°C) and low cure shrinkage (0.094%) mold compounds is demonstrated to yield maximum die shift value of 28 μm over the whole 8 inch wafer area.
Synthetic Studies on Indoles and Related Compounds. XXVI. The Debenzylation of Protected Indole Nitrogen with Aluminum Chloride. (2). (1991)

A new debenzylation method using aluminum chloride in benzene or anisole, which had been developed by us for N-benzyl-2-acyl- and -2-ethoxycarbonylindoles, was applied to benzyl derivatives of other types of indoles and related compounds. Among them, N-benzyl derivatives of fully aromatized indoles, carbazoles and β-carbolines, and some benzamides were debenzylated successfully, whereas those of oxindoles and heterocyclic amides were not. As to the effect of a p-substituent on the benzyl group, it was found that an electron-donating substituent accelerates deprotection, whereas an electron-attracting substituent delays or prevents deprotection.
A critical review of sanitary provisions in medium to large shopping malls (2012)

﻿This research explores the current situation of the Sanitary Provision in medium to large shopping malls. It outlines the develop process on the Sanitary Provision Ratio in Hong Kong, the History, Development and the Current Situation. This research also studies how the relationships between sanitary provisions and the operation / performance of shopping malls. The research involves a review of relationship between the revenue or the customer satisfying rate and the sanitary provision.\n\nThe researcher tries to make suggestions for sanitary provision in future shopping mall and compare the benefit with the falter reasons. The benefit is quantified to the revenue & customer service in particular shopping mall while comparing to the expense on offering a better sanitary provision facility. After the comparison, suggestions would be drawn on the form of sanitary provision in the future shopping mall in order to achieve a balance between Cost (extra installation on the sanitary provision) and Benefit (Good impression from the customer and Shopping Mall Revenue).
Bleomycin-induced Pulmonary Fibrosis in Rats: Biochemical Demonstration of Increased Rate of Collagen Synthesis <sup>1,</sup> <sup>2</sup> (1980)

The net rate of collagen synthesis in short-term lung explant cultures from rats was examined during a period of 4 wk after administration of a single intratracheal dose of bleomycin. After a delay of 3 to 4 days, the net rate of collagen synthesis was significantly increased over that in untreated control animals. This increase was sustained during approximately 10 days and subsequently returned to normal or below normal values. The increased rate of collagen synthesis could not be explained by increased free radioactive proline pools or by age differences among the animals. The period of increased rate of collagen synthesis preceded the detectable increases in lung collagen content, as we have reported previously.
First Report of Clavinema mariae (Nematoda: Philometridae) in Cultured Rockfish, Sebastes schlegeli, in Cheonsuman (Bay), the Republic of Korea (2017)

In July 2012, philometrid nematodes were discovered in cultured rockfish (<i>Sebastes schlegeli</i>) in Cheonsuman (Bay), the Republic of Korea. The nematodes were detected in the epithelial tissues of the rockfish and were identified as <i>Clavinema mariae</i> based on morphological studies using light and scanning electron microscopy. They revealed the characteristics same as previously identified <i>C. mariae</i>, notably having a long body with narrow posterior half, no caudal projection, a cylindrical-shaped esophagus, a well-developed anterior bulbous part of the esophagus, cephalic papillae, and a dorsal esophageal gland. This is the first confirmation of <i>C. mariae</i> infection in rockfish in Korea.
Expressive Policy-Based Access Control for Resource-Constrained Devices (2017)

Upcoming smart scenarios enabled by the Internet of Things envision smart objects that expose services that can adapt to user behavior or be managed with the goal of achieving higher productivity, often in multi-stakeholder applications. In such environments, smart things are cheap sensors (and actuators) and, therefore, constrained devices. However, they are also critical components because of the importance of the provided information. Therefore, strong security is a must. Nevertheless, existing feasible approaches do not cope well with the principle of least privilege; they lack both expressiveness and the ability to update the policy to be enforced in the sensors. In this paper, we propose an access control model that comprises a policy language that provides dynamic fine-grained policy enforcement in the sensors based on local context conditions. This dynamic policy cycle requires a secure, efficient, and traceable message exchange protocol. For that purpose, a security protocol called Hidra is also proposed. A security and performance evaluation demonstrates the feasibility and adequacy of the proposed protocol and access control model.
Presence of SARS-Coronavirus-2 in sewage (2020)

Abstract In the current COVID-19 pandemic, a significant proportion of cases shed SARS-Coronavirus-2 (SARS-CoV-2) with their faeces. To determine if SARS-CoV-2 is present in sewage during the emergence of COVID-19 in the Netherlands, sewage samples of 7 cities and the airport were tested using RT-PCR against three fragments of the nucleocapsid protein gene (N1-3) and one fragment of the envelope protein gene (E). No SARS-CoV-2 was detected in samples of February 6, three weeks before the first case was reported in the Netherlands on February 27. On March 5, the N1 fragment was detected in sewage of five sites. On March 15/16, the N1 fragment was detected in sewage of six sites, and the N3 and E fragment were detected at 5 and 4 sites respectively. This is the first report of detection of SARS-CoV-2 in sewage. The detection of the virus in sewage, even when the COVID-19 prevalence is low, indicates that sewage surveillance could be a sensitive tool to monitor the circulation of the virus in the population.
Disruption of the blood-brain barrier in parkinson's disease: curse or route to a cure? (2014)

The vertebrate blood-brain barrier (BBB) is critical for ensuring the maintenance of brain homeostasis, whilst protecting the brain against toxic insults. Various pathological events disrupt BBB integrity, holding several important clinical implications. In instances where the normal mechanisms controlling passage of substances into the brain are compromised, these could sensitize or even worsen endogenous pathological conditions. Recognition has grown recently that patients diagnosed with Parkinson's disease (PD) present with concurrent medical problems, including cerebrovascular lesions. However, cerebrovascular disturbances may also result from PD-related disease processes; the pathological mechanisms which could entail interaction between environment-derived and genetic factors. The current review addresses the accumulation of studies aimed at better understanding the series of processes affecting the neurovascular unit in human Parkinsonism, due in part to the BBB presenting as a formidable opponent in the effective delivery of therapeutics that have shown promise as therapeutic strategies for treating aspects of PD when tested in vitro.
Quality Assurance of GFRP Pipes for Seawater Cooling of Power Plants (1999)

Many electrical power plants are located along coastlines and use seawater for cooling purposes. The traditional material for the pipes was, until not so long ago, steel that posed severe maintenance problems due to corrosion and accumulation of sediment on its surface. In the last three decades glass fiber reinforced polyester (GFRP)-pipes of various compositions replaced some steel pipes, mainly for being corrosion free and easy to maintain. This advantage of the GFRP pipes is offset by their low stiffness, complicated design and testing procedure before and during production, and higher cost. A joint project with the Agricultural Engineering Department to design and test large-diameter GFRP pipes began at the Composite Mechanics Laboratory, Technion–Israel Institute of Technology, in 1978. The present paper addresses some of the problems and the experience accumulated over the years. Based on the long-term service experience, it is suggested that four tests are sufficient for the full assessment and certification of the respective main composite pipe characteristics, namely, hoop stiffness, hoop strength, longitudinal strength, and interlaminar shear strength. The first three are required for the proper performance of the pipe and its resistance to fracture and buckling. The last (interlaminar) property is an important indicator of interlaminar integrity of the pipe, to ensure proper fabrication procedure.
The Contribution of Hydrolyzed Flavor Precursors to Quality Differences in Shiraz Juice and Wines: An Investigation by Sensory Descriptive Analysis (1991)

Volatile components liberated by hydrolysis of C-18 reversed phase isolates from <i>Vitis vinifera</i> cv. Shiraz juice were evaluated by sensory descriptive analysis. The isolates were hydrolyzed at pH 3.2 or by treatment with a non-selective glycosidase enzyme. Shiraz juices assigned as high and low 9quality9, each sourced from two regions and sampled in 1988 and 1989, were studied. Wines made from the 1989 juices were also subjected to descriptive analysis. The results showed that for one pair of wines and all but one pair of hydrolysates, the quality differences could be distinguished and quantified. The glycosidic hydrolysates prepared by both methods were found to contribute non-berry attributes to wine such as 9stalky9, 9earthy9, and 9cigar/tobacco9. Wines considered to be of high quality were rated higher in these non-berry attributes than their low quality counterparts, and it may be deduced that glycosidic hydrolysates contain aroma compounds that are important to high quality Shiraz wine.
Predicting battery life from usage trajectory patterns (2016)

This paper addresses the task of predicting the bat-tery capacity degradation ratio for a given usage pat-tern. This is an interesting pattern recognition task, where each usage pattern is represented as a trajectory in a feature space, and the prediction model captures the previous usage trajectory patterns. The main tech-nical challenge here is how to build a good model from a limited number of training samples. To tackle this, we introduce a new smoothing technique in the trajectory space. The trajectory smoothing technique is shown to be equivalent of a novel regularization scheme for lin-ear regression. Using real Li-ion battery data, we show that our approach outperforms existing methods. 1.
Improvement and scale-up of the NASA Redox storage system (2022)

A preprototype 1.0 kW redox system (2 kW peak) with 11 kWh storage capacity was built and integrated with the NASA/DOE photovoltaic test facility at NASA Lewis. This full function redox system includes four substacks of 39 cells each (1/3 cu ft active area) which are connected hydraulically in parallel and electrically in series. An open circuit voltage cell and a set of rebalance cells are used to continuously monitor the system state of charge and automatically maintain the anode and cathode reactants electrochemically in balance. Recent membrane and electrode advances are summarized and the results of multicell stack tests of 1 cu ft are described.
High-Resolution Melting-Curve Analysis of Ligation-Mediated Real-Time PCR for Rapid Evaluation of an Epidemiological Outbreak of Extended-Spectrum-Beta-Lactamase-Producing Escherichia coli (2011)

Methods for the confirmation of nosocomial outbreaks of bacterial pathogens are complex, expensive, and time-consuming. Recently, a method based on ligation-mediated PCR (LM/PCR) using a low denaturation temperature which produces specific melting-profile patterns of DNA products has been described. Our objective was to further develop this method for real-time PCR and high-resolution melting analysis (HRM) in a single-tube system optimized in order to achieve results within 1 day. Following the optimization of LM/PCR for real-time PCR and HRM (LM/HRM), the method was applied for a nosocomial outbreak of extended-spectrum-beta-lactamase (ESBL)-producing and ST131-associated Escherichia coli isolates (n = 15) and control isolates (n = 29), including four previous clusters. The results from LM/HRM were compared to results from pulsed-field gel electrophoresis (PFGE), which served as the gold standard. All isolates from the nosocomial outbreak clustered by LM/HRM, which was confirmed by gel electrophoresis of the LM/PCR products and PFGE. Control isolates that clustered by LM/PCR (n = 4) but not by PFGE were resolved by confirmatory gel electrophoresis. We conclude that LM/HRM is a rapid method for the detection of nosocomial outbreaks of bacterial infections caused by ESBL-producing E. coli strains. It allows the analysis of isolates in a single-tube system within a day, and the discriminatory power is comparable to that of PFGE.
Abstractions from proofs (2014)

The success of model checking for large programs depends crucially on the ability to efficiently construct parsimonious abstractions. A predicate abstraction is parsimonious if at each control location, it specifies only relationships between current values of variables, and only those which are required for proving correctness. Previous methods for automatically refining predicate abstractions until sufficient precision is obtained do not systematically construct parsimonious abstractions: predicates usually contain symbolic variables, and are added heuristically and often uniformly to many or all control locations at once. We use Craig interpolation to efficiently construct, from a given abstract error trace which cannot be concretized, a parsominous abstraction that removes the trace. At each location of the trace, we infer the relevant predicates as an interpolant between the two formulas that define the past and the future segment of the trace. Each interpolant is a relationship between current values of program variables, and is relevant only at that particular program location. It can be found by a linear scan of the proof of infeasibility of the trace.We develop our method for programs with arithmetic and pointer expressions, and call-by-value function calls. For function calls, Craig interpolation offers a systematic way of generating relevant predicates that contain only the local variables of the function and the values of the formal parameters when the function was called. We have extended our model checker BLAST with predicate discovery by Craig interpolation, and applied it successfully to C programs with more than 130,000 lines of code, which was not possible with approaches that build less parsimonious abstractions.
Vitreal Pharmacokinetics of Dipeptide Monoester Prodrugs of Ganciclovir (2006)

Considering retinal GCV concentrations generated and vitreal pharmacokinetic profiles, Gly-Val-GCV appears to be a lead candidate for further in vivo evaluation against human cytomegalovirus (HCMV) retinitis.
Research on algorithm of association rules in Distributed Database System (2010)

This dissertation proposes a new algorithm of distributed mining association rules using the improved Apriori algorithm, based on analyses and introduction of the basic concepts and algorithms of mining association rules and mining association rules in distributed databases. Using improved Apriori algorithm to directly produce all of local frequent itemset in each crunode, rather than iteratively selecting candidate itemset. Then gather all of local multifarious itemset to broadcast to the general node, producing the global frequent itemset of association rules. In the process, the data is no longer saved with the affair ID as the key word. We take the item ID as the new key word. The performance of the improved Apriori algorithm has been improved through cutting down the store space. While the general node gathers all of local frequent itemset to select the global frequent itemset, it needs only a broadcast probably, needing three broadcasts worst. This raised the efficiency of the new algorithm of Association Rules in Distributed Database System.