Solving norm constrained portfolio optimization via coordinate-wise descent algorithms Fulltext Access 23 Pages 2014
Time-efficient estimation of conditional mutual information for variable selection in classification Fulltext Access 23 Pages 2014
An event-based notification approach for the delivery of patient medical information Fulltext Access 23 Pages 2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity Fulltext Access 23 Pages 2014
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders) Fulltext Access 24 Pages 2014
Domain adaptation and sample bias correction theory and algorithm for regression Fulltext Access 24 Pages 2014
Reliable Composite Web Services Execution: Towards a Dynamic Recovery Decision Fulltext Access 24 Pages 2014
A sound and complete reasoning system for asynchronous communication with shared futures Fulltext Access 24 Pages 2014
The links between human error diversity and software diversity: Implications for fault diversity seeking Fulltext Access 24 Pages 2014
A quantitative and qualitative assessment of aspectual feature modules for evolving software product lines Fulltext Access 24 Pages 2014
An insight into the dispersion of changes in cloned and non-cloned code: A genealogy based empirical study Fulltext Access 24 Pages 2014
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines Fulltext Access 24 Pages 2014
A normalization method for solving the combined economic and emission dispatch problem with meta-heuristic algorithms Fulltext Access 24 Pages 2014
An evolutionary algorithm approach to link prediction in dynamic social networks Fulltext Access 24 Pages 2014
Learning hierarchical task network domains from partially observed plan traces Fulltext Access 24 Pages 2014
Bisimulation equivalence and regularity for real-time one-counter automata Fulltext Access 24 Pages 2014
The minimum firing time of the generalized firing squad synchronization problem for squares Fulltext Access 24 Pages 2014
Multicategory large margin classification methods: Hinge losses vs. coherence functions Fulltext Access 24 Pages 2014
Formal semantics, modular specification, and symbolic verification of product-line behaviour Fulltext Access 24 Pages 2014
Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of hidden information Fulltext Access 25 Pages 2014
Improved variance estimation of maximum likelihood estimators in stable first-order dynamic regression models Fulltext Access 25 Pages 2014
An immersed boundary-lattice Boltzmann approach to study the dynamics of elastic membranes in viscous shear flows Fulltext Access 25 Pages 2014
Symbolic counterexample generation for large discrete-time Markov chains Fulltext Access 25 Pages 2014
Weighted synergy graphs for effective team formation with heterogeneous ad hoc agents Fulltext Access 25 Pages 2014
Generating the fewest redundancy-free scheme trees from acyclic conceptual-model hypergraphs in polynomial time Fulltext Access 25 Pages 2014
Balanced compact clustering for efficient range queries in metric spaces Fulltext Access 25 Pages 2014
Poverty Level of Households: A Multidimensional Approach Based on Fuzzy Mathematics Fulltext Access 25 Pages 2014
Three-dimensional protein structure prediction: Methods and computational strategies Fulltext Access 26 Pages 2014
Switchable structured bond: A bond graph device for modeling power coupling/decoupling of physical systems Fulltext Access 26 Pages 2014
Explorative anytime local search for distributed constraint optimization Fulltext Access 26 Pages 2014
Configuration vs. adaptation for business process variant maintenance: An empirical study Fulltext Access 26 Pages 2014
A requirement-driven approach to the design and evolution of data warehouses Fulltext Access 26 Pages 2014
Solving Matrix Games with I-fuzzy Payoffs: Pareto-optimal Security Strategies Approach Fulltext Access 26 Pages 2014
An object-oriented parallel programming language for distributed-memory parallel computing platforms Fulltext Access 26 Pages 2014
A semantic analysis of key management protocols for wireless sensor networks Fulltext Access 26 Pages 2014
Semi-automated architectural abstraction specifications for supporting software evolution Fulltext Access 26 Pages 2014
An extension of context-free grammars with one-sided context specifications Fulltext Access 26 Pages 2014
Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling Fulltext Access 27 Pages 2014
An observationally complete program logic for imperative higher-order functions Fulltext Access 27 Pages 2014
Plan aggregation for strong cyclic planning in nondeterministic domains Fulltext Access 27 Pages 2014
Preprocessing subgraph and minor problems: When does a small vertex cover help? Fulltext Access 28 Pages 2014
Integrating domain heterogeneous data sources using decomposition aggregation queries Fulltext Access 28 Pages 2014
Dependability in open proof software with hardware virtualization—The railway control systems perspective Fulltext Access 28 Pages 2014
Evaluating a graphical notation for modeling collaborative learning activities: A family of experiments Fulltext Access 28 Pages 2014
Approximate Nonnegative Symmetric Solution of Fully Fuzzy Systems Using Median Interval Defuzzification Fulltext Access 28 Pages 2014
Deriving real-time action systems with multiple time bands using algebraic reasoning Fulltext Access 29 Pages 2014
Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions Fulltext Access 29 Pages 2014
Algorithms for decision problems in argument systems under preferred semantics Fulltext Access 29 Pages 2014
Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: Algebraic and analytic approaches collated Fulltext Access 29 Pages 2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities Fulltext Access 30 Pages 2014
Model-driven development of interactive groupware systems: Integration into the software development process Fulltext Access 30 Pages 2014
Minimax number of strata for online stratified sampling: The case of noisy samples Fulltext Access 30 Pages 2014
Algorithms and estimators for summarization of unaggregated data streams Fulltext Access 31 Pages 2014