Cerca risorse accademiche

"The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, usi...

We present point slicing, a new slicing technique for imperative programs that gives an answer to the question Which sentences can be executed if sentence p is executed?, very common in program testing, debugging, and un...

Requiring only minimal assumptions for validity, nonparametric permutation testing provides a flexible and intuitive methodology for the statistical analysis of data from functional neuroimaging experiments, at some comp...

Praise for the First Edition: 'I recommend this book, without hesitation, as either a reference or course text...Wilks' excellent book provides a thorough base in applied statistical methods for atmospheric sciences' - B...

Robotic soccer is a way of putting different developments in intelligent agents into practice, including not only problems such as multi-agent planning and coordination, but also physical problems related to vision and c...

Current interactive multimedia learning software can not be accessed by learners with disabilities. This is the case for students with vision disabilities. Modeling techniques are necessary to map real world experiences ...

Software based systems incrementally provide critical services to users. Mobile telephone systems, for example, are used in circumstances in which the malfunctioning may have disastrous consequences. During the last yea...

Chitosan is increasingly used as an alternative to synthetic polymers due to its water solubility, biodegradability, and biological activity. In this work, chitosan samples from three suppliers were evaluated and charact...

Within this paper we are proposing and testing a new strategy for detection and measurement of similarity between sequences of proteins. Our approach has its roots in computational linguistics and the related techniques ...

The Open Shop Scheduling Problem (OSSP) is one of the most interesting, complexes and not frequently approached scheduling problems. Due to its intractability with other techniques, in this work we present an evolutionar...

Noted for its crystal clear explanations, this book is considered the most comprehensive introductory text to structural equation modeling (SEM). Noted for its thorough review of basic concepts and a wide variety of mode...

Machine learning and data mining techniques have been used in numerous real-world applications. An assumption of traditional machine learning methodologies is the training data and testing data are taken from the same do...

Diagnostic Criteria of Nontuberculous Mycobacterial Lung Disease Key Laboratory Features of NTM Health Careand Hygiene-associated Disease Prevention Prophylaxis and Treatment of NTM Disease Introduction Methods Taxonomy ...

This monograph contains many ideas on the analysis of survival data to present a comprehensive account of the field. The value of survival analysis is not confined to medical statistics, where the benefit of the analysis...

Abstract In a 1935 paper and in his book Theory of Probability, Jeffreys developed a methodology for quantifying the evidence in favor of a scientific theory. The centerpiece was a number, now called the Bayes factor, wh...

Introduction, D.M. Rowe General Principles and Theoretical Considerations Thermoelectric Phenomena, D.D. Pollock Coversion Efficiency and Figure-of-Merit, H.J. Goldsmid Thermoelectric Transport Theory, C.M. Bhandari Opti...

An essential textbook for any student or researcher in biology needing to design experiments, sample programs or analyse the resulting data. The text begins with a revision of estimation and hypothesis testing methods, c...

With its theoretical basis firmly established in molecular evolutionary and population genetics, the comparative DNA and protein sequence analysis plays a central role in reconstructing the evolutionary histories of spec...

Medical educators attempt to create reliable and valid tests and questionnaires in order to enhance the accuracy of their assessment and evaluations. Validity and reliability are two fundamental elements in the evaluatio...

The objective of the research was to discover the chief determinants of entrepreneurship, the process by which organizations renew themselves and their markets by pioneering, innovation, and risk taking. Some authors hav...

During the past decade a number of variations in the simple up-down procedure have been used in psychoacoustic testing. A broad class of these methods is described with due emphasis on the related problems of parameter e...

BACKGROUND: the analysis of microbial communities through dna sequencing brings many challenges: the integration of different types of data with methods from ecology, genetics, phylogenetics, multivariate statistics, vis...

Quality models for software architecture are taxonomies of quality attributes, commonly used to specify and evaluate nonfunctionalrequirements. Most quality models offer a two-level approach, distinguishing externally ob...

El objetivo de este trabajo es presentar un primer conjunto de resultados empíricos acerca de la hipótesis de raíz unitaria en el PBI argentino. Se utilizan técnicas de muestra completa y métodos iterativos reciente...