• No results found

Based on the Type of Analysis:

Static Analysis of Concurrent Programs Based on Behavioral Type Systems

Static Analysis of Concurrent Programs Based on Behavioral Type Systems

... approach based on the use of behavioral types for the static analysis of computer ...Behavioral type systems constitute a powerful way to reason abstractly in the program ...these type systems ...

158

Difference Analysis of Online Reviews for Search-Type and Experiential-Type Products: Based on Text Mining Method

Difference Analysis of Online Reviews for Search-Type and Experiential-Type Products: Based on Text Mining Method

... (3) There is no significant difference between the online strength of search products and the emotional products. The online emotional strength of search products is 3.820922, the standard deviation is 0.0330024, and ...

12

Type-based Static Analysis of Web Documents with Embedded Executable Components

Type-based Static Analysis of Web Documents with Embedded Executable Components

... 4 Type Rules ...JavaScript based hypertext ...runability type that denotes the set of web browsers that will correctly render or process the source ...the analysis of this source code is that ...

108

An Information Theory Based Feature Type Analysis for the Modeling of Statistical Parsing

An Information Theory Based Feature Type Analysis for the Modeling of Statistical Parsing

... feature type analysis model by which we can quantitatively analyse the predictive power of different feature types or feature type combinations for syntactic structure in a systematic ...feature ...

8

Object-based image analysis for forest-type mapping in New Hampshire

Object-based image analysis for forest-type mapping in New Hampshire

... An alternative to pixel-based classification is object-based image analysis (OBIA), a type of image processing and classification that has provided better results when using high resol[r] ...

100

A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs

A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs

... of type inference system in program ...that type systems caters for a natural separation of the analysis into three ...the analysis is elaborated thanks to a proof ...Furthermore, ...

22

BLOCK JACOBI-TYPE METHODS FOR LOG-LIKELIHOOD BASED LINEAR INDEPENDENT SUBSPACE ANALYSIS

BLOCK JACOBI-TYPE METHODS FOR LOG-LIKELIHOOD BASED LINEAR INDEPENDENT SUBSPACE ANALYSIS

... Subspace Analysis (ISA) is a natural generali- sation of Independent Component Analysis (ICA) incorpo- rated with invariant feature subspaces, where mutual statis- tical independence exists between ...

6

Identification of Body Size and Body Shape of Garut Sheep Fighting Type and Meat Type and Garut Cross Based on Principal Component Analysis

Identification of Body Size and Body Shape of Garut Sheep Fighting Type and Meat Type and Garut Cross Based on Principal Component Analysis

... fighting type, Garut meat type and their crossbred fighting and meat type in Garut district (Margawati, Sukawening and Wanaraja) and Bogor district (Ciomas and ...width. Analysis of all those ...

7

DEVELOPING A DIAGNOSTIC TOOL FOR TYPE 2 DIABETES BASED ON TRIDOSHA ANALYSIS THROUGH NADI PARIKSHA. .......

DEVELOPING A DIAGNOSTIC TOOL FOR TYPE 2 DIABETES BASED ON TRIDOSHA ANALYSIS THROUGH NADI PARIKSHA. .......

... Pooja More Et&All:Developing A Diagnostic Tool For Type 2 Diabetes Based On Tridosha Analysis Through Nadi Pariksha 1100 www.iamj.in IAMJ: Volume 2; Issue 6; November- December - 2014 T2DM mellitus ...

9

Switching from premixed insulin to glargine-based insulin regimen improves glycaemic control in patients with type 1 or type 2 diabetes: a retrospective primary care-based analysis

Switching from premixed insulin to glargine-based insulin regimen improves glycaemic control in patients with type 1 or type 2 diabetes: a retrospective primary care-based analysis

... was based on the adjusted change in HbA 1c which only used actual and complete data ...this analysis suggest that the use of an glargine-based regimen possibly combining glargine with either OADs or ...

8

Performance Overhead Based Analysis of Container Based Virtualization with Type 1, Type 2 Hypervisor

Performance Overhead Based Analysis of Container Based Virtualization with Type 1, Type 2 Hypervisor

... Hypervisor based virtualization technique and container based technology is the primarily choice of researchers and ...Container based virtualization is also become popular parallel with ...

6

Type based cost analysis for lazy functional languages

Type based cost analysis for lazy functional languages

... Our analysis is presented in Figures 3 and 4 as a proof system that derives judgements of the form Γ p p 0 e b : A, where Γ is a typing context, which is a multimap from variables to types 6 , b e is a full ...

34

Fluorescence-based analysis of the intracytoplasmic membranes of type I methanotrophs

Fluorescence-based analysis of the intracytoplasmic membranes of type I methanotrophs

... in type I methanotrophs In addition to collecting static images at a single time point to monitor ICM coverage differences between sep- arate cultures, fluorescently labelling ICMs allow for the tracking of ICM ...

10

Bayesian analysis for the Burr type XII distribution based on record values

Bayesian analysis for the Burr type XII distribution based on record values

... , based on record values, review the Bayes estimators that were derived under a SEL func- tion for the parameters by Ahmadi (2000) and also we will derive Bayes estima- tors for c and k under a LINEX loss ...

15

Type based allocation analysis for co recursion in lazy functional languages

Type based allocation analysis for co recursion in lazy functional languages

... static analysis for obtaining a-priori bounds on the dynamic costs of co-recursive definitions for a foundational subset of ...The analysis is formulated as a proof system for inferring annotated types that ...

25

Review Article Body Painting Type Analysis Based on Biomimicry Camouflage

Review Article Body Painting Type Analysis Based on Biomimicry Camouflage

... Abstract: The purpose of this study is to establish a method and find a possible way of applying biomimicry camouflage in body painting. This study seeks a direction for the future of the beauty and art industry through ...

11

Analysis of Intra Cranial Meningioma Based on the Pathological Type with particular reference to the outcome

Analysis of Intra Cranial Meningioma Based on the Pathological Type with particular reference to the outcome

... II. TAKING THE FALX MENINGIOMA NEST : Total excision Achieved, there was an average in increase karnofsky scale of following surgery as per statistical Analysis. Among the various subtype Atypical Meningioma has ...

56

Aided diagnosis of dementia type through computer based analysis of spontaneous speech

Aided diagnosis of dementia type through computer based analysis of spontaneous speech

... We view the methods described as analogous to EKG. The EKG trace affords a more quantita- tive and objective picture of cardiac functioning which complements the stethoscope. Analogous- ly, if scaled-up studies can ...

11

Seismic Analysis and Design of Type FR Steel Frames Using Displacement-Based Design and Advanced Analysis

Seismic Analysis and Design of Type FR Steel Frames Using Displacement-Based Design and Advanced Analysis

... elastic analysis. Research has revealed erroneous assumptions in forced-based methods and proposes that displacement-based methods, due to modeling inelastic systems, result in more reasonable ...

336

Impact of partial bivalent HPV vaccination on vaccine-type infection : a population-based analysis

Impact of partial bivalent HPV vaccination on vaccine-type infection : a population-based analysis

... 7 cohorts showed higher attendence than unimmunised women, but this may be a result of a greater awareness of health issues and may not be replicated in routinely immunised women. It is of interest that our overarching ...

13

Show all 10000 documents...

Related subjects