Filters








1,756 Hits in 2.1 sec

A denotational account of C11-style memory [article]

Ryan Kavanagh, Stephen Brookes
<span title="2018-04-11">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We introduce a denotational semantic framework for shared-memory concurrent programs in a C11-style memory model. This denotational approach is an alternative to techniques based on "execution graphs" and axiomatizations, and it allows for compositional reasoning. Our semantics generalizes from traces (sequences of actions) to pomsets (partial orders of actions): instead of traces and interleaving, we embrace "true" concurrency. We build on techniques from our prior work that gives a
more &raquo; ... l semantics to SPARC TSO. We add support for C11's wider range of memory orderings, e.g., acquire-release and relaxed, and support for local variables and various synchronization primitives, while eliminating significant amounts of technical bookkeeping. Our approach features two main components. We first give programs a syntax-directed denotation in terms of sets of pomsets of memory actions. We then give a race-detecting executional interpretation of pomsets using footprints and a local view of state.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.04214v1">arXiv:1804.04214v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7asc5l2xqndbzcukwewxvabstu">fatcat:7asc5l2xqndbzcukwewxvabstu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191017204639/https://arxiv.org/pdf/1804.04214v1.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/06/c6/06c63f96cbed0e25960de0d3e33dd650523acd27.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.04214v1" 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>

On Coupled Logical Bisimulation for the Lambda-Calculus [article]

Ryan Kavanagh, Jean-Marie Madiot
<span title="2014-10-10">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We study coupled logical bisimulation (CLB) to reason about contextual equivalence in the lambda-calculus. CLB originates in a work by Dal Lago, Sangiorgi and Alberti, as a tool to reason about a lambda-calculus with probabilistic constructs. We adapt the original definition to the pure lambda-calculus. We develop the metatheory of CLB in call-by-name and in call-by-value, and draw comparisons with applicative bisimulation (due to Abramsky) and logical bisimulation (due to Sangiorgi, Kobayashi
more &raquo; ... nd Sumii). We also study enhancements of the bisimulation method for CLB by developing a theory of up-to techniques for cases where the functional corresponding to bisimulation is not necessarily monotone.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1410.2833v1">arXiv:1410.2833v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqrvbxrdfrgotnq6446pzhegre">fatcat:pqrvbxrdfrgotnq6446pzhegre</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906045326/https://arxiv.org/pdf/1410.2833v1.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/fb/fc/fbfc4f6a3fcb2924d1ae2620a0e2b1c561c3dc13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1410.2833v1" 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>

What can health librarians learn from VALA 2016?

Steven Chang, Kit Kavanagh-Ryan
<span title="2017-05-17">2017</span> <i title="Figshare"> Figshare </i> &nbsp;
A summary and report-back on the VALA 2016 Conference by two health librarians.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6084/m9.figshare.5010725.v1">doi:10.6084/m9.figshare.5010725.v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ufakhjizlna3ho2wh7jim2oczy">fatcat:ufakhjizlna3ho2wh7jim2oczy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200208100832/https://figshare.com/articles/What_can_health_librarians_learn_from_VALA_2016_/5010725/files/8443427.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/44/6444f844d87f976a4379a12bc6f82d31e90de9c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6084/m9.figshare.5010725.v1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> figshare.com </button> </a>

Parametrized Fixed Points on O-Categories and Applications to Session Types [article]

Ryan Kavanagh
<span title="2020-06-15">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Kavanagh [15] gave the first denotational semantics for a language with session-typed concurrency and general recursion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2006.08479v1">arXiv:2006.08479v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jgs654jqfjdczcalsov2ccueju">fatcat:jgs654jqfjdczcalsov2ccueju</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200623120926/https://arxiv.org/pdf/2006.08479v1.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" href="https://arxiv.org/abs/2006.08479v1" 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>

A Denotational Semantics for SPARC TSO

Ryan Kavanagh, Stephen Brookes
<span title="">2019</span> <i title="Episciences.org"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
., that 10:10 Ryan Kavanagh and Stephen Brookes Vol. 15:2 P L (c 1 (c 2 c 3 )) = P L ((c 1 c 2 ) c 3 ).  ...  In particular, it implies that if there exists a Λ ∈ Γ(P ) and a (σ, τ ) ∈ P Λ such that ζ(σ) and ζ(τ ), then χ x (P ) = (0, 0). 10:16 Ryan Kavanagh and Stephen Brookes Vol. 15:2 Lemma 3.13.  ...  So L ∈ T (P ), and we conclude completeness. 10:22 Ryan Kavanagh and Stephen Brookes Vol. 15:2 Related Work Other approaches to semantics for weak memory models mostly use execution graphs and operational  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.23638/lmcs-15(2:10)2019">doi:10.23638/lmcs-15(2:10)2019</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y7ir36ffhbdehp6uasnqak7nw4">fatcat:y7ir36ffhbdehp6uasnqak7nw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200220202816/https://lmcs.episciences.org/5443/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/d8/64d8089282b2a8bab0aa2fce06935a7eb8ef18b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.23638/lmcs-15(2:10)2019"> <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>

