gebhart/patrepeval huggingface dataset:
Client-Server Concurrent Zero Knowledge with Constant Rounds and Guaranteed Complexity. (2014)

The traditional setting for concurrent zero knowledge considers a server that proves a statement in zero-knowledge to multiple clients in multiple concurrent sessions, where the server’s actions in a session are independent of all other sessions. Persiano and Visconti [ICALP 05] show how keeping a limited amount of global state across sessions allows the server to significantly reduce the overall complexity while retaining the ability to interact concurrently with an unbounded number of clients. Specifically, they show a protocol that has only slightly super-constant number of rounds; however the communication complexity in each session of their protocol depends on the number of other sessions and has no a-priori bound. This has the drawback that the client has no way to know in advance the amount of resources required for completing a session of the protocol up to the moment where the session is completed. We show a protocol that does not have this drawback. Specifically, in our protocol the client obtains a bound on the communication complexity of each session at the start of the session. Additionally the protocol is constant-rounds. Our protocol is fully concurrent, and assumes only collision-resistant hash functions. The proof requires considerably different techniques than those of Persiano and Visconti. Our main technical tool is an adaptation of the “committed-simulator ” technique of Deng et. al [FOCS 09]. 1
Determination of Metastable Zone Width, Induction Period and Interfacial Energy of a Ferroelectric Crystal ‐ Potassium Ferrocyanide Trihydrate (KFCT) (2009)

An order‐disorder type potassium ferrocyanide trihydrate (KFCT) is a coordination compound forming lemon‐ yellow monoclinic ferroelectric crystals with curie temperature 251 K. KFCT crystals have been grown by temperature lowering solution growth technique. Solubility of KFCT has been determined for various temperatures. Metastable zone width, induction period and interfacial energy were determined for the aqueous solution of KFCT. Bulk crystal of potassium ferrocyanide trihydrate was grown with the optimized growth parameters. The grown crystal possesses good optical transmission in the entire UV‐Visible region
Portugal, science and resources in the last frontier (2011)

Portugal holds jurisdiction, and exclusive economic rights, over a very large area of the seabed. One of the main national objectives, at the present time, is to increase the rather limited knowledge that exists on the resources that may be contained herein.
RAD: a compile-time solution to buffer overflow attacks (2002)

Buffer overflow attack can inflict upon almost arbitrary programs and is one of the most common vulnerabilities that can seriously compromise the security of a network-attached computer system. This paper presents a compiler-based solution to the notorious buffer overflow attack problem. Using this solution, users can prevent attackers from compromising their systems by changing the return address to execute injected code, which is the most common method used in buffer overflow attacks. Return address defender (RAD) is a simple compiler patch that automatically creates a safe area to store a copy of return addresses and automatically adds protection code into applications that it compiles to defend programs against buffer overflow attacks. Using it to protect a program does not need to modify the source code of the protected programs. Moreover, RAD does not change the layout of stack frames, so binary code it generated is compatible with existing libraries and other object files. Empirical performance measurements on a fully operational RAD prototype show that programs protected by RAD only experience a factor of between 1.01 to 1.31 slow-down. In this paper we present the principle of buffer overflow attacks, a taxonomy of defense methods, the implementation details of RAD, and the performance analysis of the RAD prototype.
AntagonistXistandTsixco-transcription during mouse oogenesis and maternalXistexpression during pre-implantation development calls into question the nature of the maternal imprint on the X chromosome (2015)

During the first divisions of the female mouse embryo, the paternal X-chromosome is coated by Xist non-coding RNA and gradually silenced. This imprinted X-inactivation principally results from the apposition, during oocyte growth, of an imprint on the X-inactivation master control region: the X-inactivation center (Xic). This maternal imprint of yet unknown nature is thought to prevent Xist upregulation from the maternal X (X(M)) during early female development. In order to provide further insight into the X(M) imprinting mechanism, we applied single-cell approaches to oocytes and pre-implantation embryos at different stages of development to analyze the expression of candidate genes within the Xic. We show that, unlike the situation pertaining in most other cellular contexts, in early-growing oocytes, Xist and Tsix sense and antisense transcription occur simultaneously from the same chromosome. Additionally, during early development, Xist appears to be transiently transcribed from the X(M) in some blastomeres of late 2-cell embryos concomitant with the general activation of the genome indicating that X(M) imprinting does not completely suppress maternal Xist transcription during embryo cleavage stages. These unexpected transcriptional regulations of the Xist locus call for a re-evaluation of the early functioning of the maternal imprint on the X-chromosome and suggest that Xist/Tsix antagonist transcriptional activities may participate in imprinting the maternal locus as described at other loci subject to parental imprinting.
Test-Retest Qt-Dmri Datasets For "Non-Parametric Graphnet-Regularized Representation Of Dmri In Space And Time" (2017)

