Filters








8,091 Hits in 6.3 sec

Sharing Continuations: Proofnets for Languages with Explicit Control [chapter]

Julia L. Lawall, Harry G. Mairson
<span title="">2000</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;
and allow shared, incremental evaluation of continuations (optimal reduction).  ...  The resulting graphs can be reduced simply (cut elimination for linear logic), have a consistent semantics that is preserved by reduction (geometry of interaction, via the so-called context semantics),  ...  We thank Alan Bawden and Olivier Danvy for commenting on a draft of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46425-5_16">doi:10.1007/3-540-46425-5_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3jevx7qevzahhehomccscbwvum">fatcat:3jevx7qevzahhehomccscbwvum</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724213514/https://link.springer.com/content/pdf/10.1007%2F3-540-46425-5_16.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/e4/98/e4988af7cba3bd5c6f73fe627fe802741272b6aa.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-46425-5_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Supporting Function Calls within PELCR

Antonio Cosentino, Marco Pedicini, Francesco Quaglia
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Geometry of Interaction [5] in analogy with Lamping's optimal reduction [6] .  ...  In [10, 11] , PELCR has been introduced as an implementation derived from the Geometry of Interaction in order to perform virtual reduction on parallel/distributed computing systems.  ...  Introduction PELCR (Parallel Environment for optimal Lambda Calculus Reduction) is a software package supporting optimal lambda calculus reduction on parallel/distributed computing systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.09.025">doi:10.1016/j.entcs.2005.09.025</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pezkhiwl45bx5pwcjfjhdt2sxe">fatcat:pezkhiwl45bx5pwcjfjhdt2sxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829213320/http://www.dis.uniroma1.it/pub/quaglia/entcs135-3.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/9c/23/9c23c52390d4a8b3afb2d32e60de2555e26dbca3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.09.025"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Page 4529 of Mathematical Reviews Vol. , Issue 96h [page]

<span title="">1996</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
of optimal implementations).  ...  geometry.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1996-08_96h/page/4529" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1996-08_96h/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 1293 of Mathematical Reviews Vol. , Issue 96c [page]

<span title="">1996</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
definition of the average difference of two logics.” 96c:03027 03B40 03B20 03G30 Asperti, Andrea (I-BOLO; Bologna) Linear logic, comonads and optimal reductions.  ...  The author presents work on optimal graph reduction techniques for the A-calculus in a category-theoretical setting, relating the control operators of G. Gonthier, M. Abadi and J.-J.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1996-03_96c/page/1293" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1996-03_96c/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 7328 of Mathematical Reviews Vol. , Issue 2000j [page]

