Results 71 to 80 of about 629,043 (341)
Arthritis Care &Research, Accepted Article.Objective To evaluate utility of an artificial intelligence (AI) health coach for systemic sclerosis (SSc) self‐management and identify patterns associated with participant engagement. Methods We conducted a mixed‐methods study in which an AI health coach, powered by a large language model (LLM), was used to support self‐management for SSc.
Nirali Shah +4 more
wiley +1 more source
Parameters affecting inductive displacement sensors [PDF]
, 2003 An investigation of the limitations of inductive displacement sensors (IDSs) was conducted with the use of electromagnetic finite element analysis (FEA).
Wilkinson, Michael Richard
core
Inductive queries for a drug designing robot scientist
, 2010 It is increasingly clear that machine learning algorithms need to be integrated in an iterative scientific discovery loop, in which data is queried repeatedly by means of inductive queries and where the computer provides guidance to the experiments that ...
Amanda Schierz +15 more
core +1 more source
CONSIDERATIONS ON CONTACTLESS MEASUREMENTS IN HYDROGEOLOGY USING VERY LOW FREQUENCY ELECTROMAGNETIC TECHNIQUES [PDF]
Fiabilitate şi Durabilitate, 2017 Studies of groundwater consist in data acquisition, their processing and interpretation. In areas of interest hydrogeological is assumed that there is a network of wells drilled.
Tudor BURLAN-ROTAR +2 more
doaj
Chercher à améliorer la compétence scripturale par l’enseignement du complément du nom
Language and Literacy: A Canadian Educational e-journal, 2016 Au Québec, le programme ministériel prévoit un enseignement des savoirs grammaticaux au service des différentes compétences disciplinaires. Nous avons mené une recherche quasi-expérimentale cherchant vérifier et comparer les effets d'enseignements ...
François Vincent, Pascale Lefrançois
doaj +1 more source
Higher inductive types, inductive families, and inductive-inductive types [PDF]
, 2020 Martin-Löf type theory is a formal language which is used both as a foundation for mathematics and the theoretical basis of a range of functional programming languages. Inductive types are an important part of type theory which is necessary to express data types by giving a list of rules stating how to form this data.
openaire +2 more sources
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge, 2003 The paper explains enumerative induction, the confirmation of a law by its positive instances, in ranking theoretic terms. It gives a ranking theoretic explication of a possible law or a nomological hypothesis. And it shows, finally, that such schemes of enumerative induction uniquely correspond to mixtures of such nomological hypotheses.
openaire +3 more sources
Advanced Engineering Materials, EarlyView.This study demonstrates an efficient recycling route for out‐of‐spec AlSi10Mg atomized powders through compaction and arc remelting followed by suction casting. By correlating compaction load, cooling rate, and resulting microstructure, we show that intermediate pressures (50–80 kN) and rapid cooling refine dendrites, reduce porosity, and enhance ...
Mila Christy de Oliveira +4 more
wiley +1 more source
Remote automatic incident detection using inductive loops [PDF]
, 2005 This paper describes the remote automatic incident detection algorithm designed to detect abnormal periods of traffic congestion existing over single inductive loop detectors (typically 2 3 1.5 m).
B. Waterson +5 more
core +1 more source
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +2 more
doaj +1 more source