gebhart/patrepeval huggingface dataset:
A Hash-based Approach for Functional Regularity Extraction During Logic Synthesis (2007)

Performance, power, and functionality, yield and manufacturability are rapidly becoming additional critical factors that must be considered at higher levels of abstraction. A possible solution to improve yield and manufacturability is based on the detection of regularity at logic level This paper focuses its attention on regularity extraction, after technology independent logic synthesis, to detect recurring functionalities during logic synthesis and thus constraining the physical design phase to exploit the regular netlist produced. A fast heuristic to the template identification is proposed and analyzed on a standard set of benchmarks both sequential and combinational.
Love As If (2011)

The primary focus here is romantic love, but it may be applied to other cases of love such as those within a family. The first issue is whether love is a non-rational occurrence leading to a state of affairs to which the normative constrains of reason do not apply. If one assumes that reasons are relevant to determining love, then the second issue is the manner in which love is and should be reasonable and governed by the indications of reason. It is contended that our conception of love is inherently contradictory. Depending on circumstances, we want love to be both a non-rational occurrence beyond reason and something normative such that the indications of reasons are relevant to determining and assessing it. We alternate between the two treatments of love and in so doing love can function in our lives. The incoherence is accommodated by each treatment or view of love being one of as if. This allows us to live with love in a manner whereby we do not have to definitively commit to either alternative, so we have a dipolar as if concept of love. Sometimes we view love as if reasons were beside the point and at others we view love as if it were rightly subject to the indications of reason.
Object Correlation and Maneuver Detection Using Optimal Control Performance Metrics (2010)

Abstract : Object correlation and maneuver detection are persistent problems in space surveillance and space object catalog maintenance. This paper demonstrates the utility of using quadratic trajectory control cost, an analog to the trajectory L2-norm in control, as a distance metric with which to both correlate object tracks and detect maneuvers using Uncorrelated Tracks (UCTs), real-time sensor measurement residuals, and prior state uncertainty. State and measurement uncertainty are incorporated into the computation, and distributions of optimal control usage are computed. Both UCT correlation as well as maneuver detection are demonstrated in several scenarios Potential avenues for future research and contributions are summarized.
Performance of shared-memory switches under multicast bursty traffic (1997)

We study shared-memory switches under multicast bursty traffic and characterize the relation between their performance and the multicast distribution that defines the mix of multicast traffic arriving at the switches. We consider two schemes that have been used in practical realizations of these switches to replicate multicast cells: (1) replication-at-receiving (RAR), where multiple copies of a multicast cell are stored in the buffer and served independently, and (2) replication-at-sending (RAS), where a single instance of a multicast cell is stored in the buffer, and the cell is replicated as it is transmitted to the output ports. For each scheme, we study two configurations: (1) the shared-memory-only (SMO) configuration, where the bandwidth of the replication mechanism is sufficient to accommodate even the worst-case replication requirements, and (2) the shared-memory-with-replication-first-in-first-out (SM+RFIFO) configuration, where the bandwidth of the replication mechanism is lower than that required by the worst case, and thus an additional buffer is used in front of the shared memory to temporarily store cells while they are replicated. For all cases, using simulation, we find upper bounds for the buffer requirements to achieve a desired cell-loss rate. We show that these upper bounds are significantly larger than the buffer requirements under unicast traffic and are approached even for very small volumes of multicast traffic; thus, these upper bounds should be used in practice to size the buffers to achieve the desired performance under traffic with general multicast distributions. We also study shared-memory switches with output demultiplexers and characterize and compare the different multicasting schemes that are used in these switches.
Effectiveness of the Simultaneous Stretching of the Achilles Tendon and Plantar Fascia in Individuals With Plantar Fasciitis (2017)

II, lesser quality RCT or prospective comparative study.
Evaluation of multiple-sphere head models for MEG source localization (2011)

