gebhart/patrepeval huggingface dataset:
Access Control Policy Analysis Using Free Variable Tableaux (2006)

The specification of access control policies for large, multi-organization applications is difficult and error-prone. Sophisticated policies are needed for fine-grained control of access to large numbers of entities, resulting in many policies specified by different security administrators. Techniques such as role based access control (RBAC) have been proposed to group policies and provide a framework for inheriting policies based on role hierarchies. RBAC does not prevent inconsistencies and conflicts arising in the policy specifications, though, which can lead to information leaks or prevent required access. This paper proposes an approach using free variable tableaux to detect conflicts and redundant policies resulting from the combination of various types of authorization and constraint policies. This approach uses static analysis to enable complete detection of modality and static constraint policy conflicts.
Selective multimedia access protocol for wireless multimedia communication (2002)

Users desire to use multimedia applications such as browsing WWW and VoD in not only desktop computing environment but also wireless or mobile computing environment. A wireless link, however, is generally poor in quality to accommodate multimedia communication. We propose a content-based multimedia communication protocol for wireless environment. It adopts the selective transport service according to content-based priority, assigned to each scene of multimedia data, so that a user can get important information even if available bandwidth is insufficient for the multimedia data.
Pathogenic properties of enterohepatic Helicobacter spp. isolated from rhesus macaques with intestinal adenocarcinoma (2014)

Considerable progress has been made in understanding the roles of Helicobacter pylori in inflammation and gastric cancer; however, far less is known about the roles of enterohepatic Helicobacter species (EHS) in carcinogenesis and their zoonotic or pathogenic potential. We determined the prevalence of EHS infection in a cohort of geriatric rhesus monkeys in which intestinal adenocarcinoma (IAC) is common and investigated the association between EHS infection and IAC. The cohort consisted of 36 animals, 14 of which (age 26-35 years) had IAC. Of the 36 rhesus, 35 (97%) were positive for EHS using PCR or bacterial isolation from faeces, colonic or tumour tissues. Only a single rhesus, which had IAC, was negative for EHS by all detection methods. The EHS identified by 16S rRNA sequencing in this study were from three Helicobacter taxa: Helicobacter macacae (previously rhesus monkey taxon 1), Helicobacter sp. rhesus monkey taxon 2, previously described from strain MIT 99-5507, and Helicobacter sp. rhesus monkey taxon 4, related to Helicobacter fennelliae. Thirteen of 14 monkeys with IAC were positive for either H. macacae (7/13, 54%), EHS rhesus monkey taxon 4 (4/13, 31%) or a mixture of the two EHS (2/13, 15%). These results indicate that EHS are prevalent among aged rhesus macaques with IAC. Using Helicobacter genus-specific florescent in situ hybridization, EHS were detected on the surface of colonic epithelia of infected monkeys. All Helicobacter isolates, including H. macacae, effectively adhered to, invaded, and significantly induced proinflammatory genes, including IL-8, IL-6, TNF-α and iNOS, while downregulating genes involved in the function of inflammasomes, particularly IL-1β, CASPASE-1, NRLP3, NLRP6 and NLRC4 in the human colonic T84 cell line (P<0.0001). These results suggest that EHS may represent an aetiological agent mediating diarrhoea, chronic inflammation, and possibly intestinal cancer in non-human primates, and may play a role in similar disease syndromes in humans. Downregulation of inflammasome function may represent an EHS strategy for long-term persistence in the host and play a role in inducing pathological changes in the host's lower bowel.
Analitikus módszerek a számelméletben = Analytic methods in number theory (2009)

