Filters








3,735 Hits in 8.3 sec

Automating Abstract Interpretation [chapter]

Thomas Reps, Aditya Thakur
<span title="2015-12-25">2015</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;
Our research has allowed us to establish connections between this problem and several other areas of computer science, including automated reasoning/decision procedures, concept learning, and constraint  ...  This paper describes a twenty-year quest by the first author to address this issue by raising the level of automation in abstract interpretation.  ...  Loginov and D.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-49122-5_1">doi:10.1007/978-3-662-49122-5_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ox4jxxxeprgidcvimvltq4svq4">fatcat:ox4jxxxeprgidcvimvltq4svq4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161118052554/http://research.cs.wisc.edu/wpis/papers/vmcai16-invited.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/8c/7d/8c7d490595e4392d448980d347ad56b3b60e7a29.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-662-49122-5_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Logic Programming Applications: What Are the Abstractions and Implementations? [article]

Yanhong A. Liu
<span title="2018-02-20">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The three key abstractions are join, recursion, and constraint. Their essential implementations are for-loops, fixed points, and backtracking, respectively.  ...  The corresponding kinds of applications are database queries, inductive analysis, and combinatorial search, respectively.  ...  The abstractions are essential for determining what kinds of application problems can be expressed and how they can be expressed, for ease of understanding, reuse, and maintenance.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1802.07284v1">arXiv:1802.07284v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6s2ky2rtufceplv3mnsbutq3d4">fatcat:6s2ky2rtufceplv3mnsbutq3d4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191013020250/https://arxiv.org/pdf/1802.07284v1.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/32/ab328c58b532333f4fff5a9b28c60fa547258b82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1802.07284v1" 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>

A framework for knowledge-based temporal abstraction

Yuval Shahar
<span title="">1997</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
A formal specification of a domain's temporal abstraction knowledge supports acquisition, maintenance, reuse, and sharing of that knowledge.  ...  Domain values for all knowledge types are specified when a temporal abstraction system is developed. The knowledge-based temporal abstraction method has been implemented in the Rt%!JMl?  ...  I thank Mark Musen, Richard Fikes, and Barbara Hayes-Roth for technical advice and support. I had many useful discussions with Samson Tu, Amar Das, and Michael Kahn.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(96)00025-2">doi:10.1016/s0004-3702(96)00025-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jenikn6clne7hfydwyblxwtvj4">fatcat:jenikn6clne7hfydwyblxwtvj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309164144/https://core.ac.uk/download/pdf/82386075.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/34/1d/341da2d796ef4eb84c3443f4d57026d2f6b27028.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(96)00025-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

29th International Conference on Data Engineering [book of abstracts]

<span title="">2013</span> <i title="IEEE"> 2013 IEEE 29th International Conference on Data Engineering Workshops (ICDEW) </i> &nbsp;
Next, we describe a reformulation algorithm for our language that generalizes both global-as-view and local-as-view query answering algorithms.  ...  to contain the answer for the SNN query.  ...  These volunteers welcome participants, give directions, help in the sessions and on the registration desk, and generally make sure the conference is running smoothly.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icdew.2013.6547409">doi:10.1109/icdew.2013.6547409</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wadzpuh3b5htli4mgb4jreoika">fatcat:wadzpuh3b5htli4mgb4jreoika</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830160347/https://www.computer.org/web/csdl/index/-/csdl/proceedings/icdew/2013/5303/00/06547409.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/d1/cfd10cca2e3ab2d8ce61977e8954a2be210ad6bb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icdew.2013.6547409"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Abstract

<span title="">1983</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vabt7teewzcjljwerk3rjivkxi" style="color: black;">Bulletin of the Psychonomic Society</a> </i> &nbsp;
The findings are consistent with the view that more restrictive featural expectations are generated as sentence constraint and cue validity increase. 2:00-2:15(280) Blocking Effect on Reaction Times to  ...  Results support an abstractive view of passage length effects. 1:15-1:30(130) "Cryptic" Crosswords, Mental Repunctuatlon, and Memory. ARTHUR I.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3758/bf03334725">doi:10.3758/bf03334725</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bjymwkq74ve3tfczqkaclgeigy">fatcat:bjymwkq74ve3tfczqkaclgeigy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503030813/https://link.springer.com/content/pdf/10.3758%2FBF03334725.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/ba/d4/bad46c17884bd629dfc7c82375be6e90ef8fd50e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3758/bf03334725"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Poster Paper Abstracts

