Results 61 to 70 of about 519,644 (350)
Background A main goal in understanding cell mechanisms is to explain the relationship among genes and related molecular processes through the combined use of technological platforms and bioinformatics analysis.
Cannataro Mario, Guzzi Pietro H
doaj +1 more source
This review provides an overview of bio‐based polymer sources, their unique functional properties and their environmental impact, and addresses their role as sustainable alternatives. It discusses end‐of‐life options, including composting and anaerobic digestion for renewable energy.
Sabina Kolbl Repinc +8 more
wiley +1 more source
Background Recent progress in sequencing and 3 D structure determination techniques stimulated development of approaches aimed at more precise annotation of proteins, that is, prediction of exact specificity to a ligand or, more broadly, to a binding ...
Rakhmaninova Aleksandra B +6 more
doaj +1 more source
Decibell: A novel approach to the ORM software in Java [PDF]
DeciBell is an open source and free tool developed to tackle in a uniform and structured way the problem of Java and SQL cooperation (available at http://github.com/hampos/DeciBell).
Chomenides, Haralambos +2 more
core
ABSTRACT Aims This study aimed to explore the relationship between stress‐induced hyperglycemia (SIH) and in‐hospital medical complications in patients with acute stroke. Methods We enrolled 865,765 patients with acute stroke from the Chinese Stroke Center Alliance cohort.
Xintong Song +6 more
wiley +1 more source
The RCSB Protein Data Bank: views of structural biology for basic and applied research and education. [PDF]
The RCSB Protein Data Bank (RCSB PDB, http://www.rcsb.org) provides access to 3D structures of biological macromolecules and is one of the leading resources in biology and biomedicine worldwide.
Berman, Helen M +14 more
core +4 more sources
A Verifier for Region-Annotated Java Bytecodes
AbstractThis paper presents a verifier for the memory-safe execution of extended Java bytecodes that support region-based memory management and explicit deallocation primitives. The verifier reads in region-annotated bytecodes that augment the standard Java bytecodes with instructions for creating and removing memory regions, allocating objects in ...
Cherem, Sigmund, Rugina, Radu
openaire +1 more source
Objective A leading cause of death among patients with scleroderma (SSc), interstitial lung disease (ILD) remains challenging to prognosticate. The discovery of biomarkers that accurately determine which patients would benefit from close monitoring and aggressive therapy would be an essential clinical tool.
Cristina M. Padilla +13 more
wiley +1 more source
PROMPT: a protein mapping and comparison tool
Background Comparison of large protein datasets has become a standard task in bioinformatics. Typically researchers wish to know whether one group of proteins is significantly enriched in certain annotation attributes or sequence properties compared to ...
Frishman Dmitrij, Schmidt Thorsten
doaj +1 more source
{JML}-based Verification of Liveness Properties on a Class in isolation [PDF]
International audienceThis paper proposes a way to verify temporal properties of a Java class in an extension of JML (Java Modeling Language) called JTPL (Java Temporal Pattern Language). We particularly address the verification of liveness properties by
Groslambert, Julien +2 more
core +2 more sources