<span title="">2000</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Lévy’s optimal reductions). This graph implementation was soon fitted to the various programming languages inspired by linear logic (and its geometry of interaction) [G. Gonthier, M. Abadi, and J.-J.  ...  Exploiting a simulation prop- erty between the reductions of a proper sharing graph and the reductions of its least-shared-instance, the author proves that the “read-back” of a proper sharing graph can  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000-10_2000j/page/7328" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2000-10_2000j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Developing Model for Critical Slip Surface in Slope Stability Analysis based on Geometry and Soil parameters

Worku Firomsa, Damtew Tsige
<span title="2021-04-29">2021</span> <i title="SASPR Edu International Pvt. Ltd"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tctjb4vkzrdzlgfjnn4gwmeynm" style="color: black;">Saudi Journal of Civil Engineering</a> </i> &nbsp;
Different searching and optimization methods that had the difficulty in using them for hand calculations have been used in the past.  ...  Model was introduced in to locate the critical failure surface by using soils strength and slope geometry.  ...  Where 0 , 0 are the coordinates of the failure circle center and r is the radius of the circle.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.36348/sjce.2021.v05i03.001">doi:10.36348/sjce.2021.v05i03.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z4357v5e7bbkzlu2j5tiwjny24">fatcat:z4357v5e7bbkzlu2j5tiwjny24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211126070758/https://saudijournals.com/media/articles/SJCE_53_60-73.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/f7/24f74257bd7120d2fc30c349ce44169b2b769e5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.36348/sjce.2021.v05i03.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Fast integer least-squares estimation for GNSS high-dimensional ambiguity resolution using lattice theory

S. Jazaeri, A. R. Amiri-Simkooei, M. A. Sharifi
<span title="2011-07-30">2011</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jr67p3lhhzdihcxg4rqdv7houi" style="color: black;">Journal of Geodesy</a> </i> &nbsp;
The numerical simulations have shown that AEVZ, M-SE, and M-VB are about 320, 120 and 50 times faster than LAMBDA, respectively, for a search space of dimension 40.  ...  It is mathematically shown that the closest lattice point problem is the same as the integer least-squares (ILS) estimation problem and that the lattice reduction speeds up searching process.  ...  The authors would also like to acknowledge the valuable comments of the editor, Pascal Willis, the editor-in-chief, Roland Klees, and three anonymous reviewers, which significantly improved the presentation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00190-011-0501-z">doi:10.1007/s00190-011-0501-z</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xoldeehd55dwxeb4eqxne2gnse">fatcat:xoldeehd55dwxeb4eqxne2gnse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706023231/http://engold.ui.ac.ir/%7Eamiri/JG_Jazaeri_2012.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/f1/05/f105beefb0589f370714ddc715096ba276bc7e8c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00190-011-0501-z"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient [chapter]

Barak A. Pearlmutter, Jeffrey Mark Siskind
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4rhte7roibctnbr7jz7mi4vyw4" style="color: black;">Lecture Notes in Computational Science and Engineering</a> </i> &nbsp;
Because the λ -calculus is the basis for modern programming-language implementation techniques, integration of AD into the λ -calculus allows AD to be integrated into an aggressive compiler.  ...  The system is based on a new formulation of AD as highly generalized firstclass citizens in a λ -calculus, which is briefly described.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68942-3_8">doi:10.1007/978-3-540-68942-3_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q6mfgwtuhjbehngz45umahgy2e">fatcat:q6mfgwtuhjbehngz45umahgy2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829035306/http://www-bcl.cs.may.ie/~barak/papers/sound-efficient-ad2008.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/56/b5/56b5d312d1a393d19044bb14a2bb61059040d3b5.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-540-68942-3_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Influence of Charge Motion on Pre-Chamber and Main Chamber Combustion in a Highly Dilute Jet Ignition Engine

Michael Bunce, Alasdair Cairns, Sai Krishna Pothuraju Subramanyam, Nathan Peters, Hugh Blaxill
<span title="2021-02-15">2021</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lr5qmwj545cytg5tldox745x7i" style="color: black;">Frontiers in Mechanical Engineering</a> </i> &nbsp;
These results provide guidance for future system optimization of jet ignition engines.  ...  Therefore, there are some system sensitivities not present in stoichiometric engines that must be investigated in order to fully optimize the jet ignition system.  ...  The manuscript was written through contributions of all authors. All authors have given approval to the final version of the manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fmech.2020.629243">doi:10.3389/fmech.2020.629243</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vprdm5aqdvcpnc42q6ae2ouiji">fatcat:vprdm5aqdvcpnc42q6ae2ouiji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210427213126/https://fjfsdata01prod.blob.core.windows.net/articles/files/629243/pubmed-zip/.versions/2/.package-entries/fmech-06-629243.pdf?sv=2018-03-28&amp;sr=b&amp;sig=LSSrGYont9ryZ%2FQ8x77bLc9Wg4%2F9PpQJQjxdK7jvhs0%3D&amp;se=2021-04-27T21%3A31%3A55Z&amp;sp=r&amp;rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fmech-06-629243.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/a0/8b/a08b6b48e229498ca375666d2b582cb0b5f87c3c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fmech.2020.629243"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a>

2.5b_Loew: Offline Economic Active-Power Dispatch for Wind Farms Taking Fatigue into Account

Stefan Loew, Dragan Obradovic, Carlo L. Bottasso
<span title="2019-08-09">2019</span> <i title="Zenodo"> Zenodo </i> &nbsp;
frame ➢ High LCoE for low wind velocities: • OPEX is a cost offset at the moment ➢ Increasing LCoE with downrating: • Energy loss is not compensated by fatigue reduction • Downrating seems economically  ...  setpoint • Control method: Static setpoint optimization VPP power dispatch optimization • Revenue and cost model of wind farms Lookup-table of Cost of Energy vs. power setpoint; interval  ...  Preliminary Results for Profit-optimal Mode  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3364419">doi:10.5281/zenodo.3364419</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vowsp6wi25aanhwg422hqezsde">fatcat:vowsp6wi25aanhwg422hqezsde</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200301035223/https://zenodo.org/record/3364420/files/2.5b_Loew_Offline%20Economic%20Active-Power%20Dispatch%20for%20Wind%20Farms%20Taking%20Fatigue%20into%20Account.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/aa/c0/aac0fff039971d51a8f8da949d25e0cef8f3b020.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3364419"> <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>

Combustion characteristics of various fuels during research octane number testing on an instrumented CFR F1/F2 engine

Christopher KOLODZIEJ, Thomas WALLNER
<span title="2017-11-01">2017</span> <i title="Polish Scientific Society of Combustion Engines"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3bh2wt3fnbz7gamt442n6spui" style="color: black;">Combustion Engines</a> </i> &nbsp;
The Cooperative Fuels Research (CFR) engine is the long-established standard for characterization of fuel knock resistance in spark-ignition internal combustion engines.  ...  Despite its measurements of RON and MON being widely used, there is little understanding of what governs the CFR octane rating for fuels of various chemical compositions compared to primary reference fuels  ...  Acknowledgements This research was conducted as part of the Co-Optimization of Fuels & Engines (Co-Optima) project sponsored by the U.S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19206/ce-2017-427">doi:10.19206/ce-2017-427</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kfhkysm2lnghjcdt6j46snbuoe">fatcat:kfhkysm2lnghjcdt6j46snbuoe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201229172747/http://www.combustion-engines.eu/pdf-116526-45770?filename=Combustion.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/99/c5/99c53700a905e46ba98374187e37901a55cebc05.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19206/ce-2017-427"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Open3D: A Modern Library for 3D Data Processing [article]

Qian-Yi Zhou and Jaesik Park and Vladlen Koltun
<span title="2018-01-30">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The Open3D frontend exposes a set of carefully selected data structures and algorithms in both C++ and Python. The backend is highly optimized and is set up for parallelization.  ...  The code is clean, consistently styled, and maintained via a clear code review mechanism. Open3D has been used in a number of published research projects and is actively deployed in the cloud.  ...  We hope that Open3D will be useful to a broad community of developers who deal with 3D data.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.09847v1">arXiv:1801.09847v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7lq5aa3qzbahdb3ouwcfelxv4">fatcat:u7lq5aa3qzbahdb3ouwcfelxv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191015062610/https://arxiv.org/pdf/1801.09847v1.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/0b/330b88f25caa6a57eb399a4809549d13462571ee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.09847v1" 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>

Real-time Cycle Slip Detection and Repair Method for BDS-3 Five-frequency Data

Haijun Yuan, Zhetao Zhang, Xiufeng He, Tianyang Xu, Xueyong Xu, Nan Zang
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
ACKNOWLEDGMENT The authors would like to thank the anonymous reviewers for their helpful comments.  ...  delay reduction.  ...  The optimization of LAMBDA search satisfies the following condition min (( −) T−1 ( −) (31) with z = X,̂=̂,̂=̂ (32) where Z is the so-called Z-transformation matrix and ̂ is covariance matrix after transformation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3069745">doi:10.1109/access.2021.3069745</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wctkgsgfxbgavc2eq5jdbptdtq">fatcat:wctkgsgfxbgavc2eq5jdbptdtq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210331083657/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09389786.pdf?tp=&amp;arnumber=9389786&amp;isnumber=6514899&amp;ref=" 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/f9/e7/f9e70eeb66104950b15ad86c95a7bc102504c99a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3069745"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Instantaneous Triple-Frequency GPS Cycle-Slip Detection and Repair

Zhen Dai, Stefan Knedlik, Otmar Loffeld
<span title="">2009</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rzumysaw6jcgtgej4ymkyzusui" style="color: black;">International Journal of Navigation and Observation</a> </i> &nbsp;
The reliability of the proposed algorithms is tested in different simulated scenarios.  ...  The cycle-slip determination adaptively uses the predicted phase data and the code data. LAMBDA technique is applied to search for the cycle-slip candidates.  ...  Acknowledgment This work was funded in part by the German Research Foundation (DFG) under Grant no. KN 876/1-2, which is gratefully acknowledged. International Journal of Navigation and Observation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2009/407231">doi:10.1155/2009/407231</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aiarhurkhnadzfpjg265p7mct4">fatcat:aiarhurkhnadzfpjg265p7mct4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200209131254/http://downloads.hindawi.com/archive/2009/407231.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/e8/fe/e8fe6bfd3dc7a51b5daee3dfbf874eda5c536510.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2009/407231"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Free Software for Analog and Digital Design

Dušan N. Grujić
<span title="2021-09-29">2021</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The lecture was recorded and the video of presentation held by Assist. Prof. Dušan Grujić together with the Q&A session is available at https://youtu.be/fCSQRYTIDSI.  ...  To the best of author's knowledge there aren't any FOSS parasitic reduction tools available.  ...  Cells designed with lambda-based design rules are not optimal, but are portable across foundries and process nodes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.6506432">doi:10.5281/zenodo.6506432</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yn3fyiaulvcprja5nkchermmae">fatcat:yn3fyiaulvcprja5nkchermmae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220430235837/https://zenodo.org/record/6506432/files/12%20-%20Grujic.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/1a/d9/1ad9537b8a746c1e62790df523c57a6883e6968b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.6506432"> <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>
&laquo; Previous Showing results 1 &mdash; 15 out of 8,091 results