Filters








39 Hits in 5.1 sec

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts [chapter]

Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin Vechev
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We focus on analyses expressible as context-freelanguage reachability, where a set of fix locations is naturally expressed as a min-cut of the CFL graph.  ...  We present techniques for finding fix locations, a small set of program locations where fixes can be applied to address all static analysis warnings.  ...  We thank Dimitar Dimitrov from ETH Zurich for comments on earlier proofs of the theorems in this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63390-9_27">doi:10.1007/978-3-319-63390-9_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w6upiwife5adlgq4rtfww4vz44">fatcat:w6upiwife5adlgq4rtfww4vz44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218144817/https://static.aminer.org/pdf/20170130/pdfs/cav/exsbmduz6v9jq3flwp4jfhisyqkina5t.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/c2/26/c2262ae8838b9e7fdb7d86edd9dff7e7cf20ffc3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63390-9_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis [chapter]

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
On-demand data-flow analyses restrict the focus of the analysis on specific program locations and data facts.  ...  In this work, we consider on-demand IFDS analyses where the queries concern program locations of the same procedure (aka same-context queries).  ...  Hence, by induction hypothesis, line 11 finds all the local reachability edges for T − b l and adds them to both R local and G.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-44914-8_5">doi:10.1007/978-3-030-44914-8_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a5jbi3gbordb3pxgpddbtr34ba">fatcat:a5jbi3gbordb3pxgpddbtr34ba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509130444/https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3b/ed/3bed83c376b00d86eca572beb2b9ec0e5c6ba417.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-44914-8_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis [article]

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
<span title="2020-04-14">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
On-demand data-flow analyses restrict the focus of the analysis on specific program locations and data facts.  ...  In this work, we consider on-demand IFDS analyses where the queries concern program locations of the same procedure (aka same-context queries).  ...  Hence, by induction hypothesis, line 11 finds all the local reachability edges for T − b l and adds them to both R local and G.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.11070v2">arXiv:2001.11070v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7l5at2mhtbc6xc2raj62pyoky4">fatcat:7l5at2mhtbc6xc2raj62pyoky4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200417222356/https://arxiv.org/pdf/2001.11070v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.11070v2" 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>

Time-optimal path planning in dynamic flows using level set equations: realistic applications

Tapovan Lolla, Patrick J. Haley, Pierre F. J. Lermusiaux
<span title="2014-09-05">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2el3nokkrzerhb7abdpmagblu4" style="color: black;">Ocean Dynamics</a> </i> &nbsp;
time for a set of deployment locations.  ...  In §3.2, we consider 36 the deployment of vehicles and complete reachability 37 analyses for the Sulu Sea, i.e. we predict the portions 38 of the Sulu Sea that can be reached and explored within 39 a certain  ...  We are grateful to our MSEAS group at MIT for 857 discussions. We also thank the two anonymous reviewers for 858 their useful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10236-014-0760-3">doi:10.1007/s10236-014-0760-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ovfwo2wxkba55cljoi2c2yw24y">fatcat:ovfwo2wxkba55cljoi2c2yw24y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170707050004/http://dspace.mit.edu/bitstream/handle/1721.1/98288/OD_2_p11_t4_ph2.pdf%3Bjsessionid%3D9E94E9B99E821438C8633FD2BE45E1D0?sequence%3D1" 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/f8/52/f852361c8de0eb362f04c89235689adbeeeee005.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10236-014-0760-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Complexity of Flow Analysis in Higher-Order Languages [article]

David Van Horn
<span title="2013-11-19">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We give exact characterizations of the computational complexity of 0CFA, the kCFA hierarchy, and related analyses.  ...  Moreover, this is true not only for 0CFA, but for a number of further approximations to 0CFA. In each case, we derive polynomial time completeness results.  ...  Since Heintze (1994) gave a O(n 3 ) algorithm for solving these constraints, Melski and Reps' result demonstrates the conversion to CFL-reachability preserves cubic-solvability, while allowing CFL-reachability  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1311.4733v1">arXiv:1311.4733v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ukzvizf2ujc6lcklv4wfdip2ee">fatcat:ukzvizf2ujc6lcklv4wfdip2ee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200904113415/https://arxiv.org/pdf/1311.4733v1.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/3f/fc/3ffc4da0d08a3b0329a39a16e7e1415ee3ac6e3e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1311.4733v1" 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>

Non-commutative computation, depth reduction, and skew circuits (extended abstract) [chapter]

