• Other research productsclose
• Other ORP type close
• Lirias close

An amendment to this paper has been published and can be accessed via a link at the top of the paper. ispartof: NATURE COMMUNICATIONS vol:11 issue:1 ispartof: location:England status: published

april 1999 ispartof: Current issues in statistics pages:53- ispartof: Current issues in statistics status: published

MFHD: Multivariate Functional Halfspace Depth Multivariate functional halfspace depth and median for two-dimensional functional data. status: published

The original version of this Article contained an error in the spelling of a member of the PRACTICAL Consortium, Manuela Gago-Dominguez, which was incorrectly given as Manuela Gago Dominguez. This has now been corrected in both the PDF and HTML versions of the Article. Furthermore, In the original HTML version of this Article, the order of authors within the author list was incorrect. The consortium PRACTICAL consortium was incorrectly listed after Bogdan Pasaniuc and should have been listed after Kathryn L. Penney. This error has been corrected in the HTML version of the Article; the PDF version was correct at the time of publication. ispartof: NATURE COMMUNICATIONS vol:10 issue:1 ispartof: location:England status: published

ispartof: Bouwen met baksteen issue:132 pages:8-9 ispartof: Bouwen met baksteen status: published

Interview met Dirk Rochtus over de relatie tussen Turkije en Iran en wat dit betekent in economisch en politiek opzicht voor beide regionale machten. ispartof: MO* : mondiaal magazine issue:79 pages:8- status: published

ispartof: Concept: An Interdisciplinary Journal of Graduate Studies vol:32 pages:1-11 ispartof: Concept: An Interdisciplinary Journal of Graduate Studies status: published

VeriFast is a prototype tool based on separation logic for modular verification of C and Java programs. We are in the process of adding support for C++. In this report, we describe the features of C++ for which we added support so far, as well as the proof obligations we generate for these features. At this point, VeriFast has basic support for most object-oriented programming features of C++: member functions, member function and operator overloading, implicit and explicit conversions, constructors and initializer lists, destructors, reference types, allocation and deallocation on the stack or on the heap (using new and delete), inheritance (including multiple inheritance but not virtual base classes), and virtual member functions and overriding. To support specification of inheritance hierarchies, we added support for instance predicates, which can be introduced in a base class and overridden in derived classes. The main missing feature at this point is support for C++ templates, which we plan to work on next. ispartof: arXiv status: Published online

A bstract Motivation Modern AI-based tools are increasing the number of protein structures available, creating an opportunity and a challenge for automated high-throughput drug discovery pipelines. The amount of data is overwhelming for the current methods, thus demanding new high-performance approaches for Machine Learning-based rational drug design. As shape and electrostatics are the main components for understanding protein-ligand interaction; they are the primary targets for efficient AI-compatible descriptors and their associated comparison methods. Results The Lira toolbox is a set of components devised for describing, comparing and analysing shape and electrostatics for small ligands, peptides and protein pockets. It can generate databases with descriptors for tens of millions of shapes in a few hours, which can then be queried in seconds. The Lira design, focused on performance and reliability, makes its integration into AI-driven rational drug design pipelines simple. Availability and implementation Lira packages, available for download at https://pinheirolab.com/ , are free to use for research and educational purposes. ispartof: bioRxiv

ispartof: USPTO ispartof: Patent status: Published online