Kutatócsoportunk az analitikus számelmélet, a kombinatorikus számelmélet és a pszeudovéletlen sorozatok elméletében folytatott igen eredményes kutatásokat, amelyek összesen 76 megjelent, vagy közlésre elfogadott publikációt eredményeztek, kb. 80%-ban neves külföldi szaklapokban, többek közt az Annals of Math.-ben es a svéd Acta Mathematicaban. Külön kiemelendő a témavezető Goldstonnal es Yildirimmel közös eredménye, amely szerint a prímszámok sorozatában liminf( p_(n+1)-p_n)/logp_n=0. Az eredménynek széleskörű nemzetközi visszhangja volt. A Discover Magazine világviszonylatban a 2005-ös év legfontosabb matematikai felfedezéseként értékelte. Az AMS 2006 januári San Antonioban több ezer résztvevővel tartott éves konferenciáján az elmúlt év 4 legfontosabb matematikai eredményének ismertetésébe ez mint az egyetlen elméleti matematikai eredmény került bele. A Bourbaki szemináriumon is ismertetetésre került, míg a neves American Institute of Mathematics (az USA 7, NSF által támogatott matematikai intézete közül az egyik) külön 1 hetes konferenciát szentelt neki , az évi 3 hasonló találkozóból egyet. Az eredményt napokon belül ismertette a Science, a brit Guardian, később az American Scholar, a Wall Street Journal, továbbá több amerikai, brit, indiai, magyar (Népszabadság, Magyar Tudomány, Interpressz Magazin), taiwani és török napilap és folyóirat, az amerikai PBS televízió. Azóta 7 neves külföldi egyetem tananyagába került bele; az MIT 2006-ban külön kurzust szentelt neki. | Our group executed very successful investigations in analytic and combinatoric number theory and in the theory of pseudo-random sequences. This research resulted in 76 papers, appeared or accepted in 80% in important international journals in abroad, among them in Annals of Math. and in Acta Math. (Djursholm). In the work of the Principal Investigator, Goldston and Yildirim the relation liminf( p_(n+1)-p_n)/logp_n=0 is proved for the sequence of primes. The result attracted a wide international recognition. Discover magazine characterized it as the most important mathematical discovery of the year. The annual meeting of AMS in 2006 which attracted several thousands of participants choose it as the subject of the "Current Events" session as one of the 4 most important mathematical results, the only one from theoretical mathematics. It was the subject of a Bourbaki seminar; the American Institute of Mathematics (one of the 7 mathematical institutes in USA supported by NSF) devoted a one week meeting to it , one of the 3 annual meetings of such type. The result was reported within a few days in Science, the Guardian, later in the American Scholar, the Wall Street Journal, further in American, British, Hungarian (Népszabadság, Magyar Tudomány, Interpressz), Indian, Turkish and Taiwanese newspapers and journals, further in the American PBS television. Seven well-known foreign universities included the result into their courses; MIT devoted a separate course to it.
Reactive fungal wearable (2020)

Smart wearables sense and process information from the user's body and environment and report results of their analysis as electrical signals. Conventional electronic sensors and controllers are commonly, sometimes augmented by recent advances in soft electronics. Organic electronics and bioelectronics, especially with living substrates, offer a great opportunity to incorporate parallel sensing and information processing capabilities of natural systems into future and emerging wearables. Nowadays fungi are emerging as a promising candidate to produce sustainable textiles to be used as ecofriendly biowearables. To assess the sensing potential of fungal wearables we undertook laboratory experiments on electrical response of a hemp fabric colonised by oyster fungi~\emph{Pleurotus ostreatus} to mechanical stretching and stimulation with attractants and repellents. We have shown that it is possible to discern a nature of stimuli from the fungi electrical responses. The results paved a way towards future design of intelligent sensing patches to be used in reactive fungal wearables.
Continued investigation of LDEF's structural frame and thermal blankets by the Meteoroid and Debris Special Investigation Group (1993)

