• 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

Closure properties of cellular automata
Fulltext Access 11 Pages 2006
Signal extraction and knowledge discovery based on statistical modeling
Fulltext Access 11 Pages 2006
Partial algebras, meaning categories and algebraization
Fulltext Access 11 Pages 2006
Sorted dependency insertion grammars
Fulltext Access 11 Pages 2006
Simplifying the weft hierarchy
Fulltext Access 11 Pages 2006
The degree distribution of the generalized duplication model
Fulltext Access 11 Pages 2006
Deadlocks and dihomotopy in mutual exclusion models
Fulltext Access 11 Pages 2006
A lower bound on the competitivity of memoryless algorithms for a generalization of the CNN problem
Fulltext Access 11 Pages 2006
Zeno machines and hypercomputation
Fulltext Access 11 Pages 2006
On the computational content of the Lawson topology
Fulltext Access 11 Pages 2006
Independent domination in hereditary classes
Fulltext Access 11 Pages 2006
On product covering in 3-tier supply chain models: Natural complete problems for W[3] and W[4]
Fulltext Access 11 Pages 2006
Prime normal form and equivalence of simple grammars
Fulltext Access 11 Pages 2006
Deterministic M2M multicast in radio networks
Fulltext Access 11 Pages 2006
Efficiently covering complex networks with cliques of similar vertices
Fulltext Access 11 Pages 2006
Synthesis of multi-qudit hybrid and d-valued quantum logic circuits by decomposition
Fulltext Access 11 Pages 2006
On learning embedded midbit functions
Fulltext Access 11 Pages 2006
The scientific works of Rainer Kemp (1949–2004)
Fulltext Access 11 Pages 2006
Subpancyclicity of line graphs and degree sums along paths
Fulltext Access 11 Pages 2006
On the complexity of suboptimal decoding for list and decision feedback schemes
Fulltext Access 11 Pages 2006
Polynomial interpolation of cryptographic functions related to Diffie–Hellman and discrete logarithm problem
Fulltext Access 11 Pages 2006
An explicit class of codes with good parameters and their duals
Fulltext Access 11 Pages 2006
Competitive algorithms for the bicriteria kk-server problem
Fulltext Access 11 Pages 2006
Complexity of minimizing the total flow time with interval data and minmax regret criterion
Fulltext Access 11 Pages 2006
On a certain class of nonideal clutters
Fulltext Access 11 Pages 2006
Reoptimization gaps versus model errors in online-dispatching of service units for ADAC
Fulltext Access 11 Pages 2006
Some arithmetic properties of the qq-Euler numbers and qq-Salié numbers
Fulltext Access 12 Pages 2006
Large sets of t-designs through partitionable sets: A survey
Fulltext Access 12 Pages 2006
A classification of regular tt-balanced Cayley maps on dihedral groups
Fulltext Access 12 Pages 2006
Structure of digraphs associated with quadratic congruences with composite moduli
Fulltext Access 12 Pages 2006
The maximum size of 4-wise 2-intersecting and 4-wise 2-union families
Fulltext Access 12 Pages 2006
Spanning trails containing given edges
Fulltext Access 12 Pages 2006
An optimal locating-dominating set in the infinite triangular grid
Fulltext Access 12 Pages 2006
Longest cycles in almost regular 3-partite tournaments
Fulltext Access 12 Pages 2006
A characterization of P4P4-comparability graphs
Fulltext Access 12 Pages 2006
Sumsets in dihedral groups
Fulltext Access 12 Pages 2006
Extended skew partition problem
Fulltext Access 12 Pages 2006
Restricted signed permutations counted by the Schröder numbers
Fulltext Access 12 Pages 2006
Further results on (v,4,1)(v,4,1)-perfect difference families
Fulltext Access 12 Pages 2006
Acyclically pushable bipartite permutation digraphs: An algorithm
Fulltext Access 12 Pages 2006
Asymmetry in k-center variants
Fulltext Access 12 Pages 2006
A non-learnable class of E-pattern languages
Fulltext Access 12 Pages 2006
On groups with the Lohse property
Fulltext Access 12 Pages 2006
Hamilton cycles in random lifts of graphs
Fulltext Access 12 Pages 2006
The Borsuk–Ulam-property, Tucker-property and constructive proofs in combinatorics
Fulltext Access 12 Pages 2006
Detailed wordlength pattern of regular fractional factorial split-plot designs in terms of complementary sets
Fulltext Access 12 Pages 2006
Efficient computation of 2-medians in a tree network with positive/negative weights
Fulltext Access 12 Pages 2006
Minimal separators in P4P4-sparse graphs
Fulltext Access 12 Pages 2006
Product representations of polynomials
Fulltext Access 12 Pages 2006
The Bergman complex of a matroid and phylogenetic trees
Fulltext Access 12 Pages 2006
Foundations of elation generalized quadrangles
Fulltext Access 12 Pages 2006
Matroid tree-width
Fulltext Access 12 Pages 2006
A combinatorial proof of the Rogers–Ramanujan and Schur identities
Fulltext Access 12 Pages 2006
Decomposable symmetric designs
Fulltext Access 12 Pages 2006
Mono-multi bipartite Ramsey numbers, designs, and matrices
Fulltext Access 12 Pages 2006
A symmetric Roos bound for linear codes
Fulltext Access 12 Pages 2006
Aggregate error locator and error value computation in AG codes
Fulltext Access 12 Pages 2006
Hamiltonicity in 3-connected claw-free graphs
Fulltext Access 12 Pages 2006
On the diameter of separated point sets with many nearly equal distances
Fulltext Access 12 Pages 2006
On polynomial digraphs
Fulltext Access 12 Pages 2006
Uniformly cordial graphs
Fulltext Access 12 Pages 2006
A lemma on polynomials modulo pmpm and applications to coding theory
Fulltext Access 12 Pages 2006
Gauss: A Framework for Verifying Scientific Computing Software 1
Fulltext Access 12 Pages 2006
Natural Deduction for Full S5 Modal Logic with Weak Normalization
Fulltext Access 12 Pages 2006
Integrating a SAT Solver with an LCF-style Theorem Prover
Fulltext Access 12 Pages 2006
Tool Building Requirements for an API to First-Order Solvers
Fulltext Access 12 Pages 2006
Encoding RTL Constructs for MathSAT: a Preliminary Report
Fulltext Access 12 Pages 2006
Graph Transformation in a Nutshell
Fulltext Access 12 Pages 2006
Automatic Verification of Fault-Tolerant Register Emulations
Fulltext Access 12 Pages 2006
Abstract Regular Tree Model Checking
Fulltext Access 12 Pages 2006
Distribution, Approximation and Probabilistic Model Checking
Fulltext Access 12 Pages 2006
Compositionality of Security Protocols: A Research Agenda
Fulltext Access 12 Pages 2006
Nonstandard Meromorphic Groups
Fulltext Access 12 Pages 2006
Reactive Concurrent Programming Revisited
Fulltext Access 12 Pages 2006
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
Fulltext Access 12 Pages 2006
Towards Test Purpose Generation from CTL Properties for Reactive Systems
Fulltext Access 12 Pages 2006
Reo Based Interaction Model
Fulltext Access 12 Pages 2006
Reasoning with Graphs
Fulltext Access 12 Pages 2006
Propositional Games with Explicit Strategies
Fulltext Access 12 Pages 2006
Formalizing Type Operations Using the “Image” Type Constructor
Fulltext Access 12 Pages 2006
Proof Mining in R-trees and Hyperbolic Spaces
Fulltext Access 12 Pages 2006
Three concepts of decidability for general subsets of uncountable spaces
Fulltext Access 12 Pages 2006
Asynchronous deterministic rendezvous in graphs
Fulltext Access 12 Pages 2006
A linear time algorithm for binary tree sequences transformation using left-arm and right-arm rotations
Fulltext Access 12 Pages 2006
Many hard examples in exact phase transitions
Fulltext Access 12 Pages 2006
Identification of biRFSA languages
Fulltext Access 12 Pages 2006
Computing by commuting
Fulltext Access 12 Pages 2006
Representation of a class of nondeterministic semiautomata by canonical words
Fulltext Access 12 Pages 2006
Some formal tools for analyzing quantum automata
Fulltext Access 12 Pages 2006
A genetic system based on simulated crossover of sequences of two-bit genes
Fulltext Access 12 Pages 2006
Divergence bounded computable real numbers
Fulltext Access 12 Pages 2006
NL-printable sets and nondeterministic Kolmogorov complexity
Fulltext Access 12 Pages 2006
A computational model for RNA multiple structural alignment
Fulltext Access 12 Pages 2006
Broadcasting in unstructured peer-to-peer overlay networks
Fulltext Access 12 Pages 2006
Scheduling linear deteriorating jobs with an availability constraint on a single machine
Fulltext Access 12 Pages 2006
Approximation algorithms for facility location problems with a special class of subadditive cost functions
Fulltext Access 12 Pages 2006
Graph bandwidth of weighted caterpillars
Fulltext Access 12 Pages 2006
Why Aspect-Oriented Software Development And Model-Driven Development Are Not The Same – A Position Paper –
Fulltext Access 12 Pages 2006
An Aspect-Oriented Approach to Modular Behavioral Specification
Fulltext Access 12 Pages 2006
A Concern-based Technique for Architecture Modelling Using the UML Package Merge
Fulltext Access 12 Pages 2006
<< < 214 215 216 217 218 > >>
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