A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Two Lower Bounds for BPA
[article]
2017
arXiv
pre-print
Preserved Fulltext
In this paper, we develop a new complete proof for EXPTIME-hardness of branching bisimilarity on normed BPA. ...
Branching bisimilarity on normed Basic Process Algebra (BPA) was claimed to be EXPTIME-hard in previous papers without any explicit proof. ...
The normed BPA system ∆ 0 = (B B , A 0 , R 0 ) defined as follows fulfills C V I T 2 0 1 6 23:6 Two Lower Bounds for BPA our objective. ...
arXiv:1702.05578v1
fatcat:xa5zc6ftqrbqjaqkmyeiadcm5a
Two Lower Bounds for BPA
2017
International Conference on Concurrency Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we develop a new complete proof for the EXPTIME-hardness of branching bisimilarity of nBPA. We also prove that the associated regularity problem of nBPA is PSPACE-hard. ...
Petr Jančar for his kind reminder of the EXPTIMEhardness claim and the members of BASICS for their interest. We thank Prof. Yuxi Fu, Dr. ...
Huan Long and the anonymous reviewers for their comments to improve this paper. ...
doi:10.4230/lipics.concur.2017.20
dblp:conf/concur/HuangY17
fatcat:nnwtz3pw7vab3ngtk7mc6fclte
Bound Propagation for Arithmetic Reasoning in Vampire
2013
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To make the method efficient, we use various strategies for representing numbers, selecting variable orderings, choosing variable values and propagating bounds. ...
This paper describes an implementation and experimental evaluation of a recently introduced bound propagation method for solving systems of linear inequalities over the reals and rationals. ...
We describe how bound propagation is implemented and used in Vampire for solving systems of linear inequalities. Also we made an overview of options we have implemented. ...
doi:10.1109/synasc.2013.30
dblp:conf/synasc/DraganKKV13
fatcat:ddaewur2hrayfcytrvh4rkuxuu
Effects of Surface Epitope Coverage on the Sensitivity of Displacement Assays that Employ Modified Nanoparticles: Using Bisphenol A as a Model Analyte
2016
Biosensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Thiolated bisphenol A (BPA) functionalized gold nanoparticles (cysBPAv-AuNPs) and specific anti-BPA antibodies are employed for this purpose. ...
It is shown that the displacement of cysBPAv-AuNPs bound to the immobilized antibodies was influenced by both the avidity of bound cysBPAv-AuNPs and the concentration of free BPA to displace it. ...
Acknowledgments: The authors would like to thank the CSIRO flagship collaboration research program for financial support. Yang Lu is grateful for the CSIRO flagship postgraduate scholarship. ...
doi:10.3390/bios6030043
pmid:27509530
pmcid:PMC5039662
fatcat:ivi3jwsi25cdpbxbwo5obigm5y
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Strong bisimilarity and regularity checking problems of Basic Process Algebra (BPA) are decidable, with the complexity upper bounds 2-EXPTIME. On the other hand, no lower bounds were known. ...
I would like to thank my advisor Mogens Nielsen for his kind supervision. I also thank Pawel Sobocinski and the anonymous referees for useful comments and suggestions. ...
As far as we know, no lower bound was given for strong regularity of BPA. ...
doi:10.1007/3-540-45465-9_61
fatcat:imp3zf3prbb2felsztlzzwoimy
Nuclear Receptor Profiling of Bisphenol-A and Its Halogenated Analogues
[chapter]
2014
Vitamines and Hormones
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These data provide guidelines for the development of safer substitutes devoid of hormonal activity and may help environmental risk assessment. ...
Bisphenol-A (BPA) is one of the highest volume chemicals produced worldwide and the widespread exposure of individuals to BPA is suspected to affect a variety of physiological functions, including reproduction ...
In two other studies (Riu, 2011a; Riu, 2011b) , we have characterized the estrogenic activity of TBBPA and TCBPA together with lower halogenated BPA. ...
doi:10.1016/b978-0-12-800095-3.00009-2
pmid:24388193
fatcat:mzyte4p5czbujd6tfd4utio7fi
Derivation of a Human In Vivo Benchmark Dose for Bisphenol A from ToxCast In Vitro Concentration Response Data Using a Computational Workflow for Probabilistic Quantitative In Vitro to In Vivo Extrapolation
2022
Frontiers in Pharmacology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In vivo benchmark dose 10% lower confidence limits (BMDL10) for oral uptake of BPA (ng/kg BW/day) were calculated from the in vivo dose-responses and compared to the human equivalent dose (HED) BMDL10 ...
The workflow was tested using a human PBK model for bisphenol A (BPA) and high throughput screening (HTS) in vitro concentration-response data, for estrogen and pregnane X receptor activation determined ...
The model structures for BPA and the two metabolites differed only in the coding of uptake required for BPA (including the simplified description of a lymphatic compartment). ...
doi:10.3389/fphar.2021.754408
pmid:35222005
pmcid:PMC8874249
fatcat:7lgs4qpbmbhr5hqynk6eunpnzq
Adsorption and desorption behaviors of selected endocrine disrupting chemicals in simulated gastrointestinal fluids
2014
Marine Pollution Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
During the dynamic desorption tests, 62% and 21% of sediment-bound BPA and EE2, respectively, could be released into the simulated GI fluids. ...
Pepsin in the gastric fluid would compete for the adsorption sites with the adsorbates, and bile salts in the intestinal fluid had a solubilization effect on the chemicals. ...
Model chemicals Two typical EDCs, BPA and EE2, were chosen as the model pollutants for the sediment adsorption and desorption tests. ...
doi:10.1016/j.marpolbul.2014.01.047
pmid:24533996
fatcat:g7yk7scg4vdhpifkl6fgxulj3m
Exploring the Ability of Luminescent Metal Assemblies to Bind and Sense Anionic or Ionizable Analytes A Ru(phen)2bipy-Based Dizinc Complex for Bisphenol A (BPA) Recognition
2021
Molecules
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Only the dizinc complex with [Ru(phen)2L]2+ is able to bind BPA in aqueous solution, affording a remarkably stable {Zn2[Ru(phen)2L]BPA(H−2)}4+ adduct at neutral pH, in which BPA is bound in its doubly ...
Although the quenching effect is modest, this study demonstrates that appropriately designed dizinc complexes can be used for binding and optical sensing of BPA in water. ...
Acknowledgments: We thank CISM (Centro Interdipartimentale di Spettrometria di Massa, University of Florence) and Lara Massai and Carlotta Zoppi for ESI mass spectra collection. ...
doi:10.3390/molecules26030527
pmid:33498435
fatcat:fksnm6wcbngvjehbtqbwugpd7y
What Does CLARITY-BPA Mean for Canadians?
2021
International Journal of Environmental Research and Public Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
the CLARITY-BPA program in the United States identified several adverse effects below this exposure level. ...
It also does not account for the additive effects caused by simultaneous exposure to multiple endocrine-disrupting chemicals. ...
The upper bound for the uncertainty interval for dietary exposure did not exceed the TDI for any age group. ...
doi:10.3390/ijerph18137001
fatcat:f4iyi2j7anbcfnz7p72bomuh2a
BPA Bisimilarity is EXPTIME-hard
[article]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
Given a basic process algebra (BPA) and two stack symbols, the BPA bisimilarity problem asks whether the two stack symbols are bisimilar. We show that this problem is EXPTIME-hard. ...
I would like to thank Javier Esparza, Vojtěch Forejt, Christoph Haase, Petr Jančar, Jiří Srba, and James Worrell for valuable hints and discussions, and anonymous reviewers for their insightful and constructive ...
Our EXPTIME lower bound shows that the complexity for BPAs is different (unless EXPTIME = PSPACE). ...
arXiv:1205.7041v2
fatcat:4iwykuvsffeuzdzd6ssconycam
Genistein and bisphenol A exposure cause estrogen receptor 1 to bind thousands of sites in a cell type-specific manner
2012
Genome Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments We thank Greg Barsh, Devin Absher, Chris Gunter, Shawn Levy, Barbara Wold, and members of the Myers lab for valuable discussions and contributions. ...
(C ) ChIP-seq signal and gene expression levels after E2-, GEN-, BPA-, and DMSO-treatment are shown for two representative genes. ...
While 54 genes were up-regulated after BPA exposure, only two genes were down-regulated. ...
doi:10.1101/gr.135681.111
pmid:23019147
pmcid:PMC3483545
fatcat:io76a3mapvetxfzt7w35vawkse
Insights into the Interactions of Bisphenol and Phthalate Compounds with Unamended and Carnitine-Amended Montmorillonite Clays
2020
Computers and Chemical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Molecular dynamics simulations predicted that parent, unamended, clay has higher binding propensity for BPA and BPS than for DBP and DEHP; carnitine-amended clay improved BPA and BPS binding, through carnitine ...
Our studies demonstrate how computational and experimental methods, combined, can characterize clay binding and sorption of toxic compounds, paving the way for future investigation of clays to reduce BPA ...
Two categories of binding were considered in the calculations: self-binding, for which a compound was bound directly to the clay, and assisted-binding, for which a compound was bound indirectly to the ...
doi:10.1016/j.compchemeng.2020.107063
pmid:33122868
pmcid:PMC7591107
fatcat:yrlu6za66vadzmhpcounhqgx6m
The Effect of Dissolved Organic Matter (DOM) on the Release and Distribution of Endocrine-Disrupting Chemicals (Edcs) from Sediment under Hydrodynamic Forces, A Case Study of Bisphenol A (BPA) and Nonylphenol (NP)
2019
International Journal of Environmental Research and Public Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Moreover, the ratio (αEDCs) of BPA and NP contents in soluble and colloid-bound phases varied differently with αDOM. ...
The results suggested that BPA tended to be in the soluble phase and NP tended to be in the colloid-bound phase due to the increasing value of αDOM. ...
As per the colloid-bound phase, the NP content under low hydrodynamic intensity was lower than the BPA, and subsequently overpassed BPA under high hydrodynamic intensity. ...
doi:10.3390/ijerph16101724
pmid:31100823
pmcid:PMC6571804
fatcat:7syrxtkktbhxdmq5kf2eaib3yq
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
A PSPACE lower bound for the FS ⊑ BPA problem and a co-N P lower bound for the BPA ⊑ FS and BPA ≃ FS problems have been shown in [6] . ...
Lower Bounds In this section we prove that all of the problems BPA ⊑ FS, FS ⊑ BPA and BPA ≃ FS are EXPTIME -hard. ...
The decision procedures described in [9, 13] do not give any upper complexity bound. So far, the best known lower bound for this problem was PSPACE -hardness [8] . ...
doi:10.1007/3-540-45687-2_36
fatcat:yfz36qr2wvhmvmf7gw4m5w42xq
« Previous
Showing results 1 — 15 out of 5,868 results