gebhart/patrepeval huggingface dataset:
Deriving State Machines from TinyOS programs using Symbolic Execution - eScholarship (2009)

The most common programming languages and platforms for sensor networks foster a low-level programming style. This design provides fine-grained control over the underlying sensor devices, which is critical given their severe resource constraints. However, this design also makes programs difficult to understand, maintain, and debug. In this work, we describe an approach to automatically recover the high-level system logic from such low-level programs, along with an instantiation of the approach for nesC programs running on top of the TinyOS operating system. We adapt the technique of symbolic execution from the program analysis community to handle the event-driven nature of TinyOS, providing a generic component for approximating the behavior of a sensor network application or system component. We then employ a form of predicate abstraction on the resulting information to automatically produce a finite state machine representation of the component. We have used our tool, called FSMGen, to automatically produce compact and fairly accurate state machines for several TinyOS applications and protocols. We illustrate how this high-level program representation can be used to aid programmer understanding, error detection, and program validation.
Zinc oxide nanorod for intracellular pH sensing (2006)

p H determination is a prerequisite for many biochemical and biological processes. The authors have used two methods, namely, the electrochemical potential method and the site binding method to study the sensitivity of zinc oxide (ZnO) nanorods for the use as intracellular pH sensing device. The dimensions of these nanorods were varied with radii between 50–300nm and lengths between 2 and 10μm. The ZnO nanorods showed a high sensitivity ≈59mV per decade at room temperature for a pH range (1–14), assuming that the solution is water. This is expected due to the polar and nonpolar surfaces of the ZnO nanorods.
Characterization of Green Fluorescent Protein in Heart Valves of a Transgenic Swine Model for Partial Heart Transplant Research (2023)

A transgenic strain of pigs was created to express green fluorescent protein (GFP) ubiquitously using a pCAGG promoter. Here, we characterize GFP expression in the semilunar valves and great arteries of GFP-transgenic (GFP-Tg) pigs. Immunofluorescence was performed to visualize and quantify GFP expression and colocalization with nuclear staining. GFP expression was confirmed in both the semilunar valves and great arteries of GFP-Tg pigs compared to wild-type tissues (aorta, <i>p</i> = 0.0002; pulmonary artery, <i>p</i> = 0.0005; aortic valve; and pulmonic valve, <i>p</i> < 0.0001). The quantification of GFP expression in cardiac tissue allows this strain of GFP-Tg pigs to be used for future research in partial heart transplantation.
Content-centric flow mining for influence analysis in social streams (2013)

The problem of discovering information flow trends and influencers in social networks has become increasingly relevant both because of the increasing amount of content available from online networks in the form of social streams, and because of its relevance as a tool for content trends analysis. An important part of this analysis is to determine the key patterns of flow and corresponding influencers in the underlying network. Almost all the work on influence analysis has focused on fixed models of the network structure, and edge-based transmission between nodes. In this paper, we propose a fully content-centered model of flow analysis in social network streams, in which the analysis is based on actual content transmissions in the network, rather than a static model of transmission on the edges. First, we introduce the problem of information flow mining in social streams, and then propose a novel algorithm InFlowMine to discover the information flow patterns in the network. We then leverage this approach to determine the key influencers in the network. Our approach is flexible, since it can also determine topic-specific influencers. We experimentally show the effectiveness and efficiency of our model.
Technical developments in assessment of function and coronary artery disease using magnetic resonance imaging (2002)

Recent technical advances in magnetic resonance (MR) imaging have allowed the development and use of multiple applications directed towards the diagnosis of coronary artery disease. Some of the more important aspects considered in this assessment are functional parameters (perfusion, myocardial wall function, and coronary blood flow) in addition to direct visualization of the coronary artery lumen. The versatility of MR imaging allows such multiple and diverse studies, e.g., that of function and anatomy, to be performed during the same examination session. This paper describes the latest MR imaging techniques for coronary artery visualization and myocardial function.
Synthesis and characterization of new cobalt dioxygen carriers based on a familiar macrocyclic ligand (1990)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSynthesis and characterization of new cobalt dioxygen carriers based on a familiar macrocyclic ligandSharlene J. Dzugan and Daryle H. BuschCite this: Inorg. Chem. 1990, 29, 13, 2528–2532Publication Date (Print):June 1, 1990Publication History Published online1 May 2002Published inissue 1 June 1990https://pubs.acs.org/doi/10.1021/ic00338a028https://doi.org/10.1021/ic00338a028research-articleACS PublicationsRequest reuse permissionsArticle Views461Altmetric-Citations30LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
Multiple Axes Synchronizing. System under Adaptive Feedforward Control (1992)

