Filters








74,944 Hits in 3.3 sec

Directions in ISA Specification [chapter]

Anthony Fox
<span title="">2012</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;
In particular, it should be possible for people who are not experts in HOL4 to readily read, develop and create ISA specifications for use in HOL4.  ...  Feedback is sought from the wider theorem proving community in helping establish future directions for this project.  ...  However, there are areas where producing and maintaining ISA specifications in HOL4 is unduly tedious and potentially error prone.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-32347-8_23">doi:10.1007/978-3-642-32347-8_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rqh7v3qddnhrxl4vvzccgp4fcq">fatcat:rqh7v3qddnhrxl4vvzccgp4fcq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150429052205/https://www.cl.cam.ac.uk/~acjf3/papers/itp12.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/b2/6a/b26a023fbe960aaf5b3a39bd754fa0e9db7de210.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-32347-8_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

HoVer: A modeling framework for horizontal and vertical integration

Alexandra Mazak, Christian Huemer
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/smfbtfrl7zb77oapyk4p5ffxja" style="color: black;">2015 IEEE 13th International Conference on Industrial Informatics (INDIN)</a> </i> &nbsp;
As a first step, presented in this paper, we extend the REA ontology by useful concepts known from ISA-95 towards an integrating modeling framework.  ...  We plan to apply the ISA-95 industry standard (ANSI/ISA-95; DIN EN 62264) to describe the vertical integration within an enterprise and its decentralized, networked production plants.  ...  In the increment set the direction of the arc goes from the resource to the event, in the decrement set in the reverse direction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/indin.2015.7281980">doi:10.1109/indin.2015.7281980</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/indin/MazakH15.html">dblp:conf/indin/MazakH15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rq42mnitpndz7edwvfe3u4nnp4">fatcat:rq42mnitpndz7edwvfe3u4nnp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709100758/https://publik.tuwien.ac.at/files/PubDat_238502.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/60/e3/60e36eace0673cf25989ee3f4ec0349d2d417c64.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/indin.2015.7281980"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Page 4 of National Glass Budget Vol. 91, Issue 16 [page]

<span title="1976-08-21">1976</span> <i title="National Glass Budget/Glass"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_national-glass-budget" style="color: black;">National Glass Budget </a> </i> &nbsp;
The courses makes liberal use of manufacturers’ materials, the ISA Handbook of Control Valves and ISA Standards. Directed to experienced as well as beginning engineers who work in process industries.  ...  , specification and selection.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_national-glass-budget_1976-08-21_91_16/page/4" 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_national-glass-budget_1976-08-21_91_16/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

ISA API: An open platform for interoperable life science experimental metadata

David Johnson, Dominique Batista, Keeva Cochrane, Robert P Davey, Anthony Etuk, Alejandra Gonzalez-Beltran, Kenneth Haug, Massimiliano Izzo, Martin Larralde, Thomas N Lawson, Alice Minotto, Pablo Moreno (+9 others)
<span title="2021-09-16">2021</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/apde6vbe7vfoxkfibp7n4mzonm" style="color: black;">GigaScience</a> </i> &nbsp;
Background The Investigation/Study/Assay (ISA) Metadata Framework is an established and widely used set of open source community specifications and software tools for enabling discovery, exchange, and  ...  Results In this work, we present the ISA API, a Python library for the creation, editing, parsing, and validating of ISA-Tab and ISA-JSON formats by using a common data model engineered as Python object  ...  Acknowledgements We thank members of the ISA Working Group, ISA Commons, H2020 PhenoMeNal project, UK BBSRC COPO project, attendees of the 2016 "Hack-the-Spec-ISA as a FAIR research object" workshop hosted  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/gigascience/giab060">doi:10.1093/gigascience/giab060</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/34528664">pmid:34528664</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC8444265/">pmcid:PMC8444265</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/emisaswturffta4b6bv7rlu5by">fatcat:emisaswturffta4b6bv7rlu5by</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211010141047/https://watermark.silverchair.com/giab060.pdf?token=AQECAHi208BE49Ooan9kkhW_Ercy7Dm3ZL_9Cf3qfKAc485ysgAAAtwwggLYBgkqhkiG9w0BBwagggLJMIICxQIBADCCAr4GCSqGSIb3DQEHATAeBglghkgBZQMEAS4wEQQM1CvW5te20dARa62gAgEQgIICj9M9puNfmSWq8X78zbpDFjSRWJSNmcwIH_rct-VaVmNax86ST01C2aYaa8ZQInmNnZysQPEv9ysmuy3CC21smz0B1wDmBWEogmkY6h2UtrUBkebw5eiI7OKNiopdaLyg2eTBkF0cvjz4iEasatf_BAHzltzMq3CN801Pk5NSAjwc88djJn83lnR9ZTvZyDoX5QxrHo68QEKzBi8gAC8zaVb9k5BUrnGoXadAXt3e0WqMm1niryu45nXlL2OC5CMVv6M95NJOsm3SmYntCTL69bAmmP7oJ9MRx7pGrIxsA0l3s3-xeKJfaQjR3CdSm4GhYOBHejtM7ywATvUmXBY6AF44UwoKDj0KbzHPRX_FscTKbPwdBN5qvF7B62Mr-QlkGghomYuzK_1tkyPd3r0l6oziwWCRnwDrauQlSKh3_xkC0nu5Ilr0jE847GqO7dtwMmvW4m1eITf-jI76Gh796-IxKWmuYYfClFuwqtjTEZXPT6uQ_np7maxyjBAeLvC83aZYmtGMD1UyjqpDxhdbnNswoTGeQhVp338UEO6HwYMsBZI_kib_KKgwAVd3fmw_3l-ZgXHMfKEc0f0A7WPiGkxFN8EPGkPAh7hlPCU7VHojL0yFycOhHg4TmaGRFiY2bBVUjwhVh5MUEVx-wEZQkklkZ5Rhh_Lb6g8Y-6eA9hkPVpBc4Psrh_N76TCT_0IoHuk6KQCJgG-p_kTsXrDRNGmKqt0Jr-qJeam4wkdYY8fKkWtVg7oLKvY3Vw57fX5q6o6IsYur0lSTTtH5VHnDLeOCKV4u0ovOXvYgD230zdQ3Ag8KmWGeAHVdT5xZYVr50d68o95Vax9BIwfu4h4vmJ6Qyz8bTJWDrKfzYT2NtDw" 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/5f/4c/5f4cb5a3a3ffca9e938a59b5daf795f36dd2d8b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/gigascience/giab060"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> oup.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8444265" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Phrase Table Combination Based on Symmetrization of Word Alignment for Low-Resource Languages

Sari Dewi Budiwati, Al Hafiz Akbar Maulana Siagian, Tirana Noor Fatyanosa, Masayoshi Aritsugi
<span title="2021-02-20">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/smrngspzhzce7dy6ofycrfxbim" style="color: black;">Applied Sciences</a> </i> &nbsp;
The proposed strategy shows an absolute gain of up to 0.11 (a 0.9% relative improvement) BLEU points compared to direct translation for 3-gram in Ja–Id.  ...  The appropriate symmetrization is selected based on the highest BLEU scores in each direct translation of source–target, source–pivot, and pivot–target of Kazakh–English (Kk–En) and Japanese–Indonesian  ...  The H-ISA also outperformed the direct translation of src-trg by 0.11 in Ja-Id LM03. The direct translation of src-trg still outperformed the H-ISA by 0.12 in Ja-Id LM05.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/app11041868">doi:10.3390/app11041868</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wkghjy2unrampkgglidp42ufou">fatcat:wkghjy2unrampkgglidp42ufou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210301174631/https://res.mdpi.com/d_attachment/applsci/applsci-11-01868/article_deploy/applsci-11-01868.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/2a/04/2a0421ec8caff4de8c2738a8566ef74e3cb80df7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/app11041868"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Spontaneous Infra-slow Brain Activity Has Unique Spatiotemporal Dynamics and Laminar Structure