<span title="">1981</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/d7ksuei3hzealni3l2yvkhks2a" style="color: black;">BSAP Occasional Publication</a> </i> &nbsp;
This is generally determined for the individual by yield and grass/silage quality but may be adjusted to suit individual need in any week, as performance demands (N.B. where a cow has been queried if she  ...  A generalized Enterprise Simulation program has been developed and is described for a particular application relating to a pig herd.  ...  Numerous verifications checks are made on the data before they are stored.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0263967x00003840">doi:10.1017/s0263967x00003840</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b6ppz2mkafdubeaks7jqsrtjxi">fatcat:b6ppz2mkafdubeaks7jqsrtjxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200313022046/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0AC2979ECEBADB39F791DC0C4257137B/S0263967X00003840a.pdf/div-class-title-poster-paper-abstracts-div.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/d4/3d/d43d8a0bd70df4316f5b8e23ce22b3dc6ade42fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0263967x00003840"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications [chapter]

Angshuman Jana, Raju Halder
<span title="">2016</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;
This paper proposes a semantics-based static dependence analysis framework for relational database applications based on the Abstract Interpretation theory.  ...  We prove the soundness of our proposed approach which guarantees that non-overlapping of the defined-part by one statement and the used-part by another statement in abstract domain always indicates a non-dependency  ...  Acknowledgment This work is partially supported by the ERDF -European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation -COMPETE 2020 Programme within  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-49806-5_8">doi:10.1007/978-3-319-49806-5_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2axv2qcajjgovk3ct76m2n45sa">fatcat:2axv2qcajjgovk3ct76m2n45sa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220015057/http://pdfs.semanticscholar.org/1de7/feef0a4c9f07c7a6cf2d40841c7b766b9e78.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/1d/e7/1de7feef0a4c9f07c7a6cf2d40841c7b766b9e78.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-49806-5_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Poster Group Abstracts

Gill Phillips
<span title="2019-05-02">2019</span> <i title="The Association of Faculties of Medicine of Canada"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5sixf4e7ezdvlorrahmhf4yypm" style="color: black;">Canadian Medical Education Journal</a> </i> &nbsp;
For those interested in specialties with limited integration into the traditional pre-clinical curriculum, or students who still have a broad range of interests at the end of their pre-clinical studies  ...  Objectives: To assess whether PREP, a two-week intensive elective for second year medical students, can be effective in reducing performance anxiety and stress related to the transition into a clinical  ...  One thousand queries and responses were analyzed to generate a coding scheme based on this principle.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.36834/cmej.68190">doi:10.36834/cmej.68190</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s25vxruxa5dlzj65apcuhsdt6e">fatcat:s25vxruxa5dlzj65apcuhsdt6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191222145545/https://journalhosting.ucalgary.ca/index.php/cmej/article/download/68190/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/b0/d7/b0d77b42de1c48f20b2907288431af27f2988162.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.36834/cmej.68190"> <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>

Understanding expert systems maintenance [chapter]

John Debenham
<span title="">1995</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;
Our exemplar logical approach for maintenance will be Debenham's i-schemas and o-schemas [22] . ¤ Procedural approaches that control the order in which items are updated.  ...  Our exemplar network approach for maintenance will be Menzies' graph-based abductive system [40, 41] .  ...  A verification system can detect (e.g.) loops, unreachable conclusions and tautologies [47] . Note that these verification tools can be viewed as dependency path traversal analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0049133">doi:10.1007/bfb0049133</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cil2h6z3sbaqhcycf427cw6z3y">fatcat:cil2h6z3sbaqhcycf427cw6z3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061004140144/http://menzies.us/pdf/00cst.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/21/2a/212a8e62faffe53e9f277ca6e434e26b42779377.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0049133"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Databases and Artificial Intelligence [chapter]

Nicole Bidoit, Patrick Bosc, Laurence Cholvy, Olivier Pivert, Marie-Christine Rousset
<span title="">2020</span> <i title="Springer International Publishing"> A Guided Tour of Artificial Intelligence Research </i> &nbsp;
, we 281 ought to have a short discussion about integrity constraint maintenance methods. 282 Integrity constraint maintenance.  ...  For instance, although not developed in this section, the semi-structured datamodel and the web data exchange model XML require the definition and verification of integrity constraints for improving the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-06170-8_3">doi:10.1007/978-3-030-06170-8_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j6kir5iut5glxlpntvdp7mdake">fatcat:j6kir5iut5glxlpntvdp7mdake</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210718140639/https://hal.archives-ouvertes.fr/hal-03183399/file/420055_1_En_3_Chapter_Author.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/53/5f/535f6f50d3f38a824fc98b98c6422953d7b1b2bf.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-06170-8_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Records retention in relational database systems

Ahmed A. Ataullah, Ashraf Aboulnaga, Frank Wm. Tompa
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6g37zvjwwrhv3dizi6ffue642m" style="color: black;">Proceeding of the 17th ACM conference on Information and knowledge mining - CIKM &#39;08</a> </i> &nbsp;
Unfortunately, the scope of existing solutions has been largely limited to proper identification, classification and retention of documents, and not of data more generally.  ...  Functional dependencies, user defined constraints, and side effects caused by triggers make it even harder to guarantee that any given record will actually be protected when it needs to be protected or  ...  Acknowledgements This work was funded by the University of Waterloo, Open Text Corporation, and the Natural Sciences and Engineering Research Council of Canada.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1458082.1458197">doi:10.1145/1458082.1458197</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cikm/AtaullahAT08.html">dblp:conf/cikm/AtaullahAT08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ei2hdf644fepleyvjbhv3rdi4a">fatcat:ei2hdf644fepleyvjbhv3rdi4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171025185424/https://core.ac.uk/download/pdf/21748749.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/5d/c5/5dc522c01b2b4c58c1217be904c0b145314134da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1458082.1458197"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases [chapter]

François Bry, Hendrik Decker, Rainer Manthey
<span title="">1988</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;
Integrity maintenance methods have been definedfor preventing Updates from violating integrity constraints.  ...  A satisfiability checking method is presented that employs integrity maintenance techniques.  ...  A temporal framework for Information Systems specification and verification. Data & Knowledge Engineering 2, 1987. [LLOY 86] Integrity constraint checking in stratified databases.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-19074-0_69">doi:10.1007/3-540-19074-0_69</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/djmt3gkyvzbgjo3i3k2zony2ci">fatcat:djmt3gkyvzbgjo3i3k2zony2ci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812035705/https://epub.ub.uni-muenchen.de/8469/1/8469.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/75/3f756c752cd2064849864579e5bfcec876ed522f.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-19074-0_69"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Abstracts of papers presented at the 1999 Pittsburgh Conference

<span title="">1999</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/talareqi3ffzxfrfyeckbket34" style="color: black;">Journal of automated methods &amp; management in chemistry (Print)</a> </i> &nbsp;
General topics of interest include: the best database layout, importing data files, report generation, queries, LIMS system connectivity, and manual and automated data entry.  ...  Biologists employ these compounds in preparing samples for several reasons, including maintenance of a non-toxic environment for cells, stabilization of solvated samples, and maintenance of enzymatic or  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/s1463924699000218">doi:10.1155/s1463924699000218</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/18924853">pmid:18924853</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC2548251/">pmcid:PMC2548251</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tavrv2qkrbgobmilwosb64wtzu">fatcat:tavrv2qkrbgobmilwosb64wtzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227072305/http://pdfs.semanticscholar.org/8ab8/ebbd1f78802570f0b69bf0d7160c7835108a.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/8a/b8/8ab8ebbd1f78802570f0b69bf0d7160c7835108a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/s1463924699000218"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2548251" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories

Miguel Garcia
<span title="">2008</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
By relying on a formal calculus that is suitable with respect to OCL, precise definitions for the problems of query optimization, integrity checking, and view maintenance  ...  Infrastructural functionality expected of such repositories includes scalability, concurrent access, integrity checking and enforcement, versioning [11] , and view maintenance.  ...  Moreover, not all views need be maintained incrementally (as required for integrity constraints): in some cases results are only periodically needed (e.g., after an integration build, or on a daily or  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2008.7.6.a3">doi:10.5381/jot.2008.7.6.a3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ra44xxb3gzcp3d6foivxoqafru">fatcat:ra44xxb3gzcp3d6foivxoqafru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120120121301/http://www.sts.tu-harburg.de/papers/2008/JOTMonoid.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/fa/5a/fa5a349c2947655ee5947a7ec6d4473e0dea79cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2008.7.6.a3"> <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>

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation

Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
<span title="2013-09-20">2013</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
We implement query analysis and belief tracking via abstract interpretation, which allows us to trade off precision and performance through the use of abstraction.  ...  We also show that, for our benchmarks, restricting constraints to octagons or intervals, rather than full polyhedra, can dramatically improve performance while incurring little to no loss in precision.  ...  The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of the U.S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-130469">doi:10.3233/jcs-130469</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xujrukivkfhypbagdrcpyyltsi">fatcat:xujrukivkfhypbagdrcpyyltsi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130423084556/http://www.cs.umd.edu/~mwh/papers/beliefpol-extended.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/c4/b2/c4b2717d17db19e55bb31219e56ef176eb275d0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-130469"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 3,735 results