Type

Database

Creator

Date

Thumbnail

Search results

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

We explore the possibility for elemental analysis by NMR. To keep the efficiency of the signal acquisition common for all spin species, we propose to fix the frequency and vary the magnetic field to cover the isotopes involved in a sample. We introduce constant-frequency receptivity for quantitative elemental analysis in the frequency-fixed NMR experiment. Field-variable NMR experiments are demonstrated using a cryogen-free superconducting magnet. In addition to elemental analysis in liquid solution, solid-state NMR under magic-angle spinning is also described.
This chapter offers a primer on poverty, inequality, and vulnerability analysis and a guide to resources on this topic. It is written for decision makers who want to define the type of information they need to monitor poverty reduction and make appropriate policy decisions and for the technical experts in charge of the analysis. The chapter takes a broad look at tools for analysis and provides a brief introduction to each topic. It also outlines why certain information is essential in policymaking and how this information can be generated.
Many software model checkers are based on predicate abstraction. Values of variables in branching conditions are represented abstractly using predicates. The strength of this approach is its path-sensitive nature. However, if the control flow depends heavily on the values of memory cells on the heap, the approach does not work well, because it is difficult to find `good' predicate abstractions to represent the heap. In contrast, shape analysis can lead to a very compact representation of data structures stored on the heap. In this paper, we combine shape analysis with predicate abstraction, and integrate it into the software model checker BLAST. Because shape analysis is expensive, we do not apply it globally. Instead, we ensure that shapes are computed and stored locally, only where necessary for proving the verification goal. ...
Static analysis tools search software looking for defects that may cause an application to deviate from its intended behavior. These include defects that compute incorrect values, cause runtime exceptions or crashes, expose applications to security vulnerabilities, or lead to performance degradation. In an ideal world, the analysis would precisely identify all possible defects. In reality, it is not always possible to infer the intent of a software component or code fragment, and static analysis tools sometimes output spurious warnings or miss important bugs. As a result, tool makers and researchers focus on developing heuristics and techniques to improve speed and accuracy. But, in practice, speed and accuracy are not sufficient to maximize the value received by software makers using static analysis. Software engineering teams need to...
Static analysis techniques provide a means to detect software errors early in the development process, without actually having to run the software that is being analyzed. These techniques are common for statically typed languages and have found their way into IDEs such as Eclipse and Visual Studio. However, applying the same techniques to dynamically typed languages is much less common. Tool support is less mature and the amount of published research is relatively small. For this project, we design and build a static analyis tool for JavaScript code. We start by giving background information on relevant parts of the JavaScript language, followed by a survey of existing tools and research. In the design of our analysis tool, we achieved a clear separation of responsibilities between the different modules for parsing, analysis, rule def...
Eje: Inteligencia Artificial Distribuida, Aspectos Teóricos de la Inteligencia Artificial y Teoría de la Computación
Comment: This is a 11 page manuscript,which is a preliminary report on introducing mollifiers in Clifford analysis
Association analysis is a new approach to identify the location of gene(s)/allele(s) of interest. There are a number of factors determining the feasibility of whole-genome association analysis which include the level of linkage disequilibrium (LD) and the magnitude of population structure in a population. The goal of this study was to evaluate the success of whole-genome association analysis in soybean germplasm accessions using DNA markers across the whole genome. Firstly, the extent of LD and the presence of population structure were estimated. Secondly, whole-genome association analysis was performed to detect the location of the allele/gene controlling flower color, pubescence color, and seed protein quantitative trait loci (QTLs) in 319 soybean [<em>Glycine max</em> (L.) Merr.] germplasm accessions. The soybean germplasm acce...
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