gebhart/patrepeval huggingface dataset:
Formal Semantics for Kolmogorov-Arnold Network Representations of Operational Games (2025)

This paper develops a formal semantic framework for Kolmogorov-Arnold Network (KAN) representations of operational games. Operational games, as generalizations of strategic and dynamic games, provide powerful tools for modeling complex multi-agent interactions, but their analysis using traditional methods is limited due to the high dimensionality of state and strategy spaces. Drawing upon the constructive logical systems approach and the Kolmogorov-Arnold representation theorem, we establish rigorous mathematical foundations for embedding operational game dynamics within KAN architectures. The framework encompasses structural, operational, and denotational semantics, facilitating theoretical analysis of convergence properties, expressiveness, and computational complexity. We establish convergence theorems for KAN-based representations of equilibrium strategies and demonstrate how KANs' learnable edge functions provide unique advantages for modeling complex multi-agent systems governed by operational game dynamics. Theoretical results establish conditions for representation adequacy, computational tractability, and semantic preservation under aggregation operations. The proposed framework advances the integration of operational game theory with KAN methodologies, providing a foundation for empirical implementation and theoretical extension in domains with complex strategic interactions.
Design and optimization of computational imaging systems (2004)

A new methodology, called Wavefront Coding, allows the joint optimization of optics, mechanics, detection and signal processing of computational imaging systems. This methodology gives the system designer access to a large design trade space. This trade space can be exploited to enable the design of imaging systems that can image with high quality, with fewer physical components, lighter weight, and less cost compared to traditional optics. This methodology is described through an example conformal single lens IR imaging system. The example system demonstrates a 50% reduction in physical components, and an approximate 45% reduction in weight compared to a traditional two lens system.
Characterization of Aurintricarboxylic Acid as a Potent Hepatitis C Virus Replicase Inhibitor (2009)

This study identified ATA as a potent anti-NS5B inhibitor and suggests that its unique mode of action might be exploited for structural refinement and development of novel anti-NS5B agents.
Differential Ca<sup>2+</sup> signaling by thrombin and protease-activated receptor-1-activating peptide in human brain microvascular endothelial cells (2004)

Thrombin and related protease-activated receptors 1, 2, 3, and 4 (PAR1-4) play a multifunctional role in many types of cells including endothelial cells. Here, using RT-PCR and immunofluorescence staining, we showed for the first time that PAR1-4 are expressed on primary human brain microvascular endothelial cells (HBMEC). Digital fluorescence microscopy and fura 2 were used to monitor intracellular Ca2+ concentration ([Ca2+]i) changes in response to thrombin and PAR1-activating peptide (PAR1-AP) SFFLRN. Both thrombin and PAR1-AP induced a dose-dependent [Ca2+]i rise that was inhibited by pretreatment of HBMEC with the phospholipase C inhibitor U-73122 and the sarco(endo)plasmic reticulum Ca2+-ATPase inhibitor thapsigargin. Thrombin induced transient [Ca2+]i increase, whereas PAR1-AP exhibited sustained [Ca2+]i rise. The PAR1-AP-induced sustained [Ca2+]i rise was significantly reduced in the absence of extracellular calcium or in the presence of an inhibitor of store-operated calcium channels, SKF-96365. Restoration of extracellular Ca2+ to the cells that were initially activated by PAR1-AP in the absence of extracellular Ca2+ resulted in significant [Ca2+]i rise; however, this effect was not observed after thrombin stimulation. Pretreatment of the cells with a low thrombin concentration (0.1 nM) prevented [Ca2+]i rise in response to high thrombin concentration (10 nM), but pretreatment with PAR1-AP did not prevent subsequent [Ca2+]i rise to high PAR1-AP concentration. Additionally, treatment with thrombin decreased transendothelial electrical resistance in HBMEC, whereas PAR1-AP was without significant effect. These findings suggest that, in contrast to thrombin, stimulation of PAR1 by untethered peptide SFFLRN results in stimulation of store-operated Ca2+ influx without significantly affecting brain endothelial barrier functions.
The biocompatibility of glass-ionomer cement materials. A status report for the American Journal of Dentistry. (2001)

