• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Daneshyari Computational Theory and Mathematics Journas Latest Articles

Computational Theory and Mathematics Research Articles

Propagation time for zero forcing on a graph
Fulltext Access 12 Pages 2005
Bayesian computation for logistic regression
Fulltext Access 12 Pages 2005
A robust testing procedure for the equality of covariance matrices
Fulltext Access 12 Pages 2005
Stochastic programming methods in the response surface methodology
Fulltext Access 12 Pages 2005
Parallel Lempel Ziv coding
Fulltext Access 12 Pages 2005
Bayesian analysis of correlated misclassified binary data
Fulltext Access 12 Pages 2005
Estimating confidence regions over bounded domains
Fulltext Access 12 Pages 2005
Dimensionality reduction approach to multivariate prediction
Fulltext Access 12 Pages 2005
The robust estimation method for a finite mixture of Poisson mixed-effect models
Fulltext Access 12 Pages 2005
Inference of Timed Transition Systems
Fulltext Access 13 Pages 2005
The Side Transformation Pattern: Making Transforms Modular and Re-usable
Fulltext Access 13 Pages 2005
The Amsterdam Toolkit for Language Archaeology
Fulltext Access 13 Pages 2005
On the Role of Metadata in Visual Language Reuse and Reverse Engineering - An Industrial Case
Fulltext Access 13 Pages 2005
Time and Space Issues in the Generation of Graph Transition Systems
Fulltext Access 13 Pages 2005
GXL to GraphML and Vice Versa with XSLT
Fulltext Access 13 Pages 2005
A New Version of GTXL : An Exchange Format for Graph Transformation Systems
Fulltext Access 13 Pages 2005
Statechart Modeling with Fujaba
Fulltext Access 13 Pages 2005
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations
Fulltext Access 13 Pages 2005
Vicious Circles in Orthogonal Term Rewriting Systems
Fulltext Access 13 Pages 2005
Some Undecidable Approximations of TRSs
Fulltext Access 13 Pages 2005
Codes and sofic constraints
Fulltext Access 13 Pages 2005
Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models
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
(p,k)-coloring problems in line graphs
Fulltext Access 13 Pages 2005
Group coloring is Π2P-complete
Fulltext Access 13 Pages 2005
Pseudo-models and propositional Horn inference
Fulltext Access 13 Pages 2005
The effect of machine availability on the worst-case performance of LPT
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
Generalized list T-colorings of cycles
Fulltext Access 13 Pages 2005
Statistical analysis of financial networks
Fulltext Access 13 Pages 2005
On the descriptional complexity of some rewriting mechanisms regulated by context conditions
Fulltext Access 13 Pages 2005
dBBlue: low diameter and self-routing Bluetooth scatternet
Fulltext Access 13 Pages 2005
GEL: Grid execution language
Fulltext Access 13 Pages 2005
Eventually consistent failure detectors
Fulltext Access 13 Pages 2005
Towards autonomic application-sensitive partitioning for SAMR applications
Fulltext Access 13 Pages 2005
PODC: Paradigm-oriented distributed computing
Fulltext Access 13 Pages 2005
Dealing with heterogeneity through limited duplication for scheduling precedence constrained task graphs
Fulltext Access 13 Pages 2005
Parallel techniques in irregular codes: cloth simulation as case of study
Fulltext Access 13 Pages 2005
Fast synchronization on shared-memory multiprocessors: An architectural approach
Fulltext Access 13 Pages 2005
Job scheduling and processor allocation for grid computing on metacomputers
Fulltext Access 13 Pages 2005
Edge-disjoint spanning trees for the generalized butterfly networks and their applications
Fulltext Access 13 Pages 2005
A resource management and fault tolerance services in grid computing
Fulltext Access 13 Pages 2005
Analyzing and enhancing the resilience of structured peer-to-peer systems
Fulltext Access 13 Pages 2005
On the complexity of finding emerging patterns
Fulltext Access 13 Pages 2005
Noncooperative load balancing in distributed systems
Fulltext Access 13 Pages 2005
A fast, parallel spanning tree algorithm for symmetric multiprocessors (SMPs)
Fulltext Access 13 Pages 2005
Future trends in distributed applications and problem-solving environments
Fulltext Access 13 Pages 2005
Controlling a complex electromechanical process on the basis of a neurofuzzy approach
Fulltext Access 13 Pages 2005
Author index to volume 21
Fulltext Access 13 Pages 2005
Making automatic differentiation truly automatic: coupling PETSc with ADIC
Fulltext Access 13 Pages 2005
Reactions in complex biologically relevant systems: challenges for computational approaches
Fulltext Access 13 Pages 2005
Validating key constraints over XML document using XPath and structure checking
Fulltext Access 13 Pages 2005
GridICE: a monitoring service for Grid systems
Fulltext Access 13 Pages 2005
Teraflows over Gigabit WANs with UDT
Fulltext Access 13 Pages 2005
Probabilistically Checkable Proofs Over the Reals
Fulltext Access 13 Pages 2005
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems
Fulltext Access 13 Pages 2005
Introducing Test Automation and Test-Driven Development: An Experience Report
Fulltext Access 13 Pages 2005
Sequential Computability of a Function: Diagonal Space and Limiting Recursion
Fulltext Access 13 Pages 2005
Variations on Wadge Reducibility Extended Abstract
Fulltext Access 13 Pages 2005
A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions
Fulltext Access 13 Pages 2005
Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity Theory
Fulltext Access 13 Pages 2005
Type-2 Computability and Moore's Recursive Functions
Fulltext Access 13 Pages 2005
On the Complexity of Finding Paths in a Two-Dimensional Domain II: Piecewise Straight-Line Paths
Fulltext Access 13 Pages 2005
A General Constructive Proof Technique
Fulltext Access 13 Pages 2005
Petri Nets With Persistence
Fulltext Access 13 Pages 2005
Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures
Fulltext Access 13 Pages 2005
Abstractions for Model-Based Testing
Fulltext Access 13 Pages 2005
Living with Paradoxes
Fulltext Access 13 Pages 2005
The Implication Problem of Functional Dependencies in Complex-value Databases
Fulltext Access 13 Pages 2005
Fragments of Monadic Second-Order Logics Over Word Structures
Fulltext Access 13 Pages 2005
Formal Specification and Verification of Multi-Agent Systems
Fulltext Access 13 Pages 2005
Failure Mode Modular De-Composition Using Spider Diagrams
Fulltext Access 13 Pages 2005
Conditional Densities of Regular Languages
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
Semi-on-line multiprocessor scheduling with given total processing time
Fulltext Access 13 Pages 2005
Generalised indirect classifiers
Fulltext Access 13 Pages 2005
Asymptotic robustness of the asymptotic biases in structural equation modeling
Fulltext Access 13 Pages 2005
Likelihood-ratio tests for normality
Fulltext Access 13 Pages 2005
Bayesian test for asymmetry and nonstationarity in MTAR model with possibly incomplete data
Fulltext Access 13 Pages 2005
Interpretation of partial least-squares regression models with VARIMAX rotation
Fulltext Access 13 Pages 2005
A new algorithm for solving binary discrimination in conditional logistic regression, with two choices of strata
Fulltext Access 13 Pages 2005
Assessment of chemical libraries for their druggability
Fulltext Access 13 Pages 2005
Theoretical aspects of 13C metabolic flux analysis with sole quantification of carbon dioxide labeling
Fulltext Access 13 Pages 2005
Genome-based identification of diagnostic molecular markers for human lung carcinomas by PLS-DA
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
Fast and robust bootstrap for LTS
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
LA, permutations, and the Hajós Calculus
Fulltext Access 13 Pages 2005
A Dual Language Approach to the Development of Time-Critical Systems
Fulltext Access 13 Pages 2005
Testability Analysis of Data-Flow Software
Fulltext Access 13 Pages 2005
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
Fulltext Access 13 Pages 2005
Validation Coverage for a Component-based SDL model of a Railway Signaling System
Fulltext Access 13 Pages 2005
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Fulltext Access 13 Pages 2005
<< < 361 362 363 364 365 > >>
Related Topics
Genetic algorithm Articles
6327 Papers
Artificial Neural Network Articles
3435 Papers
Computer simulation Articles
3034 Papers
Fuzzy logic Articles
2743 Papers
Complexity Articles
2296 Papers
Dynamic programming Articles
2118 Papers
Robotics Articles
1524 Papers
GPS Articles
1452 Papers
Earthquake Articles
1351 Papers
Elastic modulus Articles
1250 Papers
Computational fluid dynamics (CFD) Articles
882 Papers
Parallel processing Articles
877 Papers
Earthquakes Articles
770 Papers
approximation algorithms Articles
728 Papers
Computational geometry Articles
723 Papers
Geographic information systems Articles
645 Papers
ICT Articles
638 Papers
Genetic programming Articles
638 Papers
Petri nets Articles
625 Papers
Semantic web Articles
592 Papers
Artificial Intelligence Articles
Computational Theory and Mathematics Articles
Computer Graphics and Computer-Aided Design Articles
Computer Networks and Communications Articles
Computer Science (General) Articles
Computer Science Applications Articles
Computer Vision and Pattern Recognition Articles
Hardware and Architecture Articles
Human-Computer Interaction Articles
Information Systems Articles
Signal Processing Articles
Software Articles
All Topics
Related Journals
Artificial Intelligence Journals
Computational Theory and Mathematics Journals
Computer Graphics and Computer-Aided Design Journals
Computer Networks and Communications Journals
Computer Science (General) Journals
Computer Science Applications Journals
Computer Vision and Pattern Recognition Journals
Hardware and Architecture Journals
Human-Computer Interaction Journals
Information Systems Journals
Signal Processing Journals
Software Journals
Computational Biology and Chemistry Journal
Artificial Intelligence Journal
Information Systems Journal
International Journal of Electrical Power & Energy Systems Journal
Big Data Research Journal
Computational Geometry Journal
Computational Statistics & Data Analysis Journal
Computer Languages, Systems & Structures Journal
Discrete Applied Mathematics Journal
Electronic Notes in Theoretical Computer Science Journal
Future Generation Computer Systems Journal
Fuzzy Information and Engineering Journal
Information and Computation Journal
Information Processing Letters Journal
Journal of Algorithms Journal
Journal of Computational Science Journal
Journal of Computer and System Sciences Journal
Journal of Discrete Algorithms Journal
Journal of Innovation in Digital Ecosystems Journal
The Journal of Logic and Algebraic Programming Journal
Journal of Logical and Algebraic Methods in Programming Journal
Journal of Parallel and Distributed Computing Journal
Science of Computer Programming Journal
Theoretical Computer Science Journal

Daneshyari.com

دسترسی سریع

  • صفحه اصلی دانشیاری
  • دسته بندی موضوعی مقالات
  • مقالات ترجمه شده
  • سفارش ترجمه مقاله
  • سفارش تولید محتوا
  • تولید محتوا

ارتباط

  • ورود
  • عضویت
  • تماس و پشتیبانی
  • تبلیغات

English Website

  • Home
  • Physical Sciences and Engineering
  • Life Sciences
  • Health Sciences
  • Social Sciences and Humanities