Magnetoencephalography (MEG) source analysis has largely relied on spherical conductor models of the head to simplify forward calculations of the brain's magnetic field. Multiple- (or overlapping, local) sphere models, where an optimal sphere is selected for each sensor, are considered an improvement over single-sphere models and are computationally simpler than realistic models. However, there is limited information available regarding the different methods used to generate these models and their relative accuracy. We describe a variety of single- and multiple-sphere fitting approaches, including a novel method that attempts to minimize the field error. An accurate boundary element method simulation was used to evaluate the relative field measurement error (12% on average) and dipole fit localization bias (3.5 mm) of each model over the entire brain. All spherical models can contribute in the order of 1 cm to the localization bias in regions of the head that depart significantly from a sphere (inferior frontal and temporal). These spherical approximation errors can give rise to larger localization differences when all modeling effects are taken into account and with more complex source configurations or other inverse techniques, as shown with a beamformer example. Results differed noticeably depending on the source location, making it difficult to recommend a fitting method that performs best in general. Given these limitations, it may be advisable to expand the use of realistic head models.
RhoA and Rho Kinase Regulate the Epithelial Na+/H+ Exchanger NHE3 (2000)

The activity of the Na(+)/H(+) exchanger NHE3 isoform, which is found primarily in epithelial cells, is sensitive to the state of actin polymerization. Actin assembly, in turn, is controlled by members of the small GTPase Rho family, namely Rac1, Cdc42, and RhoA. We therefore investigated the possible role of these GTPases in modulating NHE3 activity. Cells stably expressing NHE3 were transiently transfected with inhibitory forms of Rac1, Cdc42, or RhoA and transport activity was assessed using microfluorimetry. NHE3 activity was not adversely affected by either dominant-negative Rac1 or Cdc42. By contrast, the inhibitory form of RhoA greatly depressed NHE3 activity, without noticeably altering its subcellular distribution. NHE3 activity was equally reduced by inhibiting p160 Rho-associated kinase I (ROK), a downstream effector of RhoA, with the selective antagonist Y-27632 and a dominant-negative form of ROK. Furthermore, inhibition of ROK reduced the phosphorylation of myosin light chain. A comparable net dephosphorylation was achieved by the myosin light chain kinase inhibitor ML9, which similarly inhibited NHE3. These data suggest that optimal NHE3 activity requires a functional RhoA-ROK signaling pathway which acts, at least partly, by controlling the phosphorylation of myosin light chain and, ultimately, the organization of the actin cytoskeleton.
Major Proteins of Bovine Seminal Plasma and High-Density Lipoprotein Induce Cholesterol Efflux from Epididymal Sperm1 (1998)

One of the hypotheses to explain the mechanism of capacitation involves the loss of sperm membrane cholesterol. Here, we studied whether or not the major proteins of bovine seminal plasma designated as BSP-A1, -A2, -A3, and -30-kDa (collectively called BSP proteins), which are implicated in sperm capacitation, induce cholesterol efflux. When epididymal sperm were labeled with [3H]cholesterol and incubated with bovine seminal plasma (0.05-2%) or BSP proteins (20-120 microg/ml) for 8 h, the sperm lost [3H]cholesterol (3.6-fold and 3-fold, respectively). The same results in the presence of BSP-A1/-A2 were obtained (3.5-fold) by direct determination of cholesterol on unlabeled epididymal sperm. Analysis of efflux particles by ultracentrifugation on a sucrose gradient revealed a single symmetrical peak of radioactivity at 1.14 g/ml. Immunoblotting of the fractions obtained from size-exclusion chromatography of the efflux particles showed that a portion of the BSP proteins were associated with [3H]cholesterol. Heparin (12 microg/ml) alone did not stimulate cholesterol efflux. In contrast, high-density lipoprotein (HDL, 100 microg/ml) alone stimulated cholesterol efflux up to 3.1-fold after 8 h. When labeled epididymal sperm were preincubated for 20 min with BSP-A1/-A2 (120 microg/ml), washed, and incubated with HDL (100 microg/ml) for 8 h, the total cholesterol efflux of the sperm suspension was 51.8 +/- 5.0% compared to 39.3 +/- 1.2% when HDL alone was used. These results indicate that BSP proteins and HDL play an important role in the sperm sterol efflux that occurs during capacitation. Furthermore, the heparin-induced sperm capacitation did not involve the efflux of sperm membrane cholesterol.
<title>Advances in the development of lanthanide macrocyclic complexes as luminescent biomarkers</title> (1996)

