cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.6084/m9.figshare.5901655
title: Ameliorating effects of electroacupuncture on dysmotility, inflammation and pain mediated via the autonomic mechanism in a rat model of postoperative ileus

description: Objective: Postoperative ileus increases healthcare costs and reduces the postoperative qualify of life. The aim of this study was to investigate effects and mechanisms of electroacupuncture (EA) at ST36 and PC6 on gastrointestinal motility in a rat model of postoperative ileus. Methods: Laparotomy was performed in 24 rats (control, sham-EA and EA) for the implantation of serosal electrodes in the stomach and mid-jejunum for measuring gastric and small intestinal slow waves, respectively; electrodes were also placed in the chest underneath the skin for measuring the ECG. Intestinal manipulation (IM, to induce ileus) was performed in 16 rats and immediately after the surgical procedures, EA was performed in 8 rats and sham-EA in the other 8 rats. Small intestinal transit, gastric emptying, postoperative pain, and plasma TNF-α were evaluated in the three groups of rats. Results: 1) Compared with sham-EA, EA accelerated both small intestinal transit (P &lt; 0.05) and gastric emptying (P &lt; 0.05) and improved regularity of small intestinal slow waves. 2) Compared with the control rats (no-IM), IM suppressed vagal activity and increased sympathovagal ratio assessed by the spectral analysis of heart rate variability derived from the ECG, which were significantly prevented by EA. 3) EA significantly reduced pain score at 120min (P&lt;0.05, vs 15 min) after the surgery, which was not seen with sham-EA. 4) Plasma TNF- α was increased by IM (P = 0.02) but suppressed by EA (P = 0.04) but not sham-EA. Conclusions: In a rodent model of postoperative ileus induced by IM, EA at ST36 and PC6 exerts a prokinetic effect on gastric emptying and small intestinal transit, a regulatory effect on small intestinal slow waves and an analgesic effect on postoperative pain possibly mediated via the autonomic-cytokine mechanisms.
DOI: 10.6084/m9.figshare.5901655.v1
title: Ameliorating effects of electroacupuncture on dysmotility, inflammation and pain mediated via the autonomic mechanism in a rat model of postoperative ileus

description: Objective: Postoperative ileus increases healthcare costs and reduces the postoperative qualify of life. The aim of this study was to investigate effects and mechanisms of electroacupuncture (EA) at ST36 and PC6 on gastrointestinal motility in a rat model of postoperative ileus. Methods: Laparotomy was performed in 24 rats (control, sham-EA and EA) for the implantation of serosal electrodes in the stomach and mid-jejunum for measuring gastric and small intestinal slow waves, respectively; electrodes were also placed in the chest underneath the skin for measuring the ECG. Intestinal manipulation (IM, to induce ileus) was performed in 16 rats and immediately after the surgical procedures, EA was performed in 8 rats and sham-EA in the other 8 rats. Small intestinal transit, gastric emptying, postoperative pain, and plasma TNF-α were evaluated in the three groups of rats. Results: 1) Compared with sham-EA, EA accelerated both small intestinal transit (P &lt; 0.05) and gastric emptying (P &lt; 0.05) and improved regularity of small intestinal slow waves. 2) Compared with the control rats (no-IM), IM suppressed vagal activity and increased sympathovagal ratio assessed by the spectral analysis of heart rate variability derived from the ECG, which were significantly prevented by EA. 3) EA significantly reduced pain score at 120min (P&lt;0.05, vs 15 min) after the surgery, which was not seen with sham-EA. 4) Plasma TNF- α was increased by IM (P = 0.02) but suppressed by EA (P = 0.04) but not sham-EA. Conclusions: In a rodent model of postoperative ileus induced by IM, EA at ST36 and PC6 exerts a prokinetic effect on gastric emptying and small intestinal transit, a regulatory effect on small intestinal slow waves and an analgesic effect on postoperative pain possibly mediated via the autonomic-cytokine mechanisms.
DOI: 10.6084/m9.figshare.5901640
title: quantum metrology with a quantum chaotic sensor - data

description: Supplementary data that belongs to the figures of the paper "Quantum metrology with a quantum chaotic sensor ".<br>Data is structured according the figures that appear in the paper. Data is documented with the help of functions, that generate plots of that data, in the corresponding folders. These functions are saved in the matlab (.m) or mathematica (.nb) format.<br>In case you are interested in the details of how the data is calculated please contact the authors (lukas.fiderer@uni-tuebingen.de).<br><br>
DOI: 10.6084/m9.figshare.5901640.v1
title: quantum metrology with a quantum chaotic sensor - data

