gebhart/patrepeval huggingface dataset:
The Complexity of General-Valued CSPs (2015)

An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates infeasible assignments. The goal is to find an assignment of labels to the variables that minimizes the sum. We study (assuming that P ≠ NP) how the complexity of this very general problem depends on the set of functions allowed in the instances, the so-called constraint language. The case when all allowed functions take values in {0, ∞} corresponds to ordinary CSPs, where one deals only with the feasibility issue and there is no optimization. This case is the subject of the Algebraic CSP Dichotomy Conjecture predicting for which constraint languages CSPs are tractable and for which NP-hard. The case when all allowed functions take only finite values corresponds to finite-valued CSP, where the feasibility aspect is trivial and one deals only with the optimization issue. The complexity of finite-valued CSPs was fully classified by Thapper and Zivny. An algebraic necessary condition for tractability of a general-valued CSP with a fixed constraint language was recently given by Kozik and Ochremiak. As our main result, we prove that if a constraint language satisfies this algebraic necessary condition, and the feasibility CSP corresponding to the VCSP with this language is tractable, then the VCSP is tractable. The algorithm is a simple combination of the assumed algorithm for the feasibility CSP and the standard LP relaxation. As a corollary, we obtain that a dichotomy for ordinary CSPs would imply a dichotomy for general-valued CSPs.
BI batch manager (2008)

Modern enterprise data warehouses have complex workloads that are notoriously difficult to manage. An important problem in workload management is to run these complex workloads 'optimally'. Traditionally this problem has been studied in the OLTP (Online Transaction Processing) context where MPL (Multi Programming Level) is used as a knob to achieve optimality. However, MPL is a tricky knob in a BI (Business Intelligence) scenario, since a low MPL can easily result in underload and a high MPL can easily result in overload and 'thrashing'.
An Operando calorimeter for high temperature electrochemical cells (2020)

Abstract Operando calorimetry has previously been utilized to study electrochemical reactions and degradation in electrochemical cells such as batteries. Calorimetric data can provide important information on the lifetime and thermal properties of electrochemical cells in practical engineering applications such as thermal management. High temperature electrochemical cells such as solid oxide fuel cells or electrolyzers can also benefit from operando calorimetry, but to the authors’ knowledge such capabilities have not been commercially developed. Herein, an operando calorimeter is reported that is capable of simultaneous calorimetry and electrochemistry at temperatures up to 1000 °C and in both oxidizing and reducing atmospheres. The calorimeter is constructed by modifying a commercial apparatus originally designed to study high temperature electrochemical cells in various gas environments. A grey-box, nonlinear system identification model is utilized to analyze both electrochemical and calorimetric data of BaZr 0.8 Ce 0.1 Y 0.1 O 3 based electrochemical cells and achieve a calorimeter electrochemical cell power sensitivity of 16.1 ± 11.7 mW. This operando calorimeter provides the capability to study thermal behaviour of electrochemical cells at elevated temperatures.
Free Space Optics Communication for Ultra-High-Speed Train Running in Evacuated Tube (2022)

This paper develops a novel communication method for an ultra-high-speed train that runs in an evacuated tube. The proposed method significantly reduces the number of needed base stations to provide adequate coverage and data rates. Moreover, the time connectivity for each base station was enhanced considerably. The proposed method can provide improvements in terms of transmitted power and received power, either fixed or variable; this method offers a fixed or variant data rate. Moreover, the paper studies the effects of the divergence angle on transmitted and received power. Additionally, the proposed communication procedure might produce a system with a fixed data rate, such as 1.25 Gbps. It can also create a design with adaptive divergence angles (that can be altered dynamically) depending on the train distance to the base station. The results show that this method is promising for working for an ultra-high-speed train that runs in an evacuated tube. It can reduce the base stations number from 500 to less than 10 base stations with respect to the data rate and power consumption. Furthermore, a new handover method is proposed and addressed in this work.
IL-10 is induced during HIV-1 infection and is capable of decreasing viral replication in human macrophages. (1994)