The development of peripherally substituted europium(III)-macrocycles suitable as luminescent bio-markers was continued in three related areas. (1) Protocols were established for the coupling of NCS-substituted Eu-macrocycles to proteins and for the mounting on microscope slides of particles labeled with luminescent Eu-macrocycles. The emission/excitation spectra of the dried, slide-mounted particles were investigated. (2) A procedure was developed for the synthesis of lanthanide-macrocycles having a single peripheral functionality. The structure and properties of the mono-functionalized macrocyclic complexes were established. (3) A study was undertaken to explore whether the emission intensity of the Eu-macrocycles can be increased by energy transfer from yttrium(III) complexes. Preliminary results have shown that a considerable luminescence enhancement can be achieved by this method. The results obtained in these three areas are evaluated in the light of the research reported by other investigators.
Bio-ink for on-demand printing of living cells (2012)

Drop-on-demand bioprinting allows the controlled placement of living cells, and will benefit research in the fields of tissue engineering, drug screening and toxicology. We show that a bio-ink based on a novel microgel suspension in a surfactant-containing tissue culture medium can be used to reproducibly print several different cell types, from two different commercially available drop-on-demand printing systems, over long printing periods. The bio-ink maintains a stable cell suspension, preventing the settling and aggregation of cells that usually impedes cell printing, whilst meeting the stringent fluid property requirements needed to enable printing even from many-nozzle commercial inkjet print heads. This innovation in printing technology may pave the way for the biofabrication of multi-cellular structures and functional tissue.
Characteristics of High Voltage Vortex-Stabilized Arc Heaters (1964)

Phenomena occurring in a particular vortex-stabilized geometry are discussed. In arc heaters of this type, voltage increases linearly with flow and with size. The level of performance for various sizes is both predictable and fairly constant. Smoke techniques have elucidated re-entrant flow patterns associated with the vortex flow, and windows permit studying the effect of an auxiliary magnetic field on arc rotation. Measurements of effluent fluctuations are reported.
La radio en Belgique (1930)

info:eu-repo/semantics/published
Alkahest for V<sub>2</sub>VI<sub>3</sub> Chalcogenides: Dissolution of Nine Bulk Semiconductors in a Diamine-Dithiol Solvent Mixture (2013)

The ability to solution deposit semiconductor films has received a great deal of recent attention as a way to potentially lower costs for many optoelectronic applications; however, most bulk semiconductors are insoluble in common solvents. Here we describe a novel and relatively nonhazardous binary solvent mixture comprised of 1,2-ethanedithiol and 1,2-ethylenediamine that possesses the remarkable ability to rapidly dissolve a series of nine bulk V2VI3 chalcogenides (V = As, Sb, Bi; VI = S, Se, Te) at room temperature and atmospheric pressure. After solution deposition and low-temperature annealing, the chalcogenides can be fully recovered as good quality, highly crystalline thin films with negligible organic content, as demonstrated for Sb2Se3 and Bi2S3.
Rapis stomatal and photosynthetic responses of Vitis berlandieri leaves after petiole excision in water (2015)

Excision of petioles of Vitis berlandieri leaves in water caused a transient decline of stomatal conductance within 30-50 s at high and low leaf water potentials. The time of the subsequent recovery of stomatal conductance to the starting point increased with decreasing leaf water potentials (r = -0.969). R is concluded that the rapid increase of pressure in xylem vessels after excision in water is transmitted directly to the epidermis and the stomata bypassing the mesophyll cells. The transient decrease of photosynthesis observed briefly after petiole excision in water is caused by pressure changes in xylem and by transient stomatal closure and not - as has been shown for other species - by inhibitory solutes originating from the wounded cells of the petiole. This is demonstrated by (1) the instantaneous reversibility of the transient reactions of stomata and photosynthesis by withholding water, (2) the hydraulic signals moving in apical and basal direction in vines, (3) the photosynthesis to stomatal conductance ratio being constant during the experiment, (4) the determination of the dark respiration which remained constant after excision of petioles.
Efectos procesales del sobreseimiento que se decrete en las ejecuciones hipotecarias como consecuencia de la Sentencia del Tribunal Supremo de 11 de septiembre de 2019 (2019)

