Filters








1,284 Hits in 7.8 sec

Page 4453 of Mathematical Reviews Vol. , Issue 82j [page]

<span title="">1982</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Kandzia, Peter; Mangelmann, Margret §2j:68012 The use of transitively irreducible kernels of full families of functional dependencies in logical data base design.  ...  This idea, in particular properties of transitively irreducible kernels of full families of functional dependencies (FDs), is investigated.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1982-10_82j/page/4453" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1982-10_82j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 3123 of Mathematical Reviews Vol. , Issue 82g [page]

<span title="">1982</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
and Margret Mangelmann, The use of transitively irreducible kernels of full families of functional dependencies in logical data base design (pp. 195-211); G.  ...  Kostruba, Analysis of the relations of objects in relational data base control systems (pp. 73-77); Ju. P. Zaiéenko and S. F. Telenik, Structural design of data bases of network type (pp. 77-90).  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1982-07_82g/page/3123" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1982-07_82g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

A Primer on Markov Chain Monte Carlo [chapter]

Peter Green
<span title="2000-08-09">2000</span> <i title="Chapman and Hall/CRC"> C&amp;H/CRC Monographs on Statistics &amp; Applied Probability </i> &nbsp;
Some of this work was supported by the EPSRC.  ...  1 var (g) independent sampling is sometimes called the integrated autocorrelation time; it depends on , g and the transition kernel P.  ...  If fx (t) g is an irreducible Markov chain with transition kernel P and invariant distribution , and g is a real valued function with R jg(x)j (dx) < 1, then 1 N N X t=1 g(x (t) ) !  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420035988.ch1">doi:10.1201/9781420035988.ch1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/omvidcbwcrggvp626fzf57hv7q">fatcat:omvidcbwcrggvp626fzf57hv7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060904001108/https://www.stat.ohio-state.edu/~goel/STAT825/PAPERS/GreenPrimerMCMC.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3b/a2/3ba299ed15b425a39edb8cc0ec60c422e52e6add.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420035988.ch1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

:{unav)

Christophe Andrieu, Nando de Freitas, Arnaud Doucet, Michael I. Jordan
<span title="2012-12-28">2012</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4nnd7sxwzcwhetu5qkjbcdh6u" style="color: black;">Machine Learning</a> </i> &nbsp;
Second, it reviews the main building blocks of modern Markov chain Monte Carlo simulation, thereby providing and introduction to the remaining papers of this special issue.  ...  This purpose of this introductory paper is threefold. First, it introduces the Monte Carlo method with emphasis on probabilistic machine learning.  ...  For more details, we advise the readers to consult the references at the end of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/a:1020281327116">doi:10.1023/a:1020281327116</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5zvhlceydzcmjbbx3pihkw7spy">fatcat:5zvhlceydzcmjbbx3pihkw7spy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141121145133/http://dsec.pku.edu.cn:80/~tieli/notes/numer_anal/MachLearning_50_5_Jordan_MCReview.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a9/cf/a9cf7e6ba3934811e8f4364dff7013041b6f4644.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/a:1020281327116"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A quick safari through the reconfiguration jungle

Patrick Schaumont, Ingrid Verbauwhede, Kurt Keutzer, Majid Sarrafzadeh
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 38th conference on Design automation - DAC &#39;01</a> </i> &nbsp;
We organize this design space as the reconfiguration hierarchy, and discuss the design methods that deal with it.  ...  Finally, we survey existing industrial platforms that support reconfiguration and situate them in the reconfiguration jungle. RAM Organization CLB Parametrizable IP-block  ...  Atmel offers the FPSlic based on the AVR micro-controller. Altera combines embedded microprocessors (ARM, MIPS) and peripherals with reconfigurable logic in the Excalibur™ family.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378239.378404">doi:10.1145/378239.378404</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/SchaumontVKS01.html">dblp:conf/dac/SchaumontVKS01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eeohwm4lu5gdtd3jan6xrw2mim">fatcat:eeohwm4lu5gdtd3jan6xrw2mim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060910050639/http://www.cs.berkeley.edu/%7Eculler/cs252-s02/papers/hreco_final2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/64/aa/64aac201c8ebf38a5ca557a96df742b18a216b06.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378239.378404"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Abstracts of Current Computer Literature

<span title="">1968</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5jlmyrayyrdazh5awdlsoec77q" style="color: black;">IEEE transactions on computers</a> </i> &nbsp;
The block has r signal or data inputs and s control inputs, and can realize any one of a set of Boolean functions, depending on how the control inputs are connected.  ...  This family has a structure which is different from that of other generalizations of linear families of functions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tc.1968.226455">doi:10.1109/tc.1968.226455</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/syhwt24pazahde6pjqsan47epq">fatcat:syhwt24pazahde6pjqsan47epq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817175854/https://www.computer.org/csdl/trans/tc/1968/10/01687253.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/39/fc3907881daa1ca7f9b63f78fcf5e48f7afd45f0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tc.1968.226455"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Subject index volumes 1–200