IL-10 has been shown to be capable of down-regulating several aspects of macrophage function. This study was undertaken to define the association between IL-10 and HIV-1 infection in human macrophages. Infection of macrophages with a monocytotropic strain of the human immunodeficiency virus, HIV-BaL, resulted in expression of IL-10 mRNA within 3 to 12 h after infection, as determined by the reverse transcriptase PCR. Biologically active IL-10 was detected in supernatants from HIV-1-infected macrophages as early as 12 h post-infection. The addition of human rIL-10 to HIV-1-infected macrophage cultures resulted in a significant decrease in the viral replication. In addition, exogenous IL-10 blocked the ability of TNF-alpha to elevate viral replication. To determine whether IL-10 was associated with in vivo infection, lymph nodes from AIDS patients were examined for the presence of IL-10 mRNA by using PCR. IL-10 mRNA was evident in all lymph node tissue examined, but was absent in normal lymph node biopsies. These in vitro and in vivo findings demonstrate a strong and heterogeneous association between HIV-1 infection and IL-10.
ReActNet: Temporal Localization of Repetitive Activities in Real-World Videos (2019)

We address the problem of temporal localization of repetitive activities in a video, i.e., the problem of identifying all segments of a video that contain some sort of repetitive or periodic motion. To do so, the proposed method represents a video by the matrix of pairwise frame distances. These distances are computed on frame representations obtained with a convolutional neural network. On top of this representation, we design, implement and evaluate ReActNet, a lightweight convolutional neural network that classifies a given frame as belonging (or not) to a repetitive video segment. An important property of the employed representation is that it can handle repetitive segments of arbitrary number and duration. Furthermore, the proposed training process requires a relatively small number of annotated videos. Our method raises several of the limiting assumptions of existing approaches regarding the contents of the video and the types of the observed repetitive activities. Experimental results on recent, publicly available datasets validate our design choices, verify the generalization potential of ReActNet and demonstrate its superior performance in comparison to the current state of the art.
Automotive Power Generation and Control (2004)

This paper describes some new developments in the application of power electronics to automotive power generation and control. A new load-matching technique is introduced that uses a simple switched-mode rectifier to achieve dramatic increases in peak and average power output from a conventional Lundell alternator, along with substantial improvements in efficiency. Experimental results demonstrate these capability improvements. Additional performance and functionality improvements of particular value for high-voltage (e.g., 42 V) alternators are also demonstrated. Tight load-dump transient suppression can be achieved using this new architecture. It is also shown that the alternator system can be used to implement jump charging (the charging of the high-voltage system battery from a low-voltage source). Dual-output extensions of the technique (e.g., 42/14 V) are also introduced. The new technology preserves the simplicity and low cost of conventional alternator designs, and can be implemented within the existing manufacturing infrastructure.
Distortion-Aware Self-Supervised 360° Depth Estimation from A Single Equirectangular Projection Image (2022)

360° images are widely available over the last few years. This paper proposes a new technique for single 360° image depth prediction under open environments. Depth prediction from a 360° single image is not easy for two reasons. One is the limitation of supervision datasets - the currently available dataset is limited to indoor scenes. The other is the problems caused by Equirectangular Projection Format (ERP), commonly used for 360° images, that are coordinate and distortion. There is only one method existing that uses cube map projection to produce six perspective images and apply self-supervised learning using motion pictures for perspective depth prediction to deal with these problems. Different from the existing method, we directly use the ERP format. We propose a framework of direct use of ERP with coordinate conversion of correspondences and distortion-aware upsampling module to deal with the ERP related problems and extend a self-supervised learning method for open environments. For the experiments, we firstly built a dataset for the evaluation, and quantitatively evaluate the depth prediction in outdoor scenes. We show that it outperforms the state-of-the-art technique
Supplementary Data from Efficient Tumor Clearance and Diversified Immunity through Neoepitope Vaccines and Combinatorial Immunotherapy (2023)

