normal forms
PP 2017 05: Disjunctive bases: normal forms for modal logics
... We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint ...
19
The use of normal forms for analysing nonlinear mechanical vibrations.
... The normal form provides a way of simplifying the dynamics of a system near a non- hyperbolic equilibrium, and to classify the dynamics as belonging to one of a few pre-analysed cases according to the sign of ...
22
Normal forms for nonintegrable almost CR structures
... the normal form in Theorem ...different normal forms of the same almost CR structure depend on the same parameters as the Chern-Moser normal form (see Theorem ...partial normal form for ...
29
Unique normal forms near a degenerate elliptic fixed point in two parametric families of area preserving maps
... simplified normal forms for an area-preserving map in a neighbourhood of a degenerate resonant elliptic fixed ...simplified normal form for a generic two-parametric family. The normal ...
25
Reduction and normal forms for a delayed reaction–diffusion differential system with B–T singularity
... and normal forms for system (1) with B–T singularity, based on the theory in [4, 16], we find that (1) can be reduced to a simple two-dimensional ordinary differential system on its central ...
15
Computer algebra derives normal forms of stochastic differential equations
... applications. Normal form coordinate transforms are a powerful way to untangle interesting long time dynamics from uninteresting but necessary short time dynamics (Murdock 2003, Arnold 2003, ...explore ...
30
Study of Various Normal forms and Functional Dependency
... Abstract: Normalization and functional dependency are most fundamental part in relational database. The normalization rules are designed to prevent update anomalies and data inconsistencies. The normal form ...
6
Decomposition of Japanese Sentences Into Normal Forms Based on Human Linguistic Process
... DECOMPOSITION OF JAPANESE SENTENCES INTO NORMAL FORMS BASED ON HUMAN LINGUISTIC PROCESS DECOMPOSITION OF JAPANESE SENTENCES INTO NORMAL FORMS BASED ON HUMAN LINGUISTIC PROCESS Tsutomu Endo Tuneo Tamat[.] ...
8
PP 2011 02: Normal Forms for Priority Graphs
... We thus obtain an effective procedure for transforming priority graphs into semantically equivalent ones—its normal forms. This analysis clarifies various points in the recent literature, especially, the ...
9
Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub clause sets and the lean kernel
... The structure of MUF for formulas F from the DC family, the number of variables, the number of clauses, the average clause size, the number of minimally unsatisfiable and maximal satisfia[r] ...
14
CYTOLOGICAL AND MORPHOLOGICAL INVESTIGATIONS ON GYNODIMORPHIC AND NORMAL FORMS OF RANUNCULUS ACRIS L
... Intermediate forms, which in the degree of reduction of the anthers, and in size of the flowers approached either the extreme gynodimorphic or the normal form, were p[r] ...
25
Periodic orbits near bifurcations of codimension two: Classical mechanics, semiclassics and Stokes transitions
... Hamiltonian normal forms describe in some cases additional orbits that do not participate in the bifurcations of codimension ...the normal forms on the classical properties of the ...following ...
30
The Return Map for a Planar Vector Field with Nilpotent Linear Part: A Direct and Explicit Derivation
... The study of planar vector fields has been the subject of intense research, particularly in connection to Hilbert’s 16th Problem. Significant progress has been made in the geometric theory of these fields, as well as in ...
11
A New Method to Calculate the Appropriateness Measures of Label Expressions in Uncertainty Model
... disjunctive normal forms is first presented; then it is proved that each label expression is semantic equivalent to a disjunctive normal form; finally, a new method of calculating the appropriateness ...
7
Normalisation by evaluation for dependent types
... Decidability of normal forms is proven by mutual induction on normal forms, neutral terms and types. Because of type dependencies, we decide equality in the total space Σ(Γ : Con).Σ(A : Ty ...
15
Studies of Ammonia in the Rainbow Trout:Physico chemical Parameters, Acid Base Behaviour and Respiratory Clearance
... The objective of the present study, then, was to determine the proper pK' and solubility values for use in studies of fish; to determine the normal resting values for the various forms o[r] ...
20
Interactions Among Genes Regulating Ovule Development in Arabidopsis thaliana
... Ovules of ino mutants initiate two integument primordia, but the outer integument primordium forms on the opposite side of the ovule from the normal location and under[r] ...
16
The lymphocyte beta adrenoceptor in normal subjects and patients with bronchial asthma: the effect of different forms of treatment on receptor function
... asthmatic patients taking large doses of beta-adrenergic bronchodilators, and comparable asthmatics treated exclusively with nonadrenergic medication. The effect of prolonged administration of beta-adrenoceptor agonists ...
11
Removal from the plasma of the free and esterified forms of cholesterol and transfer of lipids to HDL in type 2 diabetes mellitus patients
... LDL cholesterol concentration is not typically increased in T2DM but LDL is subjected to important changes in this disease, such as increase in the small, dense LDL sub- class, that is considered the most atherogenic ...
8
Saddlepoint approximations for noncentral quadratic forms
... quadratic forms in normal variables+ Excepting a few very special cases little is known about the density or distribution of these ratios, particularly if we allow for noncentrality in the qua- dratic ...
22