Results 61 to 70 of about 909,831 (291)
Perfluoro effect in the photoelectron spectra of quinoline and isoquinoline [PDF]
, 1972 The high-resolution He 584Aophotoelectron spectra of heptafluoroquinoline and heptafluoroisoquinoline are compared with those of the parent compounds. Shifts in π ionisation potentials, due to the fluorine substitution, can be described with an inductive
Ham, D.M.W. van den, Meer, D. van der
core +3 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
Arthritis Care &Research, Accepted Article.Objectives While the definition of a gout flare is well established, the state of gout flare resolution has not yet been defined. This study aimed to explore patients’ experiences and perceptions of gout flare resolution. Methods Semi‐structured interviews were conducted with 24 people with gout, guided by open‐ended questions exploring their ...
Sarah Stewart +5 more
wiley +1 more source
Positive Inductive-Recursive Definitions [PDF]
Logical Methods in Computer Science, 2015 A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive inductive-recursive definitions, is a generalisation of Dybjer and Setzer's ...
Neil Ghani +2 more
doaj +1 more source
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
Pulsar electrodynamics revisited
, 2012 The inductive electric field is unjustifiably neglected in most models for pulsar electrodynamics; it cannot be screened by the magnetospheric plasma, and it is not small in comparison with the corotation electric field.
Melrose, Donald B., Yuen, Rai
core +1 more source
Advanced Engineering Materials, EarlyView.This study investigates innovative thermoreversible hydrogels derived from S53P4 bioactive glass extracts to aid in the healing of infected diabetic foot wounds. These injectable gels, which gel at body temperature, release beneficial ions and remain stable over time.
Marian G. Vargas Guerrero +9 more
wiley +1 more source
Are There Good Mistakes? A Theoretical Analysis of CEGIS
, 2014 Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But the technique
Jha, Susmit, Seshia, Sanjit A.
core +2 more sources
Quotient inductive-inductive definitions [PDF]
, 2022 In this thesis we present a theory of quotient inductive-inductive definitions, which are inductive-inductive definitions extended with constructors for equations. The resulting theory is an improvement over previous treatments of inductive-inductive and indexed inductive definitions in that it unifies and generalises these into a single framework. The
openaire +1 more source