&lt;p&gt;Supplementary figures and tables&lt;/p&gt;
Shear thickening and jamming in densely packed suspensions of different particle shapes (2021)

We investigated the effects of particle shape on shear thickening in densely packed suspensions. Rods of different aspect ratios and non-convex hooked rods were fabricated. Viscosity curves and normal stresses were measured using a rheometer for a wide range of packing fractions for each shape. Suspensions of each shape exhibit qualitatively similar Discontinuous Shear Thickening. The logarithmic slope of the stress/shear-rate relation increases dramatically with packing fraction and diverges at a critical packing fraction phi_c which depends on particle shape. The packing fraction dependence of the viscosity curves for different convex shapes can be collapsed when the packing fraction is normalized by phi_c. Intriguingly, viscosity curves for non-convex particles do not collapse on the same set as convex particles, showing strong shear thickening over a wider range of packing fraction. The value of phi_c is found to coincide with the onset of a yield stress at the jamming transition, suggesting the jamming transition also controls shear thickening. The yield stress is found to correspond with trapped air in the suspensions, and the scale of the stress can be attributed to interfacial tension forces which dramatically increase above phi_c due to the geometric constraints of jamming. The relationship between shear and normal stresses is found to be linear in both the shear thickening and jammed regimes, indicating that the shear stresses come from friction. In the limit of zero shear rate, normal stresses pull the rheometer plates together due to the surface tension of the liquid below phi_c, but push the rheometer plates apart due to jamming above phi_c.
The Impact of Liposuction Cannula Size on Adipocyte Viability (2012)

Purpose Autologous fat transfer (“fat grafting”) is widely used in cosmetic and reconstructive surgery, but long-term outcomes remain inconsistent. Each step in the transfer process can cause mechanical damage to the graft tissue. In particular, liposuction breaks aspirated adipose tissue into distinct globules and subjects it to shear forces, both of which can impact subsequent fat graft viability. The optimal size of the liposuction cannula for use in fat grafting is not known. Methods and Techniques Controlled lipoaspirate samples were collected from adult female patients undergoing elective liposuction of the abdomen and flanks with uniform aspiration pressure (−25 in Hg) and either a 3- or 5-mm standard blunt-tip liposuction cannula. Individual grafts of 1.00 ± (0.01) gram were prepared and injected into the bilateral flanks of nude mice with a 14-gauge catheter. After six weeks, these grafts were explanted and analyzed by weight and histology. Results At six weeks, fat lobules in the 5-mm group retained 25% more weight than those in the 3-mm group [mean (SD), 0.70 (0.07) vs 0.56 (0.09) g, n = 24/group, P < 0.01). Histologic analysis revealed more intact, nucleated adipocytes in the 5-mm group than in the 3-mm group [4.42 (0.92) vs 3.10 (0.56) on a 1–5 rating scale]. The 5-mm group exhibited both less infiltrate [1.58 (0.17) vs 3.13 (0.70)] and less fibrosis [1.67 (0.45) vs 3.13 (0.89)] than the 3-mm group. Conclusions In this controlled model of fat grafting with either a 5- or 3-mm aspiration cannula, the use of a larger aspiration cannula led to improved graft retention and quality. This finding has important implications for clinical applications of fat grafting.
Numerical Simulation of Polymer Phase Separation on a Patterned Substrate with Nano Features (2008)