Meena Mahajan, V Vinay
<span title="">1994</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;
I am sincerely thankful to her for spending time for discussions with me, constantly motivating me and developing an enthusiasm in me to work and for being patient with me.  ...  Meena Mahajan for helping me out at every step of the thesis.  ...  To prove a containment of this form we need to find for {C n } ∈ SAC 1 , CFL L and a logspace reduction f , f : L(C n ) → L.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-58715-2_113">doi:10.1007/3-540-58715-2_113</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xyoamfty75aozjmlbwewnx7dgi">fatcat:xyoamfty75aozjmlbwewnx7dgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302032644/http://pdfs.semanticscholar.org/9d0d/ffacec250a045fb6051e87ecab5153dbbc82.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/9d/0d/9d0dffacec250a045fb6051e87ecab5153dbbc82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-58715-2_113"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Communication complexity: [chapter]

<span title="2019-10-29">2019</span> <i title="Princeton University Press"> Mathematics and Computation </i> &nbsp;
We have the following result for the non-deterministic commu nication space complexity of any CFL under fixed-cut partition input mappings.Theorem 16Let 7l" be a fixed-cut partition input mapping.  ...  The ability to consider messages as either of fixed length or as long as needed greatly simplifies several analyses.  ...  The equivalence class technique was shown to yield a tight bound on the communication complexity for distributions and singleton fixed-cut partitions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/j.ctvckq7xb.18">doi:10.2307/j.ctvckq7xb.18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nykxotc5uvekvgmv3rshqtn4ri">fatcat:nykxotc5uvekvgmv3rshqtn4ri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720202346/https://urresearch.rochester.edu/fileDownloadForInstitutionalItem.action?itemId=4867&amp;itemFileId=7408" 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/2e/d0/2ed0e2164f601931d0a1e4199d0875efc2be210a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/j.ctvckq7xb.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> jstor.org </button> </a>

Thermodynamics of QCD-inspired theories [article]

Harmen J. Warringa
<span title="2006-04-12">2006</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
I find that phases with pseudoscalar condensation are separated from the color superconducting phases by a first order transtion.  ...  One interesting result is that the effective potential contains temperature-dependent ultraviolet divergences that vanish in the minimum.  ...  For µ u = µ d = µ s one goes from the CFL phase (t) via the 2SC phase (n) to the chirally restored phase when raising the temperature.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/hep-ph/0604105v1">arXiv:hep-ph/0604105v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lgonl44o3fhvvmtyhywg2vfrxu">fatcat:lgonl44o3fhvvmtyhywg2vfrxu</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-hep-ph0604105/hep-ph0604105.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/hep-ph/0604105v1" 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>

Subject index volumes 1–200

<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
finding -, 680 efficient algorithms for finding -, 680 for sets of figures, finding -, 680 of a regular clutter, 1048 trapezoid graphs, 3408 method, 1389 trapezoidal decomposition, 2656, 3415  ...  finding -, 475 space algorithm, 468 tapes, class of sets of -, 507 with respect to a commutation relation, 1514 squared errors, 2778 square-free algorithm, 3595 co-cfl, 962 complement, infinite  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00319-3">doi:10.1016/s0304-3975(98)00319-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s22ud3iiqjht7lfbtc3zctk7zm">fatcat:s22ud3iiqjht7lfbtc3zctk7zm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926082047/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/3a5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5ODAwMzE5Mw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00319-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Energy Technological Review

Alberto Landini, Tommaso Zerbi, John Morrissey, Stepehen Axon
<span title="2016-10-15">2016</span> <i title="Zenodo"> Zenodo </i> &nbsp;
A best practice methodology for defining and applying KPIs was pursued; for this reason, an extensive review of the academic literature in this area was conducted and is presented in this deliverable.  ...  For each stage, an introductory description of the current situation at Europe [...]  ...  EIS help find and fix problems faster and are a useful tool to check the results of efficiency investment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3479264">doi:10.5281/zenodo.3479264</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zhsow6pnsfd2tlj7bkyrepnnnq">fatcat:zhsow6pnsfd2tlj7bkyrepnnnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201226191954/https://zenodo.org/record/3479265/files/D2.2_Energy%20System%20Technological%20Review_release%20v2.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/b9/a6/b9a657c94a592561a453c00ae69a98f0704e32d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3479264"> <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>

Searching for P- and CP- odd effects in heavy ion collisions [article]

