Miracle-dz/UniFAR-FTUs huggingface dataset:
NF consistency proof via construction of parent functions

parent function, definition begins, 26 abstract parent function, definition completed, 30 allowable permutation, 28 ambiguity, axiom scheme of, 13 anomaly of a near litter, 34 atom, irregular, 27 atoms, regular, 26 axiom of weak extensionality, 15 axiom scheme of ambiguity, 13 axioms of NF, 11 axioms of TST, 8, 10 Choice false in NF, 13 Choice, axiom of, 9 clan, 26 clan index, 27 coding function, defined, 34 coding function, restricted, 37 complexity condition on abstract parent sets, 29 complexity of an object, 29 comprehension in NF, 11 comprehension in TST, 8 comprehension in TSTλ, 10 comprehension, stratifiied, axiom of, 12 consistency of NFU, 16 double power set lemma, 41 downward extension relation on extended type indices, defined, 25 elementarity property of tangled webs, 23 Erdös-Rado theorem, 20 exception (of an allowable permutation), 30 extended type index, 23 extended type index, defined, 25 extension property for nice functions/maps, 33 extensionality in NF, 11 extensionality in TST, 8 extensionality in TSTλ, 10 Frankel-Mostowski construction, 38 hereditarily symmetric, 28 index, clan, 27 index, extended type, 25 index, type, 25 Infinity a theorem of NF, 13 Infinity, axiom of, 9 large set, defined, 25 litter, 26 local cardinal, 26 locally small bijection, 30
Monoclonal antibodies displaying a novel species specificity for the primate transformation‐related protein, p53.

SV40 large T antigen associates with a cellular phosphoprotein, p53, in virus‐transformed cells. We have raised three new monoclonal antibodies, PAb1101, PAb1102 and PAb1103, to this cellular protein, derived from SV40‐transformed human fibroblasts. These define at least two non‐overlapping determinants on human p53 that are in different areas of the molecule from those recognised by previously available antibodies. Unlike those antibodies, PAb1102 and PAb1103 do not react with rodent p53. PAb1101 reacts far more weakly with rodent p53 than with primate p53. All three antibodies show a preference for binding to the large T‐associated form of p53, an effect that is particularly marked with PAb1102. The novel specificity of these antibodies allows further probing of the nature and function of the large T/p53 complex in human cells.
Evidence that v-Src-induced phospholipase D activity is mediated by a G protein

v-Src-induced increases in diglyceride are derived from phosphatidylcholine via a type D phospholipase (PLD) and a phosphatidic acid phosphatase. v-Src-induced PLD activity, as measured by PLD-catalyzed transphosphatidylation of phosphatidylcholine to phosphatidylethanol, is inhibited by GDP beta S, which inhibits G-protein-mediated intracellular signals. Similarly, v-Src-induced increases in diglyceride are also blocked by GDP beta S. In contrast to the PLD activity induced by v-Src, PLD activity induced by the protein kinase C agonist, 12-O-tetradecanoylphorbol-13-acetate (TPA), was insensitive to GDP beta S. Consistent with the involvement of a G protein in the activation of PLD activity by v-Src, GTP gamma S, a nonhydrolyzable analog of GTP that potentiates G-protein-mediated signals, strongly enhanced PLD activity in v-Src-transformed cells relative to that in parental BALB/c 3T3 cells. The effect of GTP gamma S on PLD activity in v-Src-transformed cells was observed only when cells were prelabeled with [3H]myristate, which is incorporated exclusively into phosphatidylcholine, the substrate for the v-Src-induced PLD. There was no difference in the effect of GTP gamma S-induced PLD activity on v-Src-transformed and BALB/c 3T3 cells when the cells were prelabeled with [3H]arachidonate, which is not incorporated into phospholipids that are substrates for the v-Src-induced PLD. Similarly, GDP beta S inhibited PLD activity in v-Src-transformed cells much more strongly than in BALB/c 3T3 cells when [3H]myristate was used to prelabel the cells. The GTP-dependent activation of PLD by v-Src was dependent upon the presence of ATP but was unaffected by either cholera or pertussis toxin. These data suggest that v-Src induces PLD activity through a phosphorylation event and is mediated by a cholera and pertussis toxin-insensitive G protein.
Metabotropic P2 receptor activation regulates oligodendrocyte progenitor migration and development