Phase separation of an asymmetric immiscible binary polymer system in an elastic field with the existence of a patterned substrate was numerically studied in 2D and 3D. An unconditionally stable method for time marching the Cahn-Hilliard equation was employed in the numerical simulation. Compared to the conventional interface tracing mechanism, this diffusion controlled system is characterized by a thick interface with a composition gradient. The evolution mechanisms were studied. The evolution of the characteristic length, R(t), of the phase separation morphology patterns was measured with the Fast Fourier Transform method. The results indicated R(t) 1/3 increases linearly with time. The influence of the material composition, the attraction factor on the template, and the gradient energy coefficient between the two polymers on the result patterns were also observed in this study. Qualitative and quantitative correspondence can be observed between the numerical results and the experiment results.
Autonomous SIMD flexibility in the MP-1 and MP-2 (1993)

No abstract available.
An Expert System for Selecting Peach and Nectarine Cultivars (1990)

(...) The advantage of this module is that a companion program was developed that allows a nontechnical person to update or add cultivars or alter characteristics as they pertain to a particular region. The ability to update without reprogramming creates a flexible system while eliminating the need for major revisions by a technically trained computer programmer (...)
Abstract SY15-04: Angiogenesis revisited: Endothelial cell metabolism as a target (2015)

Abstract Angiogenesis, the growth of new blood vessels, plays a crucial role in numerous diseases, including cancer. Anti-angiogenesis therapies have been developed to starve cancer cells from nutrients. Clinically approved anti-angiogenic drugs prolong the survival of cancer patients, but their success is limited by intrinsic refractoriness and acquired resistance. New strategies are thus needed to block tumor angiogenesis via alternative mechanisms. We recently reported that PFKFB3-driven glycolysis regulates the endothelial cell function and identity during vessel sprouting, even capable of overruling the potent activity of Notch, and that its loss in endothelial cells causes vascular hypobranching defects. Moreover, partial and transient reduction of glycolysis by blocking PFKFB3 reduced pathological angiogenesis in several disease models. Ongoing studies explore the role of lipid and amino acid metabolism in vessel sprouting, and assess the therapeutic potential of targeting these metabolic pathways for anti-angiogenic therapy. Citation Format: Peter Carmeliet. Angiogenesis revisited: Endothelial cell metabolism as a target. [abstract]. In: Proceedings of the 106th Annual Meeting of the American Association for Cancer Research; 2015 Apr 18-22; Philadelphia, PA. Philadelphia (PA): AACR; Cancer Res 2015;75(15 Suppl):Abstract nr SY15-04. doi:10.1158/1538-7445.AM2015-SY15-04
Supplementary Methods, Figure Legends from miR-409-3p/-5p Promotes Tumorigenesis, Epithelial-to-Mesenchymal Transition, and Bone Metastasis of Human Prostate Cancer (2023)

Supplementary Methods, Figure Legends from miR-409-3p/-5p Promotes Tumorigenesis, Epithelial-to-Mesenchymal Transition, and Bone Metastasis of Human Prostate Cancer
Use of a Sensing Device to Visualizes Group Participation in Social Skills Learning Groups (2021)

Children with autism spectrum disorders (ASD) have difficulties in developing stable peer relationships. Interventions for learning social skills (SS) for such children are often conducted in a group. Behavioral imaging and social imaging, which have been called for in recent years, are methods for visualizing children's behaviors and interpersonal relationships. To examine the usefulness of visualizing face-to-face interaction with others in the social skills learning scene of children with ASD, we use a business microscope that can qualify and visualize face-to-face interactions automatically. We highlight two boys' face-to-face interaction changes in the same SS learning group of five children. The device's use may provide a more objective measurement that complements the observer's subjective evaluation in case of the intervention's validation. It is expected that information on face-to-face interactions will be used to determine the SS learning process in the future.
The effect of RAAS blockade on markers of renal tubular damage in diabetic nephropathy: u-NGAL, u-KIM1 and u-LFABP (2012)

Irbesartan treatment reduced levels of the tubular marker u-KIM1 in patients with type 2 diabetes and microalbuminuria. u-NGAL changed insignificantly and u-LFABP increased. More studies with longer follow up are needed to determine the role of tubular markers in monitoring treatment effect and prediction of prognosis in diabetic nephropathy.
An Integrated Approach for Gear Health Prognostics (2012)