La Sentencia del Tribunal Supremo 463/2019, de 11 de septiembre, fija las pautas a seguir en los procedimientos de ejecucion hipotecaria promovidos en virtud de un prestamo hipotecario que se haya dado por vencido en virtud de una clausula de vencimiento anticipado que sea considerada abusiva. En este trabajo se delimitan los efectos procesales del sobreseimiento de las ejecuciones hipotecarias que se decrete de conformidad con los criterios establecidos por el Tribunal Supremo. Para ello, se atiende a las distintas situaciones en las que pueden encontrarse las ejecuciones que deban sobreseerse.
Rewritable phase-change optical recording in Ge2Sb2Te5 films induced by picosecond laser pulses (2004)

The phase transformation dynamics induced in Ge2Sb2Te5 films by picosecond laser pulses were studied using real-time reflectivity measurements with subnanosecond resolution. Evidence was found that the thermal diffusivity of the substrate plays a crucial role in determining the ability of the films to crystallize and amorphize. A film/substrate configuration with optimized heat flow conditions for ultrafast phase cycling with picosecond laser pulses was designed and produced. In this system, we achieved reversible phase transformations with large optical contrast (&gt;20%) using single laser pulses with a duration of 30 ps within well-defined fluence windows. The amorphization (writing) process is completed within less than 1 ns, whereas crystallization (erasing) needs approximately 13 ns to be completed.
T cell homeostasis in patients with rheumatoid arthritis (2000)

The immune system is equipped with an extremely large spectrum of structurally diverse receptors to recognize all potential antigens. This fundamental principle of receptor diversity is no longer upheld in patients with rheumatoid arthritis (RA), who have a marked contraction of the T cell receptor repertoire. In this study, the ability of RA patients to produce T cells and to maintain T cell homeostasis was examined. CD4 T cells containing T cell receptor rearrangement excision circles (TREC) were substantially reduced in RA patients; TREC levels in young adult patients matched those of controls 20 years older. Increased self-replication of T cells in RA was indicated by age-inappropriate erosion of telomeres in circulating T cells with almost complete attrition of telomeric reserves in patients 20-30 yr of age. The degree of telomere loss was not related to disease duration or the use of disease-modifying medication and was most pronounced in CD4(+)CD45RO(null) (naive) T cells. The loss of TREC-positive T cells could be a consequence of a primary defect in peripheral T cell homeostasis. Alternatively, RA patients may have impaired thymic function with the increased turnover of peripheral T cells being a secondary compensatory event.
Immune disease variants modulate gene expression in regulatory CD4+ T cells and inform drug targets (2019)

Abstract Identifying cellular functions dysregulated by disease associated variants could implicate novel pathways for drug targeting or modulation in cell therapies. Variants associated with immune diseases point towards the role of CD4+ regulatory T cells (Tregs), cell type critical for immune homeostasis. To translate the effects of immune disease alleles on Treg function we mapped genetic regulation (QTL) of gene expression and chromatin activity in Tregs. We identified 123 loci where Treg QTLs colocalized with immune disease variants. These colocalizations indicated that dysregulation of key Treg pathways, including cell activation via CD28 and IL-2 signalling mediated by STAT5A contribute to the shared pathobiology of immune diseases. Finally, using disease GWAS signals colocalizing with Treg QTLs, we identified 34 known drug targets and 270 targets with drug tractability evidence. Our study is the first in-depth characterization of immune disease variant effects on Treg gene expression modulation and dysregulation of Treg function.
The coded orthogonal frequency division multiplexing (COFDM) technique, and its application to digital radio broadcasting towards mobile receivers (2003)

A system which is able to broadcast at high data rates in a selective Rayleigh channel is presented. This technique combines an orthogonal frequency division multiplexing technique and a convolutional coding scheme associated with a Viterbi decoding algorithm. This system is able to benefit from wideband transmission by employing the information contained in all the echoes of the multipath channel while having a very good spectral efficiency and a low computational complexity. The authors present the theoretical principles of the system. They describe the realization of a complete COFDM (coded orthogonal frequency division multiplexing) system, designed within the framework of the DAB (digital audio broadcasting) EUREKA 147 project, which is able to broadcast at 5.6 Mb/s in a bandwidth of 7 MHz. At present, this rate corresponds to 16 high-quality stereophonic programs. Network aspects are pointed out as far as the introduction of a new radio broadcasting service is concerned.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Transdermal absorption of topical anti‐acne agents in man; review of clinical pharmacokinetic data (1998)