description: Supplementary data that belongs to the figures of the paper "Quantum metrology with a quantum chaotic sensor ".<br>Data is structured according the figures that appear in the paper. Data is documented with the help of functions, that generate plots of that data, in the corresponding folders. These functions are saved in the matlab (.m) or mathematica (.nb) format.<br>In case you are interested in the details of how the data is calculated please contact the authors (lukas.fiderer@uni-tuebingen.de).<br><br>
DOI: 10.6084/m9.figshare.5901628
title: samples.zip

description: samples generated for UK,India,100 train and test samples.
DOI: 10.6084/m9.figshare.5901628.v1
title: samples.zip

description: samples generated for UK,India,100 train and test samples.
DOI: 10.6084/m9.figshare.5901625
title: coverages.zip

description: WorldClim environment variables (19) of Uttarakhand, India.this allows for various modelling and environmental studies,currently used for the data cube project.
DOI: 10.6084/m9.figshare.5901625.v1
title: coverages.zip

description: WorldClim environment variables (19) of Uttarakhand, India.this allows for various modelling and environmental studies,currently used for the data cube project.
DOI: 10.6084/m9.figshare.5901589
title: R script for SSN building and exploration

description: R script used to build the SSN and explore it.
DOI: 10.6084/m9.figshare.5901556
title: NUCM_DryCrust_DiffusionCreep

description: JGR ref 2017JE005431RR results for NUCM simulations when considering a dry crust and dry mantle rheology, as well as diffusion creep.
DOI: 10.6084/m9.figshare.5901556.v1
title: NUCM_DryCrust_DiffusionCreep

description: JGR ref 2017JE005431RR results for NUCM simulations when considering a dry crust and dry mantle rheology, as well as diffusion creep.
DOI: 10.6084/m9.figshare.5901487
title: Role of nutrient limitation in the competition between uropathogenic strains of <i>Klebsiella pneumoniae</i> and <i>Escherichia coli</i> in mixed biofilms

description: <i>Klebsiella pneumoniae</i> and <i>Escherichia coli</i> form mixed species biofilms in catheter-associated urinary tract infections. Recently, a detrimental effect of <i>K. pneumoniae</i> over <i>E. coli</i> was observed in mixed species biofilms grown in an artificial urine medium. The mechanism behind this competitive interaction was studied. <i>K. pneumoniae</i> partially outcompeted <i>E. coli</i> in early-stage batch-fed biofilms, whereas both microorganisms co-exist at longer times (<i>K. pneumoniae</i>:<i>E. coli</i> ratio, 55:1), as shown by cell counts and confocal microscopy. <i>E. coli</i> cells were scattered along the <i>K. pneumoniae</i> biofilm. Biofilm supernatants did not appear to contain either antimicrobial or anti-biofilm activities against <i>E. coli</i>. Biofilms grown under continuous flow prevented interspecies competition. <i>K. pneumoniae</i> showed both increased siderophore production and better growth in iron-limited media compared to <i>E. coli</i>. In summary, these results indicate the importance of nutrient (particularly iron) competition in the modulation of the bacterial composition of mixed species biofilms formed by uropathogenic <i>K. pneumoniae</i> and <i>E. coli</i>.
DOI: 10.6084/m9.figshare.5901487.v1
title: Role of nutrient limitation in the competition between uropathogenic strains of <i>Klebsiella pneumoniae</i> and <i>Escherichia coli</i> in mixed biofilms

description: <i>Klebsiella pneumoniae</i> and <i>Escherichia coli</i> form mixed species biofilms in catheter-associated urinary tract infections. Recently, a detrimental effect of <i>K. pneumoniae</i> over <i>E. coli</i> was observed in mixed species biofilms grown in an artificial urine medium. The mechanism behind this competitive interaction was studied. <i>K. pneumoniae</i> partially outcompeted <i>E. coli</i> in early-stage batch-fed biofilms, whereas both microorganisms co-exist at longer times (<i>K. pneumoniae</i>:<i>E. coli</i> ratio, 55:1), as shown by cell counts and confocal microscopy. <i>E. coli</i> cells were scattered along the <i>K. pneumoniae</i> biofilm. Biofilm supernatants did not appear to contain either antimicrobial or anti-biofilm activities against <i>E. coli</i>. Biofilms grown under continuous flow prevented interspecies competition. <i>K. pneumoniae</i> showed both increased siderophore production and better growth in iron-limited media compared to <i>E. coli</i>. In summary, these results indicate the importance of nutrient (particularly iron) competition in the modulation of the bacterial composition of mixed species biofilms formed by uropathogenic <i>K. pneumoniae</i> and <i>E. coli</i>.
DOI: 10.6084/m9.figshare.5901454
title: carbon fluxes.xlsx

