Results 71 to 80 of about 12,596,900 (345)
, 2009 An assumption behind this paper is that research aimed at improving interaction design practice is not as successful as it could be. We will argue that one reason for this is that the understanding of what constitutes designerly tools is not enough ...
McAtee, Jamie +3 more
core
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates [PDF]
, 2011 Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting systems, where many methods and tools have been ...
ADAM KOPROWSKI +22 more
core +5 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Neuroblastoma (NB) with central nervous system (CNS) metastases is rare at diagnosis, but occurs more often during relapse/progression. Patients with CNS metastases face a dismal prognosis, with no standardized curative treatment available.
Vicente Santa‐Maria Lopez +13 more
wiley +1 more source
Religious education projects with collaborative teaching and IT tools [PDF]
, 2016 Session 155 - Religious Libraries in DialogueTechnology is the tool that can help theological colleges in many areas such as providing education platforms, making connection with the community and reaching existing students and even potential lay people.
Cheung, SCH
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Despite their increased risk for functional impairment resulting from cancer and its treatments, few adolescents and young adults (AYAs) with a hematological malignancy receive the recommended or therapeutic dose of exercise per week during inpatient hospitalizations.
Jennifer A. Kelleher +8 more
wiley +1 more source
2016 update of the PRIDE database and its related tools
Nucleic Acids Res., 2015 The PRoteomics IDEntifications (PRIDE) database is one of the world-leading data repositories of mass spectrometry (MS)-based proteomics data. Since the beginning of 2014, PRIDE Archive (http://www.ebi.ac.uk/pride/archive/) is the new PRIDE archival ...
J. Vizcaíno +12 more
semanticscholar +1 more source
An assertion language for constraint logic programs
, 2000 In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways.
A. Kelly +16 more
core +1 more source
Application of CrAlN coatings on carbide substrates in routing of MDF [PDF]
, 2007 This study deals with the development of Chromium Aluminium Nitride (CrAlN) hard coatings (by varying the nitrogen content in the plasma, the target bias voltage, the working pressure and the deposition time) and their characterization by physical and ...
COLLET, Robert +4 more
core +5 more sources
Extracellular vesicles as tools and targets in therapy for diseases
Signal Transduction and Targeted TherapyExtracellular vesicles (EVs) are nano-sized, membranous structures secreted into the extracellular space. They exhibit diverse sizes, contents, and surface markers and are ubiquitously released from cells under normal and pathological conditions.
Mudasir A Kumar +13 more
semanticscholar +1 more source
New Online Tools for the Data Visualization of Bivalve Molluscs' Production Areas of Veneto Region [PDF]
Journal of Systemics, Cybernetics and InformaticsThe current European Food Hygiene Legislation makes the control and monitoring of all bivalve molluscs (BM) classified production areas mandatory in order to ensure the compliance of the product.
Eleonora Franzago +9 more
doaj