Since their introduction in the market, some 30 yrs ago, the biocompatibility aspects of glass-ionomer cements (GICs) have been intensively studied. In general, cytotoxicity of fully set conventional preparations in previous studies was shown to be minimal. However, a resin-modified preparation proved to be cytotoxic under these conditions. This product was also observed to be mutagenic, but data in this area are sparse and difficult to interpret. There is also evidence that certain GICs exert some antibacterial properties which is claimed to be related to the fluoride release; however, the mechanisms for this fluoride release are still unclear. Pulp response studies have shown conflicting results. However, unfavorable initial reactions, if present, resolved with time if a bacterial layer under the restoration and pulp exposures were prevented. Pain reactions after cementation of cast restorations with GICs have been reported in the past but there are no such reports in the more recent literature.
Copyright Update 2011 (2011)

A review of the current copyright issues and events including but not limited to:-the situation at the copyright board-the latest in the courts-international developments\nMargaret Ann Wilkinson, OLA’s copyright expert, will report on key issues and activities that impact services and librarian activities in all sectors.
Cimetidine Inhibition of Dimaprit-Induced Writhing in the Rat (1986)

Intraperitoneal, but not intravenous administration of dimaprit (50-125 mg/kg) caused a dose-dependent writhing in the rat. This effect was blocked, again in a dose-dependent fashion, by cimetidine administered orally 1 h prior to dimaprit. Results obtained suggest that dimaprit induces a cimetidine-sensitive pain by acting at peripheral nociceptive terminals within the peritoneum. The specific (H2-receptor related) analgesic effect of cimetidine could explain its effectiveness in relieving epigastric pain of duodenal ulcer patients treated with the drug.
Laminins 411 and 421 differentially promote tumor cell migration via α6β1 integrin and MCAM (CD146) (2014)

α4-laminins, such as laminins 411 and 421, are mesenchymal laminins expressed by blood and lymphatic vessels and some tumor cells. Laminin-411 promotes migration of leukocytes and endothelial cells, but the effect of this laminin and laminin-421 on tumor cells is poorly understood. In the present study, we demonstrate that laminin-411 and, to a greater extent, laminin-421 significantly promote migration of tumor cells originated from melanomas, gliomas and different carcinomas via α6β1 integrin. In solid-phase binding assays, both laminins similarly bound α6β1 integrin but only laminin-421, among several laminin isoforms, readily bound MCAM (CD146), a cell-surface adhesion molecule strongly associated with tumor progression. Accordingly, a function-blocking mAb to MCAM inhibited tumor cell migration on laminin-421 but not on laminins 411 or 521. In tumor tissues, melanoma cells co-expressed MCAM, laminin α4, β1, β2 and γ1 chains, and integrin α6 and β1 chains. The present data highlight the novel role of α4-laminins in tumor cell migration and identify laminin-421 as a primary ligand for MCAM and a putative mediator of tumor invasion and metastasis.
A high-reflectivity, ambient-stable graphene mirror for neutral atomic and molecular beams (2011)

We report a He and H2 diffraction study of graphene-terminated Ru(0001) thin films grown epitaxially on c-axis sapphire. Even for samples exposed for several weeks to ambient conditions, brief annealing in ultrahigh vacuum restored extraordinarily high specular reflectivities for He and H2 beams (23% and 7% of the incident beam, respectively). The quality of the angular distributions recorded with both probes exceeds the one obtained from in-situ prepared graphene on Ru(0001) single crystals. Our results for graphene-terminated Ru thin films represent a significant step toward ambient tolerant, high-reflectivity curved surface mirrors for He-atom microscopy.
Dynamic Spine Alloplasty (Spring-loading Corrective Devices) After Fracture and Spinal Cord Injury (1975)

