Search | arXiv e-print repository

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="viewport" content="width=device-width, initial-scale=1"/>  <link rel="apple-touch-icon" sizes="180x180" href="https://static.arxiv.org/static/base/1.0.0a5/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="https://static.arxiv.org/static/base/1.0.0a5/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="https://static.arxiv.org/static/base/1.0.0a5/images/icons/favicon-16x16.png"> <link rel="manifest" href="https://static.arxiv.org/static/base/1.0.0a5/images/icons/site.webmanifest"> <link rel="mask-icon" href="https://static.arxiv.org/static/base/1.0.0a5/images/icons/safari-pinned-tab.svg" color="#b31b1b"> <link rel="shortcut icon" href="https://static.arxiv.org/static/base/1.0.0a5/images/icons/favicon.ico"> <meta name="msapplication-TileColor" content="#b31b1b"> <meta name="msapplication-config" content="images/icons/browserconfig.xml"> <meta name="theme-color" content="#b31b1b">  <title>Search | arXiv e-print repository</title> <script defer src="https://static.arxiv.org/static/base/1.0.0a5/fontawesome-free-5.11.2-web/js/all.js"></script> <link rel="stylesheet" href="https://static.arxiv.org/static/base/1.0.0a5/css/arxivstyle.css" /> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ messageStyle: "none", extensions: ["tex2jax.js"], jax: ["input/TeX", "output/HTML-CSS"], tex2jax: { inlineMath: [ ['$','$'], ["\$","\$"] ], displayMath: [ ['$$','$$'], ["\\[","\\]"] ], processEscapes: true, ignoreClass: '.*', processClass: 'mathjax.*' }, TeX: { extensions: ["AMSmath.js", "AMSsymbols.js", "noErrors.js"], noErrors: { inlineDelimiters: ["$","$"], multiLine: false, style: { "font-size": "normal", "border": "" } } }, "HTML-CSS": { availableFonts: ["TeX"] } }); </script> <script src='//static.arxiv.org/MathJax-2.7.3/MathJax.js'></script> <script src="https://static.arxiv.org/static/base/1.0.0a5/js/notification.js"></script> <link rel="stylesheet" href="https://static.arxiv.org/static/search/0.5.6/css/bulma-tooltip.min.css" /> <link rel="stylesheet" href="https://static.arxiv.org/static/search/0.5.6/css/search.css" /> <script src="https://code.jquery.com/jquery-3.2.1.slim.min.js" integrity="sha256-k2WSCIexGzOj3Euiig+TlR8gA0EmPjuc79OEeY5L45g=" crossorigin="anonymous"></script> <script src="https://static.arxiv.org/static/search/0.5.6/js/fieldset.js"></script> <style> radio#cf-customfield_11400 { display: none; } </style> </head> <body> <header><a href="#main-container" class="is-sr-only">Skip to main content</a>  <div class="attribution level is-marginless" role="banner"> <div class="level-left"> <a class="level-item" href="https://cornell.edu/"><img src="https://static.arxiv.org/static/base/1.0.0a5/images/cornell-reduced-white-SMALL.svg" alt="Cornell University" width="200" aria-label="logo" /></a> </div> <div class="level-right is-marginless"><p class="sponsors level-item is-marginless"><span id="support-ack-url">We gratefully acknowledge support from<br /> the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors. <a href="https://info.arxiv.org/about/donate.html">Donate</a></span></p></div> </div>  <div class="identity level is-marginless"> <div class="level-left"> <div class="level-item"> <a class="arxiv" href="https://arxiv.org/" aria-label="arxiv-logo"> <img src="https://static.arxiv.org/static/base/1.0.0a5/images/arxiv-logo-one-color-white.svg" aria-label="logo" alt="arxiv logo" width="85" style="width:85px;"/> </a> </div> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div>  <div class="container"> <div class="user-tools is-size-7 has-text-right has-text-weight-bold" role="navigation" aria-label="User menu"> <a href="https://arxiv.org/login">Login</a> </div> </div> </header> <main class="container" id="main-container"> <div class="level is-marginless"> <div class="level-left"> <h1 class="title is-clearfix"> Showing 1–32 of 32 results for author: <span class="mathjax">Marin, S</span> </h1> </div> <div class="level-right is-hidden-mobile">  <span class="help" style="display: inline-block;"><a href="https://github.com/arXiv/arxiv-search/releases">Search v0.5.6 released 2020-02-24</a>  </span> </div> </div> <div class="content"> <form method="GET" action="/search/" aria-role="search"> <div class="field has-addons-tablet"> <div class="control is-expanded"> <label for="query" class="hidden-label">Search term or terms</label> <input class="input is-medium" id="query" name="query" placeholder="Search term..." type="text" value="Marin, S"> </div> <div class="select control is-medium"> <label class="is-hidden" for="searchtype">Field</label> <select class="is-medium" id="searchtype" name="searchtype"><option value="all">All fields</option><option value="title">Title</option><option selected value="author">Author(s)</option><option value="abstract">Abstract</option><option value="comments">Comments</option><option value="journal_ref">Journal reference</option><option value="acm_class">ACM classification</option><option value="msc_class">MSC classification</option><option value="report_num">Report number</option><option value="paper_id">arXiv identifier</option><option value="doi">DOI</option><option value="orcid">ORCID</option><option value="license">License (URI)</option><option value="author_id">arXiv author ID</option><option value="help">Help pages</option><option value="full_text">Full text</option></select> </div> <div class="control"> <button class="button is-link is-medium">Search</button> </div> </div> <div class="field"> <div class="control is-size-7"> <label class="radio"> <input checked id="abstracts-0" name="abstracts" type="radio" value="show"> Show abstracts </label> <label class="radio"> <input id="abstracts-1" name="abstracts" type="radio" value="hide"> Hide abstracts </label> </div> </div> <div class="is-clearfix" style="height: 2.5em"> <div class="is-pulled-right"> <a href="/search/advanced?terms-0-term=Marin%2C+S&terms-0-field=author&size=50&order=-announced_date_first">Advanced Search</a> </div> </div> <input type="hidden" name="order" value="-announced_date_first"> <input type="hidden" name="size" value="50"> </form> <div class="level breathe-horizontal"> <div class="level-left"> <form method="GET" action="/search/"> <div style="display: none;"> <select id="searchtype" name="searchtype"><option value="all">All fields</option><option value="title">Title</option><option selected value="author">Author(s)</option><option value="abstract">Abstract</option><option value="comments">Comments</option><option value="journal_ref">Journal reference</option><option value="acm_class">ACM classification</option><option value="msc_class">MSC classification</option><option value="report_num">Report number</option><option value="paper_id">arXiv identifier</option><option value="doi">DOI</option><option value="orcid">ORCID</option><option value="license">License (URI)</option><option value="author_id">arXiv author ID</option><option value="help">Help pages</option><option value="full_text">Full text</option></select> <input id="query" name="query" type="text" value="Marin, S"> <ul id="abstracts"><li><input checked id="abstracts-0" name="abstracts" type="radio" value="show"> <label for="abstracts-0">Show abstracts</label></li><li><input id="abstracts-1" name="abstracts" type="radio" value="hide"> <label for="abstracts-1">Hide abstracts</label></li></ul> </div> <div class="box field is-grouped is-grouped-multiline level-item"> <div class="control"> <span class="select is-small"> <select id="size" name="size"><option value="25">25</option><option selected value="50">50</option><option value="100">100</option><option value="200">200</option></select> </span> <label for="size">results per page</label>. </div> <div class="control"> <label for="order">Sort results by</label> <span class="select is-small"> <select id="order" name="order"><option selected value="-announced_date_first">Announcement date (newest first)</option><option value="announced_date_first">Announcement date (oldest first)</option><option value="-submitted_date">Submission date (newest first)</option><option value="submitted_date">Submission date (oldest first)</option><option value="">Relevance</option></select> </span> </div> <div class="control"> <button class="button is-small is-link">Go</button> </div> </div> </form> </div> </div> <ol class="breathe-horizontal" start="1"> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2412.15898">arXiv:2412.15898</a> <span> [<a href="https://arxiv.org/pdf/2412.15898">pdf</a>, <a href="https://arxiv.org/format/2412.15898">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1103/PhysRevC.111.014605">10.1103/PhysRevC.111.014605 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Meaurement of spin vs. TKE of $^{144}$Ba produced in spontaneous fission of $^{252}$Cf </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Giha%2C+N+P">N. P. Giha</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">S. Marin</a>, <a href="/search/?searchtype=author&query=Tolstukhin%2C+I+A">I. A. Tolstukhin</a>, <a href="/search/?searchtype=author&query=Oberling%2C+M+B">M. B. Oberling</a>, <a href="/search/?searchtype=author&query=Knaack%2C+R+A">R. A. Knaack</a>, <a href="/search/?searchtype=author&query=Mueller-Gatermann%2C+C">C. Mueller-Gatermann</a>, <a href="/search/?searchtype=author&query=Korichi%2C+A">A. Korichi</a>, <a href="/search/?searchtype=author&query=Bhatt%2C+K">K. Bhatt</a>, <a href="/search/?searchtype=author&query=Carpenter%2C+M+P">M. P. Carpenter</a>, <a href="/search/?searchtype=author&query=Foug%C3%A8res%2C+C">C. Foug猫res</a>, <a href="/search/?searchtype=author&query=Karayonchev%2C+V">V. Karayonchev</a>, <a href="/search/?searchtype=author&query=Kay%2C+B+P">B. P. Kay</a>, <a href="/search/?searchtype=author&query=Lauritsen%2C+T">T. Lauritsen</a>, <a href="/search/?searchtype=author&query=Seweryniak%2C+D">D. Seweryniak</a>, <a href="/search/?searchtype=author&query=Watwood%2C+N">N. Watwood</a>, <a href="/search/?searchtype=author&query=Duke%2C+D+L">D. L. Duke</a>, <a href="/search/?searchtype=author&query=Mosby%2C+S">S. Mosby</a>, <a href="/search/?searchtype=author&query=Montoya%2C+K+B">K. B. Montoya</a>, <a href="/search/?searchtype=author&query=Connolly%2C+D+S">D. S. Connolly</a>, <a href="/search/?searchtype=author&query=Loveland%2C+W">W. Loveland</a>, <a href="/search/?searchtype=author&query=Hernandez%2C+I+E">I. E. Hernandez</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">S. D. Clarke</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">S. A. Pozzi</a>, <a href="/search/?searchtype=author&query=Tovesson%2C+F">F. Tovesson</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2412.15898v1-abstract-short" style="display: inline;"> We measure the average spin of $^{144}$Ba, a common fragment produced in $^{252}$Cf(sf), as a function of the total kinetic energy (TKE). We combined for the first time a twin Frisch-gridded ionization chamber with a world-class $纬$-ray spectrometer that was designed to measure high-multiplicity $纬$-ray events, Gammasphere. The chamber, loaded with a $^{252}$Cf(sf) source, provides a fission trigg… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2412.15898v1-abstract-full').style.display = 'inline'; document.getElementById('2412.15898v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2412.15898v1-abstract-full" style="display: none;"> We measure the average spin of $^{144}$Ba, a common fragment produced in $^{252}$Cf(sf), as a function of the total kinetic energy (TKE). We combined for the first time a twin Frisch-gridded ionization chamber with a world-class $纬$-ray spectrometer that was designed to measure high-multiplicity $纬$-ray events, Gammasphere. The chamber, loaded with a $^{252}$Cf(sf) source, provides a fission trigger, the TKE of the fragments, the approximate fragment masses, and the polar angle of the fission axis. Gammasphere provides the total $纬$-ray yield, fragment identification through the tagging of decay $纬$ rays, and the feeding of rotational bands in the fragments. We determine the dependence of the average spin of $^{144}$Ba on the fragments' TKE by correlating the fragment properties with the distribution of discrete levels that are fed. We find that the average spin only changes by about $0.5$ $\hbar$ across the TKE range of 158-203 MeV. The virtual independence of the spin on TKE suggests that spin is not solely generated through the statistical excitation of rotational modes, and more complex mechanisms are required. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2412.15898v1-abstract-full').style.display = 'none'; document.getElementById('2412.15898v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 20 December, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> December 2024. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">Accepted for publication in Phys. Rev. C</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2412.02316">arXiv:2412.02316</a> <span> [<a href="https://arxiv.org/pdf/2412.02316">pdf</a>, <a href="https://arxiv.org/format/2412.02316">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Robotics">cs.RO</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Machine Learning">cs.LG</span> </div> </div> <p class="title is-5 mathjax"> Optimizing Plastic Waste Collection in Water Bodies Using Heterogeneous Autonomous Surface Vehicles with Deep Reinforcement Learning </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Barrionuevo%2C+A+M">Alejandro Mendoza Barrionuevo</a>, <a href="/search/?searchtype=author&query=Luis%2C+S+Y">Samuel Yanes Luis</a>, <a href="/search/?searchtype=author&query=Reina%2C+D+G">Daniel Guti茅rrez Reina</a>, <a href="/search/?searchtype=author&query=Mar%C3%ADn%2C+S+L+T">Sergio L. Toral Mar铆n</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2412.02316v1-abstract-short" style="display: inline;"> This paper presents a model-free deep reinforcement learning framework for informative path planning with heterogeneous fleets of autonomous surface vehicles to locate and collect plastic waste. The system employs two teams of vehicles: scouts and cleaners. Coordination between these teams is achieved through a deep reinforcement approach, allowing agents to learn strategies to maximize cleaning e… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2412.02316v1-abstract-full').style.display = 'inline'; document.getElementById('2412.02316v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2412.02316v1-abstract-full" style="display: none;"> This paper presents a model-free deep reinforcement learning framework for informative path planning with heterogeneous fleets of autonomous surface vehicles to locate and collect plastic waste. The system employs two teams of vehicles: scouts and cleaners. Coordination between these teams is achieved through a deep reinforcement approach, allowing agents to learn strategies to maximize cleaning efficiency. The primary objective is for the scout team to provide an up-to-date contamination model, while the cleaner team collects as much waste as possible following this model. This strategy leads to heterogeneous teams that optimize fleet efficiency through inter-team cooperation supported by a tailored reward function. Different trainings of the proposed algorithm are compared with other state-of-the-art heuristics in two distinct scenarios, one with high convexity and another with narrow corridors and challenging access. According to the obtained results, it is demonstrated that deep reinforcement learning based algorithms outperform other benchmark heuristics, exhibiting superior adaptability. In addition, training with greedy actions further enhances performance, particularly in scenarios with intricate layouts. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2412.02316v1-abstract-full').style.display = 'none'; document.getElementById('2412.02316v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 3 December, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> December 2024. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">This article is currently under revision for the Robotics and Automation Letters (IEEE)</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2411.08262">arXiv:2411.08262</a> <span> [<a href="https://arxiv.org/pdf/2411.08262">pdf</a>, <a href="https://arxiv.org/format/2411.08262">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Methodology">stat.ME</span> </div> </div> <p class="title is-5 mathjax"> Adaptive Shrinkage with a Nonparametric Bayesian Lasso </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Santiago Marin</a>, <a href="/search/?searchtype=author&query=Loong%2C+B">Bronwyn Loong</a>, <a href="/search/?searchtype=author&query=Westveld%2C+A+H">Anton H. Westveld</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2411.08262v1-abstract-short" style="display: inline;"> Modern approaches to perform Bayesian variable selection rely mostly on the use of shrinkage priors. That said, an ideal shrinkage prior should be adaptive to different signal levels, ensuring that small effects are ruled out, while keeping relatively intact the important ones. With this task in mind, we develop the nonparametric Bayesian Lasso, an adaptive and flexible shrinkage prior for Bayesia… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2411.08262v1-abstract-full').style.display = 'inline'; document.getElementById('2411.08262v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2411.08262v1-abstract-full" style="display: none;"> Modern approaches to perform Bayesian variable selection rely mostly on the use of shrinkage priors. That said, an ideal shrinkage prior should be adaptive to different signal levels, ensuring that small effects are ruled out, while keeping relatively intact the important ones. With this task in mind, we develop the nonparametric Bayesian Lasso, an adaptive and flexible shrinkage prior for Bayesian regression and variable selection, particularly useful when the number of predictors is comparable or larger than the number of available data points. We build on spike-and-slab Lasso ideas and extend them by placing a Dirichlet Process prior on the shrinkage parameters. The result is a prior on the regression coefficients that can be seen as an infinite mixture of Double Exponential densities, all offering different amounts of regularization, ensuring a more adaptive and flexible shrinkage. We also develop an efficient Markov chain Monte Carlo algorithm for posterior inference. Through various simulation exercises and real-world data analyses, we demonstrate that our proposed method leads to a better recovery of the true regression coefficients, a better variable selection, and better out-of-sample predictions, highlighting the benefits of the nonparametric Bayesian Lasso over existing shrinkage priors. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2411.08262v1-abstract-full').style.display = 'none'; document.getElementById('2411.08262v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 12 November, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> November 2024. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">27 pages, 3 figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2411.02966">arXiv:2411.02966</a> <span> [<a href="https://arxiv.org/pdf/2411.02966">pdf</a>, <a href="https://arxiv.org/format/2411.02966">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Accelerator Physics">physics.acc-ph</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.5281/zenodo.13970100">10.5281/zenodo.13970100 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> MuCol Milestone Report No. 5: Preliminary Parameters </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Accettura%2C+C">Carlotta Accettura</a>, <a href="/search/?searchtype=author&query=Adrian%2C+S">Simon Adrian</a>, <a href="/search/?searchtype=author&query=Agarwal%2C+R">Rohit Agarwal</a>, <a href="/search/?searchtype=author&query=Ahdida%2C+C">Claudia Ahdida</a>, <a href="/search/?searchtype=author&query=Aim%C3%A9%2C+C">Chiara Aim茅</a>, <a href="/search/?searchtype=author&query=Aksoy%2C+A">Avni Aksoy</a>, <a href="/search/?searchtype=author&query=Alberghi%2C+G+L">Gian Luigi Alberghi</a>, <a href="/search/?searchtype=author&query=Alden%2C+S">Siobhan Alden</a>, <a href="/search/?searchtype=author&query=Alfonso%2C+L">Luca Alfonso</a>, <a href="/search/?searchtype=author&query=Amapane%2C+N">Nicola Amapane</a>, <a href="/search/?searchtype=author&query=Amorim%2C+D">David Amorim</a>, <a href="/search/?searchtype=author&query=Andreetto%2C+P">Paolo Andreetto</a>, <a href="/search/?searchtype=author&query=Anulli%2C+F">Fabio Anulli</a>, <a href="/search/?searchtype=author&query=Appleby%2C+R">Rob Appleby</a>, <a href="/search/?searchtype=author&query=Apresyan%2C+A">Artur Apresyan</a>, <a href="/search/?searchtype=author&query=Asadi%2C+P">Pouya Asadi</a>, <a href="/search/?searchtype=author&query=Mahmoud%2C+M+A">Mohammed Attia Mahmoud</a>, <a href="/search/?searchtype=author&query=Auchmann%2C+B">Bernhard Auchmann</a>, <a href="/search/?searchtype=author&query=Back%2C+J">John Back</a>, <a href="/search/?searchtype=author&query=Badea%2C+A">Anthony Badea</a>, <a href="/search/?searchtype=author&query=Bae%2C+K+J">Kyu Jung Bae</a>, <a href="/search/?searchtype=author&query=Bahng%2C+E+J">E. J. Bahng</a>, <a href="/search/?searchtype=author&query=Balconi%2C+L">Lorenzo Balconi</a>, <a href="/search/?searchtype=author&query=Balli%2C+F">Fabrice Balli</a>, <a href="/search/?searchtype=author&query=Bandiera%2C+L">Laura Bandiera</a> , et al. (369 additional authors not shown) </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2411.02966v1-abstract-short" style="display: inline;"> This document is comprised of a collection of updated preliminary parameters for the key parts of the muon collider. The updated preliminary parameters follow on from the October 2023 Tentative Parameters Report. Particular attention has been given to regions of the facility that are believed to hold greater technical uncertainty in their design and that have a strong impact on the cost and power… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2411.02966v1-abstract-full').style.display = 'inline'; document.getElementById('2411.02966v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2411.02966v1-abstract-full" style="display: none;"> This document is comprised of a collection of updated preliminary parameters for the key parts of the muon collider. The updated preliminary parameters follow on from the October 2023 Tentative Parameters Report. Particular attention has been given to regions of the facility that are believed to hold greater technical uncertainty in their design and that have a strong impact on the cost and power consumption of the facility. The data is collected from a collaborative spreadsheet and transferred to overleaf. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2411.02966v1-abstract-full').style.display = 'none'; document.getElementById('2411.02966v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 5 November, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> November 2024. </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2407.12450">arXiv:2407.12450</a> <span> [<a href="https://arxiv.org/pdf/2407.12450">pdf</a>, <a href="https://arxiv.org/format/2407.12450">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Accelerator Physics">physics.acc-ph</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="High Energy Physics - Experiment">hep-ex</span> </div> </div> <p class="title is-5 mathjax"> Interim report for the International Muon Collider Collaboration (IMCC) </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Accettura%2C+C">C. Accettura</a>, <a href="/search/?searchtype=author&query=Adrian%2C+S">S. Adrian</a>, <a href="/search/?searchtype=author&query=Agarwal%2C+R">R. Agarwal</a>, <a href="/search/?searchtype=author&query=Ahdida%2C+C">C. Ahdida</a>, <a href="/search/?searchtype=author&query=Aim%C3%A9%2C+C">C. Aim茅</a>, <a href="/search/?searchtype=author&query=Aksoy%2C+A">A. Aksoy</a>, <a href="/search/?searchtype=author&query=Alberghi%2C+G+L">G. L. Alberghi</a>, <a href="/search/?searchtype=author&query=Alden%2C+S">S. Alden</a>, <a href="/search/?searchtype=author&query=Amapane%2C+N">N. Amapane</a>, <a href="/search/?searchtype=author&query=Amorim%2C+D">D. Amorim</a>, <a href="/search/?searchtype=author&query=Andreetto%2C+P">P. Andreetto</a>, <a href="/search/?searchtype=author&query=Anulli%2C+F">F. Anulli</a>, <a href="/search/?searchtype=author&query=Appleby%2C+R">R. Appleby</a>, <a href="/search/?searchtype=author&query=Apresyan%2C+A">A. Apresyan</a>, <a href="/search/?searchtype=author&query=Asadi%2C+P">P. Asadi</a>, <a href="/search/?searchtype=author&query=Mahmoud%2C+M+A">M. Attia Mahmoud</a>, <a href="/search/?searchtype=author&query=Auchmann%2C+B">B. Auchmann</a>, <a href="/search/?searchtype=author&query=Back%2C+J">J. Back</a>, <a href="/search/?searchtype=author&query=Badea%2C+A">A. Badea</a>, <a href="/search/?searchtype=author&query=Bae%2C+K+J">K. J. Bae</a>, <a href="/search/?searchtype=author&query=Bahng%2C+E+J">E. J. Bahng</a>, <a href="/search/?searchtype=author&query=Balconi%2C+L">L. Balconi</a>, <a href="/search/?searchtype=author&query=Balli%2C+F">F. Balli</a>, <a href="/search/?searchtype=author&query=Bandiera%2C+L">L. Bandiera</a>, <a href="/search/?searchtype=author&query=Barbagallo%2C+C">C. Barbagallo</a> , et al. (362 additional authors not shown) </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2407.12450v2-abstract-short" style="display: inline;"> The International Muon Collider Collaboration (IMCC) [1] was established in 2020 following the recommendations of the European Strategy for Particle Physics (ESPP) and the implementation of the European Strategy for Particle Physics-Accelerator R&D Roadmap by the Laboratory Directors Group [2], hereinafter referred to as the the European LDG roadmap. The Muon Collider Study (MuC) covers the accele… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2407.12450v2-abstract-full').style.display = 'inline'; document.getElementById('2407.12450v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2407.12450v2-abstract-full" style="display: none;"> The International Muon Collider Collaboration (IMCC) [1] was established in 2020 following the recommendations of the European Strategy for Particle Physics (ESPP) and the implementation of the European Strategy for Particle Physics-Accelerator R&D Roadmap by the Laboratory Directors Group [2], hereinafter referred to as the the European LDG roadmap. The Muon Collider Study (MuC) covers the accelerator complex, detectors and physics for a future muon collider. In 2023, European Commission support was obtained for a design study of a muon collider (MuCol) [3]. This project started on 1st March 2023, with work-packages aligned with the overall muon collider studies. In preparation of and during the 2021-22 U.S. Snowmass process, the muon collider project parameters, technical studies and physics performance studies were performed and presented in great detail. Recently, the P5 panel [4] in the U.S. recommended a muon collider R&D, proposed to join the IMCC and envisages that the U.S. should prepare to host a muon collider, calling this their "muon shot". In the past, the U.S. Muon Accelerator Programme (MAP) [5] has been instrumental in studies of concepts and technologies for a muon collider. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2407.12450v2-abstract-full').style.display = 'none'; document.getElementById('2407.12450v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 28 January, 2025; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 17 July, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> July 2024. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">This document summarises the International Muon Collider Collaboration (IMCC) progress and status of the Muon Collider R&D programme</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2406.09300">arXiv:2406.09300</a> <span> [<a href="https://arxiv.org/pdf/2406.09300">pdf</a>, <a href="https://arxiv.org/format/2406.09300">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Logic">math.LO</span> </div> </div> <p class="title is-5 mathjax"> Nested Sequents for Quasi-transitive Modal Logics </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Padhiar%2C+P">Paaras Padhiar</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2406.09300v1-abstract-short" style="display: inline;"> Previous works by Gor茅, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination procedure and (ii) alternative modular formulations for these systems. We present our methodology to achieve these two goals on a subclass of path axioms, namely q… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2406.09300v1-abstract-full').style.display = 'inline'; document.getElementById('2406.09300v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2406.09300v1-abstract-full" style="display: none;"> Previous works by Gor茅, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination procedure and (ii) alternative modular formulations for these systems. We present our methodology to achieve these two goals on a subclass of path axioms, namely quasi-transitivity axioms. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2406.09300v1-abstract-full').style.display = 'none'; document.getElementById('2406.09300v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 13 June, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> June 2024. </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2401.04631">arXiv:2401.04631</a> <span> [<a href="https://arxiv.org/pdf/2401.04631">pdf</a>, <a href="https://arxiv.org/format/2401.04631">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Artificial Intelligence">cs.AI</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Machine Learning">cs.LG</span> </div> </div> <p class="title is-5 mathjax"> Deep Reinforcement Multi-agent Learning framework for Information Gathering with Local Gaussian Processes for Water Monitoring </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Luis%2C+S+Y">Samuel Yanes Luis</a>, <a href="/search/?searchtype=author&query=Shutin%2C+D">Dmitriy Shutin</a>, <a href="/search/?searchtype=author&query=G%C3%B3mez%2C+J+M">Juan Marchal G贸mez</a>, <a href="/search/?searchtype=author&query=Reina%2C+D+G">Daniel Guti茅rrez Reina</a>, <a href="/search/?searchtype=author&query=Mar%C3%ADn%2C+S+T">Sergio Toral Mar铆n</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2401.04631v1-abstract-short" style="display: inline;"> The conservation of hydrological resources involves continuously monitoring their contamination. A multi-agent system composed of autonomous surface vehicles is proposed in this paper to efficiently monitor the water quality. To achieve a safe control of the fleet, the fleet policy should be able to act based on measurements and to the the fleet state. It is proposed to use Local Gaussian Processe… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2401.04631v1-abstract-full').style.display = 'inline'; document.getElementById('2401.04631v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2401.04631v1-abstract-full" style="display: none;"> The conservation of hydrological resources involves continuously monitoring their contamination. A multi-agent system composed of autonomous surface vehicles is proposed in this paper to efficiently monitor the water quality. To achieve a safe control of the fleet, the fleet policy should be able to act based on measurements and to the the fleet state. It is proposed to use Local Gaussian Processes and Deep Reinforcement Learning to jointly obtain effective monitoring policies. Local Gaussian processes, unlike classical global Gaussian processes, can accurately model the information in a dissimilar spatial correlation which captures more accurately the water quality information. A Deep convolutional policy is proposed, that bases the decisions on the observation on the mean and variance of this model, by means of an information gain reward. Using a Double Deep Q-Learning algorithm, agents are trained to minimize the estimation error in a safe manner thanks to a Consensus-based heuristic. Simulation results indicate an improvement of up to 24% in terms of the mean absolute error with the proposed models. Also, training results with 1-3 agents indicate that our proposed approach returns 20% and 24% smaller average estimation errors for, respectively, monitoring water quality variables and monitoring algae blooms, as compared to state-of-the-art approaches <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2401.04631v1-abstract-full').style.display = 'none'; document.getElementById('2401.04631v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 9 January, 2024; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> January 2024. </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2311.14397">arXiv:2311.14397</a> <span> [<a href="https://arxiv.org/pdf/2311.14397">pdf</a>, <a href="https://arxiv.org/format/2311.14397">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> </div> <p class="title is-5 mathjax"> Measurement of fragment-correlated $纬$-ray emission from $^{252}$Cf(sf) </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Stefano Marin</a>, <a href="/search/?searchtype=author&query=Tolstukhin%2C+I+A">Ivan A. Tolstukhin</a>, <a href="/search/?searchtype=author&query=Giha%2C+N+P">Nathan P. Giha</a>, <a href="/search/?searchtype=author&query=Tovesson%2C+F">Fredrik Tovesson</a>, <a href="/search/?searchtype=author&query=Protopopescu%2C+V">Vladimir Protopopescu</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">Sara A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2311.14397v2-abstract-short" style="display: inline;"> This paper presents recent experimental results on the yield of prompt fission $纬$ rays from the spontaneous fission of $^{252}$Cf. We use an ionization chamber to tag fission events and measure the masses and kinetic energies of the fission fragments and trans-stilbene organic scintillators to measure the neutrons and $纬$ rays emitted by the fission fragments. The combination of the ionization ch… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2311.14397v2-abstract-full').style.display = 'inline'; document.getElementById('2311.14397v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2311.14397v2-abstract-full" style="display: none;"> This paper presents recent experimental results on the yield of prompt fission $纬$ rays from the spontaneous fission of $^{252}$Cf. We use an ionization chamber to tag fission events and measure the masses and kinetic energies of the fission fragments and trans-stilbene organic scintillators to measure the neutrons and $纬$ rays emitted by the fission fragments. The combination of the ionization chamber and trans-stilbene scintillators allows us to determine the properties of neutrons and $纬$ rays in coincidence with the fragments. The yield of $纬$ rays is known to be influenced by the angular momenta (AM) of the fission fragments. We present new experimental evidence that indicates that the total $纬$-ray multiplicity, i.e., the sum of both fragments' emission, saturates at sufficiently high internal fragment excitation energies. We also observe distinct behaviors for the yield of $纬$ rays from the light and heavy fragment, which for certain mass and total kinetic energy (TKE) regions are weakly or anti-correlated, indicating the presence of complex AM generation modes. We also observed a mass- and TKE-dependent anisotropy of the $纬$ rays, which challenges and expands on the conventional notion that the fragments' AM are always aligned perpendicularly to the fission axis. Moreover, the dependence of the anisotropy on mass and TKE indicates a dependence of these properties on the specific fission channels, thus providing an insight into the deformations and dynamics in fission and their connection with experimentally observable quantities. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2311.14397v2-abstract-full').style.display = 'none'; document.getElementById('2311.14397v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 26 February, 2024; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 24 November, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> November 2023. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">8 figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2311.03644">arXiv:2311.03644</a> <span> [<a href="https://arxiv.org/pdf/2311.03644">pdf</a>, <a href="https://arxiv.org/format/2311.03644">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Methodology">stat.ME</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Computation">stat.CO</span> </div> </div> <p class="title is-5 mathjax"> BOB: Bayesian Optimized Bootstrap for Uncertainty Quantification in Gaussian Mixture Models </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Santiago Marin</a>, <a href="/search/?searchtype=author&query=Loong%2C+B">Bronwyn Loong</a>, <a href="/search/?searchtype=author&query=Westveld%2C+A+H">Anton H. Westveld</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2311.03644v2-abstract-short" style="display: inline;"> A natural way to quantify uncertainties in Gaussian mixture models (GMMs) is through Bayesian methods. That said, sampling from the joint posterior distribution of GMMs via standard Markov chain Monte Carlo (MCMC) imposes several computational challenges, which have prevented a broader full Bayesian implementation of these models. A growing body of literature has introduced the Weighted Likelihood… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2311.03644v2-abstract-full').style.display = 'inline'; document.getElementById('2311.03644v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2311.03644v2-abstract-full" style="display: none;"> A natural way to quantify uncertainties in Gaussian mixture models (GMMs) is through Bayesian methods. That said, sampling from the joint posterior distribution of GMMs via standard Markov chain Monte Carlo (MCMC) imposes several computational challenges, which have prevented a broader full Bayesian implementation of these models. A growing body of literature has introduced the Weighted Likelihood Bootstrap and the Weighted Bayesian Bootstrap as alternatives to MCMC sampling. The core idea of these methods is to repeatedly compute maximum a posteriori (MAP) estimates on many randomly weighted posterior densities. These MAP estimates then can be treated as approximate posterior draws. Nonetheless, a central question remains unanswered: How to select the random weights under arbitrary sample sizes. We, therefore, introduce the Bayesian Optimized Bootstrap (BOB), a computational method to automatically select these random weights by minimizing, through Bayesian Optimization, a black-box and noisy version of the reverse Kullback-Leibler (KL) divergence between the Bayesian posterior and an approximate posterior obtained via random weighting. Our proposed method outperforms competing approaches in recovering the Bayesian posterior, it provides a better uncertainty quantification, and it retains key asymptotic properties from existing methods. BOB's performance is demonstrated through extensive simulations, along with real-world data analyses. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2311.03644v2-abstract-full').style.display = 'none'; document.getElementById('2311.03644v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 17 May, 2024; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 6 November, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> November 2023. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">35 pages, 8 figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2309.00532">arXiv:2309.00532</a> <span> [<a href="https://arxiv.org/pdf/2309.00532">pdf</a>, <a href="https://arxiv.org/format/2309.00532">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Logic">math.LO</span> </div> </div> <p class="title is-5 mathjax"> Intuitionistic G枚del-L枚b logic, 脿 la Simpson: labelled systems and birelational semantics </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Das%2C+A">Anupam Das</a>, <a href="/search/?searchtype=author&query=van+der+Giessen%2C+I">Iris van der Giessen</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2309.00532v1-abstract-short" style="display: inline;"> We derive an intuitionistic version of G枚del-L枚b modal logic ($\sf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\sf{\ell IGL}$, by restricting a non-wellfounded labelled system for $\sf{GL}$ to have only one formula on the right. The latter is obtained using techniques from cyclic proof theory, sidestepping the barrier that $\sf{GL}$'s usual frame c… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2309.00532v1-abstract-full').style.display = 'inline'; document.getElementById('2309.00532v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2309.00532v1-abstract-full" style="display: none;"> We derive an intuitionistic version of G枚del-L枚b modal logic ($\sf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\sf{\ell IGL}$, by restricting a non-wellfounded labelled system for $\sf{GL}$ to have only one formula on the right. The latter is obtained using techniques from cyclic proof theory, sidestepping the barrier that $\sf{GL}$'s usual frame condition (converse well-foundedness) is not first-order definable. While existing intuitionistic versions of $\sf{GL}$ are typically defined over only the box (and not the diamond), our presentation includes both modalities. Our main result is that $\sf{\ell IGL}$ coincides with a corresponding semantic condition in birelational semantics: the composition of the modal relation and the intuitionistic relation is conversely well-founded. We call the resulting logic $\sf{IGL}$. While the soundness direction is proved using standard ideas, the completeness direction is more complex and necessitates a detour through several intermediate characterisations of $\sf{IGL}$. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2309.00532v1-abstract-full').style.display = 'none'; document.getElementById('2309.00532v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 1 September, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> September 2023. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">25 pages including 8 pages appendix, 4 figures</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">ACM Class:</span> F.4.1 </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2308.14091">arXiv:2308.14091</a> <span> [<a href="https://arxiv.org/pdf/2308.14091">pdf</a>, <a href="https://arxiv.org/format/2308.14091">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Strongly Correlated Electrons">cond-mat.str-el</span> </div> </div> <p class="title is-5 mathjax"> The Two-Particle Self-Consistent Approach for Multiorbital models: application to the Emery model </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Gauvin-Ndiaye%2C+C">C. Gauvin-Ndiaye</a>, <a href="/search/?searchtype=author&query=Leblanc%2C+J">J. Leblanc</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">S. Marin</a>, <a href="/search/?searchtype=author&query=Martin%2C+N">N. Martin</a>, <a href="/search/?searchtype=author&query=Lessnich%2C+D">D. Lessnich</a>, <a href="/search/?searchtype=author&query=Tremblay%2C+A+-+S">A. -M. S. Tremblay</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2308.14091v1-abstract-short" style="display: inline;"> The Emery model, or three-band Hubbard model, is a Hamiltonian that is thought to contain much of the physics of cuprate superconductors. This model includes two noninteracting $p$ orbitals and one interacting $d$ orbital per unit cell. Few methods that can solve multiorbital interacting Hamiltonians reliably and efficiently exist. Here, we introduce an application of the two particle self-consist… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2308.14091v1-abstract-full').style.display = 'inline'; document.getElementById('2308.14091v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2308.14091v1-abstract-full" style="display: none;"> The Emery model, or three-band Hubbard model, is a Hamiltonian that is thought to contain much of the physics of cuprate superconductors. This model includes two noninteracting $p$ orbitals and one interacting $d$ orbital per unit cell. Few methods that can solve multiorbital interacting Hamiltonians reliably and efficiently exist. Here, we introduce an application of the two particle self-consistent (TPSC) approach to the Emery model. We construct this method within the framework of the TPSC+DMFT method, which can be seen as a way to introduce nonlocal corrections to dynamical mean-field theory (DMFT). We show that interacting orbital densities, rather than the noninteracting ones, must be used in the calculations. For the Emery model, we find that at constant bare interaction $U$, the vertex for spin fluctuations, $U_{sp}$, decreases rapidly with filling. This may be one of the factors that contributes to electron-doped cuprates appearing less correlated than hole-doped ones. More generally, our work opens the road to the application of the TPSC approach to spin fluctuations in multiorbital models. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2308.14091v1-abstract-full').style.display = 'none'; document.getElementById('2308.14091v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 27 August, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> August 2023. </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2305.16240">arXiv:2305.16240</a> <span> [<a href="https://arxiv.org/pdf/2305.16240">pdf</a>, <a href="https://arxiv.org/ps/2305.16240">ps</a>, <a href="https://arxiv.org/format/2305.16240">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> </div> </div> <p class="title is-5 mathjax"> A Logical Interpretation of Asynchronous Multiparty Compatibility </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Carbone%2C+M">Marco Carbone</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Sch%C3%BCrmann%2C+C">Carsten Sch眉rmann</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2305.16240v1-abstract-short" style="display: inline;"> Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typing system must check whether such processes are multiparty compatible, a property that guarantees that all sent messages are eventually received and no deadlock ever occurs. Previous work has shown that duality and the… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2305.16240v1-abstract-full').style.display = 'inline'; document.getElementById('2305.16240v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2305.16240v1-abstract-full" style="display: none;"> Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typing system must check whether such processes are multiparty compatible, a property that guarantees that all sent messages are eventually received and no deadlock ever occurs. Previous work has shown that duality and the more general notion of coherence are sufficient syntactic conditions for guaranteeing the multiparty compatibility property. In this paper, following a propositions-as-types fashion which relates session types to linear logic, we generalise coherence to forwarders. Forwarders are processes that act as middleware by forwarding messages according to a given protocol. Our main result shows that forwarders not only generalise coherence, but fully capture all well-typed multiparty compatible processes. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2305.16240v1-abstract-full').style.display = 'none'; document.getElementById('2305.16240v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 25 May, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> May 2023. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">arXiv admin note: substantial text overlap with arXiv:2112.07636</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2304.12094">arXiv:2304.12094</a> <span> [<a href="https://arxiv.org/pdf/2304.12094">pdf</a>, <a href="https://arxiv.org/ps/2304.12094">ps</a>, <a href="https://arxiv.org/format/2304.12094">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1109/LICS56636.2023.10175684">10.1109/LICS56636.2023.10175684 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Intuitionistic S4 is decidable </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Girlando%2C+M">Marianna Girlando</a>, <a href="/search/?searchtype=author&query=Kuznets%2C+R">Roman Kuznets</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Morales%2C+M">Marianela Morales</a>, <a href="/search/?searchtype=author&query=Stra%C3%9Fburger%2C+L">Lutz Stra脽burger</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2304.12094v1-abstract-short" style="display: inline;"> In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years since it had been posed in Simpson's PhD thesis in 1994. We obtain this result by performing proof search in a labelled deductive system that, instead of using only one binary relation on the labels, employs two: one cor… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2304.12094v1-abstract-full').style.display = 'inline'; document.getElementById('2304.12094v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2304.12094v1-abstract-full" style="display: none;"> In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years since it had been posed in Simpson's PhD thesis in 1994. We obtain this result by performing proof search in a labelled deductive system that, instead of using only one binary relation on the labels, employs two: one corresponding to the accessibility relation of modal logic and the other corresponding to the order relation of intuitionistic Kripke frames. Our search algorithm outputs either a proof or a finite counter-model, thus, additionally establishing the finite model property for intuitionistic S4, which has been another long-standing open problem in the area. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2304.12094v1-abstract-full').style.display = 'none'; document.getElementById('2304.12094v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 24 April, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> April 2023. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">13 pages conference paper + 26 pages appendix with examples and proofs</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Journal ref:</span> Proceedings of LICS 2023 (2023) </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2302.04024">arXiv:2302.04024</a> <span> [<a href="https://arxiv.org/pdf/2302.04024">pdf</a>, <a href="https://arxiv.org/format/2302.04024">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Machine Learning">cs.LG</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Signal Processing">eess.SP</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1016/j.inffus.2023.101886">10.1016/j.inffus.2023.101886 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> InMyFace: Inertial and Mechanomyography-Based Sensor Fusion for Wearable Facial Activity Recognition </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Bello%2C+H">Hymalai Bello</a>, <a href="/search/?searchtype=author&query=Marin%2C+L+A+S">Luis Alfredo Sanchez Marin</a>, <a href="/search/?searchtype=author&query=Suh%2C+S">Sungho Suh</a>, <a href="/search/?searchtype=author&query=Zhou%2C+B">Bo Zhou</a>, <a href="/search/?searchtype=author&query=Lukowicz%2C+P">Paul Lukowicz</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2302.04024v1-abstract-short" style="display: inline;"> Recognizing facial activity is a well-understood (but non-trivial) computer vision problem. However, reliable solutions require a camera with a good view of the face, which is often unavailable in wearable settings. Furthermore, in wearable applications, where systems accompany users throughout their daily activities, a permanently running camera can be problematic for privacy (and legal) reasons.… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2302.04024v1-abstract-full').style.display = 'inline'; document.getElementById('2302.04024v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2302.04024v1-abstract-full" style="display: none;"> Recognizing facial activity is a well-understood (but non-trivial) computer vision problem. However, reliable solutions require a camera with a good view of the face, which is often unavailable in wearable settings. Furthermore, in wearable applications, where systems accompany users throughout their daily activities, a permanently running camera can be problematic for privacy (and legal) reasons. This work presents an alternative solution based on the fusion of wearable inertial sensors, planar pressure sensors, and acoustic mechanomyography (muscle sounds). The sensors were placed unobtrusively in a sports cap to monitor facial muscle activities related to facial expressions. We present our integrated wearable sensor system, describe data fusion and analysis methods, and evaluate the system in an experiment with thirteen subjects from different cultural backgrounds (eight countries) and both sexes (six women and seven men). In a one-model-per-user scheme and using a late fusion approach, the system yielded an average F1 score of 85.00% for the case where all sensing modalities are combined. With a cross-user validation and a one-model-for-all-user scheme, an F1 score of 79.00% was obtained for thirteen participants (six females and seven males). Moreover, in a hybrid fusion (cross-user) approach and six classes, an average F1 score of 82.00% was obtained for eight users. The results are competitive with state-of-the-art non-camera-based solutions for a cross-user study. In addition, our unique set of participants demonstrates the inclusiveness and generalizability of the approach. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2302.04024v1-abstract-full').style.display = 'none'; document.getElementById('2302.04024v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 8 February, 2023; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> February 2023. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">Submitted to Information Fusion, Elsevier</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Journal ref:</span> Information Fusion Elsevier 2023 </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2210.16925">arXiv:2210.16925</a> <span> [<a href="https://arxiv.org/pdf/2210.16925">pdf</a>, <a href="https://arxiv.org/format/2210.16925">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Instrumentation and Detectors">physics.ins-det</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1016/j.nima.2023.168027">10.1016/j.nima.2023.168027 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Instrumentation for correlated prompt $n$-$纬$ emission studies in coincidence with fission fragments </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">S. Marin</a>, <a href="/search/?searchtype=author&query=Tolstukhin%2C+I">I. Tolstukhin</a>, <a href="/search/?searchtype=author&query=Oberling%2C+M+B">M. B. Oberling</a>, <a href="/search/?searchtype=author&query=Knaack%2C+R+A">R. A. Knaack</a>, <a href="/search/?searchtype=author&query=Kay%2C+B+P">B. P. Kay</a>, <a href="/search/?searchtype=author&query=Duke%2C+D+L">D. L. Duke</a>, <a href="/search/?searchtype=author&query=Montoya%2C+K+B">K. B. Montoya</a>, <a href="/search/?searchtype=author&query=Connolly%2C+D">D. Connolly</a>, <a href="/search/?searchtype=author&query=Loveland%2C+W">W. Loveland</a>, <a href="/search/?searchtype=author&query=Chemey%2C+A">A. Chemey</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">S. A. Pozzi</a>, <a href="/search/?searchtype=author&query=Tovesson%2C+F">F. Tovesson</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2210.16925v1-abstract-short" style="display: inline;"> Recent theoretical and experimental results have brought renewed interest and focus on the topic of fission fragment angular momentum. Measurements of neutrons and $纬$ rays in coincidence with fission fragments remain the most valuable tool in the exploration of fission physics. To achieve these scientific goals, we have developed a system that combines a state-of-the-art fission fragment detector… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2210.16925v1-abstract-full').style.display = 'inline'; document.getElementById('2210.16925v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2210.16925v1-abstract-full" style="display: none;"> Recent theoretical and experimental results have brought renewed interest and focus on the topic of fission fragment angular momentum. Measurements of neutrons and $纬$ rays in coincidence with fission fragments remain the most valuable tool in the exploration of fission physics. To achieve these scientific goals, we have developed a system that combines a state-of-the-art fission fragment detector and $n$-$纬$ radiation detectors. A new twin Frisch-gridded ionization chamber has been designed and constructed for use with a spontaneous fission source and an array of forty \textit{trans}-stilbene organic scintillators (FS-3) at Argonne National Laboratory. The new ionization chamber design we present in this work aims at minimizing particle attenuation in the chamber walls, and provides a compact apparatus that can be fit inside existing experimental systems. The ionization chamber is capable of measuring fission fragment masses and kinetic energies, whereas the FS-3 provides neutron and gamma-ray multiplicities and spectra. The details of both detector assembly are presented along with the first experimental results of this setup. Planned event-by-event analysis and future experiments are briefly discussed. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2210.16925v1-abstract-full').style.display = 'none'; document.getElementById('2210.16925v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 30 October, 2022; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> October 2022. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">7 pages, 10 figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2210.08115">arXiv:2210.08115</a> <span> [<a href="https://arxiv.org/pdf/2210.08115">pdf</a>, <a href="https://arxiv.org/format/2210.08115">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Robotics">cs.RO</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Artificial Intelligence">cs.AI</span> </div> </div> <p class="title is-5 mathjax"> Censored Deep Reinforcement Patrolling with Information Criterion for Monitoring Large Water Resources using Autonomous Surface Vehicles </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Luis%2C+S+Y">Samuel Yanes Luis</a>, <a href="/search/?searchtype=author&query=Reina%2C+D+G">Daniel Guti茅rrez Reina</a>, <a href="/search/?searchtype=author&query=Mar%C3%ADn%2C+S+T">Sergio Toral Mar铆n</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2210.08115v1-abstract-short" style="display: inline;"> Monitoring and patrolling large water resources is a major challenge for conservation. The problem of acquiring data of an underlying environment that usually changes within time involves a proper formulation of the information. The use of Autonomous Surface Vehicles equipped with water quality sensor modules can serve as an early-warning system agents for contamination peak-detection, algae bloom… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2210.08115v1-abstract-full').style.display = 'inline'; document.getElementById('2210.08115v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2210.08115v1-abstract-full" style="display: none;"> Monitoring and patrolling large water resources is a major challenge for conservation. The problem of acquiring data of an underlying environment that usually changes within time involves a proper formulation of the information. The use of Autonomous Surface Vehicles equipped with water quality sensor modules can serve as an early-warning system agents for contamination peak-detection, algae blooms monitoring, or oil-spill scenarios. In addition to information gathering, the vehicle must plan routes that are free of obstacles on non-convex maps. This work proposes a framework to obtain a collision-free policy that addresses the patrolling task for static and dynamic scenarios. Using information gain as a measure of the uncertainty reduction over data, it is proposed a Deep Q-Learning algorithm improved by a Q-Censoring mechanism for model-based obstacle avoidance. The obtained results demonstrate the usefulness of the proposed algorithm for water resource monitoring for static and dynamic scenarios. Simulations showed the use of noise-networks are a good choice for enhanced exploration, with 3 times less redundancy in the paths. Previous coverage strategies are also outperformed both in the accuracy of the obtained contamination model by a 13% on average and by a 37% in the detection of dangerous contamination peaks. Finally, these results indicate the appropriateness of the proposed framework for monitoring scenarios with autonomous vehicles. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2210.08115v1-abstract-full').style.display = 'none'; document.getElementById('2210.08115v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 12 October, 2022; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> October 2022. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">This article is currently under revision for the Applied Soft Computing Journal (Elsevier)</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2207.02743">arXiv:2207.02743</a> <span> [<a href="https://arxiv.org/pdf/2207.02743">pdf</a>, <a href="https://arxiv.org/format/2207.02743">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1103/PhysRevC.107.014612">10.1103/PhysRevC.107.014612 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Correlations between energy and $纬$-ray emission in $^{239}\mathrm{Pu}(n,\mathrm{f})$ </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Giha%2C+N+P">Nathan P. Giha</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Stefano Marin</a>, <a href="/search/?searchtype=author&query=Baker%2C+J+A">James A. Baker</a>, <a href="/search/?searchtype=author&query=Hernandez%2C+I+E">Isabel E. Hernandez</a>, <a href="/search/?searchtype=author&query=Kelly%2C+K+J">Keegan J. Kelly</a>, <a href="/search/?searchtype=author&query=Devlin%2C+M">Matthew Devlin</a>, <a href="/search/?searchtype=author&query=O%27Donnell%2C+J+M">John M. O'Donnell</a>, <a href="/search/?searchtype=author&query=Vogt%2C+R">Ramona Vogt</a>, <a href="/search/?searchtype=author&query=Randrup%2C+J">J酶rgen Randrup</a>, <a href="/search/?searchtype=author&query=Talou%2C+P">Patrick Talou</a>, <a href="/search/?searchtype=author&query=Stetcu%2C+I">Ionel Stetcu</a>, <a href="/search/?searchtype=author&query=Lovell%2C+A+E">Amy E. Lovell</a>, <a href="/search/?searchtype=author&query=Litaize%2C+O">Olivier Litaize</a>, <a href="/search/?searchtype=author&query=Serot%2C+O">Olivier Serot</a>, <a href="/search/?searchtype=author&query=Chebboubi%2C+A">Abdelhazize Chebboubi</a>, <a href="/search/?searchtype=author&query=Wu%2C+C">Ching-Yen Wu</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">Shaun D. Clarke</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">Sara A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2207.02743v2-abstract-short" style="display: inline;"> We study $纬$-ray emission following $^{239}\mathrm{Pu}(n,\mathrm{f})$ over an incident neutron energy range of $2 < E_i < 40$ MeV. We present the first experimental evidence for positive correlations between the total angular momentum generated in fission and the excitation energy of the compound nucleus prior to fission. The $纬$-ray multiplicity increases linearly with incident energy below the 2… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2207.02743v2-abstract-full').style.display = 'inline'; document.getElementById('2207.02743v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2207.02743v2-abstract-full" style="display: none;"> We study $纬$-ray emission following $^{239}\mathrm{Pu}(n,\mathrm{f})$ over an incident neutron energy range of $2 < E_i < 40$ MeV. We present the first experimental evidence for positive correlations between the total angular momentum generated in fission and the excitation energy of the compound nucleus prior to fission. The $纬$-ray multiplicity increases linearly with incident energy below the 2\textsuperscript{nd}-chance fission threshold with a slope of $0.085 \pm 0.010$ MeV$^{-1}$. This linear trend appears to hold for the average excitation energy of the compound nucleus between $9 < \langle E_x \rangle < 19$ MeV. Most of the multiplicity increase comes from an enhancement around a $纬$-ray energy of 0.7 MeV, which we interpret as stretched quadrupole $纬$ rays that indicate an increase in total fission-fragment angular momentum with excitation energy. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2207.02743v2-abstract-full').style.display = 'none'; document.getElementById('2207.02743v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 28 October, 2022; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 6 July, 2022; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> July 2022. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">9 pages, 5 figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2204.02076">arXiv:2204.02076</a> <span> [<a href="https://arxiv.org/pdf/2204.02076">pdf</a>, <a href="https://arxiv.org/ps/2204.02076">ps</a>, <a href="https://arxiv.org/format/2204.02076">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> </div> </div> <p class="title is-5 mathjax"> Separability and harmony in ecumenical systems </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Pereira%2C+L+C">Luiz Carlos Pereira</a>, <a href="/search/?searchtype=author&query=Pimentel%2C+E">Elaine Pimentel</a>, <a href="/search/?searchtype=author&query=Sales%2C+E">Emerson Sales</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2204.02076v1-abstract-short" style="display: inline;"> The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now. In 2015, Dag Prawitz proposed a natural deduction system for an ecumenical first-order logic. We start this work by proposing a {\em pure} sequent calculus version for it, in the sense that connectives are introduced wit… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2204.02076v1-abstract-full').style.display = 'inline'; document.getElementById('2204.02076v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2204.02076v1-abstract-full" style="display: none;"> The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now. In 2015, Dag Prawitz proposed a natural deduction system for an ecumenical first-order logic. We start this work by proposing a {\em pure} sequent calculus version for it, in the sense that connectives are introduced without the use of other connectives. For doing this, we extend sequents with an extra context, the stoup, and define the ecumenical notion of polarities. Finally, we smoothly extend these ideas for handling modalities, presenting pure labeled and nested systems for ecumenical modal logics. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2204.02076v1-abstract-full').style.display = 'none'; document.getElementById('2204.02076v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 5 April, 2022; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> April 2022. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">26 pages</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">MSC Class:</span> F.4.1 </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2203.00674">arXiv:2203.00674</a> <span> [<a href="https://arxiv.org/pdf/2203.00674">pdf</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Computation and Language">cs.CL</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Computers and Society">cs.CY</span> </div> </div> <p class="title is-5 mathjax"> Advancing an Interdisciplinary Science of Conversation: Insights from a Large Multimodal Corpus of Human Speech </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Reece%2C+A">Andrew Reece</a>, <a href="/search/?searchtype=author&query=Cooney%2C+G">Gus Cooney</a>, <a href="/search/?searchtype=author&query=Bull%2C+P">Peter Bull</a>, <a href="/search/?searchtype=author&query=Chung%2C+C">Christine Chung</a>, <a href="/search/?searchtype=author&query=Dawson%2C+B">Bryn Dawson</a>, <a href="/search/?searchtype=author&query=Fitzpatrick%2C+C">Casey Fitzpatrick</a>, <a href="/search/?searchtype=author&query=Glazer%2C+T">Tamara Glazer</a>, <a href="/search/?searchtype=author&query=Knox%2C+D">Dean Knox</a>, <a href="/search/?searchtype=author&query=Liebscher%2C+A">Alex Liebscher</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sebastian Marin</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2203.00674v1-abstract-short" style="display: inline;"> People spend a substantial portion of their lives engaged in conversation, and yet our scientific understanding of conversation is still in its infancy. In this report we advance an interdisciplinary science of conversation, with findings from a large, novel, multimodal corpus of 1,656 recorded conversations in spoken English. This 7+ million word, 850 hour corpus totals over 1TB of audio, video,… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2203.00674v1-abstract-full').style.display = 'inline'; document.getElementById('2203.00674v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2203.00674v1-abstract-full" style="display: none;"> People spend a substantial portion of their lives engaged in conversation, and yet our scientific understanding of conversation is still in its infancy. In this report we advance an interdisciplinary science of conversation, with findings from a large, novel, multimodal corpus of 1,656 recorded conversations in spoken English. This 7+ million word, 850 hour corpus totals over 1TB of audio, video, and transcripts, with moment-to-moment measures of vocal, facial, and semantic expression, along with an extensive survey of speaker post conversation reflections. We leverage the considerable scope of the corpus to (1) extend key findings from the literature, such as the cooperativeness of human turn-taking; (2) define novel algorithmic procedures for the segmentation of speech into conversational turns; (3) apply machine learning insights across various textual, auditory, and visual features to analyze what makes conversations succeed or fail; and (4) explore how conversations are related to well-being across the lifespan. We also report (5) a comprehensive mixed-method report, based on quantitative analysis and qualitative review of each recording, that showcases how individuals from diverse backgrounds alter their communication patterns and find ways to connect. We conclude with a discussion of how this large-scale public dataset may offer new directions for future research, especially across disciplinary boundaries, as scholars from a variety of fields appear increasingly interested in the study of conversation. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2203.00674v1-abstract-full').style.display = 'none'; document.getElementById('2203.00674v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 1 March, 2022; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> March 2022. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">116 pages; Cross-posted to PsyArxiv; To request data access, go to https://betterup-data-requests.herokuapp.com/</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2202.01880">arXiv:2202.01880</a> <span> [<a href="https://arxiv.org/pdf/2202.01880">pdf</a>, <a href="https://arxiv.org/format/2202.01880">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1103/PhysRevC.105.054609">10.1103/PhysRevC.105.054609 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Directional-dependence of the event-by-event neutron-$纬$ multiplicity correlations in $^{252}$Cf(sf) </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Stefano Marin</a>, <a href="/search/?searchtype=author&query=Sansevero%2C+E+P">Eoin P. Sansevero</a>, <a href="/search/?searchtype=author&query=Okar%2C+M+S">M. Stephan Okar</a>, <a href="/search/?searchtype=author&query=Hernandez%2C+I+E">Isabel E. Hernandez</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">Shaun D. Clarke</a>, <a href="/search/?searchtype=author&query=Vogt%2C+R+L">Ramona L. Vogt</a>, <a href="/search/?searchtype=author&query=Randrup%2C+J">Jorgen Randrup</a>, <a href="/search/?searchtype=author&query=Protopopescu%2C+V+A">Vladimir A. Protopopescu</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">Sara A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2202.01880v1-abstract-short" style="display: inline;"> We differentiate the event-by-event n-$纬$ multiplicity data from \ce{^{252}Cf}(sf) with respect to the energies of the emitted particles as well as their relative angles of emission. We determine that neutron emission enhances $纬$-ray emission around $0.7$ and $1.2$ MeV, but the only directional alignment was observed for $E_纬\leq 0.7$ MeV and tended to be parallel and antiparallel to neutrons emi… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2202.01880v1-abstract-full').style.display = 'inline'; document.getElementById('2202.01880v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2202.01880v1-abstract-full" style="display: none;"> We differentiate the event-by-event n-$纬$ multiplicity data from \ce{^{252}Cf}(sf) with respect to the energies of the emitted particles as well as their relative angles of emission. We determine that neutron emission enhances $纬$-ray emission around $0.7$ and $1.2$ MeV, but the only directional alignment was observed for $E_纬\leq 0.7$ MeV and tended to be parallel and antiparallel to neutrons emitted in the same event. The emission of $纬$ rays at other energies was determined to be nearly isotropic. The presence of the emission and alignment enhancements is explained by positive correlations between neutron emission and quadrupole $纬$-ray emission along rotational bands in the de-exciting fragments. This observation corroborates the hypothesis of positive correlations between the angular momentum of a fragment and its intrinsic excitation energy. The results of this work are especially relevant in view of the recent theoretical and experimental interest in the generation of angular momentum in fission. Specifically, we have determined an alignment of the fragments angular momenta in a direction perpendicular to the direction of motion. We interpret the lack of $n$-$纬$ angular correlations for fission fragments near closed shells as a weakening of the alignment process for spherical nuclei. Lastly, we have observed that statistical $纬$ rays are emitted isotropically, indicating that the average angular momentum removed by this radiation is small. These results, and the analysis tools presented in this work, represent a stepping stone for future analysis of $n$-$纬$ emission correlations and their connection to angular momentum properties. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2202.01880v1-abstract-full').style.display = 'none'; document.getElementById('2202.01880v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 3 February, 2022; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> February 2022. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">17 pages, 3 figures, no table</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2112.07636">arXiv:2112.07636</a> <span> [<a href="https://arxiv.org/pdf/2112.07636">pdf</a>, <a href="https://arxiv.org/ps/2112.07636">ps</a>, <a href="https://arxiv.org/format/2112.07636">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Programming Languages">cs.PL</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> </div> </div> <p class="title is-5 mathjax"> Forwarders as Process Compatibility, Logically </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Carbone%2C+M">Marco Carbone</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Sch%C3%BCrmann%2C+C">Carsten Sch眉rmann</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2112.07636v1-abstract-short" style="display: inline;"> Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is known to be in a propositions-as-types correspondence with linear logic. In previous work, we have shown that the generalization to multiparty session types can be expressed either by coherence proofs or by arbiters, proc… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2112.07636v1-abstract-full').style.display = 'inline'; document.getElementById('2112.07636v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2112.07636v1-abstract-full" style="display: none;"> Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is known to be in a propositions-as-types correspondence with linear logic. In previous work, we have shown that the generalization to multiparty session types can be expressed either by coherence proofs or by arbiters, processes that act as middleware by forwarding messages according to the given protocol. In this paper, following the propositions-as-types fashion, we generalize arbiters to a logic, which we call forwarder logic, a fragment of classical linear logic still satisfying cut-elimination. Our main result is summarized as follows: forwarders generalize coherence and give an elegant proof-theoretic characterization of multiparty compatibility, a property of concurrent systems guaranteeing that all sent messages are eventually received and no deadlock ever occurs. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2112.07636v1-abstract-full').style.display = 'none'; document.getElementById('2112.07636v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 14 December, 2021; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> December 2021. </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2112.01251">arXiv:2112.01251</a> <span> [<a href="https://arxiv.org/pdf/2112.01251">pdf</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Computers and Society">cs.CY</span> </div> </div> <p class="title is-5 mathjax"> Health Detection on Cattle Compressed Images in Precision Livestock Farming </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Calvache%2C+M+A">Miguel Angel Calvache</a>, <a href="/search/?searchtype=author&query=Cardona%2C+V">Valeria Cardona</a>, <a href="/search/?searchtype=author&query=Tapias%2C+S">Sebastian Tapias</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Simon Marin</a>, <a href="/search/?searchtype=author&query=Toro%2C+M">Mauricio Toro</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2112.01251v1-abstract-short" style="display: inline;"> The constant population growth brings the needing to make up for food also grows at the same rate. The livestock provides one-third of humans protein base as meat and milk. To improve cattles health and welfare the pastoral farming employs Precision Livestock farming (PLF). This technique implementation brings a challenge to minimize energy consumption due to farmers not having enough energy or de… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2112.01251v1-abstract-full').style.display = 'inline'; document.getElementById('2112.01251v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2112.01251v1-abstract-full" style="display: none;"> The constant population growth brings the needing to make up for food also grows at the same rate. The livestock provides one-third of humans protein base as meat and milk. To improve cattles health and welfare the pastoral farming employs Precision Livestock farming (PLF). This technique implementation brings a challenge to minimize energy consumption due to farmers not having enough energy or devices to transmit large volumes of information at the size are received from their farms monitors. Therefore, in this project, we will design an algorithm to compress and decompress images reducing energy consumption with the less information lost. Initially, the related problems have been read and analyzed to learn about the techniques used in the past and to be updated with the current works. We implemented Seam Carving and LZW algorithms. The compression of all images, around 1000 takes a time of 5 hours 10 min. We got a compression rate of 1.82:1 with 13.75s average time for each file and a decompression rate of 1.64:1 and 7.5 s average time for each file. The memory consumption we obtained was between 146MB and 504 MB and time consumption was between 30,5s for 90MB to 12192s for 24410 MB, it was all files. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2112.01251v1-abstract-full').style.display = 'none'; document.getElementById('2112.01251v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 22 November, 2021; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> December 2021. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">8 pages, 10 images, 2 figures</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">MSC Class:</span> 68Wxx <span class="has-text-black-bis has-text-weight-semibold">ACM Class:</span> E.1; E.4 </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2109.14085">arXiv:2109.14085</a> <span> [<a href="https://arxiv.org/pdf/2109.14085">pdf</a>, <a href="https://arxiv.org/ps/2109.14085">ps</a>, <a href="https://arxiv.org/format/2109.14085">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Instrumentation and Detectors">physics.ins-det</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> </div> <p class="title is-5 mathjax"> Generalization of the Maier-Leibniz Doppler-Shift Method for Gamma-Ray Correlations in Fission </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Stefano Marin</a>, <a href="/search/?searchtype=author&query=Okar%2C+M+S">M. Stephan Okar</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">Shaun D. Clarke</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">Sara A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2109.14085v1-abstract-short" style="display: inline;"> The Maier-Leibniz Doppler-Shift technique is the most popular and accurate technique used in fission experiments to separate the yield of gamma rays from each of the two fission fragments. The technique exploits the aberration, i.e., the change in the angular distribution, of gamma rays emitted by a moving source. By measuring the speed and direction of the source with a conventional detector, as… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2109.14085v1-abstract-full').style.display = 'inline'; document.getElementById('2109.14085v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2109.14085v1-abstract-full" style="display: none;"> The Maier-Leibniz Doppler-Shift technique is the most popular and accurate technique used in fission experiments to separate the yield of gamma rays from each of the two fission fragments. The technique exploits the aberration, i.e., the change in the angular distribution, of gamma rays emitted by a moving source. By measuring the speed and direction of the source with a conventional detector, as well as the yield of gamma rays at several angles from the direction of motion, the technique can be used to determine the mean multiplicities of gamma rays from each fragment. We show in this work that it is possible to extend the technique to also measure second moments of the gamma ray radiation from each fragment. In particular, given the current interest in fragment correlations in fission, we show that the covariance of the emission between the two fragments can be inferred. Experimental limitations and convergence of the new technique are discussed. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2109.14085v1-abstract-full').style.display = 'none'; document.getElementById('2109.14085v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 28 September, 2021; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> September 2021. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">6 pages, double spaced, no figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2108.04347">arXiv:2108.04347</a> <span> [<a href="https://arxiv.org/pdf/2108.04347">pdf</a>, <a href="https://arxiv.org/format/2108.04347">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Theory">nucl-th</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1103/PhysRevLett.127.222502">10.1103/PhysRevLett.127.222502 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Angular momentum removal by neutron and $纬$-ray emissions during fission fragment decays </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Stetcu%2C+I">I. Stetcu</a>, <a href="/search/?searchtype=author&query=Lovell%2C+A+E">A. E. Lovell</a>, <a href="/search/?searchtype=author&query=Talou%2C+P">P. Talou</a>, <a href="/search/?searchtype=author&query=Kawano%2C+T">T. Kawano</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">S. Marin</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">S. A. Pozzi</a>, <a href="/search/?searchtype=author&query=Bulgac%2C+A">A. Bulgac</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2108.04347v2-abstract-short" style="display: inline;"> We investigate the angular momentum removal from fission fragments (FFs) through neutron and $纬$-ray emission, where we find that about half the neutrons are emitted with angular momenta $\ge 1.5\hbar$ and that the change in angular momentum after the emission of neutrons and statistical $纬$ rays is significant, contradicting usual assumptions. Per fission event, in our simulations, the neutron an… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2108.04347v2-abstract-full').style.display = 'inline'; document.getElementById('2108.04347v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2108.04347v2-abstract-full" style="display: none;"> We investigate the angular momentum removal from fission fragments (FFs) through neutron and $纬$-ray emission, where we find that about half the neutrons are emitted with angular momenta $\ge 1.5\hbar$ and that the change in angular momentum after the emission of neutrons and statistical $纬$ rays is significant, contradicting usual assumptions. Per fission event, in our simulations, the neutron and statistical $纬$-ray emissions change the spin of the fragment by 3.5 -- 5~$\hbar$, with a large standard deviation comparable to the average value. Such wide angular momentum removal distributions can hide any underlying correlations in the fission fragment initial spin values. Within our model, we reproduce data on spin measurements from discrete transitions after neutron emissions, especially in the case of light FFs. The agreement further improves for the heavy fragments if one removes from the analysis the events that would produce isomeric states. Finally, we show that while in our model the initial FF spins do not follow a saw-tooth like behavior observed in recent measurements, the average FF spin computed after neutron and statistical $纬$ emissions exhibits a shape that resembles a saw tooth. This suggests that the average FF spin measured after statistical emissions is not necessarily connected with the scission mechanism as previously implied. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2108.04347v2-abstract-full').style.display = 'none'; document.getElementById('2108.04347v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 29 November, 2021; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 9 August, 2021; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> August 2021. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">9 pages, 6 figures; version accepted for publication</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Report number:</span> LA-UR-21-23498, NT@UW-21-07 </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Journal ref:</span> Phys. Rev. Lett. 127, 222502 (2021) </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2104.06166">arXiv:2104.06166</a> <span> [<a href="https://arxiv.org/pdf/2104.06166">pdf</a>, <a href="https://arxiv.org/format/2104.06166">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Nuclear Theory">nucl-th</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1103/PhysRevC.104.024602">10.1103/PhysRevC.104.024602 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Structure in the Event-by-Event Energy-Dependent Neutron-Gamma Multiplicity Correlations in $^{252}\text{Cf}$(sf) </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Stefano Marin</a>, <a href="/search/?searchtype=author&query=Okar%2C+M+S">Mustapha Stephan Okar</a>, <a href="/search/?searchtype=author&query=Sansevero%2C+E+P">Eoin P. Sansevero</a>, <a href="/search/?searchtype=author&query=Hernandez%2C+I+E">Isabel E. Hernandez</a>, <a href="/search/?searchtype=author&query=Ballard%2C+C+A">Catherine A. Ballard</a>, <a href="/search/?searchtype=author&query=Vogt%2C+R">Ramona Vogt</a>, <a href="/search/?searchtype=author&query=Randrup%2C+J">J酶rgen Randrup</a>, <a href="/search/?searchtype=author&query=Talou%2C+P">Patrick Talou</a>, <a href="/search/?searchtype=author&query=Lovell%2C+A+E">Amy E. Lovell</a>, <a href="/search/?searchtype=author&query=Stetcu%2C+I">Ionel Stetcu</a>, <a href="/search/?searchtype=author&query=Serot%2C+O">Olivier Serot</a>, <a href="/search/?searchtype=author&query=Litaize%2C+O">Olivier Litaize</a>, <a href="/search/?searchtype=author&query=Chebboubi%2C+A">Abdelhazize Chebboubi</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">Shaun D. Clarke</a>, <a href="/search/?searchtype=author&query=Protopopescu%2C+V+A">Vladimir A. Protopopescu</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">Sara A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2104.06166v2-abstract-short" style="display: inline;"> The emission of neutrons and gamma rays by fission fragments reveal important information about the properties of fragments immediately following scission. The initial fragment properties, correlations between fragments, and emission competition give rise to correlations in neutron-gamma emission. Neutron-gamma correlations are important in nonproliferation applications because the characterizatio… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2104.06166v2-abstract-full').style.display = 'inline'; document.getElementById('2104.06166v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2104.06166v2-abstract-full" style="display: none;"> The emission of neutrons and gamma rays by fission fragments reveal important information about the properties of fragments immediately following scission. The initial fragment properties, correlations between fragments, and emission competition give rise to correlations in neutron-gamma emission. Neutron-gamma correlations are important in nonproliferation applications because the characterization of fissionable samples relies on the identification of signatures in the measured radiation. Furthermore, recent theoretical and experimental advances have proposed to explain the mechanism of angular momentum generation in fission. In this paper, we present a novel analysis method of neutrons and gamma rays emitted by fission fragments that allows us to discern structure in the observed correlations. We have analyzed data collected on \ce{^{252}Cf}(sf) at the Chi-Nu array at the Los Alamos Neutron Science Center. Through our analysis of the energy-differential neutron-gamma multiplicity covariance, we have observed enhanced neutron-gamma correlations, corresponding to rotational band gamma-ray transitions, at gamma-ray energies of $0.7$ and $1.2$ MeV. To shed light on the origin of this structure, we compare the experimental data with the predictions of three model calculations. The origin of the observed correlation structure is understood in terms of a positive spin-energy correlation in the generation of angular momentum in fission. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2104.06166v2-abstract-full').style.display = 'none'; document.getElementById('2104.06166v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 14 April, 2021; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 13 April, 2021; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> April 2021. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">21 pages, 4 figures, 1 table</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Report number:</span> LA-UR-21-20802 </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Journal ref:</span> Phys. Rev. C 104, 024602 (2021) </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2102.04731">arXiv:2102.04731</a> <span> [<a href="https://arxiv.org/pdf/2102.04731">pdf</a>, <a href="https://arxiv.org/ps/2102.04731">ps</a>, <a href="https://arxiv.org/format/2102.04731">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Programming Languages">cs.PL</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> </div> </div> <p class="title is-5 mathjax"> Synchronous Forwarders </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Carbone%2C+M">Marco Carbone</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Sch%C3%BCrmann%2C+C">Carsten Sch眉rmann</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2102.04731v1-abstract-short" style="display: inline;"> Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with linear logic. Previous work has shown that a multiparty session type, a generalisation of session types to protocols of two or more parties, can be modelled as a proof of coherence, a generalisation of linear logic duality.… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2102.04731v1-abstract-full').style.display = 'inline'; document.getElementById('2102.04731v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2102.04731v1-abstract-full" style="display: none;"> Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with linear logic. Previous work has shown that a multiparty session type, a generalisation of session types to protocols of two or more parties, can be modelled as a proof of coherence, a generalisation of linear logic duality. And, protocols expressed as coherence can be simulated by arbiters, processes that act as a middleware by forwarding messages according to the given protocol. In this paper, we generalise the concept of arbiter to that of synchronous forwarder, that is a processes that implements the behaviour of an arbiter in several different ways. In a propositions-as-types fashion, synchronous forwarders form a logic equipped with cut elimination which is a special restriction of classical linear logic. Our main result shows that synchronous forwarders are a characterisation of coherence, i.e., coherence proofs can be transformed into synchronous forwarders and, viceversa, every synchronous forwarder corresponds to a coherence proofs. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2102.04731v1-abstract-full').style.display = 'none'; document.getElementById('2102.04731v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 9 February, 2021; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> February 2021. </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2010.08352">arXiv:2010.08352</a> <span> [<a href="https://arxiv.org/pdf/2010.08352">pdf</a>, <a href="https://arxiv.org/ps/2010.08352">ps</a>, <a href="https://arxiv.org/format/2010.08352">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> </div> </div> <p class="title is-5 mathjax"> Focused Proof-search in the Logic of Bunched Implications </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Gheorghiu%2C+A">Alexander Gheorghiu</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2010.08352v2-abstract-short" style="display: inline;"> The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. The focusing principle is a restriction of the proof-search space that can capture various goal-directed proof-search procedures. In this paper, we show that focused proof-sear… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2010.08352v2-abstract-full').style.display = 'inline'; document.getElementById('2010.08352v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2010.08352v2-abstract-full" style="display: none;"> The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search in BI has always been a difficult problem. The focusing principle is a restriction of the proof-search space that can capture various goal-directed proof-search procedures. In this paper, we show that focused proof-search is complete for BI by first reformulating the traditional bunched sequent calculus using the simpler data-structure of nested sequents, following with a polarised and focused variant that we show is sound and complete via a cut-elimination argument. This establishes an operational semantics for focused proof-search in the logic of Bunched Implications. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2010.08352v2-abstract-full').style.display = 'none'; document.getElementById('2010.08352v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 26 January, 2021; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 16 October, 2020; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> October 2020. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">18 pages content</span> </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">MSC Class:</span> 03F08 <span class="has-text-black-bis has-text-weight-semibold">ACM Class:</span> F.3; F.4; I.1 </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Journal ref:</span> FoSSaCs 2020 </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/2005.14325">arXiv:2005.14325</a> <span> [<a href="https://arxiv.org/pdf/2005.14325">pdf</a>, <a href="https://arxiv.org/ps/2005.14325">ps</a>, <a href="https://arxiv.org/format/2005.14325">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Logic in Computer Science">cs.LO</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Logic">math.LO</span> </div> </div> <p class="title is-5 mathjax"> Ecumenical modal logic </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Sonia Marin</a>, <a href="/search/?searchtype=author&query=Pereira%2C+L+C">Luiz Carlos Pereira</a>, <a href="/search/?searchtype=author&query=Pimentel%2C+E">Elaine Pimentel</a>, <a href="/search/?searchtype=author&query=Sales%2C+E">Emerson Sales</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="2005.14325v1-abstract-short" style="display: inline;"> The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz' system, the classical logician and the intuitionistic logician would share the universal quan… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2005.14325v1-abstract-full').style.display = 'inline'; document.getElementById('2005.14325v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="2005.14325v1-abstract-full" style="display: none;"> The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz' system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings. Prawitz' main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. In a recent work, Ecumenical sequent calculi and a nested system were presented, and some very interesting proof theoretical properties of the systems were established. In this work we extend Prawitz' Ecumenical idea to alethic K-modalities. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('2005.14325v1-abstract-full').style.display = 'none'; document.getElementById('2005.14325v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 28 May, 2020; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> May 2020. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">MSC Class:</span> 03B45; 03F03 <span class="has-text-black-bis has-text-weight-semibold">ACM Class:</span> F.4.1 </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/1907.01483">arXiv:1907.01483</a> <span> [<a href="https://arxiv.org/pdf/1907.01483">pdf</a>, <a href="https://arxiv.org/ps/1907.01483">ps</a>, <a href="https://arxiv.org/format/1907.01483">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Nuclear Theory">nucl-th</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1016/j.nima.2020.163907">10.1016/j.nima.2020.163907 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> Event-by-Event Multiplicity Correlations in $^{252}$Cf(sf) </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">Stefano Marin</a>, <a href="/search/?searchtype=author&query=Protopopescu%2C+V+A">Vladimir A. Protopopescu</a>, <a href="/search/?searchtype=author&query=Vogt%2C+R">Ramona Vogt</a>, <a href="/search/?searchtype=author&query=Marcath%2C+M+J">Matthew J. Marcath</a>, <a href="/search/?searchtype=author&query=Okar%2C+M+S">M. Stephan Okar</a>, <a href="/search/?searchtype=author&query=Hua%2C+M+Y">Michael Y. Hua</a>, <a href="/search/?searchtype=author&query=Talou%2C+P">Patrick Talou</a>, <a href="/search/?searchtype=author&query=Schuster%2C+P+F">Patricia F. Schuster</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">Shaun D. Clarke</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">Sara A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="1907.01483v2-abstract-short" style="display: inline;"> Excited nuclear fragments are emitted during nuclear fission. The de-excitation of these fission fragments takes place as sequential emission of neutrons followed by photons. A correlation between neutron and photon multiplicities accompanying fission is thus expected. Fission event generators based on established statistical nuclear physics models predict a negative event-by-event correlation in… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1907.01483v2-abstract-full').style.display = 'inline'; document.getElementById('1907.01483v2-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="1907.01483v2-abstract-full" style="display: none;"> Excited nuclear fragments are emitted during nuclear fission. The de-excitation of these fission fragments takes place as sequential emission of neutrons followed by photons. A correlation between neutron and photon multiplicities accompanying fission is thus expected. Fission event generators based on established statistical nuclear physics models predict a negative event-by-event correlation in neutron-photon multiplicity. A survey of published experimental results of an event-by-event covariance between the neutron and photon multiplicities emitted following the spontaneous fission of $^{252}$Cf is presented. Analytic unfolding expressions are developed in this work to determine the bias introduced by background sources, particle misclassification, pulse pileup, and inelastic photon production. The published experimental data are re-analyzed using these unfolding techniques and are found to be in qualitative agreement with the predictions of model-based calculations. In particular, we have concluded that there exists a significant event-by-event neutron-photon emission competition following the spontaneous fission of $^{252}$Cf. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1907.01483v2-abstract-full').style.display = 'none'; document.getElementById('1907.01483v2-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 18 December, 2019; <span class="has-text-black-bis has-text-weight-semibold">v1</span> submitted 2 July, 2019; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> July 2019. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">8pages, 3 figures, 2 table</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/1811.06701">arXiv:1811.06701</a> <span> [<a href="https://arxiv.org/pdf/1811.06701">pdf</a>, <a href="https://arxiv.org/format/1811.06701">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Nuclear Experiment">nucl-ex</span> </div> <div class="is-inline-block" style="margin-left: 0.5rem"> <div class="tags has-addons"> <span class="tag is-dark is-size-7">doi</span> <span class="tag is-light is-size-7"><a class="" href="https://doi.org/10.1103/PhysRevC.100.014605">10.1103/PhysRevC.100.014605 <i class="fa fa-external-link" aria-hidden="true"></i></a></span> </div> </div> </div> <p class="title is-5 mathjax"> High resolution measurement of tagged two-neutron energy and angle correlations in Cf-252(sf) </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Schuster%2C+P+F">P. F. Schuster</a>, <a href="/search/?searchtype=author&query=Marcath%2C+M+J">M. J. Marcath</a>, <a href="/search/?searchtype=author&query=Marin%2C+S">S. Marin</a>, <a href="/search/?searchtype=author&query=Clarke%2C+S+D">S. D. Clarke</a>, <a href="/search/?searchtype=author&query=Devlin%2C+M">M. Devlin</a>, <a href="/search/?searchtype=author&query=Haight%2C+R+C">R. C. Haight</a>, <a href="/search/?searchtype=author&query=Vogt%2C+R">R. Vogt</a>, <a href="/search/?searchtype=author&query=Talou%2C+P">P. Talou</a>, <a href="/search/?searchtype=author&query=Stetcu%2C+I">I. Stetcu</a>, <a href="/search/?searchtype=author&query=Kawano%2C+T">T. Kawano</a>, <a href="/search/?searchtype=author&query=Randrup%2C+J">J. Randrup</a>, <a href="/search/?searchtype=author&query=Pozzi%2C+S+A">S. A. Pozzi</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="1811.06701v1-abstract-short" style="display: inline;"> Background: Spontaneous fission events emit prompt neutrons correlated with one another in emission angle and energy. Purpose: We explore the relationship in energy and angle between correlated prompt neutrons emitted from 252Cf spontaneous fission. Methods: Measurements with the Chi-Nu array provide experimental data for coincident neutrons tagged with a fission chamber signal with 10 degree angu… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1811.06701v1-abstract-full').style.display = 'inline'; document.getElementById('1811.06701v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="1811.06701v1-abstract-full" style="display: none;"> Background: Spontaneous fission events emit prompt neutrons correlated with one another in emission angle and energy. Purpose: We explore the relationship in energy and angle between correlated prompt neutrons emitted from 252Cf spontaneous fission. Methods: Measurements with the Chi-Nu array provide experimental data for coincident neutrons tagged with a fission chamber signal with 10 degree angular resolution and 1 ns timing resolution for time-of-flight energy calculations. The experimental results are compared to simulations produced by the fission event generators CGMF, FREYA, and MCNPX-POLIMI IPOL(1)=1. Results: We find that the measurements and the simulations all exhibit anisotropic neutron emission, though differences exist between fission event generators. Conclusions: This work shows that the dependence of detected neutron energy on the energy of a neutron detected in coincidence, although weak, is non-negligible, indicating that there may be correlations in energy between two neutrons emitted in the same fission event. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1811.06701v1-abstract-full').style.display = 'none'; document.getElementById('1811.06701v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 16 November, 2018; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> November 2018. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Journal ref:</span> Phys. Rev. C 100, 014605 (2019) </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/1508.06553">arXiv:1508.06553</a> <span> [<a href="https://arxiv.org/pdf/1508.06553">pdf</a>, <a href="https://arxiv.org/ps/1508.06553">ps</a>, <a href="https://arxiv.org/format/1508.06553">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Atomic Physics">physics.atom-ph</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Chemical Physics">physics.chem-ph</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Quantum Physics">quant-ph</span> </div> </div> <p class="title is-5 mathjax"> Stereochemical properties of the OH molecule in combined electric and magnetic fields: analytic results </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+S">S. Marin</a>, <a href="/search/?searchtype=author&query=Bhattacharya%2C+M">M. Bhattacharya</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="1508.06553v1-abstract-short" style="display: inline;"> The stereochemical properties of the ultracold ground state OH molecule in the presence of electric and magnetic fields are currently of considerable interest. For example, relevant quantities such as molecular alignment and orientation, calculated numerically by using large basis sets, have lately appeared in the literature. In this work, based on our recent exact solution to an effective eight-d… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1508.06553v1-abstract-full').style.display = 'inline'; document.getElementById('1508.06553v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="1508.06553v1-abstract-full" style="display: none;"> The stereochemical properties of the ultracold ground state OH molecule in the presence of electric and magnetic fields are currently of considerable interest. For example, relevant quantities such as molecular alignment and orientation, calculated numerically by using large basis sets, have lately appeared in the literature. In this work, based on our recent exact solution to an effective eight-dimensional matrix Hamiltonian for the molecular ground state, we present analytic expressions for the stereochemical properties of OH. Our results require the solution of algebraic equations only, agree well with the aforementioned fully numerical calculations, provide compact expressions for simple field geometries, allow ready access to relatively unexplored parameter space, and yield straightforwardly higher moments of the molecular axis distribution. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1508.06553v1-abstract-full').style.display = 'none'; document.getElementById('1508.06553v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 24 August, 2015; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> August 2015. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">8 pages, 9 figures</span> </p> </li> <li class="arxiv-result"> <div class="is-marginless"> <p class="list-title is-inline-block"><a href="https://arxiv.org/abs/1404.6285">arXiv:1404.6285</a> <span> [<a href="https://arxiv.org/pdf/1404.6285">pdf</a>, <a href="https://arxiv.org/ps/1404.6285">ps</a>, <a href="https://arxiv.org/format/1404.6285">other</a>] </span> </p> <div class="tags is-inline-block"> <span class="tag is-small is-link tooltip is-tooltip-top" data-tooltip="Quantum Physics">quant-ph</span> <span class="tag is-small is-grey tooltip is-tooltip-top" data-tooltip="Atomic Physics">physics.atom-ph</span> </div> </div> <p class="title is-5 mathjax"> Coherent cancellation of geometric phase for the OH molecule in external fields </p> <p class="authors"> <span class="search-hit">Authors:</span> <a href="/search/?searchtype=author&query=Marin%2C+M+B+S">M. Bhattacharya. S. Marin</a>, <a href="/search/?searchtype=author&query=Kleinert%2C+M">M. Kleinert</a> </p> <p class="abstract mathjax"> <span class="has-text-black-bis has-text-weight-semibold">Abstract</span>: <span class="abstract-short has-text-grey-dark mathjax" id="1404.6285v1-abstract-short" style="display: inline;"> The OH molecule in its ground state presents a versatile platform for precision measurement and quantum information processing. These applications depend vitally on the accurate measurement of transition energies between the OH levels. Significant sources of systematic errors in these measurements are shifts based on the geometric phase arising from the magnetic and electric fields used for manipu… <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1404.6285v1-abstract-full').style.display = 'inline'; document.getElementById('1404.6285v1-abstract-short').style.display = 'none';">▽ More</a> </span> <span class="abstract-full has-text-grey-dark mathjax" id="1404.6285v1-abstract-full" style="display: none;"> The OH molecule in its ground state presents a versatile platform for precision measurement and quantum information processing. These applications depend vitally on the accurate measurement of transition energies between the OH levels. Significant sources of systematic errors in these measurements are shifts based on the geometric phase arising from the magnetic and electric fields used for manipulating OH. In this article, we present these geometric phases for fields that vary harmonically in time, as in the Ramsey technique. Our calculation of the phases is exact within the description provided by our recent analytic solution of an effective Stark-Zeeman Hamiltonian for the OH ground state. This Hamiltonian has earlier been shown to model experimental data accurately. We find that the OH geometric phases exhibit rich structure as a function of the field rotation rate. Remarkably, we find rotation rates where the geometric phase accumulated by a specific state is zero, or where the relative geometric phase between two states vanishes. We expect these findings to be of importance to precision experiments on OH involving time-varying fields. More specifically, our analysis quantitatively characterizes an important item in the error budget for precision spectroscopy of ground state OH. <a class="is-size-7" style="white-space: nowrap;" onclick="document.getElementById('1404.6285v1-abstract-full').style.display = 'none'; document.getElementById('1404.6285v1-abstract-short').style.display = 'inline';">△ Less</a> </span> </p> <p class="is-size-7"><span class="has-text-black-bis has-text-weight-semibold">Submitted</span> 24 April, 2014; <span class="has-text-black-bis has-text-weight-semibold">originally announced</span> April 2014. </p> <p class="comments is-size-7"> <span class="has-text-black-bis has-text-weight-semibold">Comments:</span> <span class="has-text-grey-dark mathjax">10 pages, 3 figures. Accepted for publication in PRA. Supplementary Material not included in the arxiv version</span> </p> </li> </ol> <div class="is-hidden-tablet">  <span class="help" style="display: inline-block;"><a href="https://github.com/arXiv/arxiv-search/releases">Search v0.5.6 released 2020-02-24</a>  </span> </div> </div> </main> <footer> <div class="columns is-desktop" role="navigation" aria-label="Secondary">  <div class="column"> <div class="columns"> <div class="column"> <ul class="nav-spaced"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul class="nav-spaced"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div>   <div class="column"> <div class="columns"> <div class="column"> <ul class="nav-spaced"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul class="nav-spaced"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div>  </div> </footer> <script src="https://static.arxiv.org/static/base/1.0.0a5/js/member_acknowledgement.js"></script> </body> </html>

CINXE.COM

Search | arXiv e-print repository