description: Chamber carbon fluxes<br>
DOI: 10.6084/m9.figshare.5901439
title: gwangju ndvi.xlsx

description: NDVI modeled and measured<br>
DOI: 10.6084/m9.figshare.5901337
title: Lineages of 61 best attested Vai characters, traced as .svg images, with black backgrounds

description: This is identical to the content at https://doi.org/10.6084/m9.figshare.5897158.v1 except that each character is in white against a black rectangular background of consistent size. This allows measurement of perimetric visual complexity using Wolfram Mathematica. Note that for these files, the anchor points are not recorded in the filenames.
DOI: 10.6084/m9.figshare.5901337.v1
title: Lineages of 61 best attested Vai characters, traced as .svg images, with black backgrounds

description: This is identical to the content at https://doi.org/10.6084/m9.figshare.5897158.v1 except that each character is in white against a black rectangular background of consistent size. This allows measurement of perimetric visual complexity using Wolfram Mathematica. Note that for these files, the anchor points are not recorded in the filenames.
DOI: 10.6084/m9.figshare.5901301.v1
title: Vol 1 No 1 (2018): Pendidikan Dasar

description: <em>Muta’aliyah </em> merupakan Jurnal Pendidikan Islam (JPI) di rencanakan akan terbit 1 kali setahun dengan fokus kajian Studi Pendididkan Islam secara komprehensif, Jurnal ini di harapkan mampu menjadi ruang kontemplasi dan perenungan pemikiran Pendidikan Islam secara kritis bagi semua kalangan yang memiliki perhartian dan konsen dengan isu-isu Pendidikan Klasik dari masa klasik – modern.<em>Alamat Redaksi </em>: Lingkungan Yayasan Darul Kamal NW Kampus STAID Kembang kerang Daya kec, Aikmel Lombok Timur NTB Indonesia Kode Post : 83653, HP : 081803750014 dengn Email : akademikstaid@gmail.comISSN : 2502-2474E-ISSN : 2614-1612
DOI: 10.6084/m9.figshare.5901283
title: Greener chemicals for the future: QSAR modelling of the PBT index using ETA descriptors

description: Persistent, bioaccumulative and toxic (PBT) chemicals symbolize a group of substances that are not easily degraded; instead, they accumulate in different organisms and exhibit an acute or chronic toxicity. The limited empirical data on PBT chemicals, the high cost of testing together with the regulatory constraints and the international push for reduced animal testing motivate a greater reliance on predictive computational methods like quantitative structure–activity relationship (QSAR) models in PBT assessment. Papa and Gramatica have recently proposed a PBT index that could be computed directly from structural features. In the current study, we have modelled the experimentally derived PBT index data using an extended topological atom (ETA) along with constitutional descriptors to show the usefulness of the ETA indices in modelling the endpoint. The models developed through a double cross-validation (DCV) method gave the best results in terms of both internal and external validation metrics. The developed models were comparable in predictive quality to those previously reported. The current models were further used for consensus predictions of PBT behaviour for a set of pharmaceuticals and a set of synthetic drug-like compounds. The developed models can be used in PBT hazard screening for identification and prioritization of chemicals from the structural information alone.
DOI: 10.6084/m9.figshare.5901283.v1
title: Greener chemicals for the future: QSAR modelling of the PBT index using ETA descriptors

description: Persistent, bioaccumulative and toxic (PBT) chemicals symbolize a group of substances that are not easily degraded; instead, they accumulate in different organisms and exhibit an acute or chronic toxicity. The limited empirical data on PBT chemicals, the high cost of testing together with the regulatory constraints and the international push for reduced animal testing motivate a greater reliance on predictive computational methods like quantitative structure–activity relationship (QSAR) models in PBT assessment. Papa and Gramatica have recently proposed a PBT index that could be computed directly from structural features. In the current study, we have modelled the experimentally derived PBT index data using an extended topological atom (ETA) along with constitutional descriptors to show the usefulness of the ETA indices in modelling the endpoint. The models developed through a double cross-validation (DCV) method gave the best results in terms of both internal and external validation metrics. The developed models were comparable in predictive quality to those previously reported. The current models were further used for consensus predictions of PBT behaviour for a set of pharmaceuticals and a set of synthetic drug-like compounds. The developed models can be used in PBT hazard screening for identification and prioritization of chemicals from the structural information alone.
DOI: 10.6084/m9.figshare.5901259
title: Volume 1 no 1 tahun 2018

