• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Daneshyari Computational Theory and Mathematics Journas Latest Articles

Computational Theory and Mathematics Research Articles

A cost-effective cloud computing framework for accelerating multimedia communication simulations
Fulltext Access 13 Pages 2012
Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management
Fulltext Access 13 Pages 2012
Constructing minimum extended weakly-connected dominating sets for clustering in ad hoc networks
Fulltext Access 13 Pages 2012
Dual time-scale distributed capacity allocation and load redirect algorithms for cloud systems
Fulltext Access 13 Pages 2012
Direction-based adaptive data propagation for heterogeneous sensor mobility
Fulltext Access 13 Pages 2012
Adaptive energy-efficient scheduling for real-time tasks on DVS-enabled heterogeneous clusters
Fulltext Access 13 Pages 2012
End-to-end maxmin fairness in multihop wireless networks: Theory and protocol
Fulltext Access 13 Pages 2012
Flocking based distributed self-deployment algorithms in mobile sensor networks
Fulltext Access 13 Pages 2012
A dynamic multicast tree based routing scheme without replication in delay tolerant networks
Fulltext Access 13 Pages 2012
An incentive-based distributed mechanism for scheduling divisible loads in tree networks
Fulltext Access 13 Pages 2012
Packet scheduling with joint design of MIMO and network coding
Fulltext Access 13 Pages 2012
VForce: An environment for portable applications on high performance systems with accelerators
Fulltext Access 13 Pages 2012
On the efficiency of routing in sensor networks
Fulltext Access 13 Pages 2012
On the number of elements to reorder when updating a suffix array
Fulltext Access 13 Pages 2012
Left omega algebras and regular equations
Fulltext Access 13 Pages 2012
Restricted space algorithms for isomorphism on bounded treewidth graphs
Fulltext Access 13 Pages 2012
Case for dynamic deployment in a grid-based distributed query processor
Fulltext Access 13 Pages 2012
Consecutive ones property and PQ-trees for multisets: Hardness of counting their orderings
Fulltext Access 13 Pages 2012
Visual understanding industrial workflows under uncertainty on distributed service oriented architectures
Fulltext Access 13 Pages 2012
Protecting the consistency of workflow applications in collaborative development environments
Fulltext Access 13 Pages 2012
PFRF: An adaptive data replication algorithm based on star-topology data grids
Fulltext Access 13 Pages 2012
Towards autonomic detection of SLA violations in Cloud infrastructures
Fulltext Access 13 Pages 2012
A coordinator for scaling elastic applications across multiple clouds
Fulltext Access 13 Pages 2012
A time-constrained SLA negotiation strategy in competitive computational grids
Fulltext Access 13 Pages 2012
Revisiting randomized parallel load balancing algorithms
Fulltext Access 13 Pages 2012
Coloring half-planes and bottomless rectangles
Fulltext Access 13 Pages 2012
Pointed drawings of planar graphs
Fulltext Access 13 Pages 2012
Treewidth of Erdős-Rényi random graphs, random intersection graphs, and scale-free random graphs
Fulltext Access 13 Pages 2012
Comparison of control strategies for DSTATCOM in three-phase, four-wire distribution system for power quality improvement under various source voltage and load conditions
Fulltext Access 13 Pages 2012
DC voltage design and corresponding compensation performance analysis for static var generator
Fulltext Access 13 Pages 2012
Impacts of distributed generations on power system transient and voltage stability
Fulltext Access 13 Pages 2012
Automatic library migration for the generation of hardware-in-the-loop models
Fulltext Access 13 Pages 2012
A pearl on SAT and SMT solving in Prolog
Fulltext Access 13 Pages 2012
Fibonacci word patterns in two-way infinite Fibonacci words
Fulltext Access 13 Pages 2012
On mutual concavity and strategically-zero-sum bimatrix games
Fulltext Access 13 Pages 2012
Loosely-stabilizing leader election in a population protocol model
Fulltext Access 13 Pages 2012
Optimizing with minimum satisfiability
Fulltext Access 13 Pages 2012
New techniques for approximating optimal substructure problems in power-law graphs
Fulltext Access 13 Pages 2012
Computing feasible toolpaths for 5-axis machines
Fulltext Access 13 Pages 2012
Nondeterministic state complexity of star-free languages
Fulltext Access 13 Pages 2012
An algorithmic analysis of the Honey-Bee game
Fulltext Access 13 Pages 2012
Step coverability algorithms for communicating systems
Fulltext Access 13 Pages 2012
Function extraction
Fulltext Access 13 Pages 2012
Coordination of multi-link spectrum handoff in multi-radio multi-hop cognitive networks
Fulltext Access 13 Pages 2012
Ramos: Concurrent writing and reconfiguration for collaborative systems
Fulltext Access 13 Pages 2012
Optimizing performance and reliability on heterogeneous parallel systems: Approximation algorithms and heuristics
Fulltext Access 13 Pages 2012
A new distributed topology control algorithm based on optimization of delay and energy in wireless networks
Fulltext Access 13 Pages 2012
Cooperative private searching in clouds
Fulltext Access 13 Pages 2012
PREDICT – Decision support system for load forecasting and inference: A new undertaking for Brazilian power suppliers
Fulltext Access 13 Pages 2012
Enumeration and asymptotics of restricted compositions having the same number of parts
Fulltext Access 13 Pages 2012
On some topological indices of the tensor products of graphs
Fulltext Access 13 Pages 2012
Acyclic edge coloring of planar graphs with ΔΔ colors
Fulltext Access 13 Pages 2012
Collective additive tree spanners for circle graphs and polygonal graphs
Fulltext Access 13 Pages 2012
Optimal acceptance sampling plans for log-location–scale lifetime models using average risks
Fulltext Access 13 Pages 2012
Generalized degrees of freedom and adaptive model selection in linear mixed-effects models
Fulltext Access 13 Pages 2012
Data augmentation strategies for the Bayesian spatial probit regression model
Fulltext Access 13 Pages 2012
Exact nonparametric meta-analysis for multiple independent doubly Type-II censored samples
Fulltext Access 13 Pages 2012
Global hypothesis test to simultaneously compare the predictive values of two binary diagnostic tests
Fulltext Access 13 Pages 2012
Ranking procedures for matched pairs with missing data — Asymptotic theory and a small sample approximation
Fulltext Access 13 Pages 2012
On a class of O(n2)O(n2) problems in computational geometry
Fulltext Access 13 Pages 2012
Reconstructing 3D compact sets
Fulltext Access 13 Pages 2012
The P versus NP–complete dichotomy of some challenging problems in graph theory
Fulltext Access 13 Pages 2012
Estimation of power quality indices in distributed generation systems during power islanding conditions
Fulltext Access 13 Pages 2012
H∞ load frequency control of interconnected power systems with communication delays
Fulltext Access 13 Pages 2012
Accurate fault location algorithm for double-circuit series compensated lines using a limited number of two-end synchronized measurements
Fulltext Access 13 Pages 2012
Long term distribution network planning considering urbanity uncertainties
Fulltext Access 13 Pages 2012
Sweep frequency response analysis for diagnosis of low level short circuit faults on the windings of power transformers: An experimental study
Fulltext Access 13 Pages 2012
Design and performance evaluation of SSSC supplementary modulation controller in power systems using SPEF method
Fulltext Access 13 Pages 2012
Performance enhancement and robustness assessment of VSC–HVDC transmission systems controllers under uncertainties
Fulltext Access 13 Pages 2012
A novel opposition-based gravitational search algorithm for combined economic and emission dispatch problems of power systems
Fulltext Access 13 Pages 2012
Understanding user differences in open-source workflow management system usage intentions
Fulltext Access 13 Pages 2012
Incremental maintenance of materialized views with outerjoins
Fulltext Access 13 Pages 2012
A hyper-heuristic for the Longest Common Subsequence problem
Fulltext Access 13 Pages 2012
Containment in Rule-Based Models
Fulltext Access 13 Pages 2012
Inferring a graph from path frequency
Fulltext Access 13 Pages 2012
Parameterized complexity of generalized domination problems
Fulltext Access 13 Pages 2012
Narrating Formal Proof (Work in Progress)
Fulltext Access 13 Pages 2012
Acyclic edge coloring of planar graphs without 5-cycles
Fulltext Access 13 Pages 2012
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
Fulltext Access 13 Pages 2012
A User-friendly Interface for a Lightweight Verification System
Fulltext Access 13 Pages 2012
Nominal SOS
Fulltext Access 14 Pages 2012
Order-sorted Equational Unification Revisited
Fulltext Access 14 Pages 2012
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Fulltext Access 14 Pages 2012
Observationally-induced Effects in Cartesian Closed Categories
Fulltext Access 14 Pages 2012
Final Semantics for Decorated Traces
Fulltext Access 14 Pages 2012
Visualising Reasoning: What ATP Can Learn From CP
Fulltext Access 14 Pages 2012
Continuation Models for the Lambda Calculus With Constructors
Fulltext Access 14 Pages 2012
The universality of iterated hashing over variable-length strings
Fulltext Access 14 Pages 2012
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
Fulltext Access 14 Pages 2012
Extracting a DPLL Algorithm
Fulltext Access 14 Pages 2012
Implementation of an Optimal Strategy for Algorithmic Debugging
Fulltext Access 14 Pages 2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Fulltext Access 14 Pages 2012
A branch-and-cut-and-price approach for the capacitated mm-ring–star problem
Fulltext Access 14 Pages 2012
Engineering the Prover Interface
Fulltext Access 14 Pages 2012
Stratified Static Analysis Based on Variable Dependencies
Fulltext Access 14 Pages 2012
SMT for Polynomial Constraints on Real Numbers
Fulltext Access 14 Pages 2012
Approximation algorithms for a geometric set cover problem
Fulltext Access 14 Pages 2012
Characterising the linear clique-width of a class of graphs by forbidden induced subgraphs
Fulltext Access 14 Pages 2012
A non-uniform birthday problem with applications to discrete logarithms
Fulltext Access 14 Pages 2012
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
Fulltext Access 14 Pages 2012
<< < 197 198 199 200 201 > >>
Related Topics
Genetic algorithm Articles
6327 Papers
Artificial Neural Network Articles
3435 Papers
Computer simulation Articles
3034 Papers
Fuzzy logic Articles
2743 Papers
Complexity Articles
2296 Papers
Dynamic programming Articles
2118 Papers
Robotics Articles
1524 Papers
GPS Articles
1452 Papers
Earthquake Articles
1351 Papers
Elastic modulus Articles
1250 Papers
Computational fluid dynamics (CFD) Articles
882 Papers
Parallel processing Articles
877 Papers
Earthquakes Articles
770 Papers
approximation algorithms Articles
728 Papers
Computational geometry Articles
723 Papers
Geographic information systems Articles
645 Papers
ICT Articles
638 Papers
Genetic programming Articles
638 Papers
Petri nets Articles
625 Papers
Semantic web Articles
592 Papers
Artificial Intelligence Articles
Computational Theory and Mathematics Articles
Computer Graphics and Computer-Aided Design Articles
Computer Networks and Communications Articles
Computer Science (General) Articles
Computer Science Applications Articles
Computer Vision and Pattern Recognition Articles
Hardware and Architecture Articles
Human-Computer Interaction Articles
Information Systems Articles
Signal Processing Articles
Software Articles
All Topics
Related Journals
Artificial Intelligence Journals
Computational Theory and Mathematics Journals
Computer Graphics and Computer-Aided Design Journals
Computer Networks and Communications Journals
Computer Science (General) Journals
Computer Science Applications Journals
Computer Vision and Pattern Recognition Journals
Hardware and Architecture Journals
Human-Computer Interaction Journals
Information Systems Journals
Signal Processing Journals
Software Journals
Computational Biology and Chemistry Journal
Artificial Intelligence Journal
Information Systems Journal
International Journal of Electrical Power & Energy Systems Journal
Big Data Research Journal
Computational Geometry Journal
Computational Statistics & Data Analysis Journal
Computer Languages, Systems & Structures Journal
Discrete Applied Mathematics Journal
Electronic Notes in Theoretical Computer Science Journal
Future Generation Computer Systems Journal
Fuzzy Information and Engineering Journal
Information and Computation Journal
Information Processing Letters Journal
Journal of Algorithms Journal
Journal of Computational Science Journal
Journal of Computer and System Sciences Journal
Journal of Discrete Algorithms Journal
Journal of Innovation in Digital Ecosystems Journal
The Journal of Logic and Algebraic Programming Journal
Journal of Logical and Algebraic Methods in Programming Journal
Journal of Parallel and Distributed Computing Journal
Science of Computer Programming Journal
Theoretical Computer Science Journal

Daneshyari.com

دسترسی سریع

  • صفحه اصلی دانشیاری
  • دسته بندی موضوعی مقالات
  • مقالات ترجمه شده
  • سفارش ترجمه مقاله
  • سفارش تولید محتوا
  • تولید محتوا

ارتباط

  • ورود
  • عضویت
  • تماس و پشتیبانی
  • تبلیغات

English Website

  • Home
  • Physical Sciences and Engineering
  • Life Sciences
  • Health Sciences
  • Social Sciences and Humanities