Filters








18,483 Hits in 4.5 sec

Page 7479 of Mathematical Reviews Vol. , Issue 94m [page]

1994 Mathematical Reviews  
The author proves that regular propositional resolution does not polynomially simulate the unrestricted one.  ...  To that end he de- scribes an infinite class of formulas which possess polynomially bounded unrestricted resolution proofs and establishes the super- polynomial lower bound on their regular resolution  ... 

pFind–Alioth: A novel unrestricted database search algorithm to improve the interpretation of high-resolution MS/MS data

Hao Chi, Kun He, Bing Yang, Zhen Chen, Rui-Xiang Sun, Sheng-Bo Fan, Kun Zhang, Chao Liu, Zuo-Fei Yuan, Quan-Hui Wang, Si-Qi Liu, Meng-Qiu Dong (+1 others)
2015 Journal of Proteomics  
The average processing speed of Alioth is 5-10 times faster than some other unrestricted search engines and is comparable to or even faster than the restricted search algorithms tested.  ...  In this study, we developed a new algorithm called Alioth, to be integrated into the search engine of pFind, for fast and accurate unrestricted database search on high-resolution MS/MS data.  ...  The result from our algorithm was compared with Mascot and pFind in three search modes: regular, complex mode I, and complex mode II.  ... 
doi:10.1016/j.jprot.2015.05.009 pmid:25979774 fatcat:7gqsv5vke5ghldq6mru3ydtqci

Retrieving clear-air turbulence information from regular commercial aircraft using Mode-S and ADS-B broadcast

J. M. Kopeć, K. Kwiatkowski, S. de Haan, S. P. Malinowski
2015 Atmospheric Measurement Techniques Discussions  
The advantages and limitation of the presented approaches are discussed.  ...  Navigational information broadcast by commercial aircraft in the form of Mode-S and ADS-B messages can be considered a new and valid source of upper air turbulence measurements.  ...  The Mode S/ADS-B messages are unrestricted navigational data broadcast by most of the commercial aircraft. The unique characteristic of this data is a very high temporal resolution.  ... 
doi:10.5194/amtd-8-11817-2015 fatcat:orvzghhy55efpmsa3qnrykj25i

On Exponential Lower Bounds for Partially Ordered Resolution

Mikoláš Janota
2016 Journal on Satisfiability, Boolean Modeling and Computation  
Indeed, imposing a certain resolution order can lead to an exponential blowup compared to unrestricted resolution. In this paper we study even a weaker restriction.  ...  Is well-known that the proof size in propositional resolution is sensitive to the order of how variables are resolved on.  ...  Regular resolution was separated from unrestricted resolution [6, 7, 1] .  ... 
doi:10.3233/sat190110 fatcat:45nlhacaqjabbcize5yd62e35y

Nonlinear myocardial perfusion imaging with motion corrected reconstruction: validation via quantitative flow mapping

Hui Xue, Michael S Hansen, Sonia Nielles-Vallespin, Andrew E Arai, Peter Kellman
2016 Journal of Cardiovascular Magnetic Resonance  
The unknowns are the motion corrected multi-channel complex images.  ...  This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http:// creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction  ... 
doi:10.1186/1532-429x-18-s1-o8 fatcat:je3zk4s5jvc6hocxnuersuu3la

Analytical gradient of restricted second-order Møller–Plesset correlation energy with the resolution of the identity approximation, applied to the TCNE dimer anion complex

Young Min Rhee, Robert A. DiStasio, Rohini C. Lochan, Martin Head-Gordon
2006 Chemical Physics Letters  
The theory can be feasibly implemented on the basis of an existing unrestricted MP2 (UMP2) algorithm.  ...  The method is applied to characterize the structure of a dimer formed by tetracyanoethylene and its anion.  ...  Acknowledgements This work was supported by subcontracts from Q-Chem Inc. from NIH SBIR Grants (R44 GM64295-02 and R44GM66484-02), with additional support from the Department of Energy through the Computational  ... 
doi:10.1016/j.cplett.2006.05.092 fatcat:tjcbe6eouvh2hefwsyan42sh4m

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen
2000 SIAM journal on computing (Print)  
An exponential separation is also proved between tree-like resolution and several refinements of resolution: negative resolution and regular resolution.  ...  This implies an exponential separation between the tree-like versions and the dag-like versions of resolution and cutting planes.  ...  We would like to thank Ran Raz for reading a previous version of this work and discovering an error, Andreas Goerdt for sending us copies of his papers, Sam Buss for helpful discussions, and, finally,  ... 
doi:10.1137/s0097539799352474 fatcat:xiyrppe6vvc6zakntfetsrjcdu

Distinguishing Artificial and Essential Symmetry Breaking in a Single Determinant: Approach and Application to the C60, C36, and C20 Fullerenes

Joonho Lee, Martin Head-Gordon
2019 Physical Chemistry, Chemical Physics - PCCP  
We present a thorough analysis of symmetry breaking observed in Hartree-Fock (HF) solutions of fullerenes C60, C36, and C20 in order to characterize the nature of electron correlation in them....  ...  andŜ n and complex operatorK as a function of the regularization strength κ.  ...  This is due to the existence of two distinct low-lying solutions: complex, generalized and complex, unrestricted solutions.  ... 
doi:10.1039/c8cp07613h fatcat:bgwkm4ldzveknjhvi255vb7vsq