In this paper, an integrated approach for gear health prognostics using particle filters is presented. The presented method effectively addresses the issues in applying particle filters to gear health prognostics by integrating several new components into a particle filter: (1) data mining based techniques to effectively define the degradation state transition and measurement functions using a one-dimensional health index obtained by whitening transform; (2) an unbiased l-step ahead RUL estimator updated with measurement errors. The feasibility of the presented prognostics method is validated using data from a spiral bevel gear case study.
Role of oxygen during CdTe growth for CdTe photovoltaic devices (2014)

ABSTRACT Polycrystalline CdTe thin films for CdTe solar cell devices are typically grown using physical vapor techniques such as close‐spaced sublimation or vapor transport deposition with, in some cases, a small amount of oxygen in the process gas. In this report, we discuss the results of growing CdTe films in an environment of pure oxygen using close‐space sublimation. The results show that oxygen has a positive impact on CdTe film quality as it increases charge carrier mobility and lifetime in the absorber layer of CdTe‐based devices. This has resulted in a 10–20 mV improvement in open‐circuit voltages when growing the CdTe in pure oxygen. Copyright © 2014 John Wiley &amp; Sons, Ltd.
Schistosoma mansonivenom allergen-like protein 4 (SmVAL4) is a novel lipid-binding SCP/TAPS protein that lacks the prototypical CAP motifs. Corrigendum (2015)

Figure 6( a ) of the article by Kelleher et al. [(2014), Acta Cryst. D 70 , 2186–2196] is corrected.
Lack of association between polymorphisms in the 5′ upstream region of the DISC1 gene and mood disorders (2007)

Arai, Makotoa; Obata, Nanakoa; Kockelkorn, Thessa T.J.P.a; Yamada, Kazuob; Toyota, Tomokob; Haga, Seiichia; Yoshida, Yuukia; Ujike, Hiroshic; Sora, Ichirod; Ikeda, Kazuhikoa; Yoshikawa, Takeob; Itokawa, Masanaria b Author Information
All‐Polymer Solar Cells: Recent Progress, Challenges, and Prospects (2018)

For over two decades bulk-heterojunction polymer solar cell (BHJ-PSC) research was dominated by donor:acceptor BHJ blends based on polymer donors and fullerene molecular acceptors. This situation has changed recently, with non-fullerene PSCs developing very rapidly. The power conversion efficiencies of non-fullerene PSCs have now reached over 15 %, which is far above the most efficient fullerene-based PSCs. Among the various non-fullerene PSCs, all-polymer solar cells (APSCs) based on polymer donor-polymer acceptor BHJs have attracted growing attention, due to the following attractions: 1) large and tunable light absorption of the polymer donor/polymer acceptor pair; 2) robustness of the BHJ film morphology; 3) compatibility with large scale/large area manufacturing; 4) long-term stability of the cell to external environmental and mechanical stresses. This Minireview highlights the opportunities offered by APSCs, selected polymer families suitable for these devices with optimization to enhance the performance further, and discusses the challenges facing APSC development for commercial applications.
A 65nm 4MB embedded flash macro for automotive achieving a read throughput of 5.7GB/s and a write throughput of 1.4MB/s (2013)

This paper presents a 65nm embedded flash macro for automotive applications with read and write throughput of 5.7GB/s and 1.4MB/s respectively. The high read throughput rate is achieved by using the multi voltage domain multiplexer design enabling a low voltage read path and the local ground referenced read circuit design utilizing the robust time domain source side sense amplifier (SoSiSA) [1]. This allows low voltage sub 50mV swing read operation for high speed read-out under more than 30mV system noise. The hot source triple poly (HS3P) embedded flash memory cell [2] allows sub 5μs low current write operation enabling high write throughput up to a junction temperature of 170°C.