gebhart/patrepeval huggingface dataset:
A model based approach to test case generation for testing the navigation behavior of dynamic web applications (2013)

In today's world web applications have become increasingly popular which mandates high reliability and high quality of web applications. With the growing complexity of web applications, developing a reliable web application in turn requires rigorous testing techniques which are exhaustive, efficient and cost effective. Several researchers have proposed varied methodologies, frameworks and tools to generate test cases for testing web applications by extracting the navigation behavior of web applications using forward or reverse engineering tools. In this paper we propose a Model Based Test Case Generation technique wherein the model representing the navigation behavior of a web application is derived from requirements and low level design. The model is traversed to generate test sequences which can later be incorporated with input data to generate test cases. The proposed approach is also demonstrated by means of a case study.
Integrated receiver for NASA tracking and data relay satellite system (2002)

The tracking and data relay satellite system (TDRSS) provides a flexible communications system for low-earth-orbit spacecraft and a source of tracking data to permit the location of the many orbital platforms to be accessed. Central to the TDRSS ground terminal is the integrated receiver which provides data demodulation, decoding, and deinterleaving over the range of 100 bps to 12 Mbps, and all the tracking services in a single high-performance design. The requirements and design of the integrated receiver (IR), as well as an unbalanced quadriphase shift keying (UQPSK) receiver/demodulator under development for use in the TDRSS are discussed. The top level architecture of the IR is presented, and the implementation of the primary functions in the receiver is described. A single IR replaces the 12 different chassis currently required to support a single S-band single-access service. This approach has proven to be successful.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Key slide-segments annotation for presentation videos (2007)

This paper presents a bimodal approach to presentation video annotation suitable for supporting content-based search. Our aim is to segment a presentation video into a sum of key slide segments of more manageable length and to annotate these segments by using text derived from the presentation file. In operation, a presentation video is first parsed into perceptually distinct slide segments. A key frame is then extracted from each segment. Slide region in the key frame is then compared against slides in the presentation file by means of template matching. Matched segments satisfying a duration threshold are declared as key slide segments. Non key slide segment are then suppressed and appended to adjacent key slide segments. A rounding step is then applied to ensure match between slide segments and slides in the presentation file. Matched key slide segments are then annotated with text from corresponding slides while segments containing question answer events are identified and tagged by using a speaker turn detection procedure.
인공지능 : 다중 구간 샘플링에 기반한 배경제거 알고리즘 (2013)

배경제거는 동영상의 내용을 자동으로 분석하기 위한 매우 중요한 기술의 하나로 움직이는 객체를 검출하고 추적하기 위한 핵심 기술이다. 본 논문에서는 배경 모델과 함께 배경 영상을 제공하는 새로운 샘플링 기반의 배경제거 알고리즘을 제안한다. 제안된 방법에서는 움직임이 빠른 객체와 느린 객체를 동시에 처리하기 위해 다중 구간 샘플링 기법을 이용하여 배경 모델을 생성한다. 이러한 다중 구간 배경 모델들로부터 최선의 배경 모델을 만들기 위해 사용한 것이 본 논문의 특징이다. 배경 제거 분야에서 다양한 모델을 병합하여 하나의 모델을 만들기 위해 신뢰도를 정의하여 사용한 경우는 현재까지 보고되지 않았다. 실험을 통해 제안된 방법이 다양한 속도의 객체가 존재하고 시간에 따른 그림자의 이동과 같은 환경 변화가 있는 응용에서도 안정적인 결과를 나타내는 것을 알 수 있었다.
[Acute pancreatitis. 2: Treatment of the complicated course]. (1989)

Owing to its tendency to produce severe local and systemic complications, the hemorrhagic necrotic form of acute pancreatitis is still associated with a high mortality rate. Major local complications are pseudocystic space-consuming masses, arterial bleeding and abscess formation. The major systemic complications include circulatory shock, metabolic disorders, renal failure, respiratory insufficiency and sepsis. Of decisive importance for the prognosis is prophylaxis, early detection, and suitable treatment of these threatening complications, which is achieved on the basis of a combination of standardized basic treatment with problem- and symptom-oriented supplementary treatment. In the present paper, the current prophylactic, diagnostic and therapeutic concepts are described. In addition, a number of invasive measures and the indications for surgery are discussed.
Bioactivity‐guided Isolation of Antiproliferative Diterpenoids from <i>Euphorbia kansui</i> (2011)