Fairness and Communication-Based Semantics for Session-Typed Languages [article]

Ryan Kavanagh
<span title="2021-11-01">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This approach is in contrast to the one taken by Kavanagh [40] , which conservatively extended the underlying substructural operational semantics to track typing information at runtime.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2104.01065v2">arXiv:2104.01065v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t3r4k25hf5cu5cd4mhlbbqonzm">fatcat:t3r4k25hf5cu5cd4mhlbbqonzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211105134704/https://arxiv.org/pdf/2104.01065v2.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/2b/dd/2bdd97644185f05990c230cd3b4e23d5da958c5e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2104.01065v2" 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>

Substructural Observed Communication Semantics

Ryan Kavanagh
<span title="2020-08-28">2020</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
Kavanagh [15] gave a domain-theoretic semantics to a full-featured functional language with session-typed message passing concurrency, where session types denote domains of communications and processes  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.322.7">doi:10.4204/eptcs.322.7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jkxqpblcare3vcwzx3zy7denle">fatcat:jkxqpblcare3vcwzx3zy7denle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200902152431/https://arxiv.org/pdf/2008.13358v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.322.7"> <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>

Laparoscopic Repair of Postoperative Perineal Hernia

Stephen Ryan, Dara O. Kavanagh, Paul C. Neary
<span title="">2010</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xx424wny75gprewadknwxc2lgy" style="color: black;">Case Reports in Medicine</a> </i> &nbsp;
Perineal hernias are infrequent complications following abdominoperineal operations. Various approaches have been described for repair of perineal hernias including open transabdominal, transperineal or combined abdominoperineal repairs. The use of laparoscopic transabdominal repair of perineal hernias is not well-described. We present a case report demonstrating the benefits of laparoscopic repair of perineal hernia following previous laparoscopic abdominoperineal resection (APR) using a
more &raquo; ... orbable mesh to repair the defect. We have demonstrated that the use of laparoscopy with repair of the pelvic floor defect using a non absorbable synthetic mesh offers an excellent alternative with many potential advantages over open transabdominal and transperineal repairs.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2010/126483">doi:10.1155/2010/126483</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/20811618">pmid:20811618</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC2929607/">pmcid:PMC2929607</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bzqaeiqqxbbo3btm3z3ouriwmm">fatcat:bzqaeiqqxbbo3btm3z3ouriwmm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220151446/http://pdfs.semanticscholar.org/246d/22476075cbe09aeac4370841ffb8c2150d65.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/24/6d/246d22476075cbe09aeac4370841ffb8c2150d65.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2010/126483"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2929607" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A Domain Semantics for Higher-Order Recursive Processes [article]

Ryan Kavanagh
<span title="2020-05-10">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The polarized SILL programming language uniformly integrates functional programming and session-typed message-passing concurrency. It supports general recursion, asynchronous and synchronous communication, and higher-order programs that communicate channels and processes. We give polarized SILL a domain-theoretic semantics---the first denotational semantics for a language with this combination of features. Session types in polarized SILL denote pairs of domains of unidirectional communications.
more &raquo; ... Processes denote continuous functions between these domains, and process composition is interpreted by a trace operator. We illustrate our semantics by validating expected program equivalences.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.01960v3">arXiv:2002.01960v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vwtykhdghvfxzbiukmo2gq2vhi">fatcat:vwtykhdghvfxzbiukmo2gq2vhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200527201437/https://arxiv.org/pdf/2002.01960v3.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" href="https://arxiv.org/abs/2002.01960v3" 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>

A Denotational Semantics for SPARC TSO [article]

Ryan Kavanagh, Stephen Brookes
<span title="2019-05-07">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
., that 10:10 Ryan Kavanagh and Stephen Brookes Vol. 15:2 P L (c 1 (c 2 c 3 )) = P L ((c 1 c 2 ) c 3 ).  ...  In particular, it implies that if there exists a Λ ∈ Γ(P ) and a (σ, τ ) ∈ P Λ such that ζ(σ) and ζ(τ ), then χ x (P ) = (0, 0). 10:16 Ryan Kavanagh and Stephen Brookes Vol. 15:2 Lemma 3.13.  ...  So L ∈ T (P ), and we conclude completeness. 10:22 Ryan Kavanagh and Stephen Brookes Vol. 15:2 Related Work Other approaches to semantics for weak memory models mostly use execution graphs and operational  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1711.00931v4">arXiv:1711.00931v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ntcbblpz6vfvhod7focezklaga">fatcat:ntcbblpz6vfvhod7focezklaga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191018152013/https://arxiv.org/pdf/1711.00931v4.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/d9/2b/d92b806ec64ef9044dae800a243db47ddf0fe236.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1711.00931v4" 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>

