نتایج جستجو برای: unbound aggregate

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

Journal: :Proteins 2005
Julian Mintseris Kevin Wiehe Brian Pierce Robert Anderson Rong Chen Joël Janin Zhiping Weng

We present a new version of the Protein-Protein Docking Benchmark, reconstructed from the bottom up to include more complexes, particularly focusing on more unbound-unbound test cases. SCOP (Structural Classification of Proteins) was used to assess redundancy between the complexes in this version. The new benchmark consists of 72 unbound-unbound cases, with 52 rigid-body cases, 13 medium-diffic...

Journal: :CoRR 2017
Dmitry Mordvinov Grigory Fedyukovich

The goal of unbounded program verification is to discover an inductive invariant that safely over-approximates all possible program behaviors. Functional languages featuring higher order and recursive functions become more popular due to the domain-specific needs of big data analytics, web, and security. We present Rosette/Unbound, the first program verifier for Racket exploiting the automated ...

Journal: :Physics Letters B 2002

Journal: :International Journal of Modern Physics E 2011

Journal: :CivilEng 2022

Growing demand for road infrastructures and accompanying environmental footprint calls the replacement of pavement materials with recycled options. The complexities in real-world usability are dependent upon project-specific characteristics affected by budgetary constraints local governmental agencies, material applicability, climatical conditions. This study conducts a comprehensive lifecycle ...

Journal: :Revue de l'histoire des religions 2017

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

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