To gain insights into the role of purinergic receptors in oligodendrocyte development, we characterized the expression and functional activity of P2 receptors in cultured rat oligodendrocyte progenitors and investigated the effects of ATP and its breakdown products on the migration and proliferation of this immature glial cell population. Using Western blot analysis, we show that oligodendrocyte progenitors express several P2X (P2X1,2,3,4,7) and P2Y (P2Y1,2,4) receptors. Intracellular Ca2+ recording by Fura‐2 video imaging allowed to determine the rank potency order of the P2 agonists tested: ADPβS = ADP = Benzoyl ATP > ATP > ATPγS > UTP, α,β‐meATP ineffective. Based on the above findings, on pharmacological inhibition by the antagonists oxATP and MRS2179, and on the absence of α,βmeATP‐induced inward current in whole‐cell recording, P2X7 and P2Y1 were identified as the main ionotropic and metabotropic P2 receptors active in OPs. As a functional correlate of these findings, we show that ATP and, among metabotropic agonists, ADP and the P2Y1‐specific agonist ADPβS, but not UTP, induce oligodendrocyte progenitor migration. Moreover, ATP and ADP inhibited the proliferation of oligodendrocyte progenitors induced by platelet‐derived growth factor, both in purified cultures and in cerebellar tissue slices. The effects of ATP and ADP on cell migration and proliferation were prevented by the P2Y1 antagonist MRS2179. By confocal laser scanning microscopy, P2Y1 receptors were localized in NG2‐labeled oligodendrocyte progenitors in the developing rat brain. These data indicate that ATP and ADP may regulate oligodendrocyte progenitor functions by a mechanism that involves mainly activation of P2Y1 receptors. © 2005 Wiley‐Liss, Inc.
Optical sensor integrated CNN for real-time computational applications

A previously implemented CNN layer based on a bio-inspired system model is integrated with optical sensors comprised of PN type photodiodes and the design is fabricated in CMOS technology. The implemented test chip is measured and obtained results are presented. The sensor integration marks a new step in prototyping of this system in CMOS, which allows the cell states to be programmed via light interactions, rather than successive state programming procedure which was utilized previously. It is shown that the cell input states in the network can be successfully introduced via exposure of the 2D array to a light source. The followed custom design methods and this remarkably compatible sensor integration can lead to compact on-chip solutions for real-time high performance applications, including but not limited to certain types of image processing
Lower Extremity Strength and Coordination are Independent Contributors to Maximum Vertical Jump Height

We previously reported that lower extremity muscular strength of older adults did not predict success of a balance recovery task. We propose that lower extremity coordination may limit performance independently of lower extremity strength. The present study was conducted to determine the extent to which knee extension strength and hip–knee coordination independently contribute to maximum vertical jump height. Maximum vertical jump height and isometric and isokinetic knee extension strength and power were determined in 13 young adults. Hip–knee coordination during the vertical jump was quantified using relative phase angles. Stepwise nonlinear multiple regression determined the variable set that best modeled the relationship between the dependent variable, maximum vertical jump height, and the independent variables of strength, power, and coordination. The quadratic terms of the normalized knee extension strength at 60 deg·s–1, and the average relative phase during the propulsion phase of the vertical jump.
Design a new confidant protocol for master mode TV band devices

In this paper we design a new protocol for confidentiality which can be applied in three scenarios. The first scenario does not need too many database modifications. We found that this protocol can offer a confident method for registration and all other messages between master/mode II devices and TV white space database (WSDB). The second scenario is tried to overcome of the delay of the first scenario registration, by let the Master mode pick a random number (Info_Number) and the answer of this number (Info_Value) and put it in the REG-REQ before send it to the WSD. But this needed a modification in the REG-REQ. The third scenario is needed another modification in the WSD by adding a new tow columns we call it MasterID and Password and then give any Master mode a MasterID and Password and the registration will need two steps, first one the Master sending its MasterID and the password, and the second step must use either Scenario 1 or Scenario 2.
Relational database writings: 1985-1989