Dynamic alloplasty in spine fractures is a method of stabilization of the fracture site of the injured spine by obtaining a steady, gradual correction of the spine in accordance with Guttman's method. Gait training may begin within 2 weeks after surgery. The method shortens the rehabilitation time of paraplegics to approximately 3 months, as compared with the conventionally treated group. Dynamic spine fitting not only enables the patient to accept his disability, take interest in vocational and social rehabilitation sooner than conventional methods, but also prevents the typical psychological and physiological complications, such as depression, neurasthenic status, urological complications and bedsores. There is no need for prolonged muscle reconditioning because the patients are immobilized only for the essential postoperative period. Following our research on "Amputations with Immediate Prosthetic Fitting," we sould like to propose the term "Immediate Functional Paraplegic Fitting" for this technique.
Production of interferon by leukocytes from patients with atopic and nonatopic asthma. (1988)

Investigations were carried out on 62 patients with atopic and nonatopic asthma and 70 normal individuals. Leukocytes isolated according to the method of Mogensen and Cantell, were induced for interferon production with Newcastle virus, H strain for 24 h at 37 degrees C in a tube culture placed in rolling drum. Interferon was assayed in the culture of human fibroblasts (HAT). Leukocytes from patients with both types of asthma had reduced interferon-inducing activity. At acute viral infection, a transient increase of interferon titer was observed. The titer, however, never reached the values of interferon induced in leukocytes from healthy individuals.
Selective parasympathetic innervation of subcutaneous and intra-abdominal fat — functional implications (2002)

The wealth of clinical epidemiological data on the association between intra-abdominal fat accumulation and morbidity sharply contrasts with the paucity of knowledge about the determinants of fat distribution, which cannot be explained merely in terms of humoral factors. If it comes to neuronal control, until now, adipose tissue was reported to be innervated by the sympathetic nervous system only, known for its catabolic effect. We hypothesized the presence of a parasympathetic input stimulating anabolic processes in adipose tissue. Intra-abdominal fat pads in rats were first sympathetically denervated and then injected with the retrograde transneuronal tracer pseudorabies virus (PRV). The resulting labeling of PRV in the vagal motor nuclei of the brain stem reveals that adipose tissue receives vagal input. Next, we assessed the physiological impact of these findings by combining a fat pad-specific vagotomy with a hyperinsulinemic euglycemic clamp and RT-PCR analysis. Insulin-mediated glucose and FFA uptake were reduced by 33% and 36%, respectively, whereas the activity of the catabolic enzyme hormone-sensitive lipase increased by 51%. Moreover, expression of resistin and leptin mRNA decreased, whereas adiponectin mRNA did not change. All these data indicate an anabolic role for the vagal input to adipose tissue. Finally, we demonstrate somatotopy within the central part of the autonomic nervous system, as intra-abdominal and subcutaneous fat pads appeared to be innervated by separate sympathetic and parasympathetic motor neurons. In conclusion, parasympathetic input to adipose tissue clearly modulates its insulin sensitivity and glucose and FFA metabolism in an anabolic way. The implications of these findings for the (patho)physiology of fat distribution are discussed.
Densification arising from sampling fixed graphs (2008)

During the past decade, a number of different studies have identified several peculiar properties of networks that arise from a diverse universe, ranging from social to computer networks. A recently observed feature is known as network densification, which occurs when the number of edges grows much faster than the number of nodes, as the network evolves over time. This surprising phenomenon has been empirically validated in a variety of networks that emerge in the real world and mathematical models have been recently proposed to explain it. Leveraging on how real data is usually gathered and used, we propose a new model called Edge Sampling to explain how densification can arise. Our model is innovative, as we consider a fixed underlying graph and a process that discovers this graph by probabilistically sampling its edges. We show that this model possesses several interesting features, in particular, that edges and nodes discovered can exhibit densification. Moreover, when the node degree of the fixed underlying graph follows a heavy-tailed distribution, we show that the Edge Sampling model can yield power law densification, establishing an approximate relationship between the degree exponent and the densification exponent. The theoretical findings are supported by numerical evaluations of the model. Finally, we apply our model to real network data to evaluate its performance on capturing the previously observed densification. Our results indicate that edge sampling is indeed a plausible alternative explanation for the densification phenomenon that has been recently observed.
Non-uniformity calibration for MWIR polarization imagery obtained with integrated microgrid polarimeters (2017)