description: <em>Muta’aliyah </em> merupakan Jurnal Pendidikan Islam (JPI) di rencanakan akan terbit 1 kali setahun dengan fokus kajian Studi Pendididkan Islam secara komprehensif, Jurnal ini di harapkan mampu menjadi ruang kontemplasi dan perenungan pemikiran Pendidikan Islam secara kritis bagi semua kalangan yang memiliki perhartian dan konsen dengan isu-isu Pendidikan Klasik dari masa klasik – modern.<em>Alamat Redaksi </em>: Lingkungan Yayasan Darul Kamal NW Kampus STAID Kembang kerang Daya kec, Aikmel Lombok Timur NTB Indonesia Kode Post : 83653, HP : 081803750014 dengn Email : akademikstaid@gmail.comISSN : 2502-2474E-ISSN : 2614-1612
DOI: 10.6084/m9.figshare.5901256
title: Material suplementar do artigo "A flora e a vegetação dos afloramentos rochosos em três municípios na região Norte do Ceará, Brasil: caracterização fitossociológica" - Pereira et al.

description: Tabela A1 – Tabela sinóptica das comunidades estudadas. Espécies diagnóstico cuja fidelidade é significativa (teste exacto de Fisher) (** p &lt; 0.01). Frequência das classes: V: 80-100%; IV: 60-80%, III: 40-60%, II: 20-40%, I: 0-20%. A – Comunidade de Pilosocereus gounellei e Encholirium spectabile; B - Comunidade de Crateva tapia e Combretum leprosum.Tabela A2 – Comunidade de Pilosocereus gounellei e Encholirium spectabile de fendas e fissuras rochosas nos municípios de Santa Quitéria, Sobral e Groaíras.AE: áreas de estudo – A1 – Serrote dos Picos (04º 01’ 34’’ S e 40º 05’ 18’’ W), inventários de 1 a 4; A2 – Serrote dos Picos (04º 07’ 34’’ S e 40º 08’ 01’’ W), inventário 5; A3 – Sítio Galinha de Angola (04º 09’ 35’’ S e 40º 09’ 33’’ W), inventários 6 a 8; A4 – Unidade de Conservação Refúgio da Vida Silvestre Pedra da Andorinha (04º 03’ 35’’ S e 40º 00’ 39’’ W), inventário 9; A5 – Lagoa do Peixe (03º 56’ 39’’ S e 40º 23’ 35’’ W), inventários 10 a 13.Tabela A3 – Comunidade de Crateva tapia e Combretum leprosum das ilhas de vegetação nos afloramentos rochosos nos municípios de Santa Quitéria e Sobral.AE: áreas de estudo – A1 – Serrote dos Picos (04º 01’ 34’’ S e 40º 05’ 18’’ W), inventários de 14 a 16; A3 – Sítio Galinha de Angola (04º 09’ 35’’ S e 40º 09’ 33’’ W), inventário 17; A4 – Unidade de Conservação Refúgio da Vida Silvestre Pedra da Andorinha (04º 03’ 35’’ S e 40º 00’ 39’’ W), inventários 18 a 21.
DOI: 10.6084/m9.figshare.5901025
title: CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

description: This dataset includes source code, benchmarks and dependencies to reproduce the work presented in the TACAS 18 paper entitled<br>"CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving"<br><br>Boolean satisfiability (SAT) is an area of active research with numerous applications. Increasingly, the development of approaches that can treat increasingly complex SAT problems has become a focus. This dataset and the related paper introduce a novel method of dynamically exploiting symmetries to speed up the solving of SAT problems.<br>This new approach is implemented as a C++ library called cosy. cosy can be interfaced with virtually any conflict-driven clauses learning (CDCL) SAT solver. In this instance it has been integrated with the SAT solver MiniSAT, termed MiniSym<br>MiniSym is evaluated against 3 existing SAT solvers: - MiniSAT, as a reference without symmetry handling- Shatter, a symmetry breaking pre-processor coupled with MiniSAT- breakID, another symmetry breaking pre-processory also coupled with MiniSAT<br>A subset of the benchmark problems used is available in the directory <b>/subsent_cnfs</b>. All symmetries were computed with two different tools: saucy3 and bliss.<br>Source code for all 3 solvers, including the cosy + Mini SAT implementation, as well as both the saucy3 and bliss tools, are provided in the <b>/sources</b> directory.<br>Instructions for installation and running the included benchmarks are provided in the <b>README</b>.<br>Output from the included benchmarks is include in the file <b>TACAS-QUAD.csv</b>.
DOI: 10.6084/m9.figshare.5901025.v1
title: CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

