gebhart/patrepeval huggingface dataset:
Increased predominance of the matured ventricular subtype in embryonic stem cell-derived cardiomyocytes in vivo (2020)

Accumulating evidence suggests that human pluripotent stem cell-derived cardiomyocytes can affect "heart regeneration", replacing injured cardiac scar tissue with concomitant electrical integration. However, electrically coupled graft cardiomyocytes were found to innately induce transient post-transplant ventricular tachycardia in recent large animal model transplantation studies. We hypothesised that these phenomena were derived from alterations in the grafted cardiomyocyte characteristics. In vitro experiments showed that human embryonic stem cell-derived cardiomyocytes (hESC-CMs) contain nodal-like cardiomyocytes that spontaneously contract faster than working-type cardiomyocytes. When transplanted into athymic rat hearts, proliferative capacity was lower for nodal-like than working-type cardiomyocytes with grafted cardiomyocytes eventually comprising only relatively matured ventricular cardiomyocytes. RNA-sequencing of engrafted hESC-CMs confirmed the increased expression of matured ventricular cardiomyocyte-related genes, and simultaneous decreased expression of nodal cardiomyocyte-related genes. Temporal engraftment of electrical excitable nodal-like cardiomyocytes may thus explain the transient incidence of post-transplant ventricular tachycardia, although further large animal model studies will be required to control post-transplant arrhythmia.
The localization and activity of sphingosine kinase 1 are coordinately regulated with actin cytoskeletal dynamics in macrophages. VOLUME 282 (2007) PAGES 23147-23162 (2008)

On Page 23157, the final sentence of the legend to Fig. 8 should read as follows: Data represent the mean ± S.D. of duplicate determinations from a single representative experiment of a total of four identical experiments. On Page 23158, there is an error in the data in Fig. 9 (A-C), and these three panels should be retracted.
A Case of Gallbladder Cancer Resulting in Biliary Hemorrhage and Obstruction with Pancreaticobiliary Maljunction (2014)

症例は70歳，女性．突然の右季肋部痛を主訴に当院を受診した．血液検査，腹部超音波検査および腹部CT検査から総胆管結石による胆管閉塞を疑い，緊急内視鏡的逆行性胆管膵管造影検査を施行した．総胆管内に凝血塊を認め胆道出血による胆管閉塞と診断したが，胆管膵管造影所見では膵・胆管の合流異常が認められ胆嚢内には陰影欠損を認めた．膵・胆管合流異常に合併した胆嚢癌および腫瘍からの出血による胆管閉塞の診断で胆嚢床切除術を施行した．病理組織学的診断は乳頭腺癌であった．術後は特に問題なく経過し術後14日目に退院となったが，最終的に術後4年目に多発肺・脳・リンパ節転移で永眠された．胆嚢癌が胆道出血の原因となり，引き続いて胆管閉塞を引き起こす病態は極めて稀な現象であり，かつ膵胆管合流異常の存在が確認できているものは渉猟しえた限りでは自験例のみであったため，文献的考察を加えて報告する．
A Novel 2b/Cycle Time And Voltage Based Conversion Technique In SAR ADC (2018)

This paper proposes a 2b/cycle time and voltage based conversion technique in successive approximation register analog-to-digital converter (SAR ADC). At low supply voltage there will be a significant difference in comparator decision time for different input voltages. By utilizing the information of decision time, this ADC achieves 2b/cycle quantization to improve the conversion speed. To validate the concept, a 10-bit SAR ADC is designed using 130 nm CMOS process with 0.5 V supply voltage. Simulation results shows the ADC achieve SNDR (signal-to-noise distortion ratio) of 60.26 dB, corresponding to an ENOB (effective number of bits) of 9.72 bits.
Abstract P146: Cytochrome B5 Reductase (CYB5R3) Function in Smooth Muscle Cells and Blood Pressure Regulation (2018)

