Context-dependent product line engineering with lightweight formal approaches Fulltext Access 16 Pages 2013
Using heuristics to estimate an appropriate number of latent topics in source code analysis Fulltext Access 16 Pages 2013
A cross-layer optimization based integrated routing and grooming algorithm for green multi-granularity transport networks Fulltext Access 16 Pages 2013
Abstraction over implementation structure with symmetrically encapsulated multimethods Fulltext Access 16 Pages 2013
Analytical calculation of open-circuit magnetic field distribution of slotless brushless PM machines Fulltext Access 16 Pages 2013
Congestion management with FACTS devices in deregulated electricity markets ensuring loadability limit Fulltext Access 16 Pages 2013
Multi-objective day-ahead localized reactive power market clearing model using HFMOEA Fulltext Access 16 Pages 2013
An integrated model for generation maintenance coordination in a restructured power system involving gas network constraints and uncertainties Fulltext Access 16 Pages 2013
Optimized load-frequency simulation in restructured power system with Redox Flow Batteries and Interline Power Flow Controller Fulltext Access 16 Pages 2013
The spurious regression of AR(pp) infinite-variance sequence in the presence of structural breaks Fulltext Access 16 Pages 2013
Direct synchronous-asynchronous conversion system for hybrid electrical vehicle applications. An energy-based modeling approach Fulltext Access 16 Pages 2013
Forest alignment with affine gaps and anchors, applied in RNA structure comparison Fulltext Access 17 Pages 2013
Parallel Bayesian inference of range and reflectance from LaDAR profiles Fulltext Access 17 Pages 2013
Comparisons of air traffic control implementations on an associative processor with a MIMD and consequences for parallel computing Fulltext Access 17 Pages 2013
Short and efficient convertible undeniable signature schemes without random oracles Fulltext Access 17 Pages 2013
Distributed anomaly detection for industrial wireless sensor networks based on fuzzy data modelling Fulltext Access 17 Pages 2013
Continuous data aggregation and capacity in probabilistic wireless sensor networks Fulltext Access 17 Pages 2013
Locality principle revisited: A probability-based quantitative approach Fulltext Access 17 Pages 2013
A DAG scheduling scheme on heterogeneous computing systems using double molecular structure-based chemical reaction optimization Fulltext Access 17 Pages 2013
Reasoned modelling critics: Turning failed proofs into modelling guidance Fulltext Access 17 Pages 2013
Complete assertional proof rules for progress under weak and strong fairness Fulltext Access 17 Pages 2013
Reducing price of anarchy of selfish task allocation with more selfishness Fulltext Access 17 Pages 2013
The expected asymptotical ratio for preemptive stochastic online problem Fulltext Access 17 Pages 2013
Formal verification of side-channel countermeasures using self-composition Fulltext Access 17 Pages 2013
Conjugate and conditional conjugate Bayesian analysis of discrete graphical models of marginal independence Fulltext Access 17 Pages 2013
Exploiting product forms solution techniques in multiformalism modeling Fulltext Access 17 Pages 2013
Four-regular graphs with rigid vertices associated to DNA recombination Fulltext Access 17 Pages 2013
Polygonal estimation of planar convex-set perimeter from its two projections Fulltext Access 17 Pages 2013
A consistent method of estimation for the three-parameter Weibull distribution Fulltext Access 17 Pages 2013
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids Fulltext Access 17 Pages 2013
Simultaneous multifactor DIF analysis and detection in Item Response Theory Fulltext Access 17 Pages 2013
A predictive deviance criterion for selecting a generative model in semi-supervised classification Fulltext Access 17 Pages 2013
A Bayesian multivariate probit for ordinal data with semiparametric random-effects Fulltext Access 17 Pages 2013
A new extended Birnbaum–Saunders regression model for lifetime modeling Fulltext Access 17 Pages 2013
Scenario-based dynamic economic emission dispatch considering load and wind power uncertainties Fulltext Access 17 Pages 2013
An integrated framework for managing sensor data uncertainty using cloud computing Fulltext Access 17 Pages 2013
Large-scale access scheduling in wireless mesh networks using social centrality Fulltext Access 17 Pages 2013
Design space exploration in many-core processors for sound synthesis of plucked string instruments Fulltext Access 17 Pages 2013
Near real-time suffix tree construction via the fringe marked ancestor problem Fulltext Access 17 Pages 2013
An innovative approach for automatically grading spelling in essays using rubric-based scoring Fulltext Access 17 Pages 2013
Cluster-based topologies for 3D Networks-on-Chip using advanced inter-layer bus architecture Fulltext Access 17 Pages 2013
Developing a power-efficient and low-cost 3D NoC using smart GALS-based vertical channels Fulltext Access 17 Pages 2013
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach Fulltext Access 17 Pages 2013
Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata Fulltext Access 17 Pages 2013