In this paper, high speed synchronization of multiple motion control axes under adaptive feedforward control is considered. The adaptive feedforward control system for one axis system consists of a proportional feedback controller and an adaptive feedforward controller. To synchronize the multiple motion control axes, the synchronizing controller, which responds to the tracking errors, is introduced. The structure of the synchronizing controller is investigated. The parameters of the adaptive feedforward controller are adjusted by the adaptation algorithm so that the tracking errors and the synchronization errors are removed. This results in the significant improvement of the tracking responses and the quick removal of the synchronization errors during transient as well as steady state. The synchronization for a four axes motion control system, of which parameters are significantly different, is investigated. Stability of the proposed synchronizing system is analyzed. Experimental results demonstrate the effectiveness of the proposed control scheme for synchronization.
Role of the Hydrophobic Moiety of Tumor Promoters. Synthesis and Activity of Benzolactams with Alkyl Substituents at Various Positions. (1997)

We synthesized benzolactams with hydrophobic substituents at various positions as analogs of (-)-benzolactam-V8-310 ((-)-BL-V8-310, 1) which reproduces the active conformation and biological activity of teleocidins. Structure-activity data indicate that the existence of a hydrophobic region between C-2 and C-9, and the steric factor at C-8 play critical roles in the appearance of biological activities.
Performance evaluation of time-domain multispectral diffuse optical tomography in the reflection geometry (2017)

International audience
Cross-domain service management for enabling domain autonomy in a federated SOA (2010)

To tackle SOA projects that span across various boundaries, enterprises are adopting a federated SOA approach in order to manage reuse across service domains. Managing service reuse involves sharing a subset of the services that are provided within a domain and fulfilling references to services required by applications or other services in a domain. While this is a major goal, it is also important for a federated enterprise to enable the autonomy of its multiple service domains. This paper proposes an approach for cross-domain service management that enables domain autonomy and that preserves across domains properties that are taken for granted by services within a domain. We introduce a cross-domain service management capability and show how this capability allows for services to be shared and reused without the need for a federation architect, and how it preserves intra-domain properties, thus enabling domain autonomy in a federation.
Rare exonic deletions implicate the synaptic organizer Gephyrin (GPHN) in risk for autism, schizophrenia and seizures (2013)

The GPHN gene codes for gephyrin, a key scaffolding protein in the neuronal postsynaptic membrane, responsible for the clustering and localization of glycine and GABA receptors at inhibitory synapses. Gephyrin has well-established functional links with several synaptic proteins that have been implicated in genetic risk for neurodevelopmental disorders such as autism spectrum disorder (ASD), schizophrenia and epilepsy including the neuroligins (NLGN2, NLGN4), the neurexins (NRXN1, NRXN2, NRXN3) and collybistin (ARHGEF9). Moreover, temporal lobe epilepsy has been linked to abnormally spliced GPHN mRNA lacking exons encoding the G-domain of the gephyrin protein, potentially arising due to cellular stress associated with epileptogenesis such as temperature and alkalosis. Here, we present clinical and genomic characterization of six unrelated subjects, with a range of neurodevelopmental diagnoses including ASD, schizophrenia or seizures, who possess rare de novo or inherited hemizygous microdeletions overlapping exons of GPHN at chromosome 14q23.3. The region of common overlap across the deletions encompasses exons 3-5, corresponding to the G-domain of the gephyrin protein. These findings, together with previous reports of homozygous GPHN mutations in connection with autosomal recessive molybdenum cofactor deficiency, will aid in clinical genetic interpretation of the GPHN mutation spectrum. Our data also add to the accumulating evidence implicating neuronal synaptic gene products as key molecular factors underlying the etiologies of a diverse range of neurodevelopmental conditions.
Synthesis and characterization of nucleic acid–(co)polymer conjugates: application to diagnostics (1998)

This paper provides a survey of the synthesis of oligodeoxyribonucleotides (ODNs)–(co)polymer conjugates for application to diagnostics. Reactive copolymers containing various chemical functions (carboxylic acid groups under the form of activated esters or aldehyde) were used to covalently link ODNs. It was found that this immobilization reaction was dependent upon several parameters including the chemical reactivity of the functional group, the structural parameters (conformation) of the polymer, and the hydrogen bonding capability between the two macromolecular partners. Analysis of the conjugation products by size exclusive chromatography – light scattering displayed higher molecular weights than expected because of a concomitant aggregation process resulting from either hydrogen bonding between ODNs and polymer chains or side reactions from heterocyclic base amino groups. The extent of this aggregation process was dependent on the chemical nature of the polymer and base composition of the probes and it could be partly or totally avoided upon decreasing the capacity of the nucleic acids to form hydrogen bonds. These conjugates were tested in nucleic acid detection and they were shown to improve assay in both capture and signal efficiency for a long double-stranded DNA. © 1998 John Wiley & Sons, Ltd.
Considering Cost Asymmetry in Learning Classifiers (2006)