Hypertension (HTN) is a major risk factor for cardiovascular-related morbidity and mortality. Dysregulation of nitric oxide (NO) signaling has been found in both human and mouse studies to impact the renin-angiotensin-aldosterone system (RAAS) and contribute to the vascular dysfunction leading to HTN. NO signals via soluble guanylyl cyclase (sGC) to generate cyclic guanosine monophosphate (cGMP) and downstream activation of protein kinase G (PKG) to induce vasodilation. However, the sGC heme iron needs to be in the reduced (Fe 2+ ) state for NO to bind as oxidized (Fe 3+ ) sGC is insensitive to NO signaling. We found that NADH cytochrome b5 reductase 3 (CYB5R3) is a sGC heme reductase that maintains sGC heme iron in its reduced state. Transient knockdown and pharmacological inhibition of CYB5R3 in smooth muscle cells (SMCs) blocks NO-mediated cGMP production and aortic relaxation. Taken together, we hypothesized that SMC CYB5R3 was important in blood pressure regulation. We created tamoxifen-inducible SMC-specific CYB5R3 knockout mice (SMC CYB5R3 KO) and found that they (n=8) had an ~5 mmHg increase in mean arterial blood pressure at baseline as compared to SMC CYB5R3 WT mice (n=9). In response to Angiotensin II (Ang II)-induced hypertension, SMC CYB5R3 KO mice (n=5) exhibited an ~14 mmHg increase in blood pressure and a significantly reduced heart rate as compared to SMC CYB5R3 WT mice (n=5). Lastly, ex vivo two-pin wire myography of Ang II-induced hypertensive SMC CYB5R3 KO (n= 6) mesenteric arteries treated with NO-independent sGC activator Bay 58-2667 showed increased vasodilation as compared to SMC CYB5R3 WT mice (n=10); Bay 58-2667 treatment at baseline showed no difference between groups. We predict that CYB5R3 regulation of SMC sGC heme iron redox state influences blood pressure in a NO-dependent manner. To test this, we will perform an intervention study where we will measure blood pressure in Ang II-induced hypertensive SMC CYB5R3 WT and SMC CYB5R3 KO mice treated with Bay 41-2272, a NO and heme dependent sGC stimulator, and Bay 58-2667. Also, we will assess the role of SMC CYB5R3 in protection against Ang II-induced vessel fibrosis and SMC dysfunction.
Mapping the Interface Description Language type model into C (1989)

The Interface Description Language (IDL) is a notation for describing the characteristics of data structures passed among collections of cooperating processes in a programming environment. The authors discuss a mapping from IDL to C data structures and macro definitions that supports the full language and is type safe and run-time efficient, but is not particularly compile-time efficient nor easy to use. They then propose that the mapping be performed in a preprocessor, thereby achieving efficiency and ease of use as well.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>
Towards Design Optimization with OpenModelica Emphasizing Parameter Optimization with Genetic Algorithms (2011)

One of the main goals when modeling a physical system is to optimize its design or configuration. Currently existing platforms are often dependent on commercial software or are based on in-house and special-purpose development tools. These two alternatives present disadvantages that limit sharing and reusability. The same assessment has partly motivated the origin of the Modelica language itself. In this paper, a new optimization platform called OMOptim is presented. Intrinsically linked with OpenModelica, this platform is mainly aimed at facilitating optimization algorithm development, as well as application use together with models. A first version is already available and three test cases of which one using respectively Dymola and two using OpenModelica are presented. Future developments and design considerations of OMOptim but also of related OpenModelica computation functions are also discussed.
Studies on the nutrition of Arthrobotrys oligospora Fres. and A. robusta Dudd: The predaceous phase (1966)

SUMMARY The effects of substrate on the predaceous activity in sand cultures of two isolates of the genus Arthrobotrys were measured by expressing the number of non‐survivors of a free‐living nematode population exposed to the fungi for 4 days as a percentage of a comparable population of nematodes not exposed to predation. This percentage is designated the predacity number. By varying the energy source it was shown that nutrient requirements for the extension of mycelium may differ from those for the expression of predacity. There is a greater reduction in the activity of A. oligospora when nitrogen is supplied as ammonium than when it is presented as nitrate or nitrite. The predacity of A. robusta is greatest on media deficient in biotin and with nitrite as nitrogen source. The relationship of results derived from artificial cultures to results from more direct examination of soils is discussed.
Parenteral Zinc Intake in Newborns With Jejunostomy or Ileostomy (2019)

Plasma zinc levels decrease significantly with the increase of stoma output volume of newborns with small bowel stoma. Zinc deficit was prevented in newborns with a small bowel stoma receiving of 500 μg · kg · day of parenteral zinc.
Vision-Based Coordinated Localization for Mobile Sensor Networks (2014)