Xumeu Planells
<span title="2014-11-12">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
A modified dispersion relation is derived for the lightest vector mesons rho and omega.  ...  We present a detailed analysis of the angular distribution associated to the lepton pairs created from these mesons searching for polarization dependencies.  ...  One way to analyse the properties of QCD matter in HIC is via the study of the azimuthal anisotropy induced in non-central collisions (for reviews see [34, 35] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1411.3283v1">arXiv:1411.3283v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wovfy4iprbguhfcoqfxltcgfye">fatcat:wovfy4iprbguhfcoqfxltcgfye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930004354/https://arxiv.org/pdf/1411.3283v1.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/f2/6f/f26f77b1afc8d4018a99f52d0ff547dbb1a1f11f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1411.3283v1" 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>

Numerical Stabilization of the Melt Front for Laser Beam Cutting [chapter]

Torsten Adolph, Willi Schönauer, Markus Niessen, Wolfgang Schulz
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> Numerical Mathematics and Advanced Applications 2009 </i> &nbsp;
A saturation function is considered accounting for converging stress-strain curves in cyclic tension tests at fixed load levels.  ...  We use non-conforming Cruzeix Raviart elements for velocity, piecewise constant elements for pressure, and linear Lagrange elements for concentration.  ...  Thus, we are interested in finding the minimum quantity of water which is needed to be injected into the river in order to purify it up to a fixed level.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11795-4_6">doi:10.1007/978-3-642-11795-4_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nx4nvuxaxfbcdjknopny53ck5e">fatcat:nx4nvuxaxfbcdjknopny53ck5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721182541/http://www.it.uu.se/research/tdb/enumath2009/final/enumath_abstracts.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/4c/34/4c343b1ce275f64d03689c4505c2c1011604403d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11795-4_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Subject Index to Volumes 1–75

<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5xfy4fcdxvcvdiybp6iqbffqc4" style="color: black;">Information Processing Letters</a> </i> &nbsp;
scheduling, 3764 fixed radius near neighbors, 301, 422, 2013 problem, 301 fixed radius near neighbors search, 2235 algorithms, 2013 fixed radius neighbor problem, 908 search problem for segments  ...  fault free subcube, 1668 matching, 3273 number of vertices, 815 finding the minimum cardinality, 1221 communication complexity, 3383 cost, 2761 distance, 746 Hamiltonian curve, 3389, 3807 performance  ...  ., 2323 Rayward-Smith, 1675 Steiner tree heuristic, 1675 Razborov and Smolensky, 2040 RC, 44, 4000 RCA, 2430 RE charts, 464 reachability, 128, 129, 701, 1150 , 2012 , 2253 , 2616 , 3584, 4007 algorithm  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0020-0190(01)00175-2">doi:10.1016/s0020-0190(01)00175-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5y67tfm6yfbblakrus5nnhs73e">fatcat:5y67tfm6yfbblakrus5nnhs73e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050503052345/http://www.ii.uni.wroc.pl:80/~lorys/IPL/articlesubjindex.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0020-0190(01)00175-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Static analysis of android applications

Shuying Liang
<span title="2014-09-30">2014</span>
CFL-and pushdown-reachability techniques The work [18] develop a pushdown reachability algorithm suitable for the pushdown systems that I generate.  ...  CHAPTER 8 PUSHDOWN EXCEPTION-FLOW REACHABILITY .2 Fix-point algorithm of the pushdown exception framework Alg. 2 describes the fix-point computation for the reachability algorithm.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.26053/0h-gtc1-ja00">doi:10.26053/0h-gtc1-ja00</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkrvjtlgt5gzhltlwsgxrqjmlq">fatcat:xkrvjtlgt5gzhltlwsgxrqjmlq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170414152715/https://collections.lib.utah.edu/dl_files/ab/8b/ab8bc5d47131ab394fa84c9caa8d95f802c1f60c.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/ab/8b/ab8bc5d47131ab394fa84c9caa8d95f802c1f60c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.26053/0h-gtc1-ja00"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

The energy efficiency of onboard hydrogen storage

J.O. Jensen, A.P. Vestbø, Q. Li, N.J. Bjerrum
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mohxvv5fivb6lltzfjcysbnx5u" style="color: black;">Journal of Alloys and Compounds</a> </i> &nbsp;
Energy Authority for the financial support of the present work.  ...  Acknowledgements The 2007 survey, 2009 investigation and the Energy Transformed education package were undertaken by The Natural Edge Project using funds provided by CSIRO and the National Framework for  ...  Document studies Analyses of written texts are important research tools in, for example, content analyses.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jallcom.2007.04.051">doi:10.1016/j.jallcom.2007.04.051</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2zkl6lfyt5fe7jskk63jvkqqhq">fatcat:2zkl6lfyt5fe7jskk63jvkqqhq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724014359/http://orbit.dtu.dk/files/5217673/Energy_Efficiency.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/e1/8c/e18cd32cde585456d0045cfe783ef79a6a3d94ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jallcom.2007.04.051"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 39 results