Type

Database

Creator

Date

Thumbnail

Search results

You search for analysis and 1,073,035 records were found.

In this thesis we attempt to answer the research question: Can we use a type and effect system in combination with refinement types to develop a pattern-match analysis for a non-strict higher-order functional language that is both performant and precise enough to be of practical use? In Chapter 1 we present a number of examples to demonstrate why this is an interesting problem. In Chapter 2 we give a short in- troduction to the relevant concepts of the research question: higher- order functional languages and type and effect systems. In Chap- ter 3 we give an overview of the pattern match analysis we devel- oped and give a detailed description of the constraint generation and constraint solving phases in respectively Chapter 4 and Chap- ter 5. In Chapter 7 we discussion the implementation of the analysis we have built. We evaluate th...
This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by IEEE-Institute of Electrical and Electronics Engineers and can be found at: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2945. ??2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
Critical thinking ability is imperative for nurse practitioners in the multidimensional unfolding health care arena. Consensus as to what critical thinking entails has yet to be articulated. This non-empirical study thus set out to clarify the concept "critical thinking. Walker and Avant's (1995) proposal for conducting a concept analysis was used within the qualitative research paradigm. Literature selected from the fields of education, philosophy, nursing and psychology was consulted as the main source of data. Thematic and theoretical sampling of literature were also embarked upon during the later stage of the research to add density to emergent categories and themes. Categories were organised according to the Strauss and Corbin (1995) paradigmatic model; indicating the antecedents, disposition of the thinker, attributes and critica...
Joint Regression Analysis (JRA) has been widely used to compare cultivars. In this technique a linear regression is adjusted per cultivar. The slope of each regression measures the ability of the corresponding cultivar to answer to variations in productivity. Presently we are manly interested in cultivars with better responses to high productivity. To extend the application range of JRA to connected series of designs in incomplete blocks, thus going beyond the classic case of series of randomized blocks, we introduced the L2 environmental indexes. Nowadays, comparison trials for cultivars are mainly ®-designs, which have in- complete blocks. Moreover, the introduction of these indexes: enables the inte- gration of JRA into the statistical inference for normal models; allows a better approach to the study of speci¯c interactions. These ...
Joint Regression Analysis (JRA) has been widely used to compare cultivars. In this technique a linear regression is adjusted per cultivar. The slope of each regression measures the ability of the corresponding cultivar to answer to variations in productivity. Presently we are manly interested in cultivars with better responses to high productivity. To extend the application range of JRA to connected series of designs in incomplete blocks, thus going beyond the classic case of series of randomized blocks, we introduced the L2 environmental indexes. Nowadays, comparison trials for cultivars are mainly ®-designs, which have in- complete blocks. Moreover, the introduction of these indexes: enables the inte- gration of JRA into the statistical inference for normal models; allows a better approach to the study of speci¯c interactions. These ...
Criminal investigation is a difficult and laborious process that is prone to error as teams of investigators may be subject to tunnel vision, groupthink, and confirmation bias. As a result, miscarriages of justice may ensue. To overcome these problems, in the Dutch law enforcement organization, crime analysts have been given a more important role. It is now their task to critically evaluate the investigation that is going on. They have to make sense of the vast amount of evidence available in a case by generating plausible scenarios about what might have happened. Subsequently, they have to assess the quality of their scenarios and choose the best alternative. Due to the difficulty of this process, a great need exists for software that supports crime analysts in their task. However, current support tools for crime analysis do not allow...
Grids have emerged as a promising technology to handle the data and compute intensive requirements of many application areas. Digital medical image processing is a promising application area for grids. Given the volume of data, the sensitivity of medical information, and the joint complexity of medical datasets and computations expected in clinical practice, the challenge is to fill the gap between the grid middleware and the requirements of clinical applications. The research project AGIR (Grid Analysis of Radiological Data) presented in this paper addresses this challenge through a combined approach: on one hand, leveraging the grid middleware through core grid medical services which target the requirements of medical data processing applications; on the other hand, grid-enabling a panel of applications ranging from algorithmic resea...
This thesis presents general methods in non-Gaussian analysis in infinite dimensional spaces. As main applications we study Poisson and compound Poisson spaces. Given a probability measure μ on a co-nuclear space, we develop an abstract theory based on the generalized Appell systems which are bi-orthogonal. We study its properties as well as the generated Gelfand triples. As an example we consider the important case of Poisson measures. The product and Wick calculus are developed on this context. We provide formulas for the change of the generalized Appell system under a transformation of the measure. The L² structure for the Poisson measure, compound Poisson and Gamma measures are elaborated. We exhibit the chaos decomposition using the Fock isomorphism. We obtain the representation of the creation, annihilation operators. We co...
Knowing which method parameters may be mutated during a method'sexecution is useful for many software engineering tasks. We presentan approach to discovering parameter immutability, in which severallightweight, scalable analyses are combined in stages, with each stagerefining the overall result. The resulting analysis is scalable andcombines the strengths of its component analyses. As one of thecomponent analyses, we present a novel, dynamic mutability analysisand show how its results can be improved by random input generation.Experimental results on programs of up to 185 kLOC demonstrate that,compared to previous approaches, our approach increases both scalabilityand overall accuracy.
Principal component analysis (PCA) is a widespread exploratory data analysis tool. Sparse principal component analysis (SPCA) is a method that improves upon PCA by increasing the number of zeros in the loading vectors of PCA results. This makes the results more understandable and more usable. This bachelor's thesis introduces both methods, and includes examples using both real-world data and artifcial data. Also, the behavior of PCA under departure from weakly stationary data is explored.
Want to know more?If you want to know more about this cutting edge product, or schedule a demonstration on your own organisation, please feel free to contact us or read the available documentation at http://www.keep.pt/produtos/retrievo/?lang=en