In this paper, we propose a coordinated localization algorithm for mobile sensor networks with camera sensors to operate under Global Positioning System (GPS) denied areas or indoor environments. Mobile robots are partitioned into two groups. One group moves within the field of views of remaining stationary robots. The moving robots are tracked by stationary robots and their trajectories are used as spatiotemporal features. From these spatiotemporal features, relative poses of robots are computed using multiview geometry and a group of robots is localized with respect to the reference coordinate based on the proposed multirobot localization. Once poses of all robots are recovered, a group of robots moves from one location to another while maintaining the formation of robots for coordinated localization under the proposed multirobot navigation strategy. By taking the advantage of a multiagent system, we can reliably localize robots over time as they perform a group task. In experiment, we demonstrate that the proposed method consistently achieves a localization error rate of 0.37% or less for trajectories of length between 715 cm and 890 cm using an inexpensive off-the-shelf robotic platform.
Inorganic luminescent pigments (2021)

Abstract Inorganic luminescent pigments (luminescent materials, luminophores, phosphors) as synthetically generated crystalline compositions absorb energy followed by emission of light with lower energy, respectively, longer wavelengths. The light emission occurs often in the visible spectral range. External energy is necessary to enable luminescent materials to generate light. Luminescent pigments are divided into fluorescent and phosphorescent pigments. This classification goes back to different energy transitions. Emission based on allowed optical transitions, with decay times in the order of µs or faster is defined as fluorescence. Emission with longer decay times is called phosphorescence. The occurrence of fluorescence or phosphorescence as well as the decay time depend on structure and composition of a specific luminophore. There are four luminescence mechanisms discussed for inorganic luminescent materials: center luminescence, charge-transfer luminescence, donor–acceptor pair luminescence, and long-afterglow phosphorescence. The emission of luminescent light can have its origin in different excitation mechanisms such as optical excitation (UV radiation or even visible light), high-voltage or low-voltage electroluminescence and excitation with high energy particles (X-rays, γ-rays). Inorganic luminescent pigments are used mainly in fluorescent lamps, cathode-ray tubes, projection television tubes, plasma display panels, light-emitting diodes (LEDs) and for X-ray and γ-ray detection. The pigment particles are dispersed for the applications in specific binder systems. They are applied in form of thin layers and by means of luminophore/solvent suspensions, containing adhesive agents, on a substrate.
Laser-desorption Fourier-transform mass spectrometry of triazines adsorbed on solid-phase extraction membranes (1994)

International audience
(Nitronyl Nitroxide)‐Substituted Trioxytriphenylamine Radical Cation Tetrachlorogallate Salt: A 2p‐Electron‐Based Weak Ferromagnet Composed of a Triplet Diradical Cation (2012)

The synthesis and the solid state magnetic properties of (nitronyl nitroxide)-substituted trioxytriphenylamine radical cation tetrachlorogallate, NNTOT(+)⋅GaCl(4)(-), are reported. In the temperature region between 300 and 3 K, the magnetic behavior is characterized by the strong intramolecular ferromagnetic interaction (J/k(B)=+400 K) between the radical (NN) and the radical cation (TOT(+)) and the weak intermolecular antiferromagnetic interaction (J/k(B)=-1.9 K) between NNTOT(+) ions. Below 3 K, a 3D-type long-range magnetic ordering into a weak ferromagnet was observed (T(N)=2.65 K). The magnetic entropy (S(mag)=8.97 J K(-1) mol(-1)) obtained by the heat capacity measurement is in good agreement with the theoretical value of R ln3=9.13 J K(-1) mol(-1) based on the S=1 state.
Tumor and Lymph Node Lymphangiogenesis (2009)

Metastatic spread to lymph nodes represents the first step of dissemination for the majority of human cancers and serves as an important prognostic parameter. It has been recently found—in experimental tumor models—that tumors can actively induce lymphangiogenesis, the growth of tumor-associated lymphatic vessels, and that tumor lymphangiogenesis promotes metastasis to sentinel lymph nodes. The major tumor lymphangiogenesis factors involved are vascular endothelial growth factor (VEGF)-C, VEGF-D, and VEGF-A. Importantly, clinical studies have confirmed the correlation of tumor lymphangiogenesis and metastasis in many different types of human cancers. Our recent findings indicate that tumors also induce lymphangiogenesis in sentinel lymph nodes, often before the actual onset of metastasis, promoting tumor dissemination to distant lymph nodes and beyond. Based on these findings, lymphangiogenesis has become a new prognostic indicator and also a target for the prevention and treatment of lymphatic metastases.
HAEMODYNAMIC CONTRIBUTIONS TO THE PATHOGENESIS OF PREECLAMPSIA AND ECLAMPSIA (2008)

