Results 211 to 220 of about 506,488 (248)
Some of the next articles are maybe not open access.
2022
In recent times, biochar production, its modification, and utilization have gained much attention. The uniqueness of biochar properties allows its ease in modification to meet up with the application requirements. Low production cost, abundance of raw material, and its applications have contributed to enhancing the research work of biochar.
Kacper Świechowski +3 more
openaire +3 more sources
In recent times, biochar production, its modification, and utilization have gained much attention. The uniqueness of biochar properties allows its ease in modification to meet up with the application requirements. Low production cost, abundance of raw material, and its applications have contributed to enhancing the research work of biochar.
Kacper Świechowski +3 more
openaire +3 more sources
Analysing the program analyser
Proceedings of the 38th International Conference on Software Engineering Companion, 2016The reliability of program analysis tools is clearly important if such tools are to play a serious role in improving the quality and integrity of software systems, and the confidence which users place in such systems. Yet our experience is that, currently, little attention is paid to analysing the correctness of program analysers themselves, beyond ...
Cristian Cadar, Alastair F. Donaldson
openaire +1 more source
Analysing clinical decision analyses
Statistics in Medicine, 1990AbstractWe present a critical review of aspects of clinical decision analysis which uses an application to screening for familial intracranial aneurysms. The analysis is reported together with methods for assessing decision trees. These methods appear to be powerful checks on the usually rather intuitive way in which decision trees are built.
Habbema, J. D. +4 more
openaire +3 more sources
Psychometrika, 1985
Principal components analysis can be redefined in terms of the regression of observed variables upon component variables. Two criteria for the adequacy of a component representation in this context are developed and are shown to lead to different component solutions.
Meredith, William, Millsap, Roger E.
openaire +1 more source
Principal components analysis can be redefined in terms of the regression of observed variables upon component variables. Two criteria for the adequacy of a component representation in this context are developed and are shown to lead to different component solutions.
Meredith, William, Millsap, Roger E.
openaire +1 more source
2019
Citações de resumos de 6 artigos de periódicos médicos internacionais, além de 1 artigo publicado em periódico médico nacional e 2 estudos de caso.
openaire +2 more sources
Citações de resumos de 6 artigos de periódicos médicos internacionais, além de 1 artigo publicado em periódico médico nacional e 2 estudos de caso.
openaire +2 more sources
Archive for Mathematical Logic, 1991
The Herbrand theorem shows that if an existential formula is provable, then so is a disjunction of substitution instances. The author first sharpens this condition to, for Herbrand theories, just one instance, and thus extracts a term t such that \(\phi\) (t) from a proof of \(\exists x\phi (x)\).
openaire +1 more source
The Herbrand theorem shows that if an existential formula is provable, then so is a disjunction of substitution instances. The author first sharpens this condition to, for Herbrand theories, just one instance, and thus extracts a term t such that \(\phi\) (t) from a proof of \(\exists x\phi (x)\).
openaire +1 more source
Talanta, 2006
The use of liposomes as analytical and bioanalytical reagents has been shown to be successful of in a variety of different applications that will be reviewed here. Due to their high surface area, large internal volume, and ability to conjugate bilayer lipids with a variety of biorecognition elements liposomes have been used in homogenous and ...
Katie A, Edwards, Antje J, Baeumner
openaire +2 more sources
The use of liposomes as analytical and bioanalytical reagents has been shown to be successful of in a variety of different applications that will be reviewed here. Due to their high surface area, large internal volume, and ability to conjugate bilayer lipids with a variety of biorecognition elements liposomes have been used in homogenous and ...
Katie A, Edwards, Antje J, Baeumner
openaire +2 more sources
2019
Many earth systems phenomena take place over a region continuously by time; hence, the variation is of the spatio-temporal type. The spatial evolvement of the events can be sampled generally at a set of irregular sites or particularly at regular mesh grid nodes as already explained in the previous chapter.
openaire +2 more sources
Many earth systems phenomena take place over a region continuously by time; hence, the variation is of the spatio-temporal type. The spatial evolvement of the events can be sampled generally at a set of irregular sites or particularly at regular mesh grid nodes as already explained in the previous chapter.
openaire +2 more sources