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 the original URL.
The file type is application/pdf.
Filters
What can be certified compactly?
[article]
2022
arXiv
pre-print
Preserved Fulltext
These problems are typically those that can be expressed in some logic, and the graph structures are whose with bounded width or depth parameters. ...
In the analogue setting of polynomial-time centralized algorithms, a very fruitful approach has been to prove that restricted types of problems can be solved in polynomial time in graphs with restricted ...
One can locally encode and certify a spanning tree with (log ) bits. The number of vertices in the graph can also be certified with (log ) bits. ...
arXiv:2202.06065v1
fatcat:6kg5qprkl5ai3dnpppehl6fdqe
What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs
2022
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing
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 the original URL.
The file type is application/pdf.
On trees, we prove that MSO properties can be certified with labels of constant size, whereas the typical non-MSO property of isomorphism requires Ω(𝑛) size certificates (where Ω hides polylogarithmic ...
These problems are typically those that can be expressed in some logic, and the graph structures are those with bounded width or depth parameters. ...
FO sentences with quantifier depth at most 2 can be certified with 𝑂 (log 𝑛) bits. ...
doi:10.1145/3519270.3538416
fatcat:4z2ials4ofhpblutphqq3o7mdm
Compactly Restrictable Metric Policy Optimization Problems
[article]
2022
arXiv
pre-print
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 the original URL.
The file type is application/pdf.
We further show that our theoretical results on CR-MPOPs can be used to characterize feedback linearizable control affine systems. ...
To do so, we define a special class of MPOPs called Compactly Restrictable MPOPs (CR-MPOPs), which are flexible enough to capture the complex behavior of robotic systems but specific enough to admit solutions ...
We leverage recent results [7] , [8] to certify the existence of a compact subset of the state space that can be rendered forward-invariant through control. ...
arXiv:2207.05850v1
fatcat:zn5jjpq4jzbpjgrnxifnvklodq
Page 339 of The Chicago Medical Journal and Examiner Vol. 40, Issue 4
[page]
1880
The Chicago Medical Journal and Examiner
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The metal has also been occasionally found in biliary calculi, as I can certify from my own observa- tions.” ...
Under a lens magnifying 70 diameters I was enabled to see what I have every reason to ...
Page 32 of Current Vol. , Issue 9
[page]
1978
Current
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Indeed, Blaser insisted that the engine be named after the Naval Academy. He expects no bonanza for what could be one of the most important inventions of the 20th century. ...
All these features would appear to be something out of science- fiction were it not for the fact that they are certified in a govern- ment report. At the invitation of William Holmberg, of the U.S. ...
Page 74 of Community College Journal Vol. 6, Issue 2
[page]
1935
Community College Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The answers which were received can best be exhibited compactly in tabular form if certain supplemen- tary explanations are added. This is done in Table I. ...
Must instructors in the public jun- ior colleges of your state be certifi- cated?
2. If so, are certification requirements identical with those for high-school teachers?
3. ...
Page 186 of New Outlook Vol. 57, Issue 3
[page]
1897
New Outlook
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
To clear the air for faith they do not argue, they affirm what Christian experience has certified in its fol- lowing of Christ. ...
The Church can teach this only as it does what Jesus did. To know God, men assailed by evil without and evil within must be made,
1 The Growing Revelation. By Somer © Bradford. ...
Page 268 of Potter's American Monthly Vol. 1, Issue 6
[page]
1872
Potter's American Monthly
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Can any correspondent of the His- TORICAL REcoRD, give any information concerning him. 5.
Rooke.—What is known of Maj. Harry Rooke who was one of the aides-de-camp to Gen. ...
It is said to be worth thirty Shillings per. Annum and no more.
The N. Y. Weekly Journal, March 3, 1734. W. K. ...
Page 282 of New England Farmer, and Horticultural Register Vol. 13, Issue 36
[page]
1835
New England Farmer, and Horticultural Register
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This isto certify that I Philip F. ...
No expense above what is above stated was in- curred upon the cultivation of this crop. ...
Page 484 of The Classical Journal Vol. 43, Issue 8
[page]
1948
The Classical Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
We can at least certify that the demand ex- ists; as for the enterprise of the publishers, we need only cite the experience of Latin scholar- ship with Harper's Latin Dictionary (“Lewis and Short”’), obsolescent ...
Finally, it should be written compactly, within the limits of 360 pages, in order that a college class may complete its study in the thirty twelve-page reading assignments; and it should be illustrated ...
On the Separability of Unitarily Invariant Random Quantum States: The Unbalanced Regime
2018
Advances in Mathematical Physics
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 the original URL.
The file type is application/pdf.
Other Versions
In the large matrix size limit, the distribution of these random quantum states is characterized by their limiting spectrum, a compactly supported probability distribution. ...
With the help of free cumulants, we can introduce the free additive convolution of compactly supported probability measures, a notion which will play a key role in what follows. ...
Assume ≥ 2 and let be a compactly supported probability measure such that Γ = . Then, is semicircular. Proof. ...
doi:10.1155/2018/7105074
fatcat:a35z6qxtdfbqfcc34m2nximr24
Page 343 of RIBA [Royal Institute of British Architects] Journal Vol. 4, Issue 13
[page]
1897
RIBA [Royal Institute of British Architects] Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
I am fully aware that only those who study what is possible with the plenum system of ventilation properly applied can realise the practicability of such an arrange- ment; yet by its employment I feel ...
For the accommodation of the staff there would be no objection to buildings of several storeys, but with all the patients compactly arranged on one floor level their wants could be easily supplied, and ...
Certifying Optimality of State Estimation Programs
[chapter]
2003
Lecture Notes in Computer Science
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 2003; you can also visit the original URL.
The file type is application/pdf.
Kalman filter specifications and certificates can be either produced manually by expert users or can be generated automatically: we also present our first steps in merging our certifying technology with ...
AutoFilter, a NASA Ames state estimation program synthesis system, the idea being that AutoFilter synthesizes proof certificates together with the code. ...
Random matrices are matrices whose elements can be random variables, such as the state to be estimated, the measurements and/or the noise, and (random) matrix expressions can be formed using matrix operators ...
doi:10.1007/978-3-540-45069-6_30
fatcat:trclhqy3jnezlbv5c6zn6psvpm
Certifying Robustness to Programmable Data Bias in Decision Trees
[article]
2021
arXiv
pre-print
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 the original URL.
The file type is application/pdf.
Datasets can be biased due to societal inequities, human biases, under-representation of minorities, etc. ...
To certify robustness, we use a novel symbolic technique to evaluate a decision-tree learner on a large, or infinite, number of datasets, certifying that each and every dataset produces the same prediction ...
If (4), then -since neither g 1 nor g 2 conditions on the label nor specifies what the new label can be -we can still flip the label twice and end up with the same configuration. ...
arXiv:2110.04363v1
fatcat:2dbsi2ef75g6dlbzsx743h3qtq
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
2016
Electronic Proceedings in Theoretical Computer Science
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 the original URL.
The file type is application/pdf.
Other Versions
Currently supporting the SAT solver zChaff, and the SMT solver veriT for the combination of the theories of congruence closure and linear integer arithmetic, SMTCoq is meant to be extendable with a reasonable ...
encode most SAT and SMT reasonings for supported theories; the encoding can be done during a preprocessing phase, which does not need to be certified. ...
Using a preprocessor is also beneficial for efficiency: proof certificates may be encoded more compactly before being sent to the SMTCoq checker, which may improve performance. ...
doi:10.4204/eptcs.210.5
fatcat:aelecdg6ujepxlrkwks26s6gki
« Previous
Showing results 1 — 15 out of 1,269 results