• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Daneshyari Theoretical Computer Science Journas Latest Articles

Theoretical Computer Science Research Articles

Generic algorithms for some decision problems on fasciagraphs and rotagraphs
Fulltext Access 13 Pages 2012
Remoteness of permutation codes
Fulltext Access 13 Pages 2012
Capturing matroid elements in unavoidable 3-connected minors
Fulltext Access 13 Pages 2012
A new construction of the dd-dimensional Buratti–Del Fra dual hyperoval
Fulltext Access 13 Pages 2012
On cyclic GG-designs where GG is a cubic tripartite graph
Fulltext Access 13 Pages 2012
3-consecutive edge coloring of a graph
Fulltext Access 13 Pages 2012
Minimal covers of the prisms and antiprisms
Fulltext Access 13 Pages 2012
Catalan numbers and pattern restricted set partitions
Fulltext Access 13 Pages 2012
On coloring problems with local constraints
Fulltext Access 13 Pages 2012
The eccentricity sequences of Fibonacci and Lucas cubes
Fulltext Access 13 Pages 2012
Existence of Steiner quadruple systems with a spanning block design
Fulltext Access 13 Pages 2012
Cyclic sieving of finite Grassmannians and flag varieties
Fulltext Access 13 Pages 2012
Separation properties of 3-Steiner and 3-monophonic convexity in graphs
Fulltext Access 13 Pages 2012
On the structure of the h-vector of a paving matroid
Fulltext Access 13 Pages 2012
Foldings in graphs and relations with simplicial complexes and posets
Fulltext Access 13 Pages 2012
Gray codes with bounded weights
Fulltext Access 13 Pages 2012
Closure, clique covering and degree conditions for Hamilton-connectedness in claw-free graphs
Fulltext Access 13 Pages 2012
Generating an internally 4-connected binary matroid from another
Fulltext Access 13 Pages 2012
Reflexive digraphs with near unanimity polymorphisms
Fulltext Access 13 Pages 2012
Seifert graphs and the braid index of classical and singular links
Fulltext Access 13 Pages 2012
On sum coloring and sum multi-coloring for restricted families of graphs
Fulltext Access 13 Pages 2012
Coordinated scheduling of production and delivery with production window and delivery capacity constraints
Fulltext Access 13 Pages 2012
Approximating the least hypervolume contributor: NP-hard in general, but fast in practice
Fulltext Access 13 Pages 2012
Quotient geometric crossovers and redundant encodings
Fulltext Access 13 Pages 2012
Exact and approximation algorithms for error-detecting even codes
Fulltext Access 13 Pages 2012
Flows and parity subgraphs of graphs with large odd-edge-connectivity
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
On triple systems and strongly regular graphs
Fulltext Access 13 Pages 2012
Ordered Bell numbers, Hermite polynomials, skew Young tableaux, and Borel orbits
Fulltext Access 13 Pages 2012
Conical and spherical graphs
Fulltext Access 13 Pages 2012
Symmetric circular matchings and RNA folding
Fulltext Access 13 Pages 2012
Weak geodesic topology and fixed finite subgraph theorems in infinite partial cubes II. Fixed subgraph properties and infinite treelike partial cubes
Fulltext Access 13 Pages 2012
Acyclic edge coloring of sparse graphs
Fulltext Access 13 Pages 2012
Mehler formulae for matching polynomials of graphs and independence polynomials of clawfree graphs
Fulltext Access 13 Pages 2012
Nonnegative k-sums, fractional covers, and probability of small deviations
Fulltext Access 13 Pages 2012
The size Ramsey number of a directed path
Fulltext Access 13 Pages 2012
Towards a splitter theorem for internally 4-connected binary matroids
Fulltext Access 13 Pages 2012
Erdős–Hajnal-type theorems in hypergraphs
Fulltext Access 13 Pages 2012
Faster approximation schemes and parameterized algorithms on (odd-)H-minor-free graphs
Fulltext Access 13 Pages 2012
Clique or hole in claw-free graphs
Fulltext Access 13 Pages 2012
Chains of modular elements and shellability
Fulltext Access 13 Pages 2012
Two variants of Wythoffʼs game preserving its P-positions
Fulltext Access 13 Pages 2012
Two integer sequences related to Catalan numbers
Fulltext Access 13 Pages 2012
Diamond-free families
Fulltext Access 13 Pages 2012
Counting subset sums of finite abelian groups
Fulltext Access 13 Pages 2012
The generating rank of the unitary and symplectic Grassmannians
Fulltext Access 13 Pages 2012
Combinatorial variations on Cantorʼs diagonal
Fulltext Access 13 Pages 2012
Categorification of a frieze pattern determinant
Fulltext Access 13 Pages 2012
Counting (3 + 1)-avoiding permutations
Fulltext Access 13 Pages 2012
Finite connectivity in infinite matroids
Fulltext Access 13 Pages 2012
Inferring a graph from path frequency
Fulltext Access 13 Pages 2012
An algorithmic analysis of the Honey-Bee game
Fulltext Access 13 Pages 2012
Restricted space algorithms for isomorphism on bounded treewidth graphs
Fulltext Access 13 Pages 2012
Consecutive ones property and PQ-trees for multisets: Hardness of counting their orderings
Fulltext Access 13 Pages 2012
Containment in Rule-Based Models
Fulltext Access 13 Pages 2012
Narrating Formal Proof (Work in Progress)
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
Acyclic edge coloring of planar graphs without 5-cycles
Fulltext Access 13 Pages 2012
Parameterized complexity of generalized domination problems
Fulltext Access 13 Pages 2012
Toward a deterministic polynomial time algorithm with optimal additive query complexity
Fulltext Access 13 Pages 2012
The P versus NP–complete dichotomy of some challenging problems in graph theory
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
Online maximum kk-coverage
Fulltext Access 13 Pages 2012
Minimizing a sum of submodular functions
Fulltext Access 13 Pages 2012
Minsum hyperspheres in normed spaces
Fulltext Access 13 Pages 2012
Computing feasible toolpaths for 5-axis machines
Fulltext Access 13 Pages 2012
Multiflows in symmetric digraphs
Fulltext Access 13 Pages 2012
Modular discrete time approximations of distributed hybrid automata
Fulltext Access 13 Pages 2012
Asynchronous P systems with active membranes
Fulltext Access 13 Pages 2012
State complexity of operations on two-way finite automata over a unary alphabet
Fulltext Access 13 Pages 2012
On a structural property in the state complexity of projected regular languages
Fulltext Access 13 Pages 2012
From key predistribution to key redistribution
Fulltext Access 13 Pages 2012
The complexity of asynchronous model based testing
Fulltext Access 13 Pages 2012
The binary perfect phylogeny with persistent characters
Fulltext Access 13 Pages 2012
Algorithmic decomposition of shuffle on words
Fulltext Access 13 Pages 2012
The binary identification problem for weighted trees
Fulltext Access 13 Pages 2012
The k-resource problem in uniform metric spaces
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
Nondeterministic state complexity of star-free languages
Fulltext Access 13 Pages 2012
New techniques for approximating optimal substructure problems in power-law graphs
Fulltext Access 13 Pages 2012
Loosely-stabilizing leader election in a population protocol model
Fulltext Access 13 Pages 2012
Revisiting randomized parallel load balancing algorithms
Fulltext Access 13 Pages 2012
On mutual concavity and strategically-zero-sum bimatrix games
Fulltext Access 13 Pages 2012
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Fulltext Access 14 Pages 2012
Extracting a DPLL Algorithm
Fulltext Access 14 Pages 2012
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
Fulltext Access 14 Pages 2012
Nominal SOS
Fulltext Access 14 Pages 2012
Final Semantics for Decorated Traces
Fulltext Access 14 Pages 2012
Observationally-induced Effects in Cartesian Closed Categories
Fulltext Access 14 Pages 2012
Order-sorted Equational Unification Revisited
Fulltext Access 14 Pages 2012
Implementation of an Optimal Strategy for Algorithmic Debugging
Fulltext Access 14 Pages 2012
Stratified Static Analysis Based on Variable Dependencies
Fulltext Access 14 Pages 2012
Engineering the Prover Interface
Fulltext Access 14 Pages 2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Fulltext Access 14 Pages 2012
Visualising Reasoning: What ATP Can Learn From CP
Fulltext Access 14 Pages 2012
<< < 104 105 106 107 108 > >>
Related Topics
Fuzzy logic Articles
2743 Papers
Earthquakes Articles
770 Papers
Information theory Articles
762 Papers
Laplace transform Articles
639 Papers
Algebra and Number Theory Articles
Analysis Articles
Applied Mathematics Articles
Computational Mathematics Articles
Control and Optimization Articles
Discrete Mathematics and Combinatorics Articles
Geometry and Topology Articles
Logic Articles
Mathematical Physics Articles
Mathematics (General) Articles
Modelling and Simulation Articles
Numerical Analysis Articles
Statistics and Probability Articles
Theoretical Computer Science Articles
All Topics
Related Journals
Algebra and Number Theory Journals
Analysis Journals
Applied Mathematics Journals
Computational Mathematics Journals
Control and Optimization Journals
Discrete Mathematics and Combinatorics Journals
Geometry and Topology Journals
Logic Journals
Mathematical Physics Journals
Mathematics (General) Journals
Modelling and Simulation Journals
Numerical Analysis Journals
Statistics and Probability Journals
Theoretical Computer Science Journals
Discrete Applied Mathematics Journal
Electronic Notes in Theoretical Computer Science Journal
Information and Computation Journal
Theoretical Computer Science Journal
Journal of the Nigerian Mathematical Society Journal
AKCE International Journal of Graphs and Combinatorics Journal
Discrete Mathematics Journal
European Journal of Combinatorics Journal
Journal of Combinatorial Theory, Series A Journal
Journal of Combinatorial Theory, Series B Journal

Daneshyari.com

دسترسی سریع

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

ارتباط

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

English Website

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