Anish Mitra, Andrew Kraft, Patrick Wright, Benjamin Acland, Abraham Z. Snyder, Zachary Rosenthal, Leah Czerniewski, Adam Bauer, Lawrence Snyder, Joseph Culver, Jin-Moo Lee, Marcus E. Raichle
<span title="">2018</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5lze265mrrcddlccx7zpfjyjwi" style="color: black;">Neuron</a> </i> &nbsp;
Moreover, mouse laminar electrophysiology reveals that ISA travels through specific cortical layers and is organized into unique cross-laminar temporal dynamics that are different from higher frequency  ...  Yet the neurophysiological basis of infra-slow activity (ISA) remains unresolved. In particular, is ISA a distinct physiological process, or is it a low frequency analogue of faster neural activity?  ...  2014) : does ISA travel through specific cortical layers as well?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuron.2018.03.015">doi:10.1016/j.neuron.2018.03.015</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/29606579">pmid:29606579</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5910292/">pmcid:PMC5910292</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rp5ub46ywvfdrbt4rckulx3igy">fatcat:rp5ub46ywvfdrbt4rckulx3igy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191103204938/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC5910292&amp;blobtype=pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/d9/65d9f41d754d69ae70331f747778d048b4e1a3f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuron.2018.03.015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5910292" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Internationalising auditing standards: stakeholder views on Australia's strategic directions

Steven Dellaportas, P.W. Senarath Yapa, Sivakaran Sivanantham
<span title="2008-07-25">2008</span> <i title="Emerald"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/f5m2aynaenhjbfh67qsaoi2nwq" style="color: black;">Managerial Auditing Journal</a> </i> &nbsp;
This paper attempts to address this void, in part, and contribute to the literature on the convergence of auditing standards with ISAs.  ...  Findings -Overall, the final set of strategic directions released in April 2005 are consistent with the views expressed in the submissions, which support minimal divergence from International Standards  ...  Like proposed strategic directions ( 2 ) and ( 3 ), transparency and consultation were not specifically addressed in the "Matters for Consideration," so the rationale for their exclusion is unknown.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1108/02686900810890634">doi:10.1108/02686900810890634</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iyjxirbi3re2xdri7wopydcyfq">fatcat:iyjxirbi3re2xdri7wopydcyfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171112133303/https://core.ac.uk/download/pdf/13976900.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/03/86/0386161dc038ad5a8840342f098f949c1f3fad32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1108/02686900810890634"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Flexible Production Systems: Automated Generation of Operations Plans based on ISA-95 and PDDL

Bernhard Wally, Jiri Vyskocil, Petr Novak, Christian Huemer, Radek Sindelar, Petr Kadera, Alexandra Mazak, Manuel Wimmer
<span title="">2019</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g32gcto57vduveq2eb7bes5y7a" style="color: black;">IEEE Robotics and Automation Letters</a> </i> &nbsp;
In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose planning tools and that enable the computation of plans, i.e.,  ...  Segment specification properties are checked for specific tags that need to be implemented in the ISA-95 model in order for the transformation process to behave as expected: if the pddl:pre or the pddl  ...  In the process of converting an ISA-95 model to PDDL, the track-and PU-connections are simplified to a directed graph containing only PU nodes that are connected with each other.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lra.2019.2929991">doi:10.1109/lra.2019.2929991</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hiht4qgw5bgwbpy7u7rskwl5bu">fatcat:hiht4qgw5bgwbpy7u7rskwl5bu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200928071143/https://arxiv.org/ftp/arxiv/papers/1911/1911.05481.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/6d/d3/6dd3c6de1aba50fc1a135390d6c87c2343f863f3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lra.2019.2929991"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

