نتایج جستجو برای: pre approach space

تعداد نتایج: 1972205  

Journal: :Engineering Applications of Artificial Intelligence 2023

The paper proposes a novel adaptive search space decomposition method and gradient-free optimization-based formulation for the pre- post-buckling analyses of truss structures. Space trusses are often employed in structural engineering to build large steel constructions, such as bridges domes, whose response is characterized by displacements. Therefore, these structures vulnerable progressive co...

Journal: :Electr. Notes Theor. Comput. Sci. 2008
Leonardo Mendonça de Moura Nikolaj Bjørner

Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals into the search space. This paper introduces a combination method that incrementally reconciles models maintained by each theory. We evaluate the practicality and efficiency of this approach.

Journal: :Journal of Physics A: Mathematical and Theoretical 2015

Journal: :Advances in Mathematics 1986

Journal: :Eos, Transactions American Geophysical Union 2011

Journal: :Computer Physics Communications 2022

Truncated Conformal Space Approach (TCSA) is a highly efficient method to compute spectra, operator matrix elements and time evolution in quantum field theories defined as relevant perturbations of 1+1-dimensional conformal theories. However, similarly other exact diagonalisation methods, TCSA ridden with the “curse dimensionality”: dimension Hilbert space increases exponentially (square root t...

Journal: :Journal of the Belgian Society of Radiology 2011

Introduction: When dealing with maxillary sinus pathology, some areas of the sinus remain difficult to examine. In this regard, the pre-lacrimal approach is a minimally invasive technique to reach anterolateral areas of the maxillary sinus while preserving the physiological nasal function.   Materials and Methods: The present study aimed to provide technical hints relate...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید