Filters








71 Hits in 16.9 sec

HIPPODROME: Data Race Repair using Static Analysis Summaries [article]

Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
<span title="2021-08-06">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this work, we show how to harness compositional static analysis for concurrency bug detection, to enable a new Automated Program Repair (APR) technique for data races in large concurrent Java codebases  ...  This synergy makes it possible to extend the virtues of compositional static concurrency analysis to APR, making our approach effective (it can detect and fix many more bugs than existing tools for data  ...  Authors' addresses: Andreea Costea, National University of Singapore, Singapore, Singapore, andreeac@comp.nus.edu.sg; Abhishek Tiwari, National University of Singapore, Singapore, Singapore, tiwari@comp.nus.edu.sg  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2108.02490v2">arXiv:2108.02490v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/adakau553zas3ohsr2e25w433u">fatcat:adakau553zas3ohsr2e25w433u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210818071145/https://arxiv.org/pdf/2108.02490v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/b9/edb996bde728dbe9a8a23dde3089d328e06cc8bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2108.02490v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Logic Synthesis [chapter]

<span title="2017-02-03">2017</span> <i title="CRC Press"> Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology </i> &nbsp;
ACKNOWLEDGMENT e authors thank Vladimir Yutsis for his helpful feedback on Section 1.5.2.  ...  Analysis at dominant corners causing the majority of setup and hold timing violations reduces the need for analysis at other corners.  ...  Individual applications will augment this common data model with domain-speci c information. For example, a static timing analysis tool will typically include delay and test edge data structures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781315215112-13">doi:10.1201/9781315215112-13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/me52zpnxyfcczh3choo2p4zulm">fatcat:me52zpnxyfcczh3choo2p4zulm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201228182232/https://s3-euw1-ap-pe-ws4-capi2-distribution-p.s3-eu-west-1.amazonaws.com/books/9781315215112/HUBPMP/9781315215112_googleScholarPDF.pdf?response-content-disposition=attachment%3B%20filename%3D%229781315215112_googlepreview.pdf%22&amp;response-content-type=application%2Fpdf&amp;x-amz-security-token=IQoJb3JpZ2luX2VjEJL%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCWV1LXdlc3QtMSJHMEUCIQDMbOJ81SqWqLHCvffhdLmC7zJ%2BylZkMZZ%2FW3j0to60zwIgIdUmE6qmL0Hin2EQzp%2FkEcGs5ZBZHAu6KJ1QiKvkgoYqtAMIShACGgwwMTIxNzcyNjQ1MTEiDLoir%2BIxPvvDvt%2BYXiqRA5IHT00LoQgYB4ivCaWLpzlAiwomjGafeiKLdZ1D10w7NKL1FQE6%2FalVwHQLoXD10CeNg2ArNP6aj7%2FOjPAKT8ZAxKfgvEBr%2BvSJfrDbGvkJPNXlN5oD7o4QTHoGgVhCv0%2By4tu6h5PKBAaV3d5XmUxcqBVHdjjCKUD0OqEwoWu3g7Ca5EYulNmUZGVlWd7lTu84qoe8Ou8xvabiQ9pe%2FD62VfdGxGGc84phoOMnRjb%2BVT6TbxZuHmG0n8IJ8jmHCenqOK%2FUO%2BlvazrMBUuq%2F%2FqFLv66EFcT8LTGkK5gJOuZYBiqFiABXHJYghEmkvgP0at68%2FflMIYdV3UsYzMP%2BKoJ8Qg6kxRAy3j69MQGkUwHml5kDMlqvLJuv8iXtECYT2DKKy3kcaiK3VPWo%2BMAWxLsjhEeVCmHkEBz%2BKQllShlay%2B1suR3Z4ZpFbYwU6W92Mi6XnyO7JubYP1uUW4QXrnABeKmvzn%2F1AvzG0dAGNdY5B3jj9i4rAYTszgITH9150xUAPAJaxDVJ3f%2BapxsIIw2MKKnqP8FOusBTkLEw0yTs6ipKUOfuJrXy3in2JtmZQv5RpU6q9g63yG%2FStuWe%2F%2BBTPQL2CNh31XUX4oM7rr41116s2D8%2BwxrJGH7BdqL10nXOL7U0tKzCzn%2FKS4%2BkBOPAyhNEW7lJs4tqgW1J0k1HiaXu1VrWOTSPDK1ttE3Wejgn3RZBMFmLBaudFjgoEaaah3Og6pqkEVUCJgX1MUKAkkmC9ZjVMdx90YGuVnTbWZRfJgg3tJhieSGVnPwRewyxT%2FTA4%2FtnHVhxPvhL%2BkpX02nzht76zCiZLCtyaCF436wfINzfP%2FqKV5QWRP3rKdJpmuFxg%3D%3D&amp;AWSAccessKeyId=ASIAQFVOSJ57Q2TIIKSR&amp;Expires=1609784551&amp;Signature=a27Zb0oIP%2BHCwSiQcyD6sY5X36U%3D" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/6b/c46be8b8b7ec286e7f61df8750782ffd8fddda6e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781315215112-13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Spongebugs: Automatically generating fix suggestions in response to static code analysis warnings

Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto
<span title="">2020</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
In this work, we investigate whether it is feasible to automatically generate fix suggestions for common warnings issued by static code analysis tools, and to what extent developers are willing to accept  ...  Static code analysis tools such as FindBugs and SonarQube are widely used on open-source and industrial projects to detect a variety of issues that may negatively affect the quality of software.  ...  We thank the maintainers for reviewing our patches; and the reviewers of SCAM and JSS for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2020.110671">doi:10.1016/j.jss.2020.110671</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r5t6drtpq5dn3mtqwh5dnzffl4">fatcat:r5t6drtpq5dn3mtqwh5dnzffl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201117121747/https://bugcounting.net/pubs/jss20-spongebugs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/10/61/106114263adfbfb229d89622941bb64da287ba1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2020.110671"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Systems Challenges for Trustworthy Embodied Systems [article]

Harald Rueß
<span title="2022-04-26">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We are arguing that traditional systems engineering is coming to a climacteric from embedded to embodied systems, and with assuring the trustworthiness of dynamic federations of situationally aware, intent-driven  ...  self-integration, and continual analysis and assurance.  ...  Currently, we are working on data-driven engineering techniques for functional automated systems with learning-enabled components.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2201.03413v2">arXiv:2201.03413v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hwprg3zjhvfuro3etecx2t4qua">fatcat:hwprg3zjhvfuro3etecx2t4qua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220427025705/https://arxiv.org/ftp/arxiv/papers/2201/2201.03413.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/45/92451e70e7c43ffb111dd2c18fd8b832ba2d4a8d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2201.03413v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Bidirectional evaluation with direct manipulation

Mikaël Mayer, Viktor Kuncak, Ravi Chugh
<span title="2018-10-24">2018</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqy7qc7jkzal5bz3gueys3siz4" style="color: black;">Proceedings of the ACM on Programming Languages (PACMPL)</a> </i> &nbsp;
To demonstrate the utility of evaluation update, we implement the algorithm in Sketch-n-Sketch, a novel direct manipulation programming system for generating HTML documents.  ...  We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes.  ...  The authors would like to thank Justin Lubin for significant contributions to the Sketch-n-Sketch implementation, and Nate Foster, Anders Miltner, and Benjamin Pierce for comments about related work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3276497">doi:10.1145/3276497</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dfgbt3synffsphgsdgiq3q2mwu">fatcat:dfgbt3synffsphgsdgiq3q2mwu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191027051146/https://arxiv.org/pdf/1809.04209v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/6d/d16d594af1aa9ffb042d2001b0e1d397d74619ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3276497"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Engineering Resilient Space Systems

John C. Day, Michel D. Ingham, Richard M. Murray, Leonard J. Reder, Brian C. Williams
<span title="">2015</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5bflmpwj65ajlasczzcnxfirvm" style="color: black;">Insight</a> </i> &nbsp;
the Year 1999 (Gat, 1997) ), automated data analysis (e.g., JPL's Autonomous Exploration for Gathering Increased Science [AEGIS]-NASA Software of the Year 2011 (Estlin et al., 2012) ), formal methods  ...  for the analysis.  ...  CASPER is designed for embedded online applications whereas ASPEN is designed for offline use. c.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/inst.12006">doi:10.1002/inst.12006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y5j67eywl5edlc5xj5246aqomy">fatcat:y5j67eywl5edlc5xj5246aqomy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427063316/https://authors.library.caltech.edu/92895/1/Systems_final_report.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/1e/331ef9cdbc08d1d5fe283c3c1b70c91e6a42d70d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/inst.12006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

IEEE Reliability Society Technical Operations Annual Technology Report for 2008

<span title="">2009</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/et7hjqz36jfnjaenyti2fjiq6m" style="color: black;">IEEE Transactions on Reliability</a> </i> &nbsp;
Henning Leidecker, NASA Goddard Space Flight Center, for his guidance, contributions, and technical support. His encouragement is gratefully acknowledged.  ...  It is true that static analysis holds some advantage over dynamic analysis. First, static analysis does not require any overhead in terms of test case execution, and test case processing.  ...  The application of combined static and dynamic analysis techniques to software is expected to be a rich area of research for some time to come.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tr.2009.2020845">doi:10.1109/tr.2009.2020845</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mt4ppqhpyrcbbkofg5bbjinrie">fatcat:mt4ppqhpyrcbbkofg5bbjinrie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725130611/https://ieeexplore.ieee.org/ielx5/24/5062546/05062554.pdf?tp=&amp;arnumber=5062554&amp;isnumber=5062546" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/be/25bea0d947dddcebd7003d6cfc8db189c786b2d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tr.2009.2020845"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A* Algorithm [chapter]

<span title="">2013</span> <i title="Springer US"> Encyclopedia of Operations Research and Management Science </i> &nbsp;
A heuristic search procedure that selects a node in its search tree for expansion such that the selected node has minimum value of the sum of the cost to reach the node plus a heuristic cost value for  ...  that node, where the heuristic cost underestimates the true minimum cost of completion.  ...  Hierarchic Synthesis and Rank Hierarchic synthesis is obtained by a process of weighting and adding down the hierarchy leading to a multilinear form.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4419-1153-7_200001">doi:10.1007/978-1-4419-1153-7_200001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqhbvw2wtjefrdr64yendafiya">fatcat:pqhbvw2wtjefrdr64yendafiya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725225929/https://link.springer.com/content/pdf/10.1007%2F978-1-4419-1153-7_200001.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/82/5082606a68ad967761f6f1265f112cf40f75d93d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4419-1153-7_200001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Self-Organized Evolutionary Process in Sets of Interdependent Variables near the Midpoint of Phase Transition in K-Satisfiability [chapter]

Michael Korkin
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Ackerman, John T Strategic Studies Quarterly: An Air Force-Sponsored Strategic Forum for Military, Government, and Academic Professionals. Volume 2, Number 1 -7 Acuff, Hugh F  ...  These include use of interactive human guidance rather than full automation, analysis of models and abstractions rather than the real artifact, and analysis of weak properties (e.g., by static analysis  ...  The analysis then statically derives an upper bound on the amount of those resources that the program as a whole will consume or provide, also as functions of the input data sizes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45443-8_20">doi:10.1007/3-540-45443-8_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ght26tu6avh57kkp54kifofaee">fatcat:ght26tu6avh57kkp54kifofaee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222000845/http://pdfs.semanticscholar.org/3090/73e2b494de2371079dd5e591d5c0ea02ae10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45443-8_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Morphed vertical tailplane assessment for certification requirements

Miguel Angel Castillo-Acero
<span title="2015-09-07">2015</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The results, opinions, conclusions, etc. presented in this work are those of the author(s) only and do not necessarily represent the position of the JU; the JU is not responsible for any use made of the  ...  First static stability analysis was done. The results were satisfying and static margin was in range 15-35% of MAC.  ...  The total computation time for a typical flap on a standard desktop PC for the synthesis, analysis, and sizing is less than one minute.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3905083">doi:10.5281/zenodo.3905083</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jegirrd5jbgeho7qtr7o3sfzpi">fatcat:jegirrd5jbgeho7qtr7o3sfzpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200624040138/https://zenodo.org/record/3905084/files/446_3.b%20CEAS-2015-book-of-abstracts-150825_pag%2078.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e6/86/e6860881ac4a5edd7662195a4c08d4e705b10ce0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3905083"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

OSTP-AWhite House Office of Science and Technology Policy Request for Information on the Future of Artificial Intelligence

Kris Kitchen
<span title="2017-02-10">2017</span> <i title="Figshare"> Figshare </i> &nbsp;
White House Office of Science and Technology Policy Request for Information on the Future of Artificial Intelligence  ...  FLI helped to develop a set of suggested "Research Priorities for Robust and Beneficial Artificial Intelligence" along these lines (available at http://futureoflife.org/data/documents/research_priorities.pdf  ...  that can ensure that this impact is an overall good for the vast majority of people.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6084/m9.figshare.4640305">doi:10.6084/m9.figshare.4640305</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/26aelpe4ejbupao5yh2mys2pzq">fatcat:26aelpe4ejbupao5yh2mys2pzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200304184151/https://figshare.com/articles/OSTP-AWhite_House_Office_of_Science_and_Technology_Policy_Request_for_Information_on_the_Future_of_Artificial_Intelligence/4640305/files/7554970.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/b8/feb81fb39301244e5db23ef5232c8584edf77e11.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6084/m9.figshare.4640305"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> figshare.com </button> </a>

Autonomous Driving in Adverse Weather Conditions: A Survey [article]

Yuxiao Zhang, Alexander Carballo, Hanting Yang, Kazuya Takeda
<span title="2021-12-16">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Automated Driving Systems (ADS) open up a new domain for the automotive industry and offer new possibilities for future transportation with higher efficiency and comfortable experiences.  ...  State-of-the-art techniques on perception enhancement with regard to each kind of weather are thoroughly reported.  ...  “Data driven degradation of auto- [165] Martin Pfennigbauer et al. “Online waveform pro- motive sensors and effect analysis”. In: Electronic cessing for demanding target situations”.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.08936v1">arXiv:2112.08936v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hmgjhywy7rgx3fgrk6yxnu56ie">fatcat:hmgjhywy7rgx3fgrk6yxnu56ie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211219003217/https://arxiv.org/pdf/2112.08936v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/b4/a4b47631872687986ab2f020b2e553eb9a40b47f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.08936v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

ECS in the Era of Data Science

<span title="">2019</span> <i title="The Electrochemical Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/menz7v5ehvchjg6q4ia76scgsa" style="color: black;">The Electrochemical Society Interface</a> </i> &nbsp;
should also be a community-driven component of any analysis package.  ...  Barriers between sophisticated modelers and sophisticated experimentalists come down when open analysis software, open data, and more automated analysis methods are combined in dynamic user communities  ...  His research focuses mainly on epitaxial growth and nanoscale synthesis of wide-bandgap semiconductors for energy-efficient lighting, display, and power applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1149/2.20191if">doi:10.1149/2.20191if</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7r34zwhsjzcrlkjvbqvsvupzxu">fatcat:7r34zwhsjzcrlkjvbqvsvupzxu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428152058/http://interface.ecsdl.org/content/28/1/1.full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a1/57/a157a11be4a9ffc5480f5453d2b1a016b446f7e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1149/2.20191if"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

High‐intensity, focused ultrasonic fields

Leif Bjørnoø
<span title="">1988</span> <i title="Acoustical Society of America (ASA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hwn3tbm3t5cpnjcflcmmwnprc4" style="color: black;">Journal of the Acoustical Society of America</a> </i> &nbsp;
The intensity technique was initially developed for sound power measurements but it can be used as a general tool for sound field investigations.  ...  This is possible by recent developments of signal processing and precision instrumentation technology which permit identification of detailed behavior of vibrating surfaces, mapping of sound fields in  ...  and repair of pianos.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1121/1.2025494">doi:10.1121/1.2025494</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yhmkhlqhivbwnp2lxraret33iq">fatcat:yhmkhlqhivbwnp2lxraret33iq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222153050/https://core.ac.uk/download/pdf/13720563.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0e/ee/0eee5c96193ff99c9f9886209f8ef11404192fc5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1121/1.2025494"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A multicellular architecture towards low-cost satellite reliability

A. O. Erlank, C. P. Bridges
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/74wwkahd4bbfnlle2od7myqj4u" style="color: black;">2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)</a> </i> &nbsp;
However, physically moving a satlet Sources of Inspiration to repair structural damage to another area of a multicellular satellite would require a very complex (and in the case of the Phoenix Project  ...  As master, the protein is responsible for coordinating the behaviour of the CMG array as a whole, and for logging resultant data.  ...  However, one of the proteins is reserved for the MM, so a total of 120.96 DMIPS is available to the developer. At this level of performance, a cell consumes 390 mW.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ahs.2015.7231152">doi:10.1109/ahs.2015.7231152</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ahs/ErlankB15.html">dblp:conf/ahs/ErlankB15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2t6xsssy35h27lsv6v3qrfbpke">fatcat:2t6xsssy35h27lsv6v3qrfbpke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719134545/http://epubs.surrey.ac.uk/845775/1/thesis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/58/0d582d30ab58008c859afdc0955b7cc974e3765b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ahs.2015.7231152"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 71 results