Analysis of speedups in parallel evolutionary algorithms and (1+λ)(1+λ) EAs for combinatorial optimization Fulltext Access 18 Pages 2014
From volunteer to trustable computing: Providing QoS-aware scheduling mechanisms for multi-grid computing environments Fulltext Access 18 Pages 2014
Task scheduling using NSGA II with fuzzy adaptive operators for computational grids Fulltext Access 18 Pages 2014
Deriving a complete type inference for Hindley–Milner and vector sizes using expansion Fulltext Access 18 Pages 2014
CAOVerif: An open-source deductive verification platform for cryptographic software implementations Fulltext Access 18 Pages 2014
Seamless composition and reuse of customizable user interfaces with Spec Fulltext Access 18 Pages 2014
Filtering AtMostNValue with difference constraints: Application to the shift minimisation personnel task scheduling problem Fulltext Access 18 Pages 2014
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials Fulltext Access 18 Pages 2014
On the advice complexity of the online L(2,1)L(2,1)-coloring problem on paths and cycles Fulltext Access 18 Pages 2014
Performance of program modification techniques that ensure serializable executions with snapshot isolation DBMS Fulltext Access 18 Pages 2014
Parameter estimation via stochastic variants of the ECM algorithm with applications to plant growth modeling Fulltext Access 18 Pages 2014
A hybrid method for simultaneous optimization of DG capacity and operational strategy in microgrids utilizing renewable energy resources Fulltext Access 18 Pages 2014
A constant factor approximation algorithm for boxicity of circular arc graphs Fulltext Access 18 Pages 2014
Noisy kriging-based optimization methods: A unified implementation within the DiceOptim package Fulltext Access 19 Pages 2014
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms Fulltext Access 19 Pages 2014
ServBGP: BGP-inspired autonomic service routing for multi-provider collaborative architectures in the cloud Fulltext Access 19 Pages 2014
Employing early model-based safety evaluation to iteratively derive E/E architecture design Fulltext Access 19 Pages 2014
Average-case linear-time similar substring searching by the q-gram distance Fulltext Access 19 Pages 2014
An approach to conditional diagnosability analysis under the PMC model and its application to torus networks Fulltext Access 19 Pages 2014
Regularization and model selection for quantile varying coefficient model with categorical effect modifiers Fulltext Access 19 Pages 2014
Sourcerer: An infrastructure for large-scale collection and analysis of open-source code Fulltext Access 19 Pages 2014
Design and architecture of an interactive eTextbook – The OpenDSA system Fulltext Access 19 Pages 2014
The choice of the offspring population size in the (1,λ1,λ) evolutionary algorithm Fulltext Access 19 Pages 2014
TWILITE: A recommendation system for Twitter using a probabilistic model based on latent Dirichlet allocation Fulltext Access 19 Pages 2014
Data preparation for KDD through automatic reasoning based on description logic Fulltext Access 19 Pages 2014
Testing for heteroskedasticity and spatial correlation in a two way random effects model Fulltext Access 19 Pages 2014
Modeling and Verification of CAN Bus with Application Layer using UPPAAL Fulltext Access 19 Pages 2014
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras Fulltext Access 19 Pages 2014
CLOUDRB: A framework for scheduling and managing High-Performance Computing (HPC) applications in science cloud Fulltext Access 19 Pages 2014
Beyond Max-Cut: λ-extendible properties parameterized above the Poljak–Turzík bound Fulltext Access 20 Pages 2014
Designing robust controller to improve current-sharing for parallel-connected inverter-based DGs considering line impedance impact in microgrid networks Fulltext Access 20 Pages 2014
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues Fulltext Access 20 Pages 2014
On wavelet-based testing for serial correlation of unknown form using Fan’s adaptive Neyman method Fulltext Access 20 Pages 2014
Approximating geodesic distances on 2-manifolds in R3R3: The weighted case Fulltext Access 20 Pages 2014
On effective construction of the greatest solution of language inequality XA⊆BXXA⊆BX Fulltext Access 20 Pages 2014
On the number of realizations of certain Henneberg graphs arising in protein conformation Fulltext Access 20 Pages 2014
Hybrid GRASP Heuristics to Solve an Unrelated Parallel Machine Scheduling Problem with Earliness and Tardiness Penalties Fulltext Access 20 Pages 2014
A multi-start local search heuristic for an energy efficient VMs assignment on top of the OpenNebula cloud manager Fulltext Access 20 Pages 2014
Evolutionary and collaborative software architecture recovery with Softwarenaut Fulltext Access 20 Pages 2014
An L-Point Characterization of Normality and Normalizer of an L-Subgroup of an L-Group Fulltext Access 20 Pages 2014
Semantic-based Structural and Content indexing for the efficient retrieval of queries over large XML data repositories Fulltext Access 20 Pages 2014
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Fulltext Access 20 Pages 2014
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ELEL Fulltext Access 21 Pages 2014
Variance clustering improved dynamic conditional correlation MGARCH estimators Fulltext Access 21 Pages 2014
DBCURE-MR: An efficient density-based clustering algorithm for large data using MapReduce Fulltext Access 21 Pages 2014
Top-k/w publish/subscribe: A publish/subscribe model for continuous top-k processing over data streams Fulltext Access 21 Pages 2014
A collapse theorem for holographic algorithms with matchgates on domain size at most 4 Fulltext Access 21 Pages 2014
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases Fulltext Access 21 Pages 2014
Discriminant analysis of multivariate time series: Application to diagnosis based on ECG signals Fulltext Access 21 Pages 2014
FPGA based practical implementation of NPC-MLI with SVPWM for an autonomous operation PV system with capacitor balancing Fulltext Access 21 Pages 2014
Automatically refining partial specifications for heap-manipulating programs Fulltext Access 21 Pages 2014
A metamodel of access control for distributed environments: Applications and properties Fulltext Access 21 Pages 2014
Stepped surfaces and Rauzy fractals induced from automorphisms on the free group of rank 2 Fulltext Access 22 Pages 2014