• 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

Reconstruction of a word from a multiset of its factors
Fulltext Access 14 Pages 2008
Optimal and near-optimal mixed covering arrays by column expansion
Fulltext Access 14 Pages 2008
Edge-colorings avoiding rainbow and monochromatic subgraphs
Fulltext Access 14 Pages 2008
Cells in any simple polygon formed by a planar point set
Fulltext Access 14 Pages 2008
A special class of tensor categories initiated by inverse braid monoids
Fulltext Access 14 Pages 2008
Constructions of almost difference families
Fulltext Access 14 Pages 2008
Stable sets of maximum weight in (P7P7, banner)-free graphs
Fulltext Access 14 Pages 2008
Distributing vertices along a Hamiltonian cycle in Dirac graphs
Fulltext Access 14 Pages 2008
Geometric graphs which are 1-skeletons of unstacked triangulated polygons
Fulltext Access 14 Pages 2008
On realizations of point determining graphs, and obstructions to full homomorphisms
Fulltext Access 14 Pages 2008
The spectrum for large sets of pure Mendelsohn triple systems
Fulltext Access 14 Pages 2008
Set maps, umbral calculus, and the chromatic polynomial
Fulltext Access 14 Pages 2008
A symbolic operator approach to several summation formulas for power series II
Fulltext Access 14 Pages 2008
Contractible subgraphs, Thomassen’s conjecture and the dominating cycle conjecture for snarks
Fulltext Access 14 Pages 2008
Self-deployment of mobile sensors on a ring
Fulltext Access 14 Pages 2008
Minimizing interference of a wireless ad-hoc network in a plane
Fulltext Access 14 Pages 2008
Efficient corona training protocols for sensor networks
Fulltext Access 14 Pages 2008
Scheduling to maximize participation
Fulltext Access 14 Pages 2008
Deterministic monotone algorithms for scheduling on related machines
Fulltext Access 14 Pages 2008
A rounding algorithm for approximating minimum Manhattan networks
Fulltext Access 14 Pages 2008
The moving curve ideal and the Rees algebra
Fulltext Access 14 Pages 2008
On isoperimetrically optimal polyforms
Fulltext Access 14 Pages 2008
Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity
Fulltext Access 14 Pages 2008
Succinct representations of planar maps
Fulltext Access 14 Pages 2008
Drawing colored graphs on colored points
Fulltext Access 14 Pages 2008
A characterization of a class of dimensional dual hyperovals with doubly transitive automorphism groups and its applications
Fulltext Access 14 Pages 2008
Eigenvalue bounds for independent sets
Fulltext Access 14 Pages 2008
Finding the exact bound of the maximum degrees of class two graphs embeddable in a surface of characteristic ϵ∈{−1,−2,−3}
Fulltext Access 14 Pages 2008
A lower bound for the number of triangular embeddings of some complete graphs and complete regular tripartite graphs
Fulltext Access 14 Pages 2008
Orientable embedding genus distribution for certain types of graphs
Fulltext Access 14 Pages 2008
On the chromatic number of random graphs
Fulltext Access 14 Pages 2008
On minimally k-connected matroids
Fulltext Access 14 Pages 2008
Infinitely many one-regular Cayley graphs on dihedral groups of any prescribed valency
Fulltext Access 14 Pages 2008
An upper bound for permanents of nonnegative matrices
Fulltext Access 14 Pages 2008
A Schur function identity related to the (−1)-enumeration of self-complementary plane partitions
Fulltext Access 14 Pages 2008
On triangle-free distance-regular graphs with an eigenvalue multiplicity equal to the valency
Fulltext Access 14 Pages 2008
Trees, functional equations, and combinatorial Hopf algebras
Fulltext Access 14 Pages 2008
A characterization of the Hamming graph by strongly closed subgraphs
Fulltext Access 14 Pages 2008
Paths and trails in edge-colored graphs
Fulltext Access 14 Pages 2008
Proof of Berge’s strong path partition conjecture for k=2k=2
Fulltext Access 14 Pages 2008
Characterizations of finite and infinite episturmian words via lexicographic orderings
Fulltext Access 14 Pages 2008
Labeled posets are universal
Fulltext Access 14 Pages 2008
Counting vertices and cubes in median graphs of circular split systems
Fulltext Access 14 Pages 2008
Completely compressible Bruhat intervals and Kazhdan–Lusztig polynomials
Fulltext Access 14 Pages 2008
On two coloring problems in mixed graphs
Fulltext Access 14 Pages 2008
Density of constant radius normal binary covering codes
Fulltext Access 14 Pages 2008
On arc-traceable local tournaments
Fulltext Access 14 Pages 2008
Construction of some countable 1-arc-transitive bipartite graphs
Fulltext Access 14 Pages 2008
Total and fractional total colourings of circulant graphs
Fulltext Access 14 Pages 2008
Latin bitrades derived from groups
Fulltext Access 14 Pages 2008
A New Proposal for Debugging Datalog Programs 1
Fulltext Access 14 Pages 2008
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Fulltext Access 14 Pages 2008
Cyclic Extensions of Order Varieties
Fulltext Access 14 Pages 2008
Separation Logic for Multiple Inheritance
Fulltext Access 14 Pages 2008
Cooperative Testing of Timed Systems
Fulltext Access 14 Pages 2008
On Verification of Linear Occurrence Properties of Real-Time Systems
Fulltext Access 14 Pages 2008
Automatic Verification of Combined Specifications: An Overview
Fulltext Access 14 Pages 2008
Quantum Arrows in Haskell
Fulltext Access 14 Pages 2008
Interaction in Time and Space
Fulltext Access 14 Pages 2008
Extending Lustre with Timeout Automata
Fulltext Access 14 Pages 2008
A Model Checking Approach to Protocol Conversion
Fulltext Access 14 Pages 2008
Towards Mutation Analysis for Lustre Programs
Fulltext Access 14 Pages 2008
Declaring Numbers
Fulltext Access 14 Pages 2008
Rewriting Interpolants
Fulltext Access 14 Pages 2008
Computational Origami Construction as Constraint Solving and Rewriting
Fulltext Access 14 Pages 2008
The HiVe Writer
Fulltext Access 14 Pages 2008
A Tool for Programming with Interaction Nets
Fulltext Access 14 Pages 2008
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules 1
Fulltext Access 14 Pages 2008
ConSpec – A Formal Language for Policy Specification 1
Fulltext Access 14 Pages 2008
Monitoring External Resources in Java MIDP
Fulltext Access 14 Pages 2008
A Virtual Machine Based Information Flow Control System for Policy Enforcement 1
Fulltext Access 14 Pages 2008
Distributed Verification of Multi-threaded C++ Programs
Fulltext Access 14 Pages 2008
A Stack-Slicing Algorithm for Multi-Core Model Checking
Fulltext Access 14 Pages 2008
Normalization for the Simply-Typed Lambda-Calculus in Twelf
Fulltext Access 14 Pages 2008
Reduction and Refinement
Fulltext Access 14 Pages 2008
Schur aggregation for linear systems and determinants
Fulltext Access 14 Pages 2008
The computational complexity of the parallel knock-out problem
Fulltext Access 14 Pages 2008
Approximating a vehicle scheduling problem with time windows and handling times
Fulltext Access 14 Pages 2008
On different generalizations of episturmian words
Fulltext Access 14 Pages 2008
Role-based access control for boxed ambients
Fulltext Access 14 Pages 2008
Symmetrized β -integers
Fulltext Access 14 Pages 2008
Simple permutations: Decidability and unavoidable substructures
Fulltext Access 14 Pages 2008
Learning and extending sublanguages
Fulltext Access 14 Pages 2008
Computational complexity of determining which statements about causality hold in different space–time models
Fulltext Access 14 Pages 2008
Evolving BlenX programs to simulate the evolution of biological networks
Fulltext Access 14 Pages 2008
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA
Fulltext Access 14 Pages 2008
: A calculus for the modeling and simulation of nano devices
Fulltext Access 14 Pages 2008
A numerical elimination method for polynomial computations
Fulltext Access 14 Pages 2008
Modeling and Verifying Graph Transformations in Proof Assistants
Fulltext Access 14 Pages 2008
Gravitational wave signal templates, pattern recognition, and reciprocal Eulerian gamma functions
Fulltext Access 14 Pages 2008
Real algebraic numbers and polynomial systems of small degree
Fulltext Access 14 Pages 2008
Generic density and small span theorem
Fulltext Access 14 Pages 2008
Bin packing with controllable item sizes
Fulltext Access 14 Pages 2008
Unambiguous Boolean grammars
Fulltext Access 14 Pages 2008
Encoding Distributed Process Calculi into LMNtal
Fulltext Access 14 Pages 2008
Expressiveness of Process Algebras
Fulltext Access 14 Pages 2008
Time Separation of Events: An Inverse Method
Fulltext Access 14 Pages 2008
Describing the Immune System Using Enhanced Mobile Membranes 1
Fulltext Access 14 Pages 2008
Encoding First Order Proofs in SMT
Fulltext Access 14 Pages 2008
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
Fulltext Access 14 Pages 2008
<< < 179 180 181 182 183 > >>
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