A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
On the complexity of beta-reduction
1996
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
Preserved Fulltext
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
2015
Diabetologia
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.
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?
1985
Journal of the American College of Cardiology
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.
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
2001
Journal of Synchrotron Radiation
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.
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
1985
Journal of the American College of Cardiology
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.
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
2021
Mathematics
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.
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
2014
BMC Systems Biology
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.
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
2000
Nepalese Heart Journal
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.
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
2019
Journal of Physics, Conference Series
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.
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
2005
Journal of the American College of Cardiology
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.
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]
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
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
2012
Diabetologia
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.
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
2013
PLoS ONE
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.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2020
arXiv
pre-print
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.
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