<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
of -, 495 theory of -, 369 functional dependency families, 772 projection of -, 772 functional dependency inference problem, 2793 functional dimension, 2006 equation, 1192, 1346 equations, 114  ...  full abstraction, 1221,2993, 3377 for the second order subset of ALG, 3268 of another semantic model, 761 proof, 3268 full abstractness, 1677 AFL, 1650 AFL's, 296 classical multiplicative logic  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00319-3">doi:10.1016/s0304-3975(98)00319-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s22ud3iiqjht7lfbtc3zctk7zm">fatcat:s22ud3iiqjht7lfbtc3zctk7zm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926082047/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/3a5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5ODAwMzE5Mw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00319-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Involutive MCMC: a Unifying Framework [article]

Kirill Neklyudov, Max Welling, Evgenii Egorov, Dmitry Vetrov
<span title="2020-06-30">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Building upon this, we describe a wide range of MCMC algorithms in terms of iMCMC, and formulate a number of "tricks" which one can use as design principles for developing new MCMC algorithms.  ...  The field has developed a broad spectrum of algorithms, varying in the way they are motivated, the way they are applied and how efficiently they sample.  ...  The authors are thankful to the reviewers who provided detailed feedback and pointed out essential related works.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2006.16653v1">arXiv:2006.16653v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kov25qztandjtedlwiatoxj4qm">fatcat:kov25qztandjtedlwiatoxj4qm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200721144141/https://arxiv.org/pdf/2006.16653v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/4b/334bdbd2c9194e1414a1978e2c5a55707f4717ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2006.16653v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

From Total Equational to Partial First-Order Logic [chapter]

Maura Cerioli, Till Mossakowski, Horst Reichel
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">Algebraic Foundations of Systems Specification</a> </i> &nbsp;
The focus of this chapter is the incremental presentation of partial rstorder logic, seen as a powerful framework where the speci cation of most data types can be directly represented in the most natural  ...  Both model theory and logical deduction are described in full detail.  ...  Conditional axioms with predicates (but without full equality) are also used in logic programming and Prolog Llo87].  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59851-7_3">doi:10.1007/978-3-642-59851-7_3</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/series/ifip/CerioliMR99.html">dblp:series/ifip/CerioliMR99</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wc6hrxmtcngh3pjvghj5cpomum">fatcat:wc6hrxmtcngh3pjvghj5cpomum</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307043107/http://pdfs.semanticscholar.org/daa5/c650dc36b66685598604eef95dc3002af2b1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/a5/daa5c650dc36b66685598604eef95dc3002af2b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59851-7_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Novel Algorithmic Approach to Bayesian Logic Regression

Aliaksandr Hubin, Geir Storvik, Florian Frommlet
<span title="">2018</span> <i title="Institute of Mathematical Statistics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lytpoddhxnfjxbb3llrtiyy45m" style="color: black;">Bayesian Analysis</a> </i> &nbsp;
It has been mainly used to model epistatic effects in genetic association studies, which is very appealing due to the intuitive interpretation of logic expressions to describe the interaction between genetic  ...  Here we will adopt an advanced evolutionary algorithm called GMJMCMC (Genetically modified Mode Jumping Markov Chain Monte Carlo) to perform Bayesian model selection in the space of logic regression models  ...  The authors would also like to acknowledge Paul Grini, Ole Christian Lingjaerde and Melinka Butenko for the valuable discussions on the design of Example 4.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1214/18-ba1141">doi:10.1214/18-ba1141</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nmkgzaxnc5c4fcle4q5d6lqdca">fatcat:nmkgzaxnc5c4fcle4q5d6lqdca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501062306/https://www.duo.uio.no/bitstream/handle/10852/65638/PhD--Hubin--2018.pdf?sequence=3" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/5e/e75e41bdbfb3728470e5e872114f4824aa9986bb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1214/18-ba1141"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Vector bionomics and vectorial capacity as emergent properties of mosquito behaviors and ecology

