Filters








5,868 Hits in 3.3 sec

Two Lower Bounds for BPA [article]

Qiang Yin, Mingzhang Huang, Chaodong He
2017 arXiv   pre-print
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

Mingzhang Huang, Qiang Yin, Marc Herbstritt
2017 International Conference on Concurrency Theory  
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

Ioan Dragan, Konstantin Korovin, Laura Kovacs, Andrei Voronkov
2013 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
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

Yang Lu, Joshua Peterson, Erwann Luais, John Gooding, Nanju Lee
2016 Biosensors  
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]

Jirí Srba
2002 Lecture Notes in Computer Science  
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]

Vanessa Delfosse, Marina Grimaldi, Albane le Maire, William Bourguet, Patrick Balaguer
2014 Vitamines and Hormones  
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

George Loizou, Kevin McNally, Alicia Paini, Alex Hogg
2022 Frontiers in Pharmacology  
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

Ying-heng Fei, Kenneth M.Y. Leung, Xiao-yan Li
2014 Marine Pollution Bulletin  
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

Luca Conti, Liviana Mummolo, Giammarco Maria Romano, Claudia Giorgi, Gina Elena Giacomazzo, Luca Prodi, Andrea Bencini
2021 Molecules  
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?

Lindsay D. Rogers
2021 International Journal of Environmental Research and Public Health  
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]

Stefan Kiefer
2012 arXiv   pre-print
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

J. Gertz, T. E. Reddy, K. E. Varley, M. J. Garabedian, R. M. Myers
2012 Genome Research  
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

Asuka A. Orr, Shujun He, Meichen Wang, Alicia Goodall, Sara E. Hearon, Timothy D. Phillips, Phanourios Tamamis
2020 Computers and Chemical Engineering  
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)

Jue Ding, Yu Cheng, Zulin Hua, Cong Yuan, Xiaoju Wang
2019 International Journal of Environmental Research and Public Health  
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]

Antonín Kučera, Richard Mayr
2002 Lecture Notes in Computer Science  
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