We release these four diffusion MRI data sets as part of our recent journal publication; Fick, Rutger H.J., et al. "Non-Parametric GraphNet-Regularized Representation of dMRI in Space and Time." <em>Medical Image Analysis</em> (2017). More detailed information about the use of these data sets can also be found in the publication. We acquired test-retest diffusion MRI spin echo sequences from two C57Bl6 wild-type mice on an 11.7 Tesla Bruker scanner. The test and retest acquisition were taken 48 hours from each other. The data consists of 80x160x5 voxels of size 110x110x500\(\mu\)m. Each data set consists of 515 Diffusion-Weighted Images (DWIs) spread over 35 acquisition shells. The shells are spread over 7 gradient strength shells with a maximum gradient strength of 491 mT/m, 5 pulse separation shells between [10.8 - 20.0]ms, and a pulse length of 5ms. We manually created a brain mask and corrected the data from eddy currents and motion artifacts using FSL's eddy. We then drew a region of interest in the middle slice in the corpus callosum, where the tissue is reasonably coherent. - The diffusion MRI data are contained in the files with 'dwis' in the name.<br> <br> - The corpus callosum masks are contained in the files with 'mask' in the name. - The acquisition parameters are contained in the .txt files.
Enhanced spin-torque in double tunnel junctions using a nonmagnetic-metal spacer (2015)

This study proposes an enhancement in the spin-transfer torque of a magnetic tunnel junction (MTJ) designed with double-barrier layer structure using a nonmagnetic metal spacer, as a replacement for the ferromagnetic material, which is traditionally used in these double-barrier stacks. Our calculation results show that the spin-transfer torque and charge current density of the proposed double-barrier MTJ can be as much as two orders of magnitude larger than the traditional double-barrier one. In other words, the proposed double-barrier MTJ has a spin-transfer torque that is three orders larger than that of the single-barrier stack. This improvement may be attributed to the quantum-well states that are formed in the nonmagnetic metal spacer and the resonant tunneling mechanism that exists throughout the system.
CO2-Catalysed conversion of carbohydrates to 5-hydroxymethyl furfural (2016)

CO<sub>2</sub> in water catalyzes the conversion of cellulose, starch, xylan, or glucose to HMF.
SILT: Scale-invariant line transform (2009)

Line matching is useful in many computer vision tasks such as object recognition, image registration, and 3D reconstruction. The literature on line matching has advanced in recent years, nevertheless, compared to other features (such as point and region matching approaches) it has made little progress. Especially, very few algorithms address the problem of image scaling. In this paper, we present a new line detection and matching algorithm that is invariant to image scale variation (SILT). The algorithm detects line segments as local extrema in the scale-space. Each detected line segment is represented in a distinctive manner using Haar-like features. PCA is further deployed to improve upon the compactness and robustness of representation. Experimental results demonstrate the effectiveness of the proposed approach to deal with image scale variations.
A 40 GHz VCO with 9 to 15% tuning range in 0.13 μm SOI CMOS (2003)

A 40 GHz fully-monolithic complementary VCO fabricated in IBM 0.13 /spl mu/m partially-depleted SOI CMOS technology is reported. The VCO operates at 1.5 V supply and draws 11.25 mW of power. The measured phase noise at 40 GHz is -109 dBc/Hz at 4 MHz offset from the carrier. At 1.5 V and 2 V V/sub DD/, the tuning range is 9% and 15% respectively, and the output power is -8 dBm and -5 dBm respectively. The VCO occupies a chip area of only 100 /spl mu/m by 100 /spl mu/m.
Chromogranin positive cells in colorectal carcinoma and transitional mucosa. (1995)