description: This dataset includes source code, benchmarks and dependencies to reproduce the work presented in the TACAS 18 paper entitled<br>"CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving"<br><br>Boolean satisfiability (SAT) is an area of active research with numerous applications. Increasingly, the development of approaches that can treat increasingly complex SAT problems has become a focus. This dataset and the related paper introduce a novel method of dynamically exploiting symmetries to speed up the solving of SAT problems.<br>This new approach is implemented as a C++ library called cosy. cosy can be interfaced with virtually any conflict-driven clauses learning (CDCL) SAT solver. In this instance it has been integrated with the SAT solver MiniSAT, termed MiniSym<br>MiniSym is evaluated against 3 existing SAT solvers: - MiniSAT, as a reference without symmetry handling- Shatter, a symmetry breaking pre-processor coupled with MiniSAT- breakID, another symmetry breaking pre-processory also coupled with MiniSAT<br>A subset of the benchmark problems used is available in the directory <b>/subsent_cnfs</b>. All symmetries were computed with two different tools: saucy3 and bliss.<br>Source code for all 3 solvers, including the cosy + Mini SAT implementation, as well as both the saucy3 and bliss tools, are provided in the <b>/sources</b> directory.<br>Instructions for installation and running the included benchmarks are provided in the <b>README</b>.<br>Output from the included benchmarks is include in the file <b>TACAS-QUAD.csv</b>.
DOI: 10.6084/m9.figshare.5900965
title: Currency demand and MIMIC models: towards a structured hybrid method of measuring the shadow economy - additional materials

description: Replication materials for restricted MIMIC model presented in the article "Currency demand and MIMIC models: towards a structured hybrid method of measuring the shadow economy".<br>
DOI: 10.6084/m9.figshare.5900938.v2
title: Tumor Heterogeneity

description: Origin and consequences of tumor heterogeneity
DOI: 10.6084/m9.figshare.5900911.v1
title: The Refinement Calculus of Reactive Systems Toolset - Feb 2018

description: Distribution of the Refinement Calculus of Reactive Systems (RCRS) Toolset. Includes full RCRS formalization in the Isabelle proof assistant, Formal Analyzer implemented on top of Isabelle, Translator of Simulink models to RCRS, sample Simulink models, and demonstration files with instructions.<br>RCRS is fully implemented in the Isabelle theorem prover. The RCRS implementation currently consists of 22 Isabelle theories (.thy files).<br>This dataset is in .zip archive format and can be uncompressed using standard compression software. This dataset consists of:<br><b>- instructions-figshare.txt - </b>Step-by-step instructions on how to use this artifact to replicate the results in the TACAS 2018 paper: "The Refinement Calculus of Reactive Systems Toolset" in openly accessible .txt format.<b>- RCRS_Demo.thy - </b>a demo file for RCRS in openly-accessible Isabelle <b>.thy</b> format. <b>- Documentation/ - </b>guidance documents in openly accessible <b>.pdf </b>format on RCRS and a theory dependency graph.<b>- RCRS/ - </b>data are in either openly-accessible Python language <b>.py</b> format or Isabelle theorem <b>.thy</b> format. RCRS contains two subfolders: I. The "Isabelle" folder contains the implementation of RCRS into the Isabelle proof assistant. See file "document.pdf" for documentation on the subfolders. II. The "Simulink2Isabelle" folder contains the "simulink2isabelle.py" translator: it translates Simulink models into RCRS/Isabelle theories.<br><b>- Simulink_models/ </b> - data are in <b>.slx</b> format, accessible via MathWorks Matlab/Simulink. These form the Translator inputs.<br>The instructions allow to reproduce in full the results reported in the paper "The Refinement Calculus of Reactive Systems Toolset", TACAS 2018.<br>