Receiver Operating Characteristic (ROC) curves are a standard way to display the performance of a set of binary classifiers for all feasible ratios of the costs associated with false positives and false negatives. For linear classifiers, the set of classifiers is typically obtained by training once, holding constant the estimated slope and then varying the intercept to obtain a parameterized set of classifiers whose performances can be plotted in the ROC plane. We consider the alternative of varying the asymmetry of the cost function used for training. We show that the ROC curve obtained by varying both the intercept and the asymmetry, and hence the slope, always outperforms the ROC curve obtained by varying only the intercept. In addition, we present a path-following algorithm for the support vector machine (SVM) that can compute efficiently the entire ROC curve, and that has the same computational complexity as training a single classifier. Finally, we provide a theoretical analysis of the relationship between the asymmetric cost model assumed when training a classifier and the cost model assumed in applying the classifier. In particular, we show that the mismatch between the step function used for testing and its convex upper bounds, usually used for training, leads to a provable and quantifiable difference around extreme asymmetries.
Manganese Molybdate Cathodes with Dual-Redox Centers for Aqueous Zinc-Ion Batteries: Impact of Electrolyte on Electrochemistry (2022)

Although bimetallic oxides have been shown to be beneficial as electrode materials in battery systems over their monometallic oxide counterparts, the implementation of metal molybdates with dual-redox centers has not been widely studied in aqueous rechargeable Zn-ion batteries. Manganese molybdate (MnMoO<sub>4</sub>) was synthesized via facile cosolvent coprecipitation and implemented as a cathode material for the first time in this system using 3 M ZnSO<sub>4</sub> and 3 M ZnCl<sub>2</sub> electrolytes to investigate the impact of the anion. In the two electrolytes, both manganese and molybdate metal centers were determined to be redox active using Mn and Mo K-edge operando X-ray absorption spectroscopies (XAS), with the corresponding voltage plateaus at 1.4 and 0.5 V, respectively. The difference in anions resulted in a preference regarding the active redox center, with the sulfate based preferring Mo redox and chloride based preferring Mn redox. Additionally, the redox reactions also differ in rate dependency, with Mn and Mo redox reactions preferring slow and fast current rates, respectively. In both systems, Mn redox was seen to be the more stable mechanism over prolonged cycling. The preference was related to the dissolution of the MnMoO4 material by applying Pearson’s hard–soft acid–base theory and considering the solubilities of the respective salts.
Evidence for coassembly of mutant GABACρ1 with GABAAγ2S, glycine α1 and glycine α2 receptor subunits in vitro (2000)

Functional coassembly of gamma-aminobutyric acid (GABA)C rho1 subunits with GABAA (alpha1, beta2, and gamma2S) or glycine (alpha1, alpha2, and beta) subunits was examined using two-electrode voltage-clamp recordings in the Xenopus laevis oocyte expression system. To facilitate this study, we took advantage of the unique gating and pharmacological properties of two mutant rho1 subunits, rho1(T314A) and rho1(T314A/L317A). When the rho1(T314A) subunit was coexpressed with GABA gamma2S, glycine alpha1 or glycine alpha2 subunits, GABA response properties were different from those of homomeric rho1(T314A) receptors. Additionally, the sensitivity of heteromeric rho1(T314A) and gamma2S receptors to picrotoxinin (PTX) blockade of GABA-evoked responses was altered compared to that of homomeric rho1(T314A) receptors. Changes in GABA response properties and picrotoxinin sensitivity were also observed when rho1(T314A) subunits were coexpressed with wild-type rho1 subunits. When rho1(T314A/L317A) subunits were coexpressed with GABA gamma2S, glycine alpha1 or glycine alpha2 subunits, suppression by GABA of spontaneously active current was reduced compared to that of homomeric rho1(T314A/L317A) receptors. Recovery of the spontaneous current from inhibition by GABA for GABA rho1(T314A/L317A)/gamma2S heteromeric receptors displayed an additional component. Coinjection of wild-type rho1 with gamma2S cRNAs at a ratio of 1 : 1 resulted in a > 10-fold reduction in GABA-evoked current. Furthermore, coexpression of wild-type rho1 and gamma2S subunits was found to shift the GABA dose-response curve. Our results provide functional evidence that the GABAC rho1 subunit can coassemble with the GABAA gamma2S subunit, and, at least in its mutated form, rho1 can also form heteromeric receptors with glycine alpha1 or alpha2 subunits in vitro.
Beyond Eloquence and on to Centrality: A new paradigm in planning supratentorial brain surgery (2022)

This webinar focuses on connectomics and how to make neurosurgery safer.
Coarse-Grained Information Flow Control on Hybrid Clouds (2016)