Cooperation between Pronoun and Reference Resolution for Unrestricted Texts [article]

Andrei Popescu-Belis, Isabelle Robba
2002 arXiv   pre-print
Anaphora resolution is envisaged in this paper as part of the reference resolution process.  ...  With the aim of improving pronoun resolution, the system takes advantage of elementary cues about characters of the text, which are represented through a particular data structure.  ...  This work is related to the CERVICAL research project, involving members of the LIMSI (Orsay) and CRIN (Nancy).  ... 
arXiv:cs/0208037v1 fatcat:nb6mstuz3vhwxmjih4b4a4hlie

Two Single-Reference Approaches to Singlet Biradicaloid Problems: Complex, Restricted Orbitals and Approximate Spin-Projection Combined With Regularized Orbital-Optimized Møller-Plesset Perturbation Theory [article]

Joonho Lee, Martin Head-Gordon
2019 arXiv   pre-print
We compare the scope of these two methods with numerical studies.  ...  The first approach is to combine the Yamaguchi's approximate projection (AP) scheme and κ-OOMP2 with unrestricted (U) orbitals (κ-UOOMP2).  ...  Figure 3 : 3 Compared to our previous work on characterizing other fullerenes Measures of symmetry breaking ( S 2 , ξ, and µ) as a function of the regularization strength κ for C 30 (D 5h ).ξ is the complex  ... 
arXiv:1903.11225v1 fatcat:3oznma3l7bbmbkokk3ng33m7pq

Ungated cine first-pass CMR for concurrent imaging of myocardial perfusion defects and wall motion abnormalities

Behzad Sharif, Rohan Dharmakumar, Reza Arsanjani, Louise E Thomson, Noel Merz, Daniel S Berman, Debiao Li
2013 Journal of Cardiovascular Magnetic Resonance  
The presented method may improve the feasibility of detecting acute myocardial ischemia using CMR because of its reduced scan time (single scan for both cine and FPP) and reduced complexity (no cardiac  ...  All scans were performed 7±2 minute post occlusion and the mean heart rate (HR) was 98 bpm. Image reconstruction was performed using a regularized iterative SENSE scheme (temporal resolution: 61 ms).  ... 
doi:10.1186/1532-429x-15-s1-o1 pmcid:PMC3559542 fatcat:coupunxi65hg7m5o5niu67il6u

Is always high-resolution human model in bioelectromagnetic modeling needed?

Tomasz Dlugosz
2011 Open Engineering  
Author analyzed it in the following points of view: time of calculations and technical specifications  ...  AbstractThe paper presents short profile of analytical and numerical methods used in bioelectromagnetic modeling. Some comparison of different models of human being was made.  ...  Dlugosz whilst there exists a regularity pointing to quick similarity with small frequencies and the increase in absorption along the increase of frequency.  ... 
doi:10.2478/s13531-011-0025-6 fatcat:tiqusbmrcragnfh6zlkyk2ildu

Families of cellular resolutions, their syzygies, and stability [article]

Laura Jakobsson
2020 arXiv   pre-print
We then show that many families of cellular resolutions coming from powers of ideals satisfy these conditions and have finitely generated syzygies, including the maximal ideals and edge ideals of paths  ...  We study families of cellular resolutions by looking at them as a category and applying tools from representation stability.  ...  Then the minimal resolution of I obtained as an iterated mapping cone is a cellular and supported on a regular CW-complex.  ... 
arXiv:2002.04970v2 fatcat:vvbqifmdnvdmfbdcliq6y3yzya

Evaluation of Reconstruction Strategies of 3D Temperature Fields for Detecting Hotspots in Grain Bulk

Ming-da LIU, Hua YAN, Ying-gang ZHOU
2018 DEStech Transactions on Computer Science and Engineering  
To fully compare the abilities of these strategies in detecting hotspots in grain bulk, 2304 single-hotspot temperature fields and a three-hotspot temperature field are reconstructed by using noise-free  ...  Since the size of a grain silo is usually large, the whole space to be reconstructed is divided into three blocks and two reconstruction ways: whole reconstruction and block reconstruction, are considered  ...  Acknowledgment The authors thank the National Natural Science Foundation of China (No. 61372154) for supporting this research.  ... 
doi:10.12783/dtcse/aiie2017/18192 fatcat:6rfsx3r2izgnnaddbzl5d7miyi

An exponential separation between regular and general resolution

Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart
2002 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing - STOC '02  
This paper gives two distinct proofs of an exponential separation between regular resolution and unrestricted resolution. The previous best known separation between these systems was quasi-polynomial.  ...  His research interests include algebraic logic, non-classical logic, history of logic, and the complexity of propositional proofs.  ...  D. in the Philosophy Department under the supervision of Nuel D. Belnap in 1973.  ... 
doi:10.1145/509973.509974 fatcat:7qxo4dtzbbdnplffuim5xwjtcy
« Previous Showing results 1 — 15 out of 18,483 results