Sciweavers

2414 search results - page 397 / 483
» Computing Normal Subgroups
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 9 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
CSDA
2010
157views more  CSDA 2010»
13 years 9 months ago
Robust estimation of constrained covariance matrices for confirmatory factor analysis
Confirmatory factor analysis (CFA) is a data anylsis procedure that is widely used in social and behavioral sciences in general and other applied sciences that deal with large qua...
E. Dupuis Lozeron, M. P. Victoria-Feser
CANDC
2006
ACM
13 years 9 months ago
Domain boundary prediction based on profile domain linker propensity index
Successful prediction of protein domain boundaries provides valuable information not only for the computational structure prediction of multidomain proteins but also for the exper...
Qiwen Dong, Xiaolong Wang, Lei Lin, Zhiming Xu
COMBINATORICS
2006
162views more  COMBINATORICS 2006»
13 years 9 months ago
Bounding the Partition Function of Spin-Systems
With a graph G = (V, E) we associate a collection of non-negative real weights vV {i,v : 1 i m} uvE{ij,uv : 1 i j m}. We consider the probability distribution on {f : V {1,...
David J. Galvin
EOR
2006
76views more  EOR 2006»
13 years 9 months ago
Regional development assessment: A structural equation approach
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
Dario Cziráky, Joze Sambt, Joze Rovan, Jaks...