• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Daneshyari Discrete Mathematics and Combinatorics Journas Latest Articles

Discrete Mathematics and Combinatorics Research Articles

Strategy Construction in the Higher-Order Framework of TL
Fulltext Access 22 Pages 2005
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking
Fulltext Access 22 Pages 2005
Effective and Efficient Compilation of Run-Time Generics in Java
Fulltext Access 22 Pages 2005
Type Checking for JavaScript
Fulltext Access 22 Pages 2005
Action Refinement for Real-Time Concurrent Processes with Urgency
Fulltext Access 22 Pages 2005
Complete Test Graph Synthesis For Symbolic Real-time Systems
Fulltext Access 22 Pages 2005
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Fulltext Access 22 Pages 2005
Bounded Model Checking for Deontic Interpreted Systems
Fulltext Access 22 Pages 2005
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Fulltext Access 22 Pages 2005
Asynchronous Games 3 An Innocent Model of Linear Logic
Fulltext Access 22 Pages 2005
From Reduction-based to Reduction-free Normalization
Fulltext Access 22 Pages 2005
An Action Compiler Targeting Standard ML
Fulltext Access 22 Pages 2005
New Evaluation Commands for Maude Within Full Maude
Fulltext Access 22 Pages 2005
An Invasive Composition System for Local-to-Global Transformations
Fulltext Access 22 Pages 2005
There are no Aspects
Fulltext Access 22 Pages 2005
High-Fidelity C/C++ Code Transformation
Fulltext Access 22 Pages 2005
Model-Based Built-In Tests
Fulltext Access 22 Pages 2005
Modelling Component Behaviour with Concurrent Automata
Fulltext Access 22 Pages 2005
Parallel algorithms for separable permutations
Fulltext Access 22 Pages 2005
Numerical representation of PQI interval orders
Fulltext Access 22 Pages 2005
Using the Alloy Analyzer to Verify Data Refinement in Z
Fulltext Access 22 Pages 2005
An Input/Output Semantics for Distributed Program Equivalence Reasoning
Fulltext Access 22 Pages 2005
Dealing Denotationally With Stream-based Communication
Fulltext Access 22 Pages 2005
Tank Monitoring: A pAMN Case Study
Fulltext Access 22 Pages 2005
Angelic Nondeterminism and Unifying Theories of Programming
Fulltext Access 22 Pages 2005
Constructions of (t,m,s)-nets and (t,s)-sequences
Fulltext Access 23 Pages 2005
Sieve methods in combinatorics
Fulltext Access 23 Pages 2005
LMn-algebra of fractions and maximal LMn-algebra of fractions
Fulltext Access 23 Pages 2005
Metareasoning about Security Protocols using Distributed Temporal Logic
Fulltext Access 23 Pages 2005
Provably Correct Code Generation: A Case Study
Fulltext Access 23 Pages 2005
The Polymorphic Rewriting-calculus
Fulltext Access 23 Pages 2005
Panel structures of triangulations on the torus
Fulltext Access 23 Pages 2005
Efficient dominating sets in labeled rooted oriented trees
Fulltext Access 23 Pages 2005
Δ additive and Δ ultra-additive maps, Gromov's trees, and the Farris transform
Fulltext Access 23 Pages 2005
An Isomorph-Free SEM-Like Enumeration of Models
Fulltext Access 23 Pages 2005
Racah coefficients, subrepresentation semirings, and composite materials
Fulltext Access 23 Pages 2005
Some remarks on sign-balanced and maj-balanced posets
Fulltext Access 23 Pages 2005
Quantitative μ-calculus and CTL Based on Constraint Semirings
Fulltext Access 23 Pages 2005
Performance Evaluation of Security Protocols Specified in LySa
Fulltext Access 23 Pages 2005
Curve-constrained drawings of planar graphs
Fulltext Access 23 Pages 2005
A residue theorem for Malcev-Neumann series
Fulltext Access 23 Pages 2005
An extension of the Erdős-Ginzburg-Ziv Theorem to hypergraphs
Fulltext Access 23 Pages 2005
Modelling the GSM Handover Protocol in CommUnity
Fulltext Access 23 Pages 2005
Factoring Boolean functions using graph partitioning
Fulltext Access 23 Pages 2005
The embedding in AG(3,q) of (0,2)-geometries with no planar nets
Fulltext Access 23 Pages 2005
A Proof Search Specification of the π-Calculus
Fulltext Access 23 Pages 2005
The Topological Tverberg Theorem and winding numbers
Fulltext Access 23 Pages 2005
Hamilton paths in toroidal graphs
Fulltext Access 23 Pages 2005
The resolution complexity of random graph k-colorability
Fulltext Access 23 Pages 2005
Simultaneous fuzzy segmentation of multiple objects
Fulltext Access 23 Pages 2005
On 0-1 matrices and small excluded submatrices
Fulltext Access 23 Pages 2005
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata
Fulltext Access 23 Pages 2005
Merging Scenarios
Fulltext Access 23 Pages 2005
Perspectives on A-homotopy theory and its applications
Fulltext Access 23 Pages 2005
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language
Fulltext Access 23 Pages 2005
Early Verification of Computer Systems Temporal Properties
Fulltext Access 23 Pages 2005
Toward Reasoning about Security Protocols: A Semantic Approach
Fulltext Access 23 Pages 2005
The chip-firing game
Fulltext Access 23 Pages 2005
Modular Rewriting Semantics in Practice
Fulltext Access 24 Pages 2005
Name-passing style GUI programming in the π-calculus-based language Nepi
Fulltext Access 24 Pages 2005
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
Fulltext Access 24 Pages 2005
The Design of Monty: a Programming/Scripting Language
Fulltext Access 24 Pages 2005
Tagged Systems: A Framework for the Specification of History-dependent Properties
Fulltext Access 24 Pages 2005
Failure Reasoning in Multiple-Strategy Proof Planning
Fulltext Access 24 Pages 2005
On-line construction of compact directed acyclic word graphs
Fulltext Access 24 Pages 2005
Scenarios and Covert Channels: Another Game...
Fulltext Access 24 Pages 2005
A hypocoloring model for batch scheduling
Fulltext Access 24 Pages 2005
From hypertrees to arboreal quasi-ultrametrics
Fulltext Access 24 Pages 2005
Quotients of Fermat curves and a Hecke character
Fulltext Access 24 Pages 2005
On families of additive exponential sums
Fulltext Access 24 Pages 2005
Boundary voltage perturbations caused by small conductivity inhomogeneities nearly touching the boundary
Fulltext Access 24 Pages 2005
The singular limit of a bilateral obstacle problem for a class of degenerate parabolic-hyperbolic operators
Fulltext Access 24 Pages 2005
Some degree bounds for the circumference of graphs
Fulltext Access 24 Pages 2005
Loops, matchings and alternating-sign matrices
Fulltext Access 24 Pages 2005
One-point suspensions and wreath products of polytopes and spheres
Fulltext Access 24 Pages 2005
1-homogeneous, pseudo-1-homogeneous, and 1-thin distance-regular graphs
Fulltext Access 24 Pages 2005
Watersheds, mosaics, and the emergence paradigm
Fulltext Access 24 Pages 2005
Measuring and Reducing Clutter in Euler Diagrams
Fulltext Access 24 Pages 2005
Modeling and Model Checking Web Services
Fulltext Access 24 Pages 2005
Iterative Algebras for a Base
Fulltext Access 24 Pages 2005
Decomposition algorithms for the tree edit distance problem
Fulltext Access 24 Pages 2005
Embeddings of k-connected graphs of pathwidth k
Fulltext Access 24 Pages 2005
One-dimensional layout optimization, with applications to graph drawing by axis separation
Fulltext Access 24 Pages 2005
A Coordination-based Methodology for Security Protocol Verification
Fulltext Access 24 Pages 2005
Multi-paradigm Models as Source for Automated Test Construction
Fulltext Access 24 Pages 2005
ProTest: An Automatic Test Environment for B Specifications
Fulltext Access 24 Pages 2005
Intersection and Union Types for X
Fulltext Access 25 Pages 2005
Abstractions of Euler Diagrams
Fulltext Access 25 Pages 2005
A bound on the chromatic number of the square of a planar graph
Fulltext Access 25 Pages 2005
Towards a Strategy Language for Maude
Fulltext Access 25 Pages 2005
A Survey of Reasoning Systems Based on Euler Diagrams
Fulltext Access 25 Pages 2005
Enumeration of certain affine invariant extended cyclic codes
Fulltext Access 25 Pages 2005
Partial words and the critical factorization theorem
Fulltext Access 25 Pages 2005
Inconsistency Management and View Updates
Fulltext Access 25 Pages 2005
Bruhat order on classical Weyl groups: minimal chains and covering relation
Fulltext Access 25 Pages 2005
The standard factorization of Lyndon words: an average point of view
Fulltext Access 25 Pages 2005
A decreasing rearrangement for functions on homogeneous trees
Fulltext Access 25 Pages 2005
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types
Fulltext Access 25 Pages 2005
Optimal parallel machines scheduling with availability constraints
Fulltext Access 25 Pages 2005
Implementing X
Fulltext Access 25 Pages 2005
<< < 242 243 244 245 246 > >>
Related Topics
Simulated annealing Articles
1787 Papers
Linear programming Articles
1748 Papers
Algorithm Articles
1719 Papers
Graph theory Articles
1382 Papers
Combinatorial optimization Articles
1214 Papers
Fourier transform Articles
1050 Papers
Markov chain Articles
957 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
Computational Geometry Journal
Discrete Applied Mathematics Journal
Electronic Notes in Theoretical Computer Science Journal
Journal of Discrete Algorithms Journal
Surveys in Operations Research and Management Science Journal
Discrete Optimization Journal
Operations Research Letters Journal
Finite Fields and Their Applications Journal
Advances in Applied Mathematics Journal
AKCE International Journal of Graphs and Combinatorics Journal
Discrete Mathematics Journal
Electronic Notes in 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