Cytotoxic assay guided multistep separation on the dichloromethane extract of the roots of Euphorbia kansui resulted in the isolation of 10 ingenol-type diterpenoids (1-4 and 7-12), of which, 5-O-(2'E,4'E-decadienoyl)-20-O-acetylingenol (1) is a new compound, and two are jatrophane-type diterpenoids (13-14). Interconversion of two pairs of positional ester isomers (1-4) in aqueous alcoholic solution was observed, the transesterification mechanism of which was speculated and confirmed by acylation of 3 and 4 to 6 and 5, respectively. All the isolates and the two acyl derivatives (5 and 6) were evaluated in vitro for their cytotoxicities in Bel-7402, Bel-7402/5FU, BGC-823 and SGC-7901 cell lines. The 12 ingenol-type diterpenoids exhibited weak to moderate cytotoxicities, whereas the two jatrophane-type diterpenoids displayed no antiproliferative effects, which, however, may increase the antitumour efficacy of those ingenol-type diterpenoids. The structure--activity relationships were investigated by principal component analysis (PCA) of the pIC₅₀ (-logIC₅₀) values of the compounds tested and their calculated molecular descriptors. The pIC₅₀ values were highly correlated with most descriptors, especially the highest occupied molecular orbital energy (E(HOMO)), absolute hardness (η) and positively charged solvent accessible surface areas (P-ASA). As the values of E(HOMO) increase, η and P-ASA decrease, and the antiproliferative effects of these compounds increase.
Towards a Traceability Framework for Model Transformations in Kermeta (2006)

Implementing a model transformation is a very complex task and in an MDA process, chains of model transformations are usually built. When writing such a transformation chain, developers often need to have information on the previously applied transformations. Thus, disposing of a traceability framework enabling to gather information on the transformation behavior is an important feature for a transformation language. In this paper, we propose to implement a traceability framework in the Kermeta language based on a language independent trace metamodel.
Exploiting positive equality and partial non-consistency in the formal verification of pipelined microprocessors (2003)

We study the applicability of the logic of Positive Equality with Uninterpreted Functions (PEUF) to the verification of pipelined microprocessors with very large Instruction Set Architectures (ISAs). Abstraction of memory arrays and functional units is employed, while the control logic of the processors is kept intact from the original gate-level designs. PEUF is an extension of the logic of Equality with Uninterpreted Functions, introduced by Burch and Dill [1994], that allows us to use distinct constants for the data operands and instruction addresses needed in the symbolic expression for the correctness criterion. We present several techniques that make PEUF scale very efficiently for the verification of pipelined microprocessors with large ISAs. These techniques are based on allowing a limited form of non-consistency in the uninterpreted functions, representing initial memory state and ALU behaviors. Our tool required less than 30 seconds of CPU time and 5 MB of memory to verify a 5-stage MIPS-like pipelined processor that implements 191 instructions of various classes. The verification was done by correspondence checking-a formal method, where a pipelined microprocessor is compared against a non-pipelined specification.
A study of the gas barrier properties of highly oriented polyethylene (1985)

Abstract Measurements of permeability and diffusivity have been undertaken for the gases helium and oxygen in a range of highly oriented polyethylene films. The solubilities deduced for both gases are proportional to the amorphous volume fraction, showing that the noncrystalline regions are the transport medium in all instances. The changes in diffusion coefficient are more complex. A large reduction in diffusion coefficient is observed with increasing draw ratio, and this is particularly marked in the case of the larger oxygen molecule, where significant differences are also observed for different grades of polymer and different drawing conditions. These changes in diffusion coefficient are discussed in the light of previous studies of diffusion in polymers and present knowledge of the changes in structure produced by drawing.
The effects of Cigarette Smoking on Vigilance Performance (1982)

Each of 24 Ss completed an auditory vigilance task after smoking either a "low" nicotine cigarette (12 Ss) or a "middle" nicotine cigarette (12 Ss) and served as his own control in an identical session one week before or after the test session. The smoking was followed by improved vigilance in both groups as compared with the control performance. The improvement came about in different ways for the two groups. The low nicotine group recorded improved detection, the middle nicotine group reduced false positive rate. These effects are attributed to the known differential, biphasic effects of nicotine on performance.
The data warehouse toolkit: the definitive guide to dimensional modeling (2013)

Updated new edition of Ralph Kimball's groundbreaking book on dimensional modeling for data warehousing and business intelligence!The first edition of Ralph Kimball'sThe Data Warehouse Toolkitintroduced the industry to dimensional modeling, and now his books are considered the most authoritative guides in this space. This new third edition is a complete library of updated dimensional modeling techniques, the most comprehensive collection ever. It covers new and enhanced star schema dimensional modeling patterns, adds two new chapters on ETL techniques, includes new and expanded business matrices for 12 case studies, and more.Authored by Ralph Kimball and Margy Ross, known worldwide as educators, consultants, and influential thought leaders in data warehousing and business intelligenceBegins with fundamental design recommendations and progresses through increasingly complex scenariosPresents unique modeling techniques for business applications such as inventory management, procurement, invoicing, accounting, customer relationship management, big data analytics, and moreDraws real-world case studies from a variety of industries, including retail sales, financial services, telecommunications, education, health care, insurance, e-commerce, and moreDesign dimensional databases that are easy to understand and provide fast query response withThe Data Warehouse Toolkit: The Definitive Guide to Dimensional Modeling, 3rd Edition.
Telomere length and telomerase activity in malignant lymphomas at diagnosis and relapse (2000)