Recently, more and more enterprises have adopted hybrid cloud strategies to simultaneously enjoy the security of on-premise clouds and the low cost of public clouds. The key challenge of hybrid clouds, though, stems from the difficulty of specifying where the data should be stored and where the information could flow efficiently. In order to meet security concerns and performance requirements, we introduce a coarse-grained information flow control (CIFC) model to limit storing, accessing, and disclosing of confidential data in public clouds. The CIFC model aims at providing information control implicitly, without the large overhead of periodically checking access privileges. Moreover, since the CIFC model may request redistributing data whenever the secrecy level of a dataset changes, we formulate the data redistribution problem as an optimization problem and propose the Partition Biased Sampling Algorithm (PBSA) for its solution. We implemented the CIFC model on top of Spark, and our results show that Spark applications can achieve 1.4 to 2.1 times better performance by utilizing the additional computational capacity of public cloud to process non-sensitive data. Furthermore, we integrate the PBSA algorithm into Spark and demonstrate a saving of more than 35% in execution time, compared to the Spark default data distribution strategy.
Maze running into intumescence: mechanistic aspects in polypropylene (2018)

International audience
Solid supported fluoronitroaryl triazenes as immobilized and convertible Sanger reagents – synthesis and SNAr reactions towards a novel preparation of 1-alkyl-5-nitro-1H-benzotriazolesElectronic supplementary information (ESI) available: experimental procedures. See http://www.rsc.org/suppdata/cc/b2/b201489k/ (2002)

Synthesis of novel fluoronitroaryl triazenes in liquid phase and on solid support have been described; mild displacement of the fluoride ion with various nucleophiles provides access to substituted arenes which in turn can be cleaved to provide a unique access to 1-alkyl-5-nitro-1H-benzotriazole.
ChemInform Abstract: The Synthesis of Deoxygalactostatin and 2,6‐Imino‐heptitol Derivatives via Stannane Mediated Hydroxymethylation of 5‐Azido‐1,4‐lactones. (1998)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
β-Agonists Selectively Modulate Proinflammatory Gene Expression in Skeletal Muscle Cells via Non-Canonical Nuclear Crosstalk Mechanisms (2014)

The proinflammatory cytokine Tumour Necrosis Factor (TNF)-α is implicated in a variety of skeletal muscle pathologies. Here, we have investigated how in vitro cotreatment of skeletal muscle C2C12 cells with β-agonists modulates the TNF-α-induced inflammatory program. We observed that C2C12 myotubes express functional TNF receptor 1 (TNF-R1) and β2-adrenoreceptors (β2-ARs). TNF-α activated the canonical Nuclear Factor-κB (NF-κB) pathway and Mitogen-Activated Protein Kinases (MAPKs), culminating in potent induction of NF-κB-dependent proinflammatory genes. Cotreatment with the β-agonist isoproterenol potentiated the expression of inflammatory mediators, including Interleukin-6 (IL-6) and several chemokines. The enhanced production of chemotactic factors upon TNF-α/isoproterenol cotreatment was also suggested by the results from migrational analysis. Whereas we could not explain our observations by cytoplasmic crosstalk, we found that TNF-R1-and β2-AR-induced signalling cascades cooperate in the nucleus. Using the IL-6 promoter as a model, we demonstrated that TNF-α/isoproterenol cotreatment provoked phosphorylation of histone H3 at serine 10, concomitant with enhanced promoter accessibility and recruitment of the NF-κB p65 subunit, cAMP-response element-binding protein (CREB), CREB-binding protein (CBP) and RNA polymerase II. In summary, we show that β-agonists potentiate TNF-α action, via nuclear crosstalk, that promotes chromatin relaxation at selected gene promoters. Our data warrant further study into the mode of action of β-agonists and urge for caution in their use as therapeutic agents for muscular disorders.
Antireflection Polymer Surface Using Anodic Porous Alumina Molds with Tapered Holes (2007)

Abstract Antireflection (AR) polymer structures composed of tapered conical pillars were fabricated using highly ordered anodic porous alumina. The shape of the holes in the anodic porous alumina was controlled by performing repeated anodization and pore-widening treatments. By replicating the structure of the anodic porous alumina with PMMA, polymer AR structures were obtained.
Analysis and Synthesis of Environmental Sounds (1995)

This technical report describes steps toward synthesis of environmental sounds like impact, bouncing, breaking, scraping and other impact sounds. The first section shows by means of knowledge engineering the investigation of possible methodologies and techniques for developing and describing environmental sounds in the industry. The second section describes various laboratory experiments which have been carried out in a anechoic room, impacting beams and plates of different materials. This is followed by physical modelling of the interacting objects which are involved in the sound generation. The synthetically generated and recorded sounds were used for comparison and for deriving data for further analysis. Hence physical modelling of sounds could be examined through data analysis and adjusted if necessary. Some developed algorithms for analysing impact sounds as well as some developed algorithms for sound synthesis are introduced later. Psycho acoustical comparison tests will soon be ...