This report focuses on the data acquired by detailed examination of LDEF intercostals, 68 of which are now in possession of the Meteoroid and Debris Special Investigation Group (M&D SIG) at JSC. In addition, limited data will be presented for several small sections from the A0178 thermal control blankets that were examined/counted prior to being shipped to Principal Investigators (PI's) for scientific study. The data presented here are limited to measurements of crater and penetration-hole diameters and their frequency of occurrence which permits, yet also constrains, more model-dependent, interpretative efforts. Such efforts will focus on the conversion of crater and penetration-hole sizes to projectile diameters (and masses), on absolute particle fluxes, and on the distribution of particle-encounter velocities. These are all complex issues that presently cannot be pursued without making various assumptions which relate, in part, to crater-scaling relationships, and to assumed trajectories of natural and man-made particle populations in LEO that control the initial impact conditions.
Reliable data delivery using packet coding over acoustic links (2017)

Acoustic links are challenged by high bit error rates, which cause data packets to be declared as erroneous. To prevent the packet loss and achieve reliable data transmission over such links, some form of feedback must be implemented to deliver acknowledgments from the receiver to the transmitter, thus initiating re-transmission of erroneous packets. Conventionally, data packets are grouped and a selective acknowledgment procedure of the stop-and-wait type is employed as a suitable solution for half-duplex acoustic links. We re-visit the issue of reliable data transmission and investigate the use of random packet coding in conjunction with a selective acknowledgment procedure. Specifically, we introduce random packet coding, and regard a block of coded packets as an equivalent of a packet—now termed the super-packet. We then form groups of super-packets and apply a selective acknowledgment procedure on the so-obtained units. Analytical results, obtained with experimentally verified channel models, demonstrate the power of grouped packet coding which offers a much improved throughput-delay performance on randomly time-varying acoustic channels with long delays.
Technical note: A 2-stage cecal cannulation technique in standing horses1,2 (2011)

Cecal cannulation is necessary for sampling of intestinal contents for a variety of nutritional or digestive physiology studies. This report describes a 2-stage technique for permanent cecal cannulation in standing horses. For the first procedure, a right flank laparotomy is performed and a small pouch of the cecal base exteriorized and sutured to the body wall. The second procedure is performed approximately 1 wk later. During the second procedure, the exposed cecal pouch is removed and the cannula inserted. Ten horses were cannulated using this technique. After the first procedure, 1 horse developed a cecal impaction unresponsive to medical therapy and ruptured its cecum, whereas 2 other horses developed mild transient colic that responded to medical management. Insertion of the cecal cannula after creation of the stoma in the second procedure resulted in transient colic in 4 of 9 horses, but they responded to analgesic therapy in less than 24 h in all instances. The time to complete healing of the cannula site was approximately 30 d. The technique described in this report decreases the risk of peritonitis due to intestinal leakage and is technically easier to perform than previously described techniques.
Altered Sphingolipid Metabolism inN-(4-Hydroxyphenyl)- retinamide-resistant A2780 Human Ovarian Carcinoma Cells (2003)

In the present work, we studied the effects of fenretinide (N-(4-hydroxyphenyl)retinamide (HPR)), a hydroxyphenyl derivative of all-trans-retinoic acid, on sphingolipid metabolism and expression in human ovarian carcinoma A2780 cells. A2780 cells, which are sensitive to a pharmacologically achievable HPR concentration, become 10-fold more resistant after exposure to increasing HPR concentrations. Our results showed that HPR was able to induce a dose- and time-dependent increase in cellular ceramide levels in sensitive but not in resistant cells. This form of resistance in A2780 cells was not accompanied by the overexpression of multidrug resistance-specific proteins MDR1 P-glycoprotein and multidrug resistance-associated protein, whose mRNA levels did not differ in sensitive and resistant A2780 cells. HPR-resistant cells were characterized by an overall altered sphingolipid metabolism. The overall content in glycosphingolipids was similar in both cell types, but the expression of specific glycosphingolipids was different. Specifically, our findings indicated that glucosylceramide levels were similar in sensitive and resistant cells, but resistant cells were characterized by a 6-fold lower expression of lactosylceramide levels and by a 6-fold higher expression of ganglioside levels than sensitive cells. The main gangliosides from resistant A2780 cells were identified as GM3 and GM2. The possible metabolic mechanisms leading to this difference were investigated. Interestingly, the mRNA levels of glucosylceramide and lactosylceramide synthases were similar in sensitive and resistant cells, whereas GM3 synthase mRNA level and GM3 synthase activity were remarkably higher in resistant cells.
Robust Estimation of 3D Human Poses from a Single Image (2014)

Human pose estimation is a key step to action recognition. We propose a method of estimating 3D human poses from a single image, which works in conjunction with an existing 2D pose/joint detector. 3D pose estimation is challenging because multiple 3D poses may correspond to the same 2D pose after projection due to the lack of depth information. Moreover, current 2D pose estimators are usually inaccurate which may cause errors in the 3D estimation. We address the challenges in three ways: (i) We represent a 3D pose as a linear combination of a sparse set of bases learned from 3D human skeletons. (ii) We enforce limb length constraints to eliminate anthropomorphically implausible skeletons. (iii) We estimate a 3D pose by minimizing the $L_1$-norm error between the projection of the 3D pose and the corresponding 2D detection. The $L_1$-norm loss term is robust to inaccurate 2D joint estimations. We use the alternating direction method (ADM) to solve the optimization problem efficiently. Our approach outperforms the state-of-the-arts on three benchmark datasets.
Synthesis of a potent inhibitor of β-glucuronidase (1996)

A new glucuronic acid-type iminosugar in which a nitrogen atom is placed in the anomeric positon was synthesized and was proven to potently inhibit β-glucuronidase, with Ki = 79 nM.
Supplementary Table S3 from Analytic, Preanalytic, and Clinical Validation of p53 IHC for Detection of <i>TP53</i> Missense Mutation in Prostate Cancer (2023)

&lt;p&gt;TP53 mutations in formalin fixed paraffin embedded primary and metastatic prostate tumors stratified by immunohistochemistry (IHC) result. Bolded results indicate discordant samples. Red font indicates disruptive mutations by Poeta et al criteria (reference 42).&lt;/p&gt;
Efficient underwater communication modem for harsh and highly non-stationary channel conditions — A fully model-based approach (2017)

Underwater communication with autonomous underwater vehicles (AUVs) has strong demands on the modems caused by the constantly changing signal propagation (multi-path propagation, scattering, diffraction and refraction at thermal layers, etc.) of the underwater channel. These demands typically lead to a modem designed to match specific conditions. In this paper we present an automated model-based physical layer implementation approach of an underwater acoustic passband modem using QPSK. This paper presents a possibility to automatically simulate, validate and synthesize a physical layer implementation with a significantly improved ease-of-use, maintainability and extensibility of the developed modems. The results are based on a prototype with six variants of adapted Reed Solomon and convolutional en-/decoders, developed and implemented in hardware on an Altera FPGA. In this work we show that the implemented prototype requires up to 88.7 % less energy for the same or better functionality compared to the Micromodem-2. In addition we show that our hardware can be used immediately in the area of long-distance communication based on a SNR test and in areas of high multi-path propagation based on channel simulation using BELLHOP.
A Three-in-One Converter for Regular and Emergency Lighting Applications (2009)

<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> This paper presents a three-in-one converter for regular and emergency lighting applications. The converter can function as regular ballast, emergency ballast, and battery charger/discharger, achieving regular and emergency lighting features. The three-in-one converter used in the ballast is an integration of a bidirectional flyback converter and two half-bridge series-resonant parallel-loaded inverters. The derivation and operating principle of the proposed converter are first presented, and an application to regular and emergency lighting is then developed. With the proposed converter and a single-chip microcontroller EM78P458, a low cost multifeature electronic ballast can be readily implemented and installed. Hardware measurements have verified its feasibility and the desired features. </para>
Identification of miRNAs and associated pathways regulated by Leukemia Inhibitory Factor in trophoblastic cell lines (2018)

ABSTRACT Introduction Leukemia Inhibitory Factor (LIF) regulates behavior of trophoblast cells and their interaction with immune and endothelial cells. In vitro , trophoblast cell response to LIF may vary depending on the cell model. Reported differences in the miRNA profile of trophoblastic cells may be responsible for these observations. Therefore, miRNA expression was investigated in four trophoblastic cell lines under LIF stimulation followed by in silico analysis of altered miRNAs and their associated pathways. Methods Low density TaqMan miRNA assays were used to quantify levels of 762 mature miRNAs under LIF stimulation in three choriocarcinoma-derived (JEG-3, ACH-3P and AC1-M59) and a trophoblast immortalized (HTR-8/SVneo) cell lines. Expression of selected miRNAs was confirmed in primary trophoblast cells and cell lines by qPCR. Targets and associated pathways of the differentially expressed miRNAs were inferred from the miRTarBase followed by a KEGG Pathway Enrichment Analysis. HTR-8/SVneo and JEG-3 cells were transfected with miR-21-mimics and expression of miR-21 targets was assessed by qPCR. Results A similar number of miRNAs changed in each tested cell line upon LIF stimulation, however, low coincidence of individual miRNA species was observed and occurred more often among choriocarcinoma-derived cells (complete data set at http://www.ncbi.nlm.nih.gov/geo/ under GEO accession number GSE130489). Altered miRNAs were categorized into pathways involved in human diseases, cellular processes and signal transduction. Six cascades were identified as significantly enriched, including JAK/STAT and TGFB-SMAD. Upregulation of miR-21-3p was validated in all cell lines and primary cells and STAT3 was confirmed as its target. Discussion Dissimilar miRNA responses may be involved in differences of LIF effects on trophoblastic cell lines.
An accurate and fast technique for correcting spectral leakage in motor diagnosis (2013)

This paper presents a technique for correcting the spectral leakage which occurs in windowed time series. The presented technique is aimed to be implemented on an autonomous embedded device based on reconfigurable hardware. This device is intended for being used in remote condition monitoring of motors. As a matter of example, the technique is used to analyse the common frequency components appearing in faulty motors suffering from inter-turn short circuits.
Cardiovascular risk management in the peri‐operative setting (2023)

Peri-operative cardiovascular events occur in up to 3% of patients undergoing non-cardiac surgery. Accurate cardiovascular risk assessment is important in the peri-operative setting, as it allows informed and shared decisions regarding the appropriateness of proceeding with surgery, guides surgical and anaesthetic approaches, and may influence the use of preventive medications and post-operative cardiac monitoring. Quantitative risk assessment may also inform a reconsideration of choosing a more limited lower risk type of surgery, or conservative management. Pre-operative cardiovascular risk assessment starts with clinical assessment and should include an estimate of functional capacity. Specialised cardiac investigations are rarely indicated specifically to assess pre-operative cardiovascular risk. The decision regarding cardiac investigations is influenced by the nature, extent and urgency of surgery. The strategy of performing pre-operative revascularisation to improve post-operative outcomes is not evidence-based and recent international guidelines recommend against this.
[Should alternative therapists treat cancer--what is the opinion of oncology health personnel?]. (2003)

Most health care workers treating cancer are of the opinion that practitioner of alternative medicine might treat cancer if the health services have no healing or palliative treatment. Required contact between physicians and alternative practitioners must be in writing.
Forced Oscillations of the Duffing Oscillator (2011)

This chapter contains sections titled: Primary Resonance Subharmonic Resonance of Order One-Third Superharmonic Resonance of Order Three An Alternate Approach Exercises
High-Density Flexible Parylene-Based Multielectrode Arrays for Retinal and Spinal Cord Stimulation (2007)

Novel flexible parylene-based high-density electrode arrays have been developed for functional electrical stimulation in retinal and spinal cord applications. These electrode arrays are microfabricated according to single-metal-layer and, most recently, dual-metal-layer processes. A new heat-molding process has been implemented to conform electrode arrays to approximate the curvature of canine retinas, and chronic implantation studies have been undertaken to study the mechanical effects of parylene-based prostheses on the retina, with excellent results to date. Electrode arrays have also been implanted and tested on the spinal cords of murine models, with the ultimate goal of facilitation of locomotion after spinal cord injury; these arrays provide a higher density and better spatial control of stimulation and recording than is typically possible using traditional fine-wire electrodes. Spinal cord stimulation typically elicited three muscle responses, an early (direct), a middle (monosynaptic), and a late (polysynaptic) response, classified based on latency after stimulation. Stimulation at different rostrocaudal levels of the cord yielded markedly different muscle responses, highlighting the need for such high-density arrays.