Neuroendocrine cell differentiation is controlled in transitional mucosa and the presence of chromogranin positive cells in carcinoma tissue does not influence the patient's prognosis.
Effects of COX and 5-LOX Pathways on Different Seizure Models (2022)

Abstract Purpose This study aimed to examine the relationship between epilepsy and COX/5-LOX inflammation pathways in the penicillin and pentylenetetrazole (PTZ) induced epilepsy models. Methods For this purpose, forty-two albino male Wistar rats were used in this study. In the penicillin and PTZ-induced epilepsy models, epileptiform activity was induced by injection of penicillin (500 IU, i.c) and PTZ (35 mg/kg, i.p, three times a week), respectively. Licofelone (20 mg/kg, i.p), a dual inhibitor of COX/5-LOX, and esculetin (20 mg/kg, i.p), a 5-LOX inhibitor, were given. In the penicillin-induced epilepsy model, ECoG activity was recorded for 180 min. In the PTZ-induced epilepsy model, both ECoG activity was recorded and behavioral parameters were performed. Results In the penicillin groups, both licofelone and esculetin decreased the mean spike frequency and amplitude during the experiments. In the PTZ groups, licofelone (20 mg/kg, i.p) was more effective than esculetin (20 mg/kg, i.p). Licofelone showed its protective effects both in ECoG activity and in behavioral parameters. Esculetin was less effective when compared to licofelone. Conclusion The electrophysiological and behavioral data from the present study indicated that inflammation pathways might have a crucial role in controlling epileptiform activity in rats. Licofelone might be a valuable candidate in advanced studies.
Computational rule-based approach for corner correction of non-Manhattan geometries in mask aligner photolithography (2019)

In proximity mask aligner photolithography, diffraction of light at the mask pattern is the predominant source for image shape distortions such as line end shortening and corner rounding. One established method to mitigate the impact of diffraction is optical proximity correction. This method relies on a deliberate sub-resolution modification of photomask features to counteract such shape distortions, with the goal to improve pattern fidelity and uniformity of printed features. While previously considered for masks featuring only rectangular shapes in horizontal or vertical orientation, called Manhatten geometries, we demonstrate here the capabilities of computational mask aligner lithography by extending optical proximity correction to non-Manhattan geometries. We combine a rigorous simulation method for light propagation with a particle-swarm optimization to identify suitable mask patterns adapt to each occurring feature in the mask. The improvement in pattern quality is demonstrated in experimental prints. Our method extends the use of proximity lithography in optical manufacturing, as required in a multitude of micro-optical devices.
Development of Chiral Bicyclic Triazolium Salt Organic Catalysts: The Importance of the N-Aryl Substituent (2007)

Abstract The development of a family of chiral bicyclic triazolium salts is described. Treatment of these salts with base provides a nucleophilic carbene which may be used as an organic catalyst for asymmetric acyl anion chemistry including the benzoin and Stetter reactions, and some recently developed redox chemistry. Throughout the development of these reactions, the nature of the N-aryl substituent on the triazole ring has proven to have a profound effect on both reactivity and selectivity. These observations have also paralleled those made by others using our family of catalysts.
Hierarchies of healing in gut mucosal injury. (2017)

The mucosal response to injury can best be understood as a complex layering of different responses that may be invoked depending upon the size and nature of the injury, the persistence of the injurious stimulus, and the availability of various trophic host factors that stimulate repair. There is a hierarchy of responses that ranges from small rapid resealing of acute apical membrane or single cell wounds through the long term attempt to heal a giant peptic ulcer or respond to inflammatory bowel disease. Although much previous attention has been paid to the local factors that regulate these pathways and responses, there is increasing interest in systemic factors that may act either by the production of cytokines and trophic factors or by the direct migration of bone marrow derived stem cells into the mucosal wound.
Synergistically Interacting Heterodisperse Polysaccharides (1993)

