Evaluation of a process for architectural assumption management in software development Fulltext Access 57 Pages 2018
Opportunistic Edge Computing: Concepts, opportunities and research challenges Fulltext Access 57 Pages 2018
Supporting selective undo of string-wise operations for collaborative editing systems Fulltext Access 58 Pages 2018
A hybrid fuzzy time series forecasting model based on granular computing and bio-inspired optimization approaches Fulltext Access 59 Pages 2018
A scalable multiphysics algorithm for massively parallel direct numerical simulations of electrophoretic motion Fulltext Access 59 Pages 2018
Modeling regulation of vascular tone following muscle contraction: Model development, validation and global sensitivity analysis Fulltext Access 60 Pages 2018
Holistic approach to management of IT infrastructure for environmental monitoring and decision support systems with urgent computing capabilities Fulltext Access 62 Pages 2018
Cross-domain dynamic anonymous authenticated group key management with symptom-matching for e-health social system Fulltext Access 63 Pages 2018
Rational deployment of multiple heuristics in optimal state-space search Fulltext Access 64 Pages 2018
Multi-robot inverse reinforcement learning under occlusion with estimation of state transitions Fulltext Access 65 Pages 2018
On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation Fulltext Access 66 Pages 2018
Algorithms for electric vehicle scheduling in large-scale mobility-on-demand schemes Fulltext Access 66 Pages 2018
Second-order propositional modal logic: Expressiveness and completeness results Fulltext Access 68 Pages 2018
Learning in the machine: Random backpropagation and the deep learning channel Fulltext Access 70 Pages 2018
All roads lead to Rome: Commuting strategies for product-line reliability analysis Fulltext Access 71 Pages 2018
Fundamental properties of attack relations in structured argumentation with priorities Fulltext Access 71 Pages 2018
What is needed to make cardiovascular models suitable for clinical decision support? A viewpoint paper Fulltext Access 78 Pages 2018
The complexity of Bayesian networks specified by propositional and relational languages Fulltext Access 83 Pages 2018
Extracting mutual exclusion invariants from lifted temporal planning domains Fulltext Access 93 Pages 2018
Controllable electronic transformer based on the resonance structure with switching capacitor for low-rise buildings residential area power supply stabilization systems Fulltext Access 4 Pages 2017
Special Issue on Fuzzy Sets and Systems Theory: Recent Advances and Developments - On the Occasion of the Memory of Prof. Loti Askar Zadeh, the Founder of Fuzzy Sets Theory Fulltext Access 4 Pages 2017
The maximum atom-bond connectivity index for graphs with edge-connectivity one Fulltext Access 4 Pages 2017
A note on approximation algorithms of the clustered traveling salesman problem Fulltext Access 4 Pages 2017
Upper bounds on adjacent vertex distinguishing total chromatic number of graphs Fulltext Access 4 Pages 2017
Cascading blackout overall structure and some implications for sampling and mitigation Fulltext Access 4 Pages 2017
Some bounds on the generalised total chromatic number of degenerate graphs Fulltext Access 4 Pages 2017
Remarks on maximum atom-bond connectivity index with given graph parameters Fulltext Access 5 Pages 2017
An infinite family of 2-connected graphs that have reliability factorisations Fulltext Access 5 Pages 2017
Cycles embedding in folded hypercubes with conditionally faulty vertices Fulltext Access 5 Pages 2017
Modeling and evaluation of highly complex computer systems architectures Fulltext Access 5 Pages 2017
Introduction to the special issue on Combining Constraint Solving with Mining and Learning Fulltext Access 5 Pages 2017
Characterization of forbidden subgraphs for the existence of even factors in a graph Fulltext Access 5 Pages 2017
Space complexity of exact discrete geodesic algorithms on regular triangulations Fulltext Access 5 Pages 2017
Diagnosable evaluation of enhanced optical transpose interconnection system networks Fulltext Access 5 Pages 2017
Exact speedup factors for linear-time schedulability tests for fixed-priority preemptive and non-preemptive scheduling Fulltext Access 5 Pages 2017
A characterization of trees with equal independent domination and secure domination numbers Fulltext Access 5 Pages 2017
Keeping up with technology: Teaching Parallel, Distributed and High-Performance Computing Fulltext Access 5 Pages 2017
Prediction and feature analysis of intron retention events in plant genome Fulltext Access 5 Pages 2017
Penalized estimation of sparse concentration matrices based on prior knowledge with applications to placenta elemental data Fulltext Access 5 Pages 2017
Computing the clique-separator graph for an interval graph in linear time Fulltext Access 5 Pages 2017
Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees Fulltext Access 5 Pages 2017
A polynomial-time algorithm for the maximum cardinality cut problem in proper interval graphs Fulltext Access 5 Pages 2017
Did the train reach its destination: The complexity of finding a witness Fulltext Access 5 Pages 2017