• 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

Coalgebraic semantics for timed processes
Fulltext Access 22 Pages 2006
Single machine scheduling with controllable release and processing parameters
Fulltext Access 22 Pages 2006
A Component Model for Architectural Programming
Fulltext Access 22 Pages 2006
An Abstract Way to Define Rewriting Logic
Fulltext Access 22 Pages 2006
On the Integration of Connectionist and Logic-Based Systems
Fulltext Access 22 Pages 2006
Computational Effects in Topological Domain Theory
Fulltext Access 22 Pages 2006
Operational Semantics and Rewriting Logic in Membrane Computing
Fulltext Access 22 Pages 2006
Syntax Definition with Graphs
Fulltext Access 22 Pages 2006
Transformations of Petri Nets
Fulltext Access 22 Pages 2006
A Concurrent Model for Linear Logic
Fulltext Access 22 Pages 2006
Practical Program Extraction from Classical Proofs
Fulltext Access 22 Pages 2006
An Applicative Control-Flow Graph Based on Huet's Zipper
Fulltext Access 22 Pages 2006
From Chemical Rules to Term Rewriting 1
Fulltext Access 22 Pages 2006
Hardware-oriented numerics and concepts for PDE software
Fulltext Access 22 Pages 2006
The alternation hierarchy in fixpoint logic with chop is strict too
Fulltext Access 22 Pages 2006
Natural halting probabilities, partial randomness, and zeta functions
Fulltext Access 22 Pages 2006
Concurrent search for distributed CSPs
Fulltext Access 22 Pages 2006
Automation for interactive proof: First prototype
Fulltext Access 22 Pages 2006
BTL2 and the expressive power of ECTL+
Fulltext Access 22 Pages 2006
Planar graphs, negative weight edges, shortest paths, and near linear time
Fulltext Access 22 Pages 2006
Meet and merge: Approximation algorithms for confluent flows
Fulltext Access 22 Pages 2006
Strong computational lower bounds via parameterized complexity
Fulltext Access 22 Pages 2006
Online competitive algorithms for maximizing weighted throughput of unit jobs
Fulltext Access 22 Pages 2006
CHECKCOL: Improved local search for graph coloring
Fulltext Access 22 Pages 2006
Radiocolorings in periodic planar graphs: PSPACE-completeness and efficient approximations for the optimal range of frequencies
Fulltext Access 22 Pages 2006
A semi-static approach to mapping dynamic iterative tasks onto heterogeneous computing systems
Fulltext Access 22 Pages 2006
Adding mobility to software architectures
Fulltext Access 22 Pages 2006
GXL: A graph-based standard exchange format for reengineering
Fulltext Access 22 Pages 2006
Gaussian Elimination: A case study in efficient genericity with MetaOCaml
Fulltext Access 22 Pages 2006
In search of a program generator to implement generic transformations for high-performance computing
Fulltext Access 22 Pages 2006
A study of the influence of coverage on the relationship between static and dynamic coupling metrics
Fulltext Access 22 Pages 2006
Automatic workflow verification and generation
Fulltext Access 22 Pages 2006
A Branch-and-Cut algorithm for graph coloring
Fulltext Access 22 Pages 2006
A new algorithmic approach to the computation of Minkowski functionals of polyconvex sets
Fulltext Access 22 Pages 2006
Comparing stochastic volatility models through Monte Carlo simulations
Fulltext Access 22 Pages 2006
On fitting generalized non-linear models with varying coefficients
Fulltext Access 22 Pages 2006
Time-dependent frequency domain principal components analysis of multichannel non-stationary signals
Fulltext Access 22 Pages 2006
A semiparametric hypothesis testing procedure for the ROC curve area under a density ratio model
Fulltext Access 22 Pages 2006
Assessing local influence for nonlinear structural equation models with ignorable missing data
Fulltext Access 22 Pages 2006
G-computation estimation for causal inference with complex longitudinal data
Fulltext Access 22 Pages 2006
Implementing a class of structural change tests: An econometric computing approach
Fulltext Access 22 Pages 2006
Improved point and interval estimation for a beta regression model
Fulltext Access 22 Pages 2006
Testing for multivariate autoregressive conditional heteroskedasticity using wavelets
Fulltext Access 22 Pages 2006
Early warning systems for sovereign debt crises: The role of heterogeneity
Fulltext Access 22 Pages 2006
Permutations of separable preference orders
Fulltext Access 22 Pages 2006
Polyhedral results for the bipartite induced subgraph problem
Fulltext Access 22 Pages 2006
Open Aspects
Fulltext Access 22 Pages 2006
Multivariable regression model building by using fractional polynomials: Description of SAS, STATA and R programs
Fulltext Access 22 Pages 2006
Bayesian curve estimation by model averaging
Fulltext Access 22 Pages 2006
Corrective feedback and persistent learning for information extraction
Fulltext Access 22 Pages 2006
A coalgebraic approach to the semantics of the ambient calculus
Fulltext Access 23 Pages 2006
A categorical model for the geometry of interaction
Fulltext Access 23 Pages 2006
A novel HMM-based clustering algorithm for the analysis of gene expression time-course data
Fulltext Access 23 Pages 2006
Wavelet-based bootstrapping of spatial patterns on a finite lattice
Fulltext Access 23 Pages 2006
Efficient timed model checking for discrete-time systems
Fulltext Access 23 Pages 2006
Cressie and Read power-divergences as influence measures for logistic regression models
Fulltext Access 23 Pages 2006
Composing invariants
Fulltext Access 23 Pages 2006
Classification of security properties in a Linda-like process algebra
Fulltext Access 23 Pages 2006
A Bayesian approach to bandwidth selection for multivariate kernel density estimation
Fulltext Access 23 Pages 2006
Computational aspects of mining maximal frequent patterns
Fulltext Access 23 Pages 2006
A basic algebra of stateless connectors
Fulltext Access 23 Pages 2006
Safe manual memory management in Cyclone
Fulltext Access 23 Pages 2006
Hypothesis finding with proof theoretical appropriateness criteria
Fulltext Access 23 Pages 2006
Using classic problems to teach Java framework design
Fulltext Access 23 Pages 2006
Two polygraphic presentations of Petri nets
Fulltext Access 23 Pages 2006
Message-passing automata are expressively equivalent to EMSO logic
Fulltext Access 23 Pages 2006
On miniaturized problems in parameterized complexity theory
Fulltext Access 23 Pages 2006
Efficient sample sort and the average case analysis of PEsort
Fulltext Access 23 Pages 2006
Automated pattern detection—An algorithm for constructing optimally synchronizing multi-regular language filters
Fulltext Access 23 Pages 2006
Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh–Hadamard transform
Fulltext Access 23 Pages 2006
The binomial transform and the analysis of skip lists
Fulltext Access 23 Pages 2006
Injective synchronisation: An extension of the authentication hierarchy
Fulltext Access 23 Pages 2006
Preventing Timing Leaks Through Transactional Branching Instructions
Fulltext Access 23 Pages 2006
A Theory of Reactive Components
Fulltext Access 23 Pages 2006
Visualizing “typical” and “exotic” Internet traffic data
Fulltext Access 23 Pages 2006
The Linear Logical Abstract Machine
Fulltext Access 23 Pages 2006
An Operational Domain-theoretic Treatment of Recursive Types
Fulltext Access 23 Pages 2006
Towards a Calculus For Wireless Systems
Fulltext Access 23 Pages 2006
A Hierarchy of SOS Rule Formats
Fulltext Access 23 Pages 2006
Tests of fit for the three-parameter lognormal distribution
Fulltext Access 23 Pages 2006
An Introduction to Software Testing
Fulltext Access 23 Pages 2006
Data analysis with fuzzy clustering methods
Fulltext Access 23 Pages 2006
Elgot Algebras: (Extended Abstract) †
Fulltext Access 23 Pages 2006
Practical representations of incomplete probabilistic knowledge
Fulltext Access 23 Pages 2006
On Timed Models and Full Abstraction
Fulltext Access 23 Pages 2006
Possibility theory and statistical reasoning
Fulltext Access 23 Pages 2006
Identifying influential multinomial observations by perturbation
Fulltext Access 23 Pages 2006
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
Fulltext Access 23 Pages 2006
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits
Fulltext Access 23 Pages 2006
Towards a Quantitative Analysis of Security Protocols
Fulltext Access 23 Pages 2006
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1
Fulltext Access 23 Pages 2006
Reasoning About Partial Functions in the Formal Development of Programs
Fulltext Access 23 Pages 2006
Reciprocal curves
Fulltext Access 23 Pages 2006
Local likelihood regression in generalized linear single-index models with applications to microarray data
Fulltext Access 23 Pages 2006
Pure future local temporal logics are expressively complete for Mazurkiewicz traces
Fulltext Access 23 Pages 2006
An extension of the Gauss–Newton algorithm for estimation under asymmetric loss
Fulltext Access 23 Pages 2006
Mind change efficient learning
Fulltext Access 23 Pages 2006
The RPR2 rounding technique for semidefinite programs
Fulltext Access 23 Pages 2006
Partial alphabetic trees
Fulltext Access 23 Pages 2006
MCMC algorithms for constrained variance matrices
Fulltext Access 23 Pages 2006
<< < 349 350 351 352 353 > >>
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