Current hypotheses regarding the origins of preeclampsia have focused on the “Two stage model”. This model suggests that the primary steps in the pathophysiologic sequence of preeclampsia are initiated by abnormal placentation including the classic finding of abnormal trophoblast invasion of maternal decidual spiral arteries. The second stage of the sequence includes the elaboration of a single or multiple substances from these disordered placentas which contribute to the generalized maternal systemic illness, eventually manifesting as endothelial injury, hypertension and proteinuria. Recent studies have focused on the role of pro and anti-angiogenic peptides as potential placentally derived aetiologic agents in this pathophysiologic sequence, although other placental products have been highlighted in recent research. Despite the fact that this modeling of preeclampsia has widespread support significant limitations to this hypothesis can be identified.
2-Methylsulfanyl-1,2,4-triazolo[1,5-a]quinazolin-5(4H)-one (2012)

The non-H atoms of the title compound, C(10)H(8)N(4)OS, lie approximately in a common plane (r.m.s. deviation = 0.058 Å). In the crystal, two mol-ecules are linked across a center of inversion by a pair of N-H⋯N hydrogen bonds, forming a a dimer.
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (2010)

Welcome to Programming Languages meet Program Verification Workshop 2010! This is the 4th workshop in the PLPV series: PLPV '06 took place in Seattle, Washington (co-located with IJCAR), PLPV '07 in Freiburg, Germany (co-located with ICFP), and PLPV '09 in Savannah, Georgia (co-located with POPL). We are pleased to again co-locate with POPL, this time in Madrid, Spain.

The PLPV series of workshops are dedicated to the study of language-based approaches to program verification. The goal of these approaches is to support a correct-by-construction style of software development, in which the programming language provides not just a dynamic execution semantics, but also a static verification semantics. The goal of programming is then to produce programs that are not just correct, but also statically verifiable, and hence programming involves writing both code and a proof sketch of why this code meets its specification. While PLPV-style work does not shy away from full correctness of software, one of its distinguishing characteristics is a focus on extending existing programming languages or methodologies to support lightweight verification. A good example is provided by dependently typed languages, which can verify stronger properties than can typically be shown with traditional type systems, without departing very far from traditional programming methods. Such approaches help to make verification a more natural extension of programming, and thus bring it closer to mainstream use.

We were very pleased this year to receive a focused group of 10 high quality submissions. Each paper was reviewed by at least 3 reviewers, which included both PC members and external reviewers. We held an electronic PC meeting via Easychair and email over four days and decided to accept 7 submissions. The accepted papers cover what we find to be an exciting diversity of topics of interest to the PLPV community, including singleton types, dependent types, genericity, resource types, modular verification, and they also explore challenge benchmarks and operating system development.
Chapter 14 Silicon Nanostructures for Photovoltaics (2016)

This chapter describes two of the main strategies currently followedto obtain an eﬃcient light emission from Si-based materials.The ﬁrst approach is represented by Si nanocrystals (nc). Theirstructural and photoluminescence (PL) properties are presentedand discussed, and their application for the fabrication of room tem-perature operating light-emitting devices is proposed. Si-nc can beeﬃciently excited by impactwith hot electrons, producing an intenseelectroluminescence (EL) signal. Perspectives and performancesof these devices can be signiﬁcantly enhanced by replacing Si-ncwith amorphous Si nanoclusters, since the latter nanostructuresare formed at lower temperature than Si-nc; furthermore, theeﬃciency of light extraction from these devices can be signiﬁcantlyincreased by exploiting the properties of photonic crystals. Thesecond approach involves the introduction of rare earth ions intoproperly chosen Si-based matrices. In this chapter, we discuss thecase of Er3+ ions embedded in a SiOx matrix, which allow to obtain intense PL and EL signals in the IR region, and of Eu2+ ions embedded in a SiOC matrix, whose strong and tunable emission inthe visible range allows to extend toward the low-wavelength sidethe emission range usually covered by Si-nc and also to obtain ahigh-quality white emission. The relevance and the impact of theabove approaches for the development of Si nanophotonics areﬁnally discussed.
Synthesis of a hexafluoropropylidene-bis(phthalic anhydride)-based polyimide and its conducting polymer composites with polypyrrole (1997)