Downloading the book in this website lists can give you more advantages. It will show you the best book collections and completed collections. So many books can be found in this website. So, this is not only this relational database writings 1985 1989. However, this book is referred to read because it is an inspiring book to give you more chance to get experiences and also thoughts. This is simple, read the soft file of the book and you get it.
HAF-based spectral analysis of first-order sea clutter in bistatic shipborne surface wave radar

Doppler frequency shifts of sea echoes in bistatic shipborne surface wave radar (BS-SWR) are simultaneously modulated by the velocity components projected from the motion of both platforms, and therefore the Doppler spectrum is much more complex than its counterparts in monostatic mode. In this paper, based on the dynamic geometric relationship among bistatic platforms and first-order sea clutter interferences, we claim that there exist dynamic Doppler-broadening components due to the unavoidably different motion of bistatic platforms. Then based on the built signal model of sea echoes only containing the first-order components, we analyze the time-varying characteristic via the high-order ambiguity function (HAF) method in both first- and second-order spectrum. By simulation results, finally, not only the above analysis is demonstrated, but also the difference are shown before and after attenuating the first-order sea clutter via an existing time-space cascaded filtering algorithm in both Doppler and acceleration domain, respectively.
On-line sampling-based control for network queueing problems

This thesis proposes novel on-line sampling algorithms for control in (possibly partially observable) Markov decision processes (MDPs). We emplay a receding horizon control framework. In this framework, we select a fixed sampling horizon and obtain an approximately optimal current action for that sampling horizon, taking that action at each decision time. We first discuss two distinguished previous efforts in this direction; a sampled look-ahead tree by Kearns et al. and the rollout algorithm by Bertsekas and Castanon, and then we propose two sampling-based control techniques called “parallel rollout” and “hindsight optimization”. Parallel rollout is a generalization of the Bertsekas rollout algorithm, and hindsight optimization is motivated by Ginsberg's Monte Carlo card play algorithm for computer bridge. In parallel rollout, we start with a small set of simple heuristic base policies that we wish to combine in an online fashion to generate a single controller. The approach yields a policy that is provably no worse at each state than the best of the base policies at that state. In hindsight optimization, the utility of taking an action is upper bounded by the average over many sampled traces of the (possibly discounted) reward sum of taking the action and then following the trace-relative optimal plan for the remaining horizon. The action with the highest utility upper bound is taken at each decision time. The utility estimate by hindsight optimization is an upperbound on the true utility whereas the estimate by parallel rollout is a lowerbound. As a “proof of concept” of parallel rollout and hindsight optimization, we formulate two resource allocation problems that arise in the telecommunication network area by partially observable MDPs: a buffer management problem and a multiclass packet scheduling problem with deadlines. The key feature of these two approaches is that, using our techniques, a given or learned stochastic model of network traffic can be effectively incorporated beneficially and tractably in making on-line network control decisions. We compare well-known non-sampling control policies and previously published sampling-based techniques with our proposed approaches, and show that our approaches improve on several known alternatives using empirical results based on simulated traffic.
A PET study of effects of chronic 3,4‐methylenedioxymethamphetamine (MDMA, “ecstasy”) on serotonin markers in Göttingen minipig brain

The psychostimulant 3,4‐methylendioxymethamphetamine (MDMA, “ecstasy”) evokes degeneration of telencephalic serotonin innervations in rodents, nonhuman primates, and human recreational drug users. However, there has been no alternative to nonhuman primates for studies of the cognitive and neurochemical consequences of serotonin depletion in a large‐bodied animal. Therefore, we used positron emission tomography (PET) with [11C]DASB to map the distribution of plasma membrane serotonin transporters in brain of Göttingen minipigs, first in a baseline condition, and again at 2 weeks after treatment with MDMA (i.m.), administered at a range of doses. In parallel PET studies, [11C]WAY‐100635 was used to map the distribution of serotonin 5HT1A receptors. The acute MDMA treatment in awake pigs evoked 1°C of hyperthermia. MDMA at total doses greater than 20 mg/kg administered over 2–4 days reduced the binding potential (pB) of [11C]DASB for serotonin transporters in porcine brain. A mean total dose of 42 mg/kg MDMA in four animals evoked a mean 32% decrease in [11C]DASB pB in mesencephalon and diencephalon, and a mean 53% decrease in telencephalic structures. However, this depletion of serotonin innervations was not associated with consistent alterations in the binding of [11C]WAY‐100635 to serotonin 5HT1A receptors. Stereological cell counting of serotonin‐positive neurons, which numbered 95,000 in the dorsal raphé nucleus of normal animals, was unaffected in MDMA‐treated group. group. Synapse 61:478–487, 2007. © 2007 Wiley‐Liss, Inc.
Acute Corneal Calcification Following Chemical Injury