A controlled release tableting excipient system is described which is composed of synergistic heterodisperse polysaccharides together with a saccharide component. The excipient has uniform packing characteristics over a range of different particle size distributions and is capable of processing into tablets using either direct compression, following addition of drug and lubricant powder or conventional wet granulation. The synergism between the homo and heteropolysaccharide components of the excipient enables formulation manipulation of different rate- controlling mechanisms. The swelling and drug concentration gradient across the glassy and gelled regions of tablets prepared using drug/excipient blends were visualized using fluorescence imaging and quantified by digitized image analysis. Drug release from tablets containing the polysaccharide excipient system was found to be capable of control using a variety of different formulations and process methods to provide a variety of different release modalities which were capable of matrix-dimension independence. Controllability of drug release was achieved by manipulation of the synergistic interactions of the heterodisperse polysaccharides. A computer-aided pharmacokinetic model was used to predict likely in vivo drug blood levels from condition-independent in-vitro drug profiles. Phenylpropanolamine tablets containing the synergistic heterodisperse hydrogel excipient system used in the above study, were also used to provide in-vivo drug release data.
Acute cellular rejection of human renal tissue by adoptive transfer of allogeneic human peripheral blood mononuclear cells into chimeric rats: sequential gene expression of cytokines, chemokines and cytolytic effector molecules, and their regulation by CTLA-4–Ig (1999)

T(h)1- and T(h)2-related cytokines (IFN-gamma, IL-2, IL-4, IL-10), beta-chemokines (RANTES, macrophage inflammatory protein-1beta) and their receptor [chemotatic cytokine receptor (CCR) 5], and the cytolytic effector molecule [Fas ligand (FasL)] play an essential role in regulating and co-ordinating acute renal allograft rejection. A chimeric model of acute cellular rejection which involves subcapsular grafting of human renal tissue in the kidneys of immunodeficient rats and subsequent i.p. infusion of allogeneic human peripheral blood mononuclear cells (PBMC) was used to study cellular infiltration patterns and sequential intragraft gene expression of these key inflammatory mediators. We found that while all molecules are expressed within the human renal implant at specific time points following infusion of allogeneic human PBMC, peak mRNA expression of IFN-gamma, IL-2, RANTES and CCR5 is associated with a phase of human mononuclear infiltration and accumulation, prior to graft destruction (induction phase). A short burst of FasL gene expression is found at the end of induction and at the onset of graft deterioration. IL-4 mRNA, which is hardly detectable, and IL-10 mRNA, which appears early and persists throughout follow-up at high levels, both peak after the induction phase with the advent of graft destruction. Furthermore, treatment with CTLA-4-Ig, which hardly affects migration of human effector cells into graft tissue, is associated with a temporary reduction in gene transcript levels for all inflammatory mediators, especially IL-2 and IL-4, reduced apoptosis in the graft and amelioration of tissue injury. Thus, development of acute cellular rejection in our chimeric model involves a co-ordinated pattern of gene expression, in which CTLA-4-Ig promotes its effects by transient inactivation of infiltrating human cells.
ChemInform Abstract: Stereoselective Total Synthesis of (‐)‐Pumiliotoxin C by an Aqueous Intramolecular Acylnitroso Diels‐Alder Approach. (1996)

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.
Effect of incoherency on voiding dynamics in LMFBR wire-wrapped subassemblies (1977)

Current accident analysis tools (SAS, etc.) are based upon one-dimensional treatment of the sodium behavior in wire-wrapped subassemblies under accident conditions. As such, calculated values of sodium voiding rates (in the case of loss of flow (LOF) with failure to scram) and dryout and cladding failures (in the case of loss-of-pipe integrity (LOPI) with scram) are on the conservative side in view of the large radial temperature gradients existing at boiling inception. The purpose of this paper is to discuss the intrasubassembly incoherence effects including proposed modeling and experiments to determine the magnitude of these effects in a full-size LMFBR subassembly.
Endfunctional Polymers by Functionalization of Living Cationic Chain Ends with 1,1-Diphenylethylene (1995)