A new electrically conducting composite film from polypyrrole and 4,4′-(hexafluoroisopropylidene)-bis(phthalic anhydride)-based polyimide was prepared. Pyrrole and the dopant ion can easily penetrate through the polyimide substrate and electropolymerize on the platinum (Pt) electrode due to the swelling of the polyimide on the metal electrode. The electrochemical properties of polypyrrole-polyimide (PPy/PI) composite films have been investigated by using cyclic voltammetry. The PPy/PI composite film is suitable for use as the electroactive material owing to its stable and controllable electrochemical properties. The electrical conductivity of composites falls in the range 0.0035–15 S/cm. Scanning electron micrograph, FTIR, and thermal studies indicate that PPy and PI form a homogeneous material rather than a simple mixture. © 1997 John Wiley & Sons, Inc. J Polym Sci A: Polym Chem 35: 3009–3016, 1997
Abstract 13711: Systemic Inflammatory Burden Correlates With Severity and Predicts Outcomes in Patients With Cardiogenic Shock Supported by a Percutaneous Mechanical Support Device (2019)

Introduction: In-hospital mortality associated with cardiogenic shock (CS) remains as high as 50%. Inflammation plays a central role in the pathogenesis of heart failure; however, little is known a...
Identification of QTLs Controlling α-Glucosidase Inhibitory Activity in Pepper (Capsicum annuum L.) Leaf and Fruit Using Genotyping-by-Sequencing Analysis (2020)

Diabetes mellitus, a group of metabolic disorders characterized by hyperglycemia, is one of the most serious and common diseases around the world and is associated with major complications such as diabetic neuropathy, retinopathy, and cardiovascular diseases. A widely used treatment for non-insulin-dependent diabetes is α-glucosidase inhibitors (AGIs) such as acarbose, which hinders hydrolytic cleavage of disaccharides and retard glucose absorption. The ability to inhibit α-glucosidase activity has been reported in leaf and fruit of pepper (<i>Capsicum annuum</i> L.). In this study, we aimed to identify quantitative trait loci (QTLs) controlling α-glucosidase inhibitory activity (AGI activity) in pepper leaf and fruit using enzyme assay and genotyping-by-sequencing (GBS) analysis. The AGI activity at three stages of leaf and one stage of fruit development was analyzed by 96 F<sub>2</sub> individuals. GBS analysis identified 17,427 SNPs that were subjected to pepper genetic linkage map construction. The map, consisting of 763 SNPs, contained 12 linkage groups with a total genetic distance of 2379 cM. QTL analysis revealed seven QTLs (<i>qAGI1.1</i>, <i>qAGI11.1</i>, <i>qAGI5.1</i>, <i>qAGI9.1</i>, <i>qAGI12.1</i>, <i>qAGI5.2</i>, and <i>qAGI12.2</i>) controlling AGI activity in pepper leaf and fruit. The QTLs for AGI activity varied by plant age and organ. This QTL information is expected to provide a significant contribution to developing pepper varieties with high AGI activity.
Electrical properties of tissues and cell suspensions: mechanisms and models (2002)

The electrical properties of tissues and cell suspensions are most unusual. They change with frequency in three distinct steps and their dielectric constants reach enormous values at low frequencies. The author concentrates on the "linear" properties observed with applied fields less than about 1 V/cm. The linear properties of interest include the dielectric constant /spl epsiv/ and conductivity /spl sigma/. Extensive measurements have been carried out over a broad frequency range extending from less than 1 Hz to many GHz. A number of mechanism have been identified which explain the observed data. These mechanisms reflect the various compartments of the biological material. These include membranes and their properties, biological macromolecules and fluid compartments inside and outside membranes. The authors summarize the mechanisms which contribute to the total frequency response.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>
Value of Laparoscopy in the Management of Calculi Complicating Renal Malformations (1996)

A minimally invasive approach for urolithiasis patients with complex anatomic abnormalities occasionally necessitates the use of laparoscopic techniques, either alone or in combination with endourologic techniques. The management of these patients is best accomplished in centers with the facilities to provide a spectrum of endourologic and laparoscopic techniques. Two illustrative cases are described.