Ensuring portability of Linux applications through standardization and knowledge base driven analysis Fulltext Access 15 Pages 2014
Dynamic program analysis—Reconciling developer productivity and tool performance Fulltext Access 15 Pages 2014
Adaptive thread mapping strategies for transactional memory applications Fulltext Access 15 Pages 2014
On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance Fulltext Access 15 Pages 2014
Technological support for the enactment of collaborative scripted learning activities across multiple spatial locations Fulltext Access 15 Pages 2014
Characterizations of non-associative ordered semigroups by their fuzzy bi-ideals Fulltext Access 15 Pages 2014
Bisimulations for weighted automata over an additively idempotent semiring Fulltext Access 15 Pages 2014
Online algorithms for 1-space bounded 2-dimensional bin packing and square packing Fulltext Access 15 Pages 2014
Revising basic theorem proving algorithms to cope with the logic of partial functions Fulltext Access 15 Pages 2014
Mobile and ubiquitous architecture for the medical control of chronic diseases through the use of intelligent devices: Using the architecture for patients with diabetes Fulltext Access 15 Pages 2014
Complexity of finding maximum regular induced subgraphs with prescribed degree Fulltext Access 15 Pages 2014
Packing resizable items with application to video delivery over wireless networks Fulltext Access 15 Pages 2014
Advance reservation, co-allocation and pricing of network and computational resources in grids Fulltext Access 15 Pages 2014
Solution to security constrained environmental/economic pumped-storage hydraulic unit scheduling problem by modified subgradient algorithm based on feasible values and pseudo water price Fulltext Access 15 Pages 2014
Prediction of full load electrical power output of a base load operated combined cycle power plant using machine learning methods Fulltext Access 15 Pages 2014
A switchable high-speed fiber-optic ring net topology and its method of high-performance synchronization for large-capacity power electronics system Fulltext Access 15 Pages 2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models Fulltext Access 15 Pages 2014
Automatic case acquisition from texts for process-oriented case-based reasoning Fulltext Access 15 Pages 2014
Exploring the role of graph spectra in graph coloring algorithm performance Fulltext Access 15 Pages 2014
Influence and interaction indexes for pseudo-Boolean functions: A unified least squares approach Fulltext Access 15 Pages 2014
Minimizing envy and maximizing average Nash social welfare in the allocation of indivisible goods Fulltext Access 15 Pages 2014
Steady state analysis of timed event graphs with time window constraints Fulltext Access 15 Pages 2014
Approximation trade-offs in a Markovian stream warehouse: An empirical study Fulltext Access 15 Pages 2014
The min-degree constrained minimum spanning tree problem: Formulations and Branch-and-cut algorithm Fulltext Access 15 Pages 2014
Computing Invariants with Transformers: Experimental Scalability and Accuracy Fulltext Access 15 Pages 2014
Combining ontological and temporal formalisms for composite activity modelling and recognition in smart homes Fulltext Access 15 Pages 2014
Symmetric digit sets for elliptic curve scalar multiplication without precomputation Fulltext Access 16 Pages 2014
Prior adjusted default Bayes factors for testing (in)equality constrained hypotheses Fulltext Access 16 Pages 2014
Characterising economic trends by Bayesian stochastic model specification search Fulltext Access 16 Pages 2014
Discrete particle swarm optimization for constructing uniform design on irregular regions Fulltext Access 16 Pages 2014
Modified information criteria and selection of long memory time series models Fulltext Access 16 Pages 2014
A comparison of simulated annealing algorithms for variable selection in principal component analysis and discriminant analysis Fulltext Access 16 Pages 2014
On the use of marginal posteriors in marginal likelihood estimation via importance sampling Fulltext Access 16 Pages 2014
Strong consistency and rates of convergence for a random estimator of a fuzzy set Fulltext Access 16 Pages 2014
Fair scheduling of bag-of-tasks applications using distributed Lagrangian optimization Fulltext Access 16 Pages 2014
Modelling trends in road accident frequency— Bayesian inference for rates with uncertain exposure Fulltext Access 16 Pages 2014
Seeding-inspired chemotaxis genetic algorithm for the inference of biological systems Fulltext Access 16 Pages 2014
Assessing single-pair similarity over graphs by aggregating first-meeting probabilities Fulltext Access 16 Pages 2014
Identification of ontologies to support information systems development Fulltext Access 16 Pages 2014
A multi objective vector evaluated improved honey bee mating optimization for optimal and robust design of power system stabilizers Fulltext Access 16 Pages 2014
Stochastic multi-objective security-constrained market-clearing considering static frequency of power system Fulltext Access 16 Pages 2014
Lower confidence limit for reliability based on grouped data using a quantile-filling algorithm Fulltext Access 16 Pages 2014
Theoretical and practical aspects of the quadratic error in the local linear estimation of the conditional density for functional data Fulltext Access 16 Pages 2014
Efficient estimation of the link function parameter in a robust Bayesian binary regression model Fulltext Access 16 Pages 2014
Management and applications of trust in Wireless Sensor Networks: A survey Fulltext Access 16 Pages 2014
Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions Fulltext Access 16 Pages 2014
Mixing local and global information for community detection in large networks Fulltext Access 16 Pages 2014
A methodology to develop awareness in computer supported collaborative work using policies Fulltext Access 16 Pages 2014
Secure administration of cryptographic role-based access control for large-scale cloud storage systems Fulltext Access 16 Pages 2014
Time-optimized contextual information forwarding in mobile sensor networks Fulltext Access 16 Pages 2014