Role of adenosine receptor subtypes in methamphetamine reward and reinforcement

Kevin A. Kavanagh, Drew C. Schreiner, Sophia C. Levis, Casey E. O'Neill, Ryan K. Bachtell
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/46dow3ic4jdird3g7urzlpd4cu" style="color: black;">Neuropharmacology</a> </i> &nbsp;
The neurobiology of methamphetamine (MA) remains largely unknown despite its high abuse liability. The present series of studies explored the role of adenosine receptors on MA reward and reinforcement and identified alterations in the expression of adenosine receptors in dopamine terminal areas following MA administration in rats. We tested whether stimulating A 1 or A 2A adenosine receptor subtypes would influence MA-induced place preference or MA selfadministration on fixed and progressive
more &raquo; ... io schedules in male Sprague-Dawley rats. Stimulation of either adenosine A 1 or A 2A receptors significantly reduced the development of MA-induced place preference. Stimulating A 1 , but not A 2A , adenosine receptors reduced MA selfadministration responding. We next tested whether repeated experimenter-delivered MA administration would alter the expression of adenosine receptors in the striatal areas using immunoblotting. We observed no change in the expression of adenosine receptors. Lastly, rats were trained to self-administer MA or saline for 14 days and we detected changes in adenosine A 1 and A 2A receptor expression using immunoblotting. MA self-administration significantly increased adenosine A 1 in the nucleus accumbens shell, caudate-putamen and prefrontal cortex. MA self-administration significantly decreased adenosine A 2A receptor expression in the nucleus accumbens shell, but increased A 2A receptor expression in the amygdala. These findings demonstrate that MA self-administration produces selective alterations in adenosine receptor expression in the nucleus accumbens shell and that stimulation of adenosine receptors reduces several behavioral indices of MA addiction. Together, these studies shed light onto the neurobiological alterations incurred through chronic MA use that may aid in the development of treatments for MA addiction.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuropharm.2014.09.030">doi:10.1016/j.neuropharm.2014.09.030</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/25301277">pmid:25301277</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4250385/">pmcid:PMC4250385</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gatbqpnkuvb3dfdf7qmu6jwtri">fatcat:gatbqpnkuvb3dfdf7qmu6jwtri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200209180252/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC4250385&amp;blobtype=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/df/df/dfdf160e59a3dbc2b46b447bc0a5d2312789968f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuropharm.2014.09.030"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4250385" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Acute hypertensive encephalopathy presenting with a partial third nerve palsy: image findings

James W Ryan, Christine McCarthy, Sean Murphy, Eoin Kavanagh
<span title="2016-12-08">2016</span> <i title="BMJ"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vj2dulzo3zey5h33y57oieqfce" style="color: black;">BMJ Case Reports</a> </i> &nbsp;
Ryan JW, et al. BMJ Case Rep 2016. doi:10.1136/bcr-2016-217520 Images in… on 29 April 2019 by guest.  ...  Fellowships contact consortiasales@bmjgroup.com Visit casereports.bmj.com for more articles like this and to become a Fellow Figure 5 Flair sequence: confluent periventricular white matter high signal. cite: Ryan  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1136/bcr-2016-217520">doi:10.1136/bcr-2016-217520</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/27932433">pmid:27932433</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pobvhn6g35bfnebhtltz7q2we4">fatcat:pobvhn6g35bfnebhtltz7q2we4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429071209/https://casereports.bmj.com/content/casereports/2016/bcr-2016-217520.full.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/dd/ed/ddede0c10b08241a70b073dbf0f585fedf85734f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1136/bcr-2016-217520"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> bmj.org </button> </a>

Targeting Internalized Staphylococcus aureus Using Vancomycin-Loaded Nanoparticles to Treat Recurrent Bloodstream Infections