Integrating microgrid polarimeters on focal plane array (FPA) of an infrared detector causes non-uniformity of polarization response. In order to reduce the effect of polarization non-uniformity, this paper constructs an experimental setup for capturing raw flat-field images and proposes a procedure for acquiring non-uniform calibration (NUC) matrix and calibrating raw polarization images. The proposed procedure takes the incident radiation as a polarization vector and offers a calibration matrix for each pixel. Both our matrix calibration and two-point calibration are applied to our mid-wavelength infrared (MWIR) polarization imaging system with integrated microgrid polarimeters. Compared with two point calibration, our matrix calibration reduces non-uniformity by 30~40% under condition of flat-field data test with polarization. The ourdoor scene observation experiment indicates that our calibration can effectively reduce polarization non-uniformity and improve the image quality of our MWIR polarization imaging system.
Methode: Simulation (1993)

Sobald die geeignete Abstraktion gefunden und ein Modell definiert ist, wird eine Simulation möglich. Die Simulation ist zum einen ein Mittel, ein real bestehendes Objekt oder einen real bestehenden Zustand in seinen interessanten Aspekten möglichst wirklichkeitsnah darzustellen. Sie ist zum anderen eine Methode, ein angestrebtes Objekt oder einen angestrebten Zustand in seinen interessanten Aspekten möglichst so darzustellen, daß er mit dem auszuführenden Projekt übereinstimmt. Deshalb muß das Modell möglichst vollständig sein.
The Ursinus Weekly, November 21, 1932 (1932)

Fall convention of INA convenes at Gettysburg • Industrial lecture on chocolate industry, Nov. 28 • Capt, Leitheiser describes prison work to YMCA • Bears meet Albright Thanksgiving day • Dr. Muller, Penn, speaks to chem-bi group on germanium • One act plays, informal dance, featured Sat. eve. • Dr. James M. Anders, Philadelphia, addresses pre-med. society • Ursinus harriers take part in West Chester meet • Faculty club meeting held at home of prof. Gerney • Snell co-eds down Drexel in fast hockey game, 6-1 • Eastern Conference standing • Dr. G. L. Omwake speaks to Lancaster County directors • Secretary of Norristown YWCA speaks to college group • Sorority straw vote • New sorority members • Ursinus-Knickerbocker hockey game correction • Council discusses frosh rules; game with sophs • Deputation team conducts Evansburg church service • Snapshots being taken for '33 Ruby; alumni canvassed • Ursinus students in cast of Reformed Church play • "The Black flamingo," Schaff anniversary play • Increase in membership of freshman discussion group • Brotherhood of St. Paul selects discussion topic • Sophomores select dance committee, chaperones • Phi Alpha Psi spends week-end at Arcola • Junior girls wear drapes for 1934 Ruby portraits • Y.W. cabinet breakfasts • Bear booters bow to undefeated West Chester team • Y.W. to present cantata at early morning Xmas service
Multi-class support vector machine for fault diagnosis (2009)

Decision tree support vector machine(SVM),which combine SVM and decision tree,is proposed for multi-class classification in order to perform the multi-class fault diagnosis tasks.Considering the limitations of the conventional methods,genetic algorithm,as a global randomized search method,was introduced into the formation of decision tree.By analyzing the distribution of the training samples,the fitness function of genetic algorithm was defined as the distance between the clustering centers of the two sub-classes so that the most separable classes could be separated at each node of decision tree.To testify the effectiveness of the proposed method,numerical simulations are conducted on three datasets compared with one-against-one and one-against-all.The results show that the proposed method has better performance and higher generalization ability than the two conventional methods.
Tinnitus of TMJ Origin: A Preliminary Report (1992)

