A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1604.06641v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
[article]
<span title="2016-04-22">2016</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
Importantly, CT has been recently improved further with the introduction of residues, resetting operations and a data-structure called reversible sparse bit-set, used to maintain tables of supports (following ...
In this paper, we describe Compact-Table (CT), a bitwise algorithm to enforce Generalized Arc Consistency (GAC) on table con- straints. ...
We believe that CT can be easily implemented using the reversible sparse bit-set data structure. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1604.06641v1">arXiv:1604.06641v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/udnvzwfg2jctxownu3pyyjyuuu">fatcat:udnvzwfg2jctxownu3pyyjyuuu</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824210851/https://arxiv.org/pdf/1604.06641v1.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/88/36/88368d5fe6325a60cd6e10e39e1745a85039f547.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1604.06641v1" 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>
Extending Compact-Table to Basic Smart Tables
[chapter]
<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>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://www.info.ucl.ac.be/~pschaus/assets/publi/cp2017-basicsmart.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Recently, Compact- Table ( CT) has been proposed and shown to be as an efficient filtering algorithm for table constraints, notably because of bitwise operations. ...
Table constraints are instrumental in modelling combinatorial problems with Constraint Programming. ...
We have also proposed a heuristic algorithm to generate basic smart tables. Our experimental results show both the usefulness of this form of compression and the good behavior of CT bs compared to CT. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-66158-2_19">doi:10.1007/978-3-319-66158-2_19</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rxjjw7snvnbldotu3zq6jcnfxe">fatcat:rxjjw7snvnbldotu3zq6jcnfxe</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200307193357/https://www.info.ucl.ac.be/~pschaus/assets/publi/cp2017-basicsmart.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/bd/09/bd09a8b88d721f9b8ff9ef32c1fdd094cf3c1607.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-66158-2_19">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets
<span title="">2018</span>
<i title="International Joint Conferences on Artificial Intelligence Organization">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vfwwmrihanevtjbbkti2kc3nke" style="color: black;">Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://www.ijcai.org/proceedings/2018/0192.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
central layer of the diagrams is non-deterministic.We show that it is easy and efficient to transform any table (set of tuples) into an sMDD.We also introduce a new filtering algorithm, called Compact-MDD ...
Multi-Valued Decision Diagrams (MDDs) are instrumental in modeling combinatorial problems with Constraint Programming.In this paper, we propose a related data structure called sMDD (semi-MDD) where the ...
Each reversible sparse bit-set has another field: a bit-set called mask that is used to perform and record intermediate computations. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.24963/ijcai.2018/192">doi:10.24963/ijcai.2018/192</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ijcai/VerhaegheLS18.html">dblp:conf/ijcai/VerhaegheLS18</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2unu4rjvyna4hom3a5ie5yeita">fatcat:2unu4rjvyna4hom3a5ie5yeita</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429123919/https://www.ijcai.org/proceedings/2018/0192.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/8d/59/8d5992a9b45d4d8e8c2ece78998463b2627d7631.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.24963/ijcai.2018/192">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Power pulsing of the CALICE tile hadron calorimeter
<span title="">2016</span>
<i title="IEEE">
2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD)
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="http://bib-pubdb1.desy.de/record/391258/files/AbstractBook.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The principles will be described along with several examples of spectral X-ray radiography.
R13-3: 3D Non-Destructive Fluorescent X-Ray Computed Tomography (FXCT) with a CdTe Array ...
The X-ray imaging based on photon counting with these sensors faces several complications distorting their spectral response and degrading their spatial resolution. ...
DLAs have great potential in many fields, from providing compact table top size linear accelerators, x-ray light sources and medical devices to application in the next high energy collider for particle ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nssmic.2016.8069748">doi:10.1109/nssmic.2016.8069748</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zjgd7dmfdbhntb4kfwdtrlejhi">fatcat:zjgd7dmfdbhntb4kfwdtrlejhi</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720082801/http://bib-pubdb1.desy.de/record/391258/files/AbstractBook.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.1109/nssmic.2016.8069748">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
Learning to compress and search visual data in large-scale systems
<span title="">2018</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="https://archive-ouverte.unige.ch/files/downloads/0/0/1/1/4/9/9/0/unige_114990_attachment01.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
at ≈ 256-bit codes on the GIST-1M experiment.distance computation with PQ/OPQ and no look-up-table read as in PQ/OPQ, which is their main computation bottleneck. ...
The set splits are the same as SIFT-1M. Table 5 .1 reports the size of the databases used. ...
, but only reduce bit-length of the file. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13097/archive-ouverte/unige:114990">doi:10.13097/archive-ouverte/unige:114990</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zww5hmmjm5hwrbrttf4irpfmd4">fatcat:zww5hmmjm5hwrbrttf4irpfmd4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220118225247/https://archive-ouverte.unige.ch/files/downloads/0/0/1/1/4/9/9/0/unige_114990_attachment01.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/3d/93/3d93b1fb0b57b4420a47d93a0dd274fe7d303820.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13097/archive-ouverte/unige:114990">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Formal Specification and Verification for Automated Production Systems
<span title="">2021</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="https://publikationen.bibliothek.kit.edu/1000140942/135507309">the original URL</a>. The file type is <code>application/pdf</code>.
In this doctoral thesis we present the concept of (1) generalized test tables (GTTs), a new specification language for functional properties, and their extension (2) relational test tables (RTTs) for relational ...
The input constraints of both rows are satisfied with
any value for In and Out. Thus, both rows survive the first and second filter pass. ...
RUNTIME VERIFICATION WITH GENERALIZED TEST TABLES
of a set of gtts. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000140942">doi:10.5445/ir/1000140942</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2kpqqt2monhvpbmmhtanxodlpy">fatcat:2kpqqt2monhvpbmmhtanxodlpy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211211131430/https://publikationen.bibliothek.kit.edu/1000140942/135507309" 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/a3/9da32411e54ebb5a144cc51c7d0f612aead3d0eb.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000140942">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Information technology for accounting nearby area relief when solving tasks of assessing industrial and natural hazards and risks
Информационная технология учёта рельефа прилегающей местности при решении задач оценки промышленно-природных опасностей и рисков
<span title="2020-12-16">2020</span>
<i title="Kola Science Center">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e6tkfb3drzctrj4l2du54rx6my" style="color: black;">№4 (2018)</a>
</i>
Информационная технология учёта рельефа прилегающей местности при решении задач оценки промышленно-природных опасностей и рисков
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="https://rio.ksc.ru/data/documents/trudy-8-2020-all.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Compact-Table: Efficient Filtering Table Constraints with Reversible Sparse Bit-Sets / J. Demeulenaere, R. Hartert, C. Lecoutre, G. Perez, L. Perron, J. Régin, P. Schaus // Proc. ...
Keywords: сonstraint programming, constraint satisfaction problem, global constraints, constraint filtering algorithms. ...
An approach to solving these problems with the help of numerical assessments of the degree of situation awareness of persons making decisions on managing components of a netcentric system is proposed. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.37614/2307-5252.2020.8.11.032">doi:10.37614/2307-5252.2020.8.11.032</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4l3vwh6tcvgbjb3lolqzbhmaxm">fatcat:4l3vwh6tcvgbjb3lolqzbhmaxm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210205140905/https://rio.ksc.ru/data/documents/trudy-8-2020-all.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/a1/d4/a1d41eecb10e2c9ff1b6fe1fc00830a66ad1e4f0.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.37614/2307-5252.2020.8.11.032">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Assessing the Relative Stability of Dimer Interfaces in G Protein-Coupled Receptors
<span title="2012-08-16">2012</span>
<i title="Public Library of Science (PLoS)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ch57atmlprauhhbqdf7x4ytejm" style="color: black;">PLoS Computational Biology</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://neuronresearch.net/neuron/pdf/8SignalGen-environ_vis_aud.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The Electrolytic Theory of the Neuron provides a much simpler, more deterministic, and more compact table. ...
Unfortunately, the title of the paper is a bit ambiguous. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pcbi.1002649">doi:10.1371/journal.pcbi.1002649</a>
<a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22916005">pmid:22916005</a>
<a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3420924/">pmcid:PMC3420924</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pkeo35mbtjetrjgkmxux73k22m">fatcat:pkeo35mbtjetrjgkmxux73k22m</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170315155618/http://neuronresearch.net/neuron/pdf/8SignalGen-environ_vis_aud.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/dc/81/dc814d473a858cca1f246e1a15faf680e9a82fdd.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pcbi.1002649">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
plos.org
</button>
</a>
<a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3420924" title="pubmed link">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
pubmed.gov
</button>
</a>