Purpose: To describe the clinical and ultrastructural features of 3 cases of acute corneal calcification following accidental chemical injury. Methods: Three men presented over an 18-month period with unilateral eye injuries sustained when applying an industrial fire retardant. This product is predominantly a gypsum aggregate (calcium sulfate dihydrate) plaster combined under pressure with a set-time accelerator (aluminum sulfate). In each case the tear pH was initially alkaline, and the eyes were irrigated with phosphate-buffered saline according to protocol. Within hours a dense corneal opacity had developed that showed only minor resolution over 3 years of follow-up. Two eyes required corneal graft surgery for visual rehabilitation. Light and electron microscopy and energy dispersive analysis of x-rays (EDAX) was performed on excised tissue. Results: Light and electron microscopy showed dense mineralization of the anterior stroma with discrete crystalline deposits in the deeper stroma. EDAX of the crystals showed high emission peaks for calcium and phosphorus. Conclusions: The insolubility, elemental composition, and ultrastructural appearance suggest that the opacity was caused by calcium phosphate deposition. The absence of phosphorus from the listed components of the fire retardant suggests that the use of phosphate-buffered irrigation fluid or the subsequent use of phosphate-buffered drops may have contributed to the deposition of this insoluble crystalline deposit.
Image contrast reduction mechanism in full‐field optical coherence tomography

Correct interpretation of image contrast obtained with full‐field optical coherence tomography (FFOCT) technique is required for accurate medical diagnosis applications. In this work, first, the characteristics of microscopic structures of tissue that generate the contrast in en‐face tomographic image obtained with FFOCT are discussed. Then an overview is given of the parameters that affect image contrast. Finally, the contrast correction factor for correct image interpretation and the contrast limits to practical FFOCT systems are outlined.
TAp63 is a transcriptional target of NF‐κB

The p53 homologue p63 encodes multiple protein isoforms either with (TA) or without (ΔN) the N‐terminal transactivation domain. Accumulating evidence indicates that TAp63 plays an important role in various biological processes, including cell proliferation, differentiation, and apoptosis. However, how TAp63 is regulated remains largely unclear. In this study, we demonstrate that NF‐κB induces TAp63 gene expression. The responsible elements for NF‐κB‐mediated TAp63 induction are located within the region from −784 to −296 bp in the TAp63 promoter, which contains two NF‐κB binding sites. Ectopic expression of RelA stimulates TAp63 promoter‐driven reporter activity and increases endogenous TAp63 mRNA levels. Inhibition of NF‐κB by IκBα super‐repressor or with a chemical inhibitor leads to down regulation of TAp63 mRNA expression and activity. In addition, mutations in the critical NF‐κB‐binding sites significantly abolish the effects of NF‐κB on TAp63. Activation of NF‐κB by TNFα enhances p50/RelA binding to the NF‐κB binding sites. Furthermore, we show that an Sp1 site adjacent to the NF‐κB sites plays a role in NF‐κB‐mediated upregulation of TAp63. Taken together, these data reveal that TAp63 is a transcriptional target of NF‐κB, which may play a role in cell proliferation, differentiation and survival upon NF‐κB activation by various stimuli. J. Cell. Biochem. 109: 702–710, 2010. © 2010 Wiley‐Liss, Inc.
Path dependent options: The case of high water mark provision for hedge funds.

High Water Mark (HWM) provision is an important feature in the hedge fund industry. The framework of the option pricing with HWM provision for hedge funds is developed in this paper. The closed forms of HWM look-back put option, Russian option and stop-loss option are derived. We also obtain the internal relationship between HWM look-back put and the traditional look-back option. We show that HWM look-back put is cheaper than the traditional look-back put, and the higher the incentive fee, the lower the option price.
Detection of linkage under heterogeneity: Comparison of the two‐locus vs. admixture models