Twenty patients whose chief complaint was tinnitus were examined. They were not known to have temporomandibular disorders. They did not have pain or dysfunction. They were examined by physicians for ear disorders and the results were considered negative. Each of these patients had a complete history and clinical temporomandibular joint examination. The clinical examination included muscle and joint palpation and stethoscopic examination of the joint. This examination also included selected computerized mandibular scans and electromyographic studies of selected facial muscles. Each subject had eight views of transcranial lateral oblique x-rays taken. It was determined that 19 of these individuals had one or more clinical, electromyographic, and radiographic indications of a temporomandibular disorder. From this study, it appears that individuals who have tinnitus with no apparent otologic basis for this symptom should have a careful evaluation of the temporomandibular apparatus. A temporomandibular disorder may be one of the primary causes of this symptom.
ChemInform Abstract: Synthesis and Antitumor Activity of Novel Bis(thiosemicarbazones) (III), (IV) of Methylglyoxal, Glucosone and Their Copper Complexes. (2000)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
NATO and the European Union (1995)

Having dominated world affairs for so long, the European Great Powers nearly destroyed each other during this century's two world wars. After 1945 the power and influence of Western Europe significantly declined while two new superpowers, the United States and the Soviet Union, configured a bipolar world. Because of this new strategic structure, Western Europeans felt compelled to shelve old rivalries and to forge a new unity in order to reemerge as world leaders, albeit now in regional terms. Notwithstanding that desire, European unity was fraught with obstacles, for in spite of alliances, national interest too often predominated.KeywordsEUROPEAN UnionUnited NationsArmed ForceSecurity CouncilSecurity PolicyThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Operational Vibration Experiment and Analysis of a Small Vertical-Axis Wind Turbine Considering the Effect of a Tower Stiffness (2013)

In this study, operational vibration experiment and analysis have been conducted for the 4-blade small vertical-axis wind turbine (VAWT) including the effect of tower elastic behavior. Computational structural dynamics analysis method is applied to obtain Campbell diagram for the VAWT with elastic tower. An open type wind-tunnel is used to change and keep the wind velocity during the ground test. Equivalent elastic tower is used to support the VAWT so that the effect of elastic stiffness of the tower can be considered in the present vibration experiment. Various excitation conditions with wind loads are considered and the dominant operating vibration phenomena are physically investigated in detail.
Electrochemical Performance of Activated Carbon Electrode Added with LiCoO<sub>2</sub> for Hybrid Capacitor (2007)

In this study, mixed active material electrodes, composed of an activated carbon (MSP20) and LiCoO2, were prepared as cathodes for a high-capacitive hybrid capacitor. The electrochemical properties of (MSP20+LiCoO2)/Li cells were examined in terms of the weight composition and the particle size of LiCoO2 powder in the electrodes. As adding more LiCoO2 powders in the electrode, the volumetric capacity (mAh/ml) of the electrode became higher. In order to examine the size effect on the electrochemical performance, the LiCoO2 powders were modified by ball milling. The (MSP20+LiCoO2)/Li cells using 10 and 20 wt.% of 30h-milled LiCoO2 powder exhibited the lower internal resistivities and the better capacity retentions after 100 charge-discharge cycles than those using 10 or 20 wt.% of raw LiCoO2 powders.
PROGESTERONE LEVELS IN PERIPHERAL PLASMA DURING THE LUTEAL PHASE OF THE NORMAL HUMAN MENSTRUAL CYCLE MEASURED BY A RAPID COMPETITIVE PROTEIN BINDING TECHNIQUE (1969)

ABSTRACT The competitive protein binding technique for the measurement of progesterone has been further simplified for clinical use. Only 0.25 ml of plasma is needed for the determination during the luteal phase. One technician can assay 20 samples in one day with good precision and accuracy. The progesterone concentration in 20 normal human menstrual cycles was studied. During the follicular phase a mean concentration of 0.32 ± 0.25 ( s ) ng/ml plasma was found. At the mid-cycle peak of the total oestrogens the progesterone concentration started to rise and reached a plateau between 10–20 ng/ml 4 to 6 days later. From the plateau level, the concentration fell rapidly to less than 1 ng/ml at the onset of menstrual bleeding. The mean luteal phase lasted for 14.15 ± 1.05 ( s ) days.