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.
Filters
Supercritical Space-Width Trade-offs for Resolution
[article]
2016
arXiv
pre-print
Preserved Fulltext
This significantly strengthens the space-width trade-offs in [Ben-Sasson '09]}, and provides one more example of trade-offs in the "supercritical" regime above worst case recently identified by [Razborov ...
We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width proof must have space exceeding by far the linear worst-case upper ...
Acknowledgements We wish to thank Alexander Razborov for patiently explaining the hardness condensation technique in [Raz16] during numerous and detailed discussions. ...
arXiv:1612.07162v1
fatcat:qpldfn4sfrbyppnbxcb7ed7rxe
Supercritical Space-Width Trade-Offs for Resolution
unpublished
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 the original URL.
The file type is application/pdf.
This significantly strengthens the space-width trade-offs in [Ben-Sasson 2009], and provides one more example of trade-offs in the "supercritical" regime above worst case recently identified by [Razborov ...
We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width resolution proof must have space exceeding by far the linear worst-case ...
We wish to thank Alexander Razborov for patiently explaining the hardness condensation technique in [32] during numerous and detailed discussions. ...
fatcat:m6qumz2vr5ablngjfkaygczvui
Pore size distribution and supercritical hydrogen adsorption in activated carbon fibers
2009
Nanotechnology
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 the original URL.
The file type is application/pdf.
Pore size distributions (PSD) and supercritical H 2 isotherms have been measured for two activated carbon fiber (ACF) samples. ...
The low-surface-area ACF has a narrow PSD centered at 0.5 nm, while the high-surface-area ACF has a broad distribution of pore widths between 0.5 and 2 nm. ...
Collaboration for this work was through the Center of Excellence on Carbon-Based Hydrogen Storage Materials. ...
doi:10.1088/0957-4484/20/20/204012
pmid:19420660
fatcat:i6csvvvpb5ccjpsedw5wds4diq
Resist Materials and Processes for Extreme Ultraviolet Lithography
2013
Japanese Journal of Applied 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 2018; you can also visit the original URL.
The file type is application/pdf.
This is a typical trade-off relationship between resolution and sensitivity. With a decrease in halfpitch, LER increased. The relationship between resolution and LER is also a trade-off one. ...
In particular, the reduction in line width roughness/line edge roughness (LWR/LER) is a significantly difficult task because resolution, LWR/LER, and sensitivity have a trade-off relationship. ...
doi:10.7567/jjap.52.010002
fatcat:jmqzorc4jvdojisknyjkcz7xy4
SML resist processing for high-aspect-ratio and high-sensitivity electron beam lithography
2013
Nanoscale Research Letters
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 the original URL.
The file type is application/pdf.
Through demonstration of 25-nm lift-off features, the pattern transfer performance of SML is also addressed. ...
A detailed process characterization of SML electron beam resist for high-aspect-ratio nanopatterning at high sensitivity is presented. ...
McGovern from EM Resist Ltd. for the helpful discussions. ...
doi:10.1186/1556-276x-8-139
pmid:23531370
pmcid:PMC3617037
fatcat:pzzlbpvz6zcjzmvig255sm5dam
SAT and Interactions (Dagstuhl Seminar 16381)
2017
Dagstuhl Reports
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.
A key objective of the seminar has been to initiate or consolidate discussions among the different groups for a fresh attack on one of the most important problems in theoretical computer science and mathematics ...
Trade-offs for Resolution Jan Johannsen: On Linear Resolution -an Update Ilario Bonacina: Strong Size Lower bounds in Regular Resolution via Games 2. ...
Proof complexity Sam Buss: Satisfiability Testing and Proof Complexity (Tutorial) Barnaby Martin: Resolution and the Binary Encoding of Weak Pigeonhole Principles Jakob Nordström: Supercritical Space-Width ...
doi:10.4230/dagrep.6.9.74
dblp:journals/dagstuhl-reports/BeyersdorffCEV16
fatcat:boyfegt3erba5j5hbdheironmu
Pushing the analytical limits: new insights into complex mixtures using mass spectra segments of constant ultrahigh resolving power
2019
Chemical 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 2020; you can also visit the original URL.
The file type is application/pdf.
A new strategy has been developed for characterization of the most challenging complex mixtures to date, using a combination of custom-designed experiments and a new data pre-processing algorithm. ...
Acknowledgements Notes and references ‡ Online calculators for determining theoretical parameters: http:// warwick.ac.uk/barrowgroup/calculators/icr_tools/ ...
The complexity of the composition at each nominal m/z increases with m/z, although there is a trade-off with signal abundance (see Fig. S19 † ). ...
doi:10.1039/c9sc02903f
pmid:31588263
pmcid:PMC6764280
fatcat:qpdhqhv62na5zafrtigqzw2mdq
Resolving the horizontal direction of internal tide generation
2019
Journal of Fluid Mechanics
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.
It is based on linear theory for variable stratification and finite depth, that is, it computes the energy flux into the different vertical modes for two-dimensional, subcritical, small-amplitude topography ...
This motivates the application to the global ocean in order to better account for the geographical distribution of diapycnal mixing induced by low-mode internal gravity waves, which can propagate over ...
He is grateful for useful discussions with B. Hallberg, S. Legg and B. Mater. ...
doi:10.1017/jfm.2019.9
fatcat:qwxx2ibefjbx7jjw2jtynmnafi
Roadmap on superoscillations
2019
Journal of Optics
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.
The mathematical understanding-still being explored-recognises that functions are extremely small where they superoscillate; this has implications for information theory. ...
The authors would like to thank Guanghui Yuan and Peter J S Smith for fruitful collaborations and discussions. ...
Although the feature size of superoscillation optical fields has no theoretical limit, a trade-off has to be made among the field of view, efficiency, sidelobe intensity and spot size. ...
doi:10.1088/2040-8986/ab0191
fatcat:yo6he7hbcvfena5turgs3fkvjy
Data-Driven Analysis and Common Proper Orthogonal Decomposition (CPOD)-Based Spatio-Temporal Emulator for Design Exploration
[article]
2017
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 2020; you can also visit the original URL.
The file type is application/pdf.
The significantly reduced computation time required for evaluating new design points enables efficient survey of the design space. ...
This information improves the surrogate model training process, which employs basis functions as regression functions over the design space for the kriging model. ...
In the development stage for a propulsion engine, achieving an optimal design requires models capable of evaluating designs and identifying trade-offs in a timely manner. ...
arXiv:1709.07841v1
fatcat:ghexm7izxfejln4p64vaadz4gy
Friction and wear in surface-micromachined tribological test devices
1997
Micromachined Devices and Components III
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 the original URL.
The file type is application/pdf.
Initial observations on test devices which have been dried with supercritical COZ and devices coated with octadecyltrichlorosilane (ODTS) suggest that the coatings increase the lifetime of the devices ...
Reference herein to any specific commercial product, process, or service by trade name, trademark. manufacturer, or otherwise docs not necessarily constitute or imply its endorsement, r a mmendation, or ...
ACKNOWLEDGEMENTS We would like to thank Steven Rodgers for his help in designing our devices and Elizabeth Sorroche, Glenn LaVigne, Norman Smith, and Greg Poulter for their help in assembling the test ...
doi:10.1117/12.284533
fatcat:ujyqpwokxzcz3nn4k4i4l5werq
Hydraulic stress parameters of a cased caddis larva (Drusus biguttatus) using spatio-temporally filtered velocity measurements
2020
Hydrobiologia
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.
For this, we took 31 measurement series lasting 30 to 300 s, yielding 2176 single velocity measurements. ...
Meeting such a multitude of evolutionary constrains often provokes ecological trade-offs. ...
Such examples tell us that in many cases morphological structures must not be interpreted as flow adaptations, but as ecological trade-offs triggered by a multitude of other evolutional needs. ...
doi:10.1007/s10750-020-04349-0
pmid:32801389
pmcid:PMC7115936
fatcat:v3ccziswxjbupabe2sblx5rzfe
On the Power and Limitations of Branch and Cut
[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.
Other Versions
As a consequence of the known lower bounds for Cutting Planes, this establishes the first exponential lower bounds on SP*. ...
As a step towards this conjecture, we develop a new geometric technique for proving lower bounds on the depth of Cutting Planes proofs. ...
Recently, Berkholz and Nordström [12] gave a supercritical trade-off between width and space for Resolution. Depth in Cutting Planes and Stabbing Planes. ...
arXiv:2102.05019v2
fatcat:2kls6apafjbzxlsw2pfpkyissm
Review of research into shock control bumps
2014
Shock Waves
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 the original URL.
The file type is application/pdf.
It is shown that the aerodynamic performance enhancement potential of SCBs, namely their capacity for drag reduction and delaying the onset of buffet for transonic wings, has been widely demonstrated in ...
Finally, two concepts for future SCB research are suggested: the adaptive SCB and SCBs in engine intakes. Communicated by A. Hadjadj. ...
Fig. 25 25 Trade-off between aerodynamic performance (L/D) and buffet alleviation ( M1) for 3-D SCBs, from [10] . ...
doi:10.1007/s00193-014-0533-4
fatcat:6zpnunxrlrhnhcfxpwf2rjongq
Proof Complexity (Dagstuhl Seminar 18051)
2018
Dagstuhl Reports
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.
NP problem, and in the ensuing decades many powerful techniques have been discovered for analyzing different proof systems. ...
While many longstanding open problems from the 1980s and 1990s still remain unsolved, recent progress gives hope that the area may be ripe for decisive breakthroughs. ...
Preliminary version
Problem The relationship between linear and full resolution with respect to p-simulation is a longstanding open problem. ...
doi:10.4230/dagrep.8.1.124
dblp:journals/dagstuhl-reports/AtseriasNPS18
fatcat:5ksfbo2ehfhspcbuw4ppcuyaqu
« Previous
Showing results 1 — 15 out of 796 results