• 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

Integrated Java Bytecode Verification
Fulltext Access 12 Pages 2005
Graphs with the Erdős-Ko-Rado property
Fulltext Access 12 Pages 2005
Acute triangles in 4-connected maximal plane graphs
Fulltext Access 12 Pages 2005
Circular chromatic numbers of some distance graphs
Fulltext Access 12 Pages 2005
Distributed Partial Order Reduction of State Spaces
Fulltext Access 12 Pages 2005
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time
Fulltext Access 12 Pages 2005
A New Approach to Upward-Closed Set Backward Reachability Analysis
Fulltext Access 12 Pages 2005
Parallel Lempel Ziv coding
Fulltext Access 12 Pages 2005
Threshold properties of random boolean constraint satisfaction problems
Fulltext Access 12 Pages 2005
A very elementary presentation of the Hannenhalli-Pevzner theory
Fulltext Access 12 Pages 2005
Finding complementary cycles in locally semicomplete digraphs
Fulltext Access 12 Pages 2005
Linear-time modular decomposition of directed graphs
Fulltext Access 12 Pages 2005
Validation of Proofs Using PhoX
Fulltext Access 12 Pages 2005
Combined Static and Dynamic Analysis
Fulltext Access 12 Pages 2005
Propagation time for zero forcing on a graph
Fulltext Access 12 Pages 2005
Decision Procedures for Set-Valued Fields
Fulltext Access 12 Pages 2005
Inferring Object Invariants
Fulltext Access 12 Pages 2005
Fast Escape Analysis for Region-based Memory Management
Fulltext Access 12 Pages 2005
A Natural Deduction System for Keisler's Quantification
Fulltext Access 12 Pages 2005
Toward Translating Design Constraints to Run-Time Assertions
Fulltext Access 12 Pages 2005
From UML models to automatic generated tests for the dotLRN e-learning platform
Fulltext Access 12 Pages 2005
Towards Contract-based Testing of Web Services
Fulltext Access 12 Pages 2005
Validating Component Integration with C-TILCO
Fulltext Access 12 Pages 2005
On the structure of (P5,gem)-free graphs
Fulltext Access 12 Pages 2005
Tree decompositions with small cost
Fulltext Access 12 Pages 2005
Variation of the Wiener index under tree transformations
Fulltext Access 12 Pages 2005
Preference modeling on totally ordered sets by the Sugeno integral
Fulltext Access 12 Pages 2005
The complexity of base station positioning in cellular networks
Fulltext Access 12 Pages 2005
Elementary proofs of some q-identities of Jackson and Andrews-Jain
Fulltext Access 12 Pages 2005
Deciding the Security of Protocols with Commuting Public Key Encryption
Fulltext Access 12 Pages 2005
On the Relative Soundness of the Free Algebra Model for Public Key Encryption
Fulltext Access 12 Pages 2005
Extending Security Protocol Analysis: New Challenges
Fulltext Access 12 Pages 2005
Modeling Software Evolution by Treating History as a First Class Entity
Fulltext Access 12 Pages 2005
Extended Petersen graphs
Fulltext Access 12 Pages 2005
Tabular graphs and chromatic sum
Fulltext Access 12 Pages 2005
Leveraging UML Profiles to Generate Plugins From Visual Model Transformations
Fulltext Access 12 Pages 2005
Continuous-Time Probabilistic KLAIM
Fulltext Access 12 Pages 2005
Recent work in matroid representation theory
Fulltext Access 12 Pages 2005
Reusable Idioms and Patterns in Graph Transformation Languages
Fulltext Access 12 Pages 2005
Policy Analysis and Verification by Graph Transformation Tools
Fulltext Access 12 Pages 2005
Rule-Based Programming with Diaplan
Fulltext Access 12 Pages 2005
Programmable Rewriting Strategies in Haskell
Fulltext Access 12 Pages 2005
Extensions of Boolean isometries
Fulltext Access 12 Pages 2005
Invariant-Driven Strategies for Maude
Fulltext Access 12 Pages 2005
Rebuilding convex sets in graphs
Fulltext Access 12 Pages 2005
Gödel-Dummett Counter-models through Matrix Computation
Fulltext Access 12 Pages 2005
TSAT++: an Open Platform for Satisfiability Modulo Theories
Fulltext Access 12 Pages 2005
Trivially noncontractible edges in a contraction critically 5-connected graph
Fulltext Access 12 Pages 2005
Acyclic colorings of locally planar graphs
Fulltext Access 13 Pages 2005
Experimental evaluation of a tree decomposition-based algorithm for vertex cover on planar graphs
Fulltext Access 13 Pages 2005
On the descriptional complexity of some rewriting mechanisms regulated by context conditions
Fulltext Access 13 Pages 2005
Generalized list T-colorings of cycles
Fulltext Access 13 Pages 2005
The effect of machine availability on the worst-case performance of LPT
Fulltext Access 13 Pages 2005
Pseudo-models and propositional Horn inference
Fulltext Access 13 Pages 2005
On routing of wavebands for all-to-all communications in all-optical paths and cycles
Fulltext Access 13 Pages 2005
Group coloring is Π2P-complete
Fulltext Access 13 Pages 2005
Decomposing toroidal graphs into circuits and edges
Fulltext Access 13 Pages 2005
(p,k)-coloring problems in line graphs
Fulltext Access 13 Pages 2005
An analysis of the LPT algorithm for the max-min and the min-ratio partition problems
Fulltext Access 13 Pages 2005
Codes and sofic constraints
Fulltext Access 13 Pages 2005
On the complexity of finding emerging patterns
Fulltext Access 13 Pages 2005
On certain morphisms of sequential dynamical systems
Fulltext Access 13 Pages 2005
Vertex-disjoint 4-cycles containing specified edges in a bipartite graph
Fulltext Access 13 Pages 2005
The recognition of bound quivers using edge-coloured homomorphisms
Fulltext Access 13 Pages 2005
Periodic de Bruijn triangles: exact and asymptotic results
Fulltext Access 13 Pages 2005
On the equivalence problem for succession rules
Fulltext Access 13 Pages 2005
Limit shape of convex lattice polygons with minimal perimeter
Fulltext Access 13 Pages 2005
Duality for finite multiple harmonic q-series
Fulltext Access 13 Pages 2005
Transition polynomials
Fulltext Access 13 Pages 2005
Complexes of discrete Morse functions
Fulltext Access 13 Pages 2005
The stabilizer of the Adelaide oval
Fulltext Access 13 Pages 2005
The distribution of elements in automatic double sequences
Fulltext Access 13 Pages 2005
Chromatic sums of 2-edge-connected maps on the plane
Fulltext Access 13 Pages 2005
(δ,g)-cages with g⩾10 are 4-connected
Fulltext Access 13 Pages 2005
Homomorphic images of △(2,3,11)
Fulltext Access 13 Pages 2005
Supersolvable LL-lattices of binary trees
Fulltext Access 13 Pages 2005
A criterion for primitive polynomials over Galois rings
Fulltext Access 13 Pages 2005
5-Chromatic even triangulations on the Klein bottle
Fulltext Access 13 Pages 2005
Acute triangles in triangulations on the plane with minimum degree at least 4
Fulltext Access 13 Pages 2005
Ovoids and spreads of the generalized hexagon H(3)
Fulltext Access 13 Pages 2005
Homomorphisms and colourings of oriented graphs: An updated survey
Fulltext Access 13 Pages 2005
LA, permutations, and the Hajós Calculus
Fulltext Access 13 Pages 2005
Counting unrooted loopless planar maps
Fulltext Access 13 Pages 2005
Bartholdi zeta functions of graph bundles having regular fibers
Fulltext Access 13 Pages 2005
A new framework for addressing temporal range queries and some preliminary results
Fulltext Access 13 Pages 2005
Computing unsatisfiable k-SAT instances with few occurrences per variable
Fulltext Access 13 Pages 2005
Semi-on-line multiprocessor scheduling with given total processing time
Fulltext Access 13 Pages 2005
Probabilistic analysis of algorithms for the Dutch national flag problem
Fulltext Access 13 Pages 2005
The approximability of the weighted Hamiltonian path completion problem on a tree
Fulltext Access 13 Pages 2005
Synchronized shuffles
Fulltext Access 13 Pages 2005
A new dimension sensitive property for cellular automata
Fulltext Access 13 Pages 2005
Counterexamples to the nonorientable genus conjecture for complete tripartite graphs
Fulltext Access 13 Pages 2005
The complexity of modular decomposition of Boolean functions
Fulltext Access 13 Pages 2005
On a bidirected relaxation for the MULTIWAY CUT problem
Fulltext Access 13 Pages 2005
ℓ-Parametric eigenproblem in max-algebra
Fulltext Access 13 Pages 2005
Optimization and reconstruction of hv-convex (0,1)-matrices
Fulltext Access 13 Pages 2005
Relative difference sets in Alt(5)
Fulltext Access 13 Pages 2005
Graphical condensation for enumerating perfect matchings
Fulltext Access 13 Pages 2005
Shifted products that are coprime pure powers
Fulltext Access 13 Pages 2005
Bounds for the growth rate of meander numbers
Fulltext Access 13 Pages 2005
<< < 231 232 233 234 235 > >>
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