Telomere length maintenance, in the vast majority of cases executed by telomerase, is a prerequisite for long-term proliferation. Most malignant tumours, including lymphomas, are telomerase-positive and this activity is a potential target for future therapeutic interventions since inhibition of telomerase has been shown to result in telomere shortening and cell death in vitro. One prerequisite for the suitability of anti-telomerase drugs in treating cancer is that tumours exhibit shortened telomeres compared to telomerase-positive stem cells. A scenario is envisioned where the tumour burden is reduced using conventional therapy whereafter remaining tumour cells are treated with telomerase inhibitors. In evaluating the realism of such an approach it is essential to know the effects on telomere status by traditional therapeutic regimens. We have studied the telomere lengths in 47 diagnostic lymphomas and a significant telomere shortening was observed compared to benign lymphoid tissues. In addition, telomere length and telomerase activity were studied in consecutive samples from patients with relapsing non-Hodgkin's lymphomas. Shortened, unchanged and elongated telomere lengths were observed in the relapse samples. The telomere length alterations found in the relapsing lymphomas appeared to be independent of telomerase and rather represented clonal selection random at the telomere length level. These data indicate that anti-telomerase therapy would be suitable in only a fraction of malignant lymphomas.
Protein Degradation in the Forestomachs of Ruminants (1979)

Dietary protein ingested by ruminant animals is extensively degraded by microorganisms inhabiting their forestomachs. Mechanism of microbial breakdown of dietary protein is very complicated and not yet entirely understood. Experimental results, both in vitro and in vivo show a varying degradation of dietary protein, with differences in degradation between individual amino acids. Part of this variation, particularly in vivo, must be attributed to inadequate measuring techniques. Among other factors influencing degradation are nature and solubility of dietary protein, rate of passage of digesta through the forestomachs and level of feed intake. Decreasing the extent of degradation of dietary protein can be achieved in various ways. Two possibilities include formulation of diets from ingredients with low protein solubility and chemical treatment of the dietary protein, for instance, with formaldehyde. Under present feeding regimens this seems profitable only if level of animal production is high (early lactation, fast growing young animals). Protection may result in an inadequate supply of nitrogen or even amino acids for microbial growth in the forestomachs. Shortage of N can easily be overcome by addition of some nonprotein nitrogen such as urea to the diet, provided that the energy supply to the microbes is not a limiting factor as well.
Hearts in the right place during NAIDOC Week (2014)

Jesus blesses his Father for hiding things that matter from the learned and the clever and revealing them to mere children. During the week our Prime Minister, a Rhodes scholar, was addressing some very learned and clever people at the Economic and Social Outlook Conference. He was reflecting on the fact that Australia was unimaginable without foreign investment.
A probabilistic approach to confidence estimation and evaluation (2002)

In this paper we propose a novel way of estimating confidences for words that are recognized by a speech recognition system, together with a natural methodology for evaluating the overall quality of those confidence estimates. Our approach is based on an interpretation of a confidence as the probability that the corresponding recognized word is correct, and makes use of generalized linear models as a means for combining various predictor scores so as to arrive at confidence estimates. Experimental results using these models are presented based on four different sources of speech data: switchboard, Spanish and Mandarin CallHome, and Wall Street Journal.
Field Applications of Abrasive-Jetting Techniques (1961)

Abstract Interest in abrasive-jetting techniques for perforating and cutting well casings, cement and formation rocks has increased rapidly since 1958. This renewed interest in an old process has been due mostly to the development of a jetting tool of longer life and higher efficiency. Present-day jet-orifice nozzles are made of extremely hard materials that have a working life of more than three hours, compared to several minutes in the early days of abrasive jetting. Also, new efficient nozzle design has greatly increased jet speed and depth of penetration. These improvements in design and materials of construction, coupled with improved operating techniques, have resulted in many widespread and varied applications of abrasive jetting. Jobs have been performed, using this process, that would have much more expensive or even impossible with conventional methods. Several case histories are presented in this paper to illustrate applications and performance of abrasive jetting.
Studies on Santilli’s Isonumber Theory (2016)