Linkage analysis under the two‐locus model and the admixture model was compared on pedigree data for a common disease simulated under a model of genetic heterogeneity. The ascertainment of families was designed so that the samples had a large proportion of families segregating for both disease loci. The two‐locus linkage analysis model did not demonstrate increased power of detecting linkage or more accurate estimates of the recombination fraction, θ than did the admixture model linkage analysis. When a sample was purposely chosen so that all of the families were segregating for both loci, then the two‐locus lod score analysis was better. However, the increased power depended on assuming the correct gene frequency for the linked locus. It can be concluded that under the conditions of genetic heterogeneity examined here, testing for linkage under the admixture model is the preferred method of analysis. However, this is not a general conclusion that can apply to all two‐locus disease models. Published 1992 by Wiley‐Liss, Inc.
MultiCode-RTx Real-Time PCR System for Detection of Subpopulations of K65R Human Immunodeficiency Virus Type 1 Reverse Transcriptase Mutant Viruses in Clinical Samples

ABSTRACT We report a real-time PCR assay capable of detecting drug-resistant human immunodeficiency virus type 1 reverse transcriptase K65R mutant virus at a level of 0.5% in polymorphic patient plasma specimens. Fifty-three treatment-naïve and 20 treatment-experienced specimens were successfully genotyped with the new method. Results were in agreement with population sequencing and the labor-intensive single-genome sequencing method.
Contributions to the Information Fusion : application to Obstacle Recognition in Visible and Infrared Images. (Contributions à la fusion des informations : application à la reconnaissance des obstacles dans les images visible et infrarouge)

To continue and improve the detection task which is in progress at INSA laboratory, we focused on the fusion of the information provided by visible and infrared cameras from the view point of an Obstacle Recognition module, this discriminating between vehicles, pedestrians, cyclists and background obstacles. Bimodal systems have been proposed to fuse the information at different levels:of features, SVM's kernels, or SVM’s matching-scores. These were weighted according to the relative importance of the modality sensors to ensure the adaptation (fixed or dynamic) of the system to the environmental conditions. To evaluate the pertinence of the features, different features selection methods were tested by a KNN classifier, which was later replaced by a SVM. An operation of modelsearch, performed by 10 folds cross-validation, provides the optimized kernel for the SVM. The results have proven that all bimodal VIS-IR systems are better than their corresponding monomodal ones.
High-density lipoprotein cholesterol values independently and inversely predict cardiac troponin T and I concentration.

BACKGROUND This retrospective study was planned to establish potential associations between circulating values of cardiac troponins and those of conventional blood lipids. METHODS The study population consisted of patients attending an inpatient clinic of the University Hospital of Verona during the year 2015 as part of routine cardiovascular risk assessment. No exclusion criteria were applied. Serum lipids including total cholesterol (TC), high-density lipoprotein cholesterol (HDL-C), low-density lipoprotein cholesterol (LDL-C) and triglycerides (TG) were measured using reference enzymatic techniques, whereas troponin T (TnT) was measured using a high-sensitivity (HS) immunoassay. A second analysis was also performed in the General Hospital of Verona, extracting data from the local laboratory database of all patients in whom troponin I (TnI) and blood lipids were simultaneously measured during the same year. RESULTS In univariate analysis, HS-TnT was found to be associated with age, sex, TC, LDL-C, HDL-C, but not with TG. In multivariate linear regression analysis, age (positive correlation; P<0.001) and HDL-C (negative correlation; P=0.032) remained significantly associated with HS-TnT. The frequency of HS-TnT values >50 ng/L was higher in subjects with HDL-C <1 mmol/L than in those with HDL-C ≥1 mmol/L [odds ratio (OR), 1.84; 95% confidence interval (CI), 1.03-3.32]. The frequency of HS-TnT values >50 ng/L was also higher in elderly subjects than in younger ones (OR, 2.10; 95% CI, 1.15-3.84). The combination of age and HDL-C explained 35% of overall variability of TnT concentration. In the second analysis, HDL-C was also found to be an independent and negative predictor of TnI in multivariate linear regression analysis (P=0.010). The combination of age and HDL-C explained approximately 28% of the overall variability of TnI concentration. CONCLUSIONS Our study suggests that HDL-C values inversely predict cardiac troponins concentration irrespective of age, sex and other blood lipids.