APPROACHES TO THE INTERPRETATION OF THE TERM "HISTORICAL FINANCIAL INFORMATION" AS THE CRITERION FOR THE CLASSIFICATION OF AUDIT, REVIEW, AND OTHER ASSURANCE ENGAGEMENTS

Nataliia Shalimova, Central Ukrainian National Technical University, Ukraine, Iryna Androshchuk, Central Ukrainian National Technical University, Ukraine
<span title="">2018</span> <i title="Publishing House Baltija Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bu5xv7vazfbuheq6sxegbcmigy" style="color: black;">Baltic Journal of Economic Studies</a> </i> &nbsp;
Engagements (ISAEs).  ...  The research developed a theoretical approach to distinguishing types of audit services based on the specification of the scope of the application of International Auditing Standards (ISAs) and Assurance  ...  The problem of application of this approach is that the ISAs are only aimed at disclosing the audit issues, it is the financial statements that are specifically mentioned in ISA: ISAs are written in the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.30525/2256-0742/2018-4-3-333-342">doi:10.30525/2256-0742/2018-4-3-333-342</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kwmtqrzzozbfldtj7x6vmo4a4y">fatcat:kwmtqrzzozbfldtj7x6vmo4a4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428101149/http://www.baltijapublishing.lv/index.php/issue/article/download/464/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/7d/d8/7dd8004a9c987219c25723acce24b920768db50f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.30525/2256-0742/2018-4-3-333-342"> <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>

Towards an Integrated Architecture Model of Smart Manufacturing Enterprises [chapter]

Thijs Franck, Maria-Eugenia Iacob, Marten van Sinderen, Andreas Wombacher
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/noh4d7uktraolega74eilgfv5u" style="color: black;">Lecture Notes in Business Information Processing</a> </i> &nbsp;
ArchiMate 3.0 meta-model is compared to the ISA-95 standard for enterprise systems and control systems integration.  ...  This happens specifically in the case where Equipment refers to an automated production unit. This abstraction loses the direct distinction between a manual and an automated role.  ...  In this comparison, each direct relationship (depth=1) of the ISA-95 concept is compared to each of the concepts directly surrounding the ArchiMate concept.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-78428-1_6">doi:10.1007/978-3-319-78428-1_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/adaanljpnfgjnavbnxyrn2epiu">fatcat:adaanljpnfgjnavbnxyrn2epiu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190304145804/http://pdfs.semanticscholar.org/c814/fecbaee49413e07f1f4db5d871bed66522b6.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/c8/14/c814fecbaee49413e07f1f4db5d871bed66522b6.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-78428-1_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal Models for Intelligent Speed Validation and Adaptation

Maria Spichkova, Milan Simic, Heinrich Schmidt, Jian Cheng, Xuening Dong, Yuxi Gui, Yin Liang, Peng Ling, Zixiong Yin
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cx3f4s3qmfe6bg4qvuy2cxezyu" style="color: black;">Procedia Computer Science</a> </i> &nbsp;
We suggest a number of models for speed check/limitation units, which reflect differences in the speed limits in several countries.  ...  Peter Macpherson (Infringement Management and Enforcement Services Department of Justice and Regulation, Victoria, Australia) for valuable discussions on the subject of this research and on the core ISA  ...  In general, the ISA systems can be divided into two categories: warning ISA systems and speed limitation systems built in the vehicles.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2016.08.208">doi:10.1016/j.procs.2016.08.208</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qgzv73ykofexfajyvnawkqj74u">fatcat:qgzv73ykofexfajyvnawkqj74u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002064149/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/b24/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTg3NzA1MDkxNjMyMDE4eA%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] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/6a/656acf78569f2c9d12cba3273362b91735276204.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2016.08.208"> <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>

Application of Optical Biosensors in Small-Molecule Screening Activities