Beginning with studies in the 1980s at the Department of Mathematics of Harvard University, the Italian-American scientist R. M. Santilli discovered new realizations of the abstract axioms of numeric fields with characteristic zero, based on an axiom-preserving generalization of conventional associative product and consequential positive-definite generalization of the multiplicative unit, today known as Santilli <i>isonumbers</i> [1], and the resulting novel numeric fields are known as Santilli <i>isofields</i>. By remembering that 20th century mathematics was formulated on numeric fields, their generalization into isofields stimulated a corresponding generalization of all of 20th century mathematics and its application to mechanics, today known as Santilli <i>isomatheatics</i> and <i>isomechanics</i>, respectively, which is used for the representation of extended-deformable particles moving within physical media under Hamiltonian as well as contact non-Hamiltoian interactions. Additionally, Santilli discovered a second realization of the abstract axioms of a numeric field, this time with arbitrary (non-singular) negative definite generalized unit and related multiplication, today known as Santilli <i>isodual isonumber</i> [1] that have stimulated a second covering of 20th century mathematics and mechanics known as Santilli isodual isomathematics and <i>isodual isomechanics</i>. The latter methods are used for the classical as well as operator form of antimatter in full democracy with the study of matter. In this paper, we present a comprehensive study of Santilli's epoch making discoveries of isonumbers and their isoduals along with their application to isomechanics and its isodual for matter and antimatter, respectively.
<title>Distributed graphical topic-oriented document search system</title> (1997)

With the availability of ever increasing numbers of documents from the Internet and other sources, finding what you are looking for is becoming increasingly difficult. This paper presents a new approach to finding documents that relies on compelling and useful graphic presentations to the user. Exploiting techniques first used in the field of Scientific Visualization, this approach is an example of work in the growing field of Information Visualization. By creating compact representations of documents that can be transferred over the Internet, the approach allows the search process to occur on the users desktop, distant from where the original documents are stored or where the indexes are created. Besides allowing searching to scale better to large numbers of information consumers, this allows the full graphical capabilities of the desktop computer to be applied to the problem The ability to search for specific user keywords is replaced by user selection of topics from a list created by expert topic designers. The approach complements keyword searching as a way of finding information.
Effects of Varying the Benzannulation Site and π Conjugation of the Cyclometalating Ligand on the Photophysics and Reverse Saturable Absorption of Monocationic Iridium(III) Complexes (2018)

A series of monocationic iridium(III) complexes, [Ir(C^N)<sub>2</sub>(pqu)]<sup>+</sup>PF<sub>6</sub><sup>-</sup> [pqu = 2-(pyridin-2-yl)quinoline, C^N = 2-phenylquinoline (1), 3-phenylisoquinoline (2), 1-phenylisoquinoline (3), benzo[ h]quinoline (4), 2-(pyridin-2-yl)naphthalene (5), 1-(pyridin-2-yl)naphthalene (6), 2-(phenanthren-9-yl)pyridine (7), 2-phenylbenzo[ g]quinoline (8), 2-(naphthalen-2-yl)quinoline (9), and 2-(naphthalen-2-yl)benzo[ g]quinoline (10)], were synthesized in this work. These complexes bear C^N ligands with varied degrees of π conjugation and sites of benzannulation, allowing for elucidation of the effects of the benzannulation site at the C^N ligand on the photophysics of the complexes. Ultraviolet-visible (UV-vis) absorption and emission of the complexes were systematically investigated via spectroscopic techniques and time-dependent density functional theory calculations. Their triplet excited-state absorption and reverse saturable absorption (RSA) were studied by nanosecond transient absorption (TA) spectroscopy and nonlinear transmission techniques. The fusion of phenyl ring(s) to the phenyl ring or the 4 and 5 positions of the pyridyl ring of the C^N ligand resulted in red-shifted UV-vis absorption and emission spectra in complexes 2, 5-7, 9, and 10 compared to those of the parent complex 0, while their triplet lifetimes and emission quantum yields were significantly reduced. In contrast, the fusion of one phenyl ring to the other sites of the pyridyl group of the C^N ligand showed an insignificant impact on the energies of the lowest singlet (S<sub>1</sub>) and triplet (T<sub>1</sub>) excited states in complexes 1, 3, and 4 but noticeably affected their TA spectral features. The fusion of the naphthyl group to the 5 and 6 and positions at the pyridyl ring did not influence the S<sub>1</sub> energy of complex 8 but altered the nature of the T<sub>1</sub> states in 8 and 10 by switching them to the benzo[ g]quinoline-localized <sup>3</sup>π,π* state, which resulted in completely different emission and TA spectra in these two complexes. The site-dependent variations of the ground- and excited-state absorption induced strong but varied RSA from these complexes for 4.1-ns laser pulses at 532 nm, with the RSA strength decreasing in the trend of 3 > 7 ≈ 4 ≈ 9 ≈ 6 > 8 ≈ 1 ≈ 2 ≈ 5 > 10.