Filters








8 Hits in 8.4 sec

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets [article]

Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus
<span title="2016-04-22">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
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]

Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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

Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
<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> &nbsp;
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

Mathias Reinecke
<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> &nbsp;
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

Sohrab Ferdowsi, Svyatoslav Voloshynovskyy
<span title="">2018</span>
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

Alexander Sebastian Weigl
<span title="">2021</span>
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
Информационная технология учёта рельефа прилегающей местности при решении задач оценки промышленно-природных опасностей и рисков

S.Yu. Yakovlev, Institute for Informatics andMathematical Modelling KSC RAS, A.S. Shemyakin, A.V. Shestakov, Institute for Informatics andMathematical Modelling KSC RAS, Institute for Informatics andMathematical Modelling KSC RAS
<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> &nbsp;
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

Jennifer M. Johnston, Hao Wang, Davide Provasi, Marta Filizola, Emad Tajkhorshid
<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> &nbsp;
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>