Stefan Geschwindner, Johan F. Carlsson, Wolfgang Knecht
<span title="2012-03-28">2012</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
A particular focus will be on the specific advantages of the inhibition in solution assay (ISA) format in contrast to traditional direct binding assays (DBA).  ...  The last two decades have seen remarkable progress and improvements in optical biosensor systems such that those are currently seen as an important and value-adding component of modern drug screening activities  ...  Furthermore we would like to thank Fredrik Edfeldt and Tomas Åkerud for the provision of the NMR data to allow for the comparison with the OWG ISA results.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s120404311">doi:10.3390/s120404311</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22666031">pmid:22666031</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3355412/">pmcid:PMC3355412</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tlovkuz4p5f43pjj4g6e3sh4we">fatcat:tlovkuz4p5f43pjj4g6e3sh4we</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923042058/http://www.mdpi.com/1424-8220/12/4/4311/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/84/28/84280e81a7db0606ba51cabcbe26877a031b5574.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s120404311"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3355412" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A novel ADL-based compiler-centric software framework for reconfigurable mixed-ISA processors

Timo Stripf, Ralf Koenig, Juergen Becker
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ge4h54rcl5fvfdkjgqpac4rfxq" style="color: black;">2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation</a> </i> &nbsp;
In this paper, we address this shortcoming by presenting a novel retargetable software toolchain that is suitable for mixed-ISA application development as well as design space exploration (DSE).  ...  different ISAs at run time.  ...  The .target directive allows writing mixed-ISA assembly files containing instructions from different ADL targets in parallel. Typically, an ELF file contains ISA-specific relocation types.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/samos.2011.6045457">doi:10.1109/samos.2011.6045457</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/samos/StripfKB11.html">dblp:conf/samos/StripfKB11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r2cstpz7jzbxzjg2rxcx3ynoge">fatcat:r2cstpz7jzbxzjg2rxcx3ynoge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829212318/http://samos-conference.com/Resources_Samos_Websites/Proceedings_Repository_SAMOS/2011/Files/2011-IC-22.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/49/13/4913c2b0e18cea8bccb05a4bf22c1df867a0ceb3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/samos.2011.6045457"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

International Student–Athlete Adjustment Issues: Advising Recommendations for Effective Transitions

Emily M. Newell
<span title="">2015</span> <i title="National Academic Advising Association (NACADA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lrojtsxo6babbhxfvoi3hhjree" style="color: black;">NACADA Journal</a> </i> &nbsp;
issues specific to ISAs.  ...  Work with ISA to ensure that all professors are aware of student's ESL status. Direct ISA to international student services for additional support.  ...  She is on track to receive her doctorate from Ohio State in May 2016. Ms. Newell may be contacted at newell. 83@osu.edu.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12930/nacada-14-015">doi:10.12930/nacada-14-015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6hm3oy2a55dzxjhvfwjsxy3q5i">fatcat:6hm3oy2a55dzxjhvfwjsxy3q5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160803174308/http://files.eric.ed.gov:80/fulltext/EJ1090143.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/cf/00/cf00fe2cbc59a81ede2e07a4477080ad50803b0c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12930/nacada-14-015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

9 Conclusion: A semantic-syntactic landscape for instruments and related concepts [chapter]

<span title="2021-12-31">2021</span> <i title="De Gruyter"> Instruments and Related Concepts at the Syntax-Semantics Interface </i> &nbsp;
In addition to an account for ISA in terms of a constructional schema, I proposed an ability-operator and a generic operator in the LS to capture phenomena superficially similar to ISA.  ...  For instance, English has a verb that very specifically conveys the helping-relation (facilitate). Dutch, by contrast, does not have a direct equivalent.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/9783110720365-013">doi:10.1515/9783110720365-013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b2yyd43rgjacleqzzgl7ayazd4">fatcat:b2yyd43rgjacleqzzgl7ayazd4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210427143245/https://www.degruyter.com/document/doi/10.1515/9783110720365-013/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/15/33153904fbad0b1b741b8c8eb957fafe6f8552a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/9783110720365-013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> degruyter.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 74,944 results