The limited transdermal uptake of topical anti-acne agents underpins their safe use in daily clinical practice. With respect to topical retinoids, formal consensus is lacking regarding their use in pregnancy.
Analisa Akurasi Dimensi Produk Model Tiga Dimensi (3D) dari Investmen Gypsum Berbasis Layer Manufacturyng Technology (2009)

Layer manufacturing is now becoming one of solution in prototyping of a manufacturing product in order to speed up introduction to market. One method of layer manufacturing technology is using material powder and binder to consolidate the powder into a certain shape. This paper presents the results of experiment on dimension accuracy analysis of a prototype made of powder-water. Material has been used in the research was investment gypsum and water was treated as a binder. Three models with a basic geometry shape as a standard geometric i.e. cube, prism and cylinder, have been used as samples to be analyzed its dimension accuracy. Analysis was carried out by applying statistic method 'One Sample T-test' to compare CAD and models. The results show that there were in agreement between the CAD dimension and models for length. width and height of the cube, and height of the prism and diameter of the cylinder.\n\nKeywords: dimension accuracy, investment gypsum, statistic, layer manufacturing.
Conductivities and Transport Properties of Gelled Electrolytes with and without an Ionic Liquid for Li and Li-Ion Batteries (2005)

Conductivity and transport properties have been determined for gelled polymer electrolytes of three compositions: a base PVdF-polymer gel with organic carbonate solvents as plasticizers and LiN(SO(2)C(2)F(5))(2) electrolyte, a second polymer electrolyte with 5 mass % 1-ethyl-3-methylimidazolium bisperfluoroethylsulfonyl imide (EMI-BETI) added to the base polymer electrolyte, and a third PVdF polymer electrolyte using only EMI-BETI as the plasticizer. Conductivities were studied over the temperature range +25 to -40 degrees C, and for all three gels, the temperature dependence of the conductivities was found to follow the VTF equation, which is consistent with the free volume model for ion transport. For the gel containing 5 mass % EMI-BETI, transport numbers were determined from +50 to -20 degrees C and were found to decrease as the temperature decreased. Although there are no theoretical models to treat and interpret the temperature dependence of transport numbers, we found that a modified VTF equation resulted in an excellent fit to the temperature dependence of the transport number, which is another confirmation of a free volume model for transport in these gelled polymer electrolytes.
A Postmigrational Switch among Skin-Derived Dendritic Cells to a Macrophage-Like Phenotype Is Predetermined by the Intracutaneous Cytokine Balance (2006)

Migration of dendritic cells (DC) to secondary lymphoid organs under proinflammatory conditions coincides with their maturation and acquisition of T cell stimulatory abilities. In contrast, impaired activation of DC, e.g., in tumor-conditioned environments, may hamper their activation and possibly their subsequent migration to lymph nodes, leading to either immunological tolerance or ignorance, respectively. In this study, the influence of cytokines in the peripheral skin microenvironment on the activation state of migrating cutaneous DC was assessed using an ex vivo human skin explant model. We observed a phenotypic shift from mature CD83(+) DC to immature CD14(+) macrophage-like cells within 7 days subsequent to migration from unconditioned skin. These macrophage-like cells displayed a poor T cell stimulatory ability and lacked expression of CCR7, thus precluding their migration to paracortical T cell areas in the lymph nodes. The balance of suppressive and stimulatory cytokines during the initiation of migration decided the postmigrational fate of DC with IL-10 accelerating and GM-CSF and IL-4 preventing the phenotypic switch, which proved irreversible once established. These observations indicate that, in immunosuppressed environments, a postmigrational DC-to-macrophage shift may hinder T cell activation, but also that it may be prevented by prior conditioning of the tissue microenvironment by GM-CSF and/or IL-4.