Abstract A new functionalization method has been developed for the synthesis of 2,2-diphenylvinyl(DPV)-telechelic polyisobutylene (PIB). First, living carbocationic polymerization (LCCP) of isobutylene (IB) is quantitatively end-quenched with a nonpolymerizable olefin, 1,1-diphenylethylene (DPE). This process yields a mixture of diphenyl substituted vinyl and tertiary chlorine endgroups. Treatment of the resulting polymer with potassium-tert-butoxide (tBuOK) leads to the quantitative formation of DPV-telechelic PIB which is a potential macroinitiator precursor for living anionic polymerizations.
Bring Forth New Ideas and Take Effective Measures in Energy Saving and Emission Reduction (2009)

The paper expounds the concept of constantly bringing forth new ideas in energy-saving and emission reduction,the difficult issues and the main problems existed in energy-saving and emission reduction work,and new measures to surmount them.It points out that only constantly bringing forth new ideas of development,strengthening the dynamics of law enforcement and management and implementing the responsibility of energy saving and emission reduction,developing the cyclic economy,saving energy and reducing emission from the origin,constructing good social environment and leading the way with the typical instance,can the achievements in energy saving and emission be gained.
Aberrant iron homeostasis, oxidative fiber enrichment, and activation of ketogenesis in muscle tissue of ISCU Myopathy patients (2012)

ISCU Myopathy, a disease characterized by life-long exercise intolerance and impaired mitochondrial oxidative metabolism, is caused by deficiency of the Fe-S cluster scaffold protein ISCU. We performed gene expression analysis on muscle biopsies from ISCU Myopathy patients to elucidate which molecular processes were transcriptionally remodeled in response to impaired Fe-S cluster assembly. We found that ISCU depletion led to increased expression of the mitochondrial iron importer MFRN2 and the rate-limiting heme biosynthetic enzyme ALAS1. Gene expression and histologic studies demonstrated that patient muscle composition was shifted towards fewer glycolytic muscle fibers, more oxidative fibers, and increased capillary abundance. Paradoxically, mitochondrial fatty acid uptake and oxidation genes were coordinately up-regulated in patient muscles despite dramatic impairments of aconitase and succinate dehydrogenase activities. The ketogenic enzymes HMGCS2 and BDH1 were also significantly up-regulated, as was the secreted starvation response hormone, FGF-21. We propose that ketogenesis may be initiated to restore free coenzyme A levels and shunt fatty acid oxidation products to distal respiration-competent tissues when TCA cycle and/or respiratory chain function is sufficiently impaired in affected patient muscle fibers. Moreover, our work shows that plasma FGF21 is a sensitive non-invasive biomarker of ISCU Myopathy, in addition to other mitochondrial myopathies.
Regulatory effects on inflammatory signaling by a phytogenic feed additive assessed in vitro and in vivo including RNA-sequencing (2019)

The worldwide trend towards a more prudent use of antibiotics has sparked the demand for alternative products to mimic the beneficial effects of feed additives. Restriction of the innate inflammatory response of animals might be one of the key mechanisms responsible for the observed growth promotion. Phytogenic feed additives harness the chemical richness offered by plants, which many are known to possess anti-inflammatory properties.
Observation cohort study of cause of death in patients with Duchenne muscular dystrophy (DMD) (2012)

Prior to the introduction of home mechanical ventilation (HMV), the major cause of death in patients with Duchenne muscular dystrophy (DMD) was respiratory failure. We performed an observational mortality cohort study of our DMD population over a 6 year period. As a large specialist centre we have a current population of 117 adult patients with DMD and 12.7% of our total patient population died in the 6 year period. Out of a total of 17 deaths in a six year period, only 35.2% died of respiratory failure with a mean age of 22.7 years, despite 76.5% of the patients being dependent on NIV. The major cause of death in this cohort was cardiac failure, with 58.8% of patients dying from cardiac complications at a mean age of 19.1 years. Cardiac death was only anticipated in one of the 10 cases, and this patient died in the home environment. These data support the need for early regular cardiac surveillance. In addition to the standard electrocardiographic and echocardiographic measurements, the use of extended electrocardiographic measurements may be required. This is supported by the current UK guidelines endorsing yearly screening for patients with DMD once over the age of 10 years. This project has been supported by the Guy9s & St Thomas9 Charity(Project Code: G080109) .