• 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

Concurrent Separation Logic and Operational Semantics
Fulltext Access 17 Pages 2011
Fuzzy quartile encoding as a preprocessing method for biomedical pattern classification
Fulltext Access 17 Pages 2011
Axiomatizing Hybrid Products of Monotone Neighborhood Frames
Fulltext Access 17 Pages 2011
Game Semantics for Quantum Data
Fulltext Access 17 Pages 2011
How to Randomly Flip a Quantum Bit
Fulltext Access 17 Pages 2011
Categorical Formulation of Finite-dimensional C*-algebras
Fulltext Access 17 Pages 2011
Conservative and aggressive rough SVR modeling
Fulltext Access 17 Pages 2011
Functional Extensions to the Boost Metaprogram Library
Fulltext Access 17 Pages 2011
Maps related to Grigorchuk’s group
Fulltext Access 17 Pages 2011
Multiobjective Harmony Search Algorithm Proposals
Fulltext Access 17 Pages 2011
An Approach for 2D Visual Occupancy Grid Map Using Monocular Vision
Fulltext Access 17 Pages 2011
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Fulltext Access 17 Pages 2011
Partially-commutative context-free processes: Expressibility and tractability
Fulltext Access 17 Pages 2011
Treewidth computations II. Lower bounds
Fulltext Access 17 Pages 2011
Sequent calculi and decidability for intuitionistic hybrid logic
Fulltext Access 17 Pages 2011
A modal logic internalizing normal proofs
Fulltext Access 17 Pages 2011
The γ-vector of a barycentric subdivision
Fulltext Access 17 Pages 2011
Combinatorics on permutation tableaux of type A and type B
Fulltext Access 17 Pages 2011
List of Referees
Fulltext Access 17 Pages 2011
On the Polya permanent problem over finite fields
Fulltext Access 17 Pages 2011
The tau constant and the discrete Laplacian matrix of a metrized graph
Fulltext Access 17 Pages 2011
Inequalities for symmetric means
Fulltext Access 17 Pages 2011
Stochastic Modelling and Optimisation of Internet Auction Processes
Fulltext Access 17 Pages 2011
On coalgebras over algebras
Fulltext Access 17 Pages 2011
Secure and self-stabilizing clock synchronization in sensor networks
Fulltext Access 17 Pages 2011
Simplifying maximum flow computations: The effect of shrinking and good initial flows
Fulltext Access 17 Pages 2011
Equational tree transformations
Fulltext Access 17 Pages 2011
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders
Fulltext Access 17 Pages 2011
Distributed computation of virtual coordinates for greedy routing in sensor networks
Fulltext Access 17 Pages 2011
Noisy colored point set matching
Fulltext Access 17 Pages 2011
On the complexity of enumerating pseudo-intents
Fulltext Access 17 Pages 2011
Vertex splitting and the recognition of trapezoid graphs
Fulltext Access 17 Pages 2011
Combinatorial trees arising in the study of interval exchange transformations
Fulltext Access 17 Pages 2011
Exact and approximate equilibria for optimal group network formation
Fulltext Access 17 Pages 2011
Symmetry and Composition in Probabilistic Theories
Fulltext Access 17 Pages 2011
Unfair permutations
Fulltext Access 17 Pages 2011
Büchi context-free languages
Fulltext Access 17 Pages 2011
Varieties of recognizable tree series over fields
Fulltext Access 17 Pages 2011
The Max-Flow Min-Cut theorem for countable networks
Fulltext Access 17 Pages 2011
Stochastic minority on graphs
Fulltext Access 17 Pages 2011
Patterns for multigrid equidistributed functions: Application to general parabolas and length estimation
Fulltext Access 17 Pages 2011
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains
Fulltext Access 17 Pages 2011
The large deviation principle for the Erdős-Rényi random graph
Fulltext Access 18 Pages 2011
Boolean-width of graphs
Fulltext Access 18 Pages 2011
Codes from the incidence matrices of graphs on 3-sets
Fulltext Access 18 Pages 2011
The distance spectra of Cayley graphs of Coxeter groups
Fulltext Access 18 Pages 2011
The Legendre–Stirling numbers
Fulltext Access 18 Pages 2011
Complexity analysis of balloon drawing for rooted trees
Fulltext Access 18 Pages 2011
The homomorphism domination exponent
Fulltext Access 18 Pages 2011
Monomial ideals and toric rings of Hibi type arising from a finite poset
Fulltext Access 18 Pages 2011
The weighted hook-length formula II: Complementary formulas
Fulltext Access 18 Pages 2011
On nowhere dense graphs
Fulltext Access 18 Pages 2011
Spheres arising from multicomplexes
Fulltext Access 18 Pages 2011
A curious q-analogue of Hermite polynomials
Fulltext Access 18 Pages 2011
A stochastic Ramsey theorem
Fulltext Access 18 Pages 2011
On polynomial integrals over the orthogonal group
Fulltext Access 18 Pages 2011
Tiling by rectangles and alternating current
Fulltext Access 18 Pages 2011
q-Analog of tableau containment
Fulltext Access 18 Pages 2011
Linked tree-decompositions of represented infinite matroids
Fulltext Access 18 Pages 2011
The fine structure of octahedron-free graphs
Fulltext Access 18 Pages 2011
Hall-Littlewood polynomials, alcove walks, and fillings of Young diagrams
Fulltext Access 18 Pages 2011
On the growth of cocompact hyperbolic Coxeter groups
Fulltext Access 18 Pages 2011
Stabilization of max-min fair networks without per-flow state
Fulltext Access 18 Pages 2011
Maximal traces and path-based coalgebraic temporal logics
Fulltext Access 18 Pages 2011
On the complexity of searching in trees and partially ordered structures
Fulltext Access 18 Pages 2011
Permuting operations on strings and their relation to prime numbers
Fulltext Access 18 Pages 2011
Graph reductions, binary rank, and pivots in gene assembly
Fulltext Access 18 Pages 2011
Exact algorithms for dominating set
Fulltext Access 18 Pages 2011
Monadic second-order model-checking on decomposable matroids
Fulltext Access 18 Pages 2011
Congestion games with failures
Fulltext Access 18 Pages 2011
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
Fulltext Access 18 Pages 2011
Algebraic Specialization of Generic Functions for Recursive Types
Fulltext Access 18 Pages 2011
Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software
Fulltext Access 18 Pages 2011
A Case Study on Verifying a Supervisor Component Using McErlang
Fulltext Access 18 Pages 2011
A Hybrid Public Announcement Logic with Distributed Knowledge
Fulltext Access 18 Pages 2011
Information hiding in probabilistic concurrent systems
Fulltext Access 18 Pages 2011
A computational proof of complexity of some restricted counting problems
Fulltext Access 18 Pages 2011
Elementary landscape decomposition of the frequency assignment problem
Fulltext Access 18 Pages 2011
Of robot ants and elephants: A computational comparison
Fulltext Access 18 Pages 2011
ω-wide diameters of enhanced pyramid networks
Fulltext Access 18 Pages 2011
Positive expansiveness versus network dimension in symbolic dynamical systems
Fulltext Access 18 Pages 2011
One-to-one disjoint path covers on k-ary n-cubes
Fulltext Access 18 Pages 2011
Polyominoes simulating arbitrary-neighborhood zippers and tilings
Fulltext Access 18 Pages 2011
Min-energy scheduling for aligned jobs in accelerate model
Fulltext Access 18 Pages 2011
Optimization techniques for small matrix multiplication
Fulltext Access 18 Pages 2011
Comparative Study of DSL Tools
Fulltext Access 19 Pages 2011
Dynamics for ML using Meta-Programming
Fulltext Access 19 Pages 2011
On continued fraction expansion of real roots of polynomial systems, complexity and condition numbers
Fulltext Access 19 Pages 2011
The three column Bandpass problem is solvable in linear time
Fulltext Access 19 Pages 2011
Linear time analysis of properties of conflict-free and general Petri nets
Fulltext Access 19 Pages 2011
Dominating set is fixed parameter tractable in claw-free graphs
Fulltext Access 19 Pages 2011
What is a Categorical Model of Arrows?
Fulltext Access 19 Pages 2011
Graphical Calculus for Quantum Key Distribution (Extended Abstract)
Fulltext Access 19 Pages 2011
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
Fulltext Access 19 Pages 2011
Topos Quantum Logic and Mixed States
Fulltext Access 19 Pages 2011
Hypergraphs induced by algebras of fixed type
Fulltext Access 19 Pages 2011
Probabilistic approximations of ODEs based bio-pathway dynamics
Fulltext Access 19 Pages 2011
Comparing and aggregating partially resolved trees
Fulltext Access 19 Pages 2011
Tight bounds for the cover time of multiple random walks
Fulltext Access 19 Pages 2011
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
Fulltext Access 19 Pages 2011
<< < 123 124 125 126 127 > >>
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