Sean L. Wu, Héctor M. Sánchez C., John M. Henry, Daniel T. Citron, Qian Zhang, Kelly Compton, Biyonka Liang, Amit Verma, Derek A. T. Cummings, Arnaud Le Menach, Thomas W. Scott, Anne L. Wilson (+10 others)
<span title="2020-04-22">2020</span> <i title="Public Library of Science (PLoS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ch57atmlprauhhbqdf7x4ytejm" style="color: black;">PLoS Computational Biology</a> </i> &nbsp;
Unlike most previous models, this framework considers the behavioral states and state transitions of adult mosquitoes through a sequence of activity bouts.  ...  Here, we re-examine factors affecting the transmission of pathogens by mosquitoes using a new approach.  ...  Transitions between behavioral states depend on various internal characteristics of the individual mosquito and logical prerequisites.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pcbi.1007446">doi:10.1371/journal.pcbi.1007446</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32320389">pmid:32320389</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x4o5tgqmgjhvbfafbzck56nmii">fatcat:x4o5tgqmgjhvbfafbzck56nmii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200505190330/https://journals.plos.org/ploscompbiol/article/file?id=10.1371/journal.pcbi.1007446&amp;type=printable" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/83/4183bed54d51c51666cc93ddc8a5aae045275510.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pcbi.1007446"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> plos.org </button> </a>

Foundations [article]

Jeremy Avigad
<span title="2021-08-30">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.  ...  Most proof assistants have a small, trusted computing base, the kernel, which is used to certify correctness.  ...  The full set of rules is given in Figure 1 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.09541v4">arXiv:2009.09541v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yatuz32vondo3eburgtj6jmp6e">fatcat:yatuz32vondo3eburgtj6jmp6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210902105009/https://arxiv.org/pdf/2009.09541v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/ff/b4ff9295aa34772c2c182f2c0bbf37fc84c246fe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.09541v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

I Theoretical Background

<span title="">1966</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mzcs2f52inhjhcw2cdjxidzitm" style="color: black;">Acta Radiologica</a> </i> &nbsp;
The ground state energy of this system can be obtained by minimizing the total energy functional E[n] in terms of the density. 1 By "[n]" we denote a functional dependence on n. tel-00520068, version 1  ...  There exists a functional 1 F [n] such that the total energy E[n] can be written in the form The functional F is universal, in the sense that its functional dependence on the density is the same for all  ...  Acknowledgements It is a pleasure to take the opportunity and thank those who made this mémoire of HDR possible with their help and support.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/05678066609170465">doi:10.1080/05678066609170465</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/75vhri3u35gxrhhtchbcc5fxge">fatcat:75vhri3u35gxrhhtchbcc5fxge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120714051130/http://tel.archives-ouvertes.fr/docs/00/52/00/68/PDF/thesis-HDR-botti.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/81/7581ec617aa4c808dfd163e269c69e1457f22716.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/05678066609170465"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

On the Geometric Ergodicity of Hamiltonian Monte Carlo [article]

Samuel Livingstone, Michael Betancourt, Simon Byrne, Mark Girolami
<span title="2018-11-16">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In an idealised scenario in which the integration time is allowed to change in different regions of the space, we show that geometric ergodicity can be recovered for a much broader class of tail behaviours  ...  , leading to some guidelines for the choice of this free parameter in practice.  ...  Acknowledgements We thank Alexandros Beskos, Gareth Roberts, Krzysztof Latuszyński, Gabriel Stoltz and Mark Rowland for useful discussions. SL thanks Nawaf Bou-Rabee for pointing him to [13] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1601.08057v4">arXiv:1601.08057v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hg3lv26tkfdf5e2dmp33d4r2x4">fatcat:hg3lv26tkfdf5e2dmp33d4r2x4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200829013128/https://arxiv.org/pdf/1601.08057v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/02/6a/026a7121846656024ac71cbd452b9f25455c4f77.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1601.08057v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

The hArtes Tool Chain [chapter]

Koen Bertels, Ariano Lattanzi, Emanuele Ciavattini, Ferruccio Bettarelli, Maria Teresa Chiaradia, Raffaele Nutricato, Alberto Morea, Anna Antola, Fabrizio Ferrandi, Marco Lattuada, Christian Pilato, Donatella Sciuto (+10 others)
<span title="">2012</span> <i title="Springer Netherlands"> Hardware/Software Co-design for Heterogeneous Multi-core Platforms </i> &nbsp;
Springer Netherlands, 2012 The final pubblication is available in Springer via http://dx.  ...  Hardware/Software Co-design for Heterogeneous Multi-core Platforms: The hArtes Toolchain, chapter The hArtes Tool Chain, pages 9-109.  ...  Two different techniques are used: optimizations based on control dependences and optimizations based on data dependences.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-007-1406-9_2">doi:10.1007/978-94-007-1406-9_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/izopdxmxxnegnotxjvvcqmle3i">fatcat:izopdxmxxnegnotxjvvcqmle3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190323040329/https://core.ac.uk/download/pdf/55217705.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/70/ca/70ca6883ab08b5fb851dc72cc561b9263a856178.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-007-1406-9_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,284 results