Danielle Nader, Fajer Yousef, Nicola Kavanagh, Benedict K. Ryan, Steven W. Kerrigan
<span title="2021-05-14">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qjwjjvzkje2tjpdspmnfvu4ve" style="color: black;">Antibiotics</a> </i> &nbsp;
The bacterial pathogen Staphylococcus aureus is a leading cause of bloodstream infections, where patients often suffer from relapse despite antibiotic therapy. Traditional anti-staphylococcal drugs display reduced effectivity against internalised bacteria, but nanoparticles conjugated with antibiotics can overcome these challenges. In the present study, we aimed to characterise the internalisation and re-emergence of S. aureus from human endothelial cells and construct a new formulation of
more &raquo; ... articles that target intracellular bacteria. Using an in vitro infection model, we demonstrated that S. aureus invades and persists within endothelial cells, mediated through bacterial extracellular surface adhesion, Fibronectin-binding protein A/B. After internalising, S. aureus localises to vacuoles as determined by transmission electron microscopy. Viable S. aureus emerges from endothelial cells after 48 h, supporting the notion that intracellular persistence contributes to infection relapses during bloodstream infections. Poly lactic-co-glycolic acid nanoparticles were formulated using a water-in-oil double emulsion method, which loaded 10% vancomycin HCl with 82.85% ± 12 encapsulation efficiency. These non-toxic nanoparticles were successfully taken up by cells and demonstrated a biphasic controlled release of 91 ± 4% vancomycin. They significantly reduced S. aureus intracellular growth within infected endothelial cells, which suggests future potential applications for targeting internalised bacteria and reducing mortality associated with bacteraemia.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/antibiotics10050581">doi:10.3390/antibiotics10050581</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/34068975">pmid:34068975</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t2ghdv2ik5axrix3ewez5cejiq">fatcat:t2ghdv2ik5axrix3ewez5cejiq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210515132348/https://res.mdpi.com/d_attachment/antibiotics/antibiotics-10-00581/article_deploy/antibiotics-10-00581.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/0c/7a/0c7a089ca0a15b8e8e4e2e04e1ab877da3e2635a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/antibiotics10050581"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

An empirical study of integration activities in distributions of open source software

Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, Daniel M. German
<span title="2015-03-31">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/73dwwe6bxbfctibeikedgeom3m" style="color: black;">Empirical Software Engineering</a> </i> &nbsp;
Reuse of software components, either closed or open source, is considered to be one of the most important best practices in software engineering, since it reduces development cost and improves software quality. However, since reused components are (by definition) generic, they need to be customized and integrated into a specific system before they can be useful. Since this integration is systemspecific, the integration effort is non-negligible and increases maintenance costs, especially if more
more &raquo; ... than one component needs to be integrated. This paper performs an empirical study of multi-component integration in the context of three successful open source distributions (Debian, Ubuntu and FreeBSD). Such distributions integrate thousands of open source components with an operating system kernel to deliver a coherent software product to millions of users worldwide. We empirically identified seven major integration activities performed by the maintainers of these distributions, documented how these activities are being performed by the maintainers, then evaluated and refined the identified activities with input from six maintainers of the three studied distributions. The documented activities provide a common vocabulary for component integration in open source distributions and outline a roadmap for future research on software integration.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10664-015-9371-y">doi:10.1007/s10664-015-9371-y</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pnttt573obgubbp7f32wzyt7mi">fatcat:pnttt573obgubbp7f32wzyt7mi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321084725/http://mcis.polymtl.ca/publications/2016/integration_oss_distribution.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/da/fcda8cf7604863347b6e60655a2739d4d2d5dd31.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10664-015-9371-y"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Out of Sight, out of Mind? An Audit Which Proposes a Follow-Up and Management Pathway for Inferior Vena Cava Filters

Caitriona Logan, Niamh O'Connell, John Kavanagh, Niall McEniff, Mark Ryan, Michael Guiney, Orla Seery, James O'Donnell, Kevin Ryan, Barry White
<span title="">2016</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7l6xrnlhczgjzdfq26f3335jom" style="color: black;">Thrombosis</a> </i> &nbsp;
Insertion of an IVC filter can be a safe and effective way to avoid PE in thrombosis patients who cannot be anticoagulated. If temporary filters are not promptly removed they can become difficult to remove, causing avoidable complications and often requiring lifelong warfarin. In this study, two sequential audits of retrieval of temporary IVC filters were conducted before and after the implementation of a coordinated management strategy for IVC filter follow-up. 33 filter placements were
more &raquo; ... d over a 15-month period (Group A). Following implementation of the strategy a comparable 15-month period in which 33 IVC filters were placed was audited (Group B). Following implementation, failed retrievals dropped from 15% to 9%. The number successfully retrieved did not change at 45%. The number made permanent from the outset following expert discussion increased from 12% to 39%. The number of filters with no attempted retrieval and no consultation about retrieval decreased from 27% to 9% (these patients were lost to follow-up with multiple contact attempts made). In Group B 100% of placed IVC filters were followed up appropriately. The proposed model is an easily implemented plan to avoid patient morbidity caused by temporary IVC filters made unintentionally permanent by loss to follow-up.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/6538456">doi:10.1155/2016/6538456</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/27110399">pmid:27110399</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4826707/">pmcid:PMC4826707</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iyu3ncvgwrde3oc2lb752a37tu">fatcat:iyu3ncvgwrde3oc2lb752a37tu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309001126/http://pdfs.semanticscholar.org/fb92/1d8cd1ffb4203a933aa83f98bbe090ef6e05.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/fb/92/fb921d8cd1ffb4203a933aa83f98bbe090ef6e05.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/6538456"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4826707" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,756 results