Filters








369,428 Hits in 3.7 sec

On the complexity of beta-reduction

Andrea Asperti
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
We prove that the complexity of Lamping's optimal graph reduction technique for the A-calculus can be exponential in the number of L6vy 's family reductions.  ...  Starting from this consideration, we propose a new measure for what could be considered as "the intrinsic complexity" of A-terms.  ...  Acknowledgements We would like to thank Cosimo Laneve for many interesting discussions on the subject of this paper.  ... 
doi:10.1145/237721.237742 dblp:conf/popl/Asperti96 fatcat:fyx2gvy2tre3dktxwpr6cg3qq4

Syntaxin-4 mediates exocytosis of pre-docked and newcomer insulin granules underlying biphasic glucose-stimulated insulin secretion in human pancreatic beta cells

Li Xie, Dan Zhu, Subhankar Dolai, Tao Liang, Tairan Qin, Youhou Kang, Huanli Xie, Ya-Chi Huang, Herbert Y. Gaisano
2015 Diabetologia  
Co-immunoprecipitations were conducted on INS-1 cells to assess exocytotic complexes.  ...  Cm of RFP-tagged Syn-4-KD beta cells showed severe inhibition in the readily releasable pool (by 71%) and mobilisation from reserve pools (by 63%).  ...  Of the four syntaxins mediating exocytosis, Syn-1, Syn-2 and Syn-4 are found on beta cell PM, whereas Syn-3 is more abundant in SGs [8] .  ... 
doi:10.1007/s00125-015-3545-4 pmid:25762204 fatcat:kyh3bvvd2balflpclaxfxjlcle

Why do beta-receptor blockers decrease mortality after myocardial infarction?

Edgar Lichstein
1985 Journal of the American College of Cardiology  
Data pooled from seven of the major trials revealed that beta-blockers caused a 28% reduction in mortality and a 33% reduction in sudden cardiac death.  ...  The effect of beta-blockers on ventricular fibrillation has been noted for many years.  ... 
doi:10.1016/s0735-1097(85)80296-5 pmid:2864366 fatcat:i2ki2nbbmrgdjfjcboo56tan7q

Characterization of Ti-Beta zeolites and their reactivity for the photocatalytic reduction of CO2with H2O

Keita Ikeue, Hiromi Yamashita, Takahiko Takewaki, Mark E. Davis, Masakazu Anpo
2001 Journal of Synchrotron Radiation  
Ti-Beta(OH) exhibited a higher reactivity than Ti-Beta(F), while the selectivity for the formation of CH 3 OH on Ti-Beta(F) was higher than that for Ti-Beta(OH).  ...  A characterization of Ti-Beta zeolites synthesized under various conditions as well as an investigation of their photocatalytic properties for the reduction of CO 2 with H 2 O at 323 K to produce CH 4  ...  Figure 3 The yields of CH4 and CH3OH in the photocatalytic reduction of CO2 with H2O at 323 K on Ti-Beta(OH), TS-1, Ti-Beta(F), and TiO2 (P-25) as the reference catalyst.  ... 
doi:10.1107/s0909049500014394 pmid:11512865 fatcat:t2e5kwto7vekhcue33jzlgitcm

Long-term treatment with metoprolol after myocardial infarction: Effect on 3 year mortality and morbidity

Gunnar Olsson, Nina Rehnqvist, Andreas Sjögren, Leif Erhardt, Torbjörn Lundman
1985 Journal of the American College of Cardiology  
The incidence The possibility of a beneficial effect of beta-adrenergic blockade on mortality after acute myocardial infarction was proposed by Snow (1) in 1965.  ...  This idea received support from three different studies in the 1970s (2-4), all of which reported a reduction of sudden deaths.  ...  The incidence The possibility of a beneficial effect of beta-adrenergic blockade on mortality after acute myocardial infarction was proposed by Snow (1) in 1965.  ... 
doi:10.1016/s0735-1097(85)80360-0 pmid:3889100 fatcat:atnlpcbflzanrlyvb2diysfnfm

A Note on Some Reduction Formulas for the Incomplete Beta Function and the Lerch Transcendent

Juan Luis González-Santander
2021 Mathematics  
We derive new reduction formulas for the incomplete beta function Bν,0,z and the Lerch transcendent Φz,1,ν in terms of elementary functions when ν is rational and z is complex.  ...  Additionally, we use these reduction formulas to test the performance of the algorithms devoted to the numerical evaluation of the incomplete beta function.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/math9131486 fatcat:zerbvdmmaffljh3jnwuuqohusy

A model reduction method for biochemical reaction networks

Shodhan Rao, Arjan van der Schaft, Karen van Eunen, Barbara M Bakker, Bayu Jayawardhana
2014 BMC Systems Biology  
It is based on the Kron reduction of the weighted Laplacian matrix, which describes the graph structure of the complexes and reactions in the network.  ...  The method proceeds by a stepwise reduction in the number of complexes, defined as the left and right-hand sides of the reactions in the network.  ...  Guy-Bart Stan and Juan Kuntz for their critical comments on an earlier draft of the manuscript.  ... 
doi:10.1186/1752-0509-8-52 pmid:24885656 pmcid:PMC4041147 fatcat:iraa2pm3rvcgndji6foaxnd23e

Beta-adrenergic receptor blocking therapy for congestive heart failure: an overview

JC Mohan
2000 Nepalese Heart Journal  
mechanistic approach and experimental data do not always provide the correct answer to a complex pathophysiological syndrome.  ...  The current theme is no longer symptomatic relief which is variable butsurvival benefits and less need for cardiac transplantation and recurrent hospitalization.Saga of beta-blocker therapy taught us how  ...  Saga of beta-blocker therapy taught us how mechanistic approach and experimental data do not always provide the correct answer to a complex pathophysiological syndrome.  ... 
doi:10.3126/njh.v1i0.26017 fatcat:wa4xpyfifnbatbgvfudbdjsewa

Realizing low-emittance lattice solutions with Complex Bends

Victor Smaluk, Timur Shaftan
2019 Journal of Physics, Conference Series  
The first attempt of lattice design for potential NSLS-II upgrade based on Complex Bend, is described.  ...  The Complex Bend gradient is limited by 250 T/m assuming possible use of permanent magnets.  ...  Acknowledgments The authors would like to thank G. Wang, S. Sharma, C. Spataro, Y. Hidaka, O. Chubar, T. Tanabe, B. Parker, and N. Mezentsev.  ... 
doi:10.1088/1742-6596/1350/1/012044 fatcat:lrubh7oovbdpre45rvfyznr27i

Three decades of clinical trials with beta-blockers

Craig M. Pratt
2005 Journal of the American College of Cardiology  
We can expect the playing field of clinical trials in AMI and CHF to be conducted on increasingly complex background therapy.  ...  One of the goals of the CAPRICORN investigations was to reestablish the role of beta-blockers in the vastly more complicated post-AMI therapeutic environment now facing clinicians.  ... 
doi:10.1016/j.jacc.2004.11.034 pmid:15708699 fatcat:2mrts2tgtzek3n7ymfuirnjqve

On Constructor Rewrite Systems and the Lambda-Calculus (Long Version) [article]

Ugo Dal Lago, Simone Martini
2012 arXiv   pre-print
This is relevant to implicit computational complexity, because the number of beta steps to normal form is polynomially related to the actual cost (that is, as performed on a Turing machine) of normalization  ...  In particular, weak call-by-value beta-reduction can be simulated by an orthogonal constructor term rewrite system in the same number of reduction steps.  ...  Acknowledgments The authors wish to thank Kazushige Terui for stimulating discussions on the topics of this paper.  ... 
arXiv:0904.4120v4 fatcat:shdi75k6ojhxfdnl4r6eoanylq

Role of mammalian homologue of Caenorhabditis elegans unc-13-1 (Munc13-1) in the recruitment of newcomer insulin granules in both first and second phases of glucose-stimulated insulin secretion in mouse islets

L. Xie, D. Zhu, H. Y. Gaisano
2012 Diabetologia  
While exocytosis of previously docked granules in Munc13-1 +/− beta cells is reduced during high-K + stimulation as expected, we now find a reduction in additional exocytosis events that account for the  ...  Results There was no difference in the density of docked granules in the resting state between Munc13-1 +/+ and Munc13-1 +/− mouse islet beta cells.  ...  ] , along with a reduction in cognate SNARE complex and accessory proteins, including Munc13-1 [11, 18] .  ... 
doi:10.1007/s00125-012-2640-z pmid:22814762 fatcat:amrcpalfaba6bchbuzyelemykm

BCR-ABL1-Associated Reduction of Beta Catenin Antagonist Chibby1 in Chronic Myeloid Leukemia

Elisa Leo, Manuela Mancini, Michela Aluigi, Simona Luatti, Fausto Castagnetti, Nicoletta Testoni, Simona Soverini, Maria Alessandra Santucci, Giovanni Martinelli, Nanette H. Bishopric
2013 PLoS ONE  
We investigated the impact of BCR-ABL1 on Chibby1, a beta catenin antagonist involved in cell differentiation and transformation.  ...  Relative proximity of the Chibby1 encoding gene (C22orf2) on chromosome 22q12 to the BCR breakpoint (22q11) lets assume its involvement in beta catenin activation in chronic myeloid leukemia as a consequence  ...  Acknowledgments The authors acknowledge Ken-Ichi Takemaru for helpful suggestions and critical reading of the manuscript, Gabriele Gugliotta and Cristina Papayannidis for clinical details on CML patients  ... 
doi:10.1371/journal.pone.0081425 pmid:24339928 pmcid:PMC3858264 fatcat:xpbxwjvkf5ejzoyfbamdq3er64

Page 24 of D M, Disease-A-Month Vol. 27, Issue 9 [page]

1981 D M, Disease-A-Month  
Although the effects of beta-blocking agents on mechan- ical function are fairly well defined, effects on coronary blood flow are less clear.  ...  Although the factors that govern the regulation of the blood flow through the coronary bed are complex, two primary characteristics are well estab- lished.  ... 

A note on some reduction formulas for the incomplete beta function and the Lerch transcedent [article]

J.L. González-Santander
2020 arXiv   pre-print
Also, we use these reduction formulas to test the performance of the algorithms devoted to the numerical evaluation of the incomplete beta function.  ...  We derive new reduction formulas for the incomplete beta function and the Lerch transcendent in terms of elementary functions. As an application, we calculate some new integrals.  ...  On the other hand, we have calculated the integrals given (20) from the reduction formulas (13) and (16) and the integral representation of the incomplete beta function and the Lerch transcendent.  ... 
arXiv:2006.06515v1 fatcat:woy6st5uvvd5zdmjs3lnugn4ku
« Previous Showing results 1 — 15 out of 369,428 results