796 Hits in 2.8 sec

Supercritical Space-Width Trade-offs for Resolution [article]

Christoph Berkholz, Jakob Nordström
2016 arXiv   pre-print
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

Christoph Berkholz, Jakob Nordström
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.  ... 

Pore size distribution and supercritical hydrogen adsorption in activated carbon fibers

J J Purewal, H Kabbour, J J Vajo, C C Ahn, B Fultz
2009 Nanotechnology  
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

Toshiro Itani, Takahiro Kozawa
2013 Japanese Journal of Applied Physics  
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

Mohammad Ali Mohammad, Steven K Dew, Maria Stepanova
2013 Nanoscale Research Letters  
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)

Olaf Beyersdorff, Nadia Creignou, Uwe Egly, Heribert Vollmer, Marc Herbstritt
2017 Dagstuhl Reports  
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

Diana Catalina Palacio Lozano, Remy Gavard, Juan P. Arenas-Diaz, Mary J. Thomas, David D. Stranz, Enrique Mejía-Ospino, Alexander Guzman, Simon E. F. Spencer, David Rossell, Mark P. Barrow
2019 Chemical Science  
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://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

Friederike Pollmann, Jonas Nycander, Carsten Eden, Dirk Olbers
2019 Journal of Fluid Mechanics  
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

Michael Berry, Nikolay Zheludev, Yakir Aharonov, Fabrizio Colombo, Irene Sabadini, Daniele C Struppa, Jeff Tollaksen, Edward T F Rogers, Fei Qin, Minghui Hong, Xiangang Luo, Roei Remez (+15 others)
2019 Journal of Optics  
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]

Shiang-Ting Yeh, Xingjian Wang, Chih-Li Sung, Simon Mak, Yu-Hung Chang, Liwei Zhang, C. F. Jeff Wu, Vigor Yang
2017 arXiv   pre-print
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

Donna C. Senft, Michael T. Dugger, Kevin H. Chau, Patrick J. French
1997 Micromachined Devices and Components III  
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

Johann Waringer, Simon Vitecek, Jan Martini, Carina Zittra, Stephan Handschuh, Ariane Vieira, Hendrik C. Kuhlmann
2020 Hydrobiologia  
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]

Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson
2021 arXiv   pre-print
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

P. J. K. Bruce, S. P. Colliss
2014 Shock Waves  
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)

Albert Atserias, Jakob Nordström, Pavel Pudlák, Rahul Santhanam, Michael Wagner
2018 Dagstuhl Reports  
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