• 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

The many faces of a translation
Fulltext Access 17 Pages 2006
Recursive error correction for general Reed–Muller codes
Fulltext Access 17 Pages 2006
Finding nonnormal bent functions
Fulltext Access 17 Pages 2006
Broadcasts in graphs
Fulltext Access 17 Pages 2006
The Hamiltonian problem on distance-hereditary graphs
Fulltext Access 17 Pages 2006
An algorithm to analyze stability of gene-expression patterns
Fulltext Access 17 Pages 2006
Analysis of a time-dependent scheduling problem by signatures of deterioration rate sequences
Fulltext Access 17 Pages 2006
A new trust region technique for the maximum weight clique problem
Fulltext Access 17 Pages 2006
Entity authentication schemes using braid word reduction
Fulltext Access 17 Pages 2006
Radio communication in random graphs
Fulltext Access 17 Pages 2006
The strength of weak proximity
Fulltext Access 17 Pages 2006
A new 2D tessellation for angle problems: The polar diagram
Fulltext Access 17 Pages 2006
Resettable vector clocks
Fulltext Access 17 Pages 2006
Locality in structured peer-to-peer networks
Fulltext Access 17 Pages 2006
A new look at component maintenance practices and their effect on customer, station and system reliability
Fulltext Access 17 Pages 2006
Impact of electric power generation on green house gas emissions in Europe: Russia, Greece, Italy and views of the EU power plant supply industry – A critical analysis
Fulltext Access 17 Pages 2006
Hierarchical parallel approach for GSM mobile network design
Fulltext Access 17 Pages 2006
On the complemented disk algebra
Fulltext Access 17 Pages 2006
A classification result on weighted {δvμ+1,δvμ;N,p3}{δvμ+1,δvμ;N,p3}-minihypers
Fulltext Access 17 Pages 2006
Metrics for Action-labelled Quantitative Transition Systems 1
Fulltext Access 18 Pages 2006
Towards “Dynamic Domains”: Totally Continuous Cocomplete Q-categories
Fulltext Access 18 Pages 2006
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Fulltext Access 18 Pages 2006
Liveness Checking as Safety Checking for Infinite State Spaces
Fulltext Access 18 Pages 2006
A Novel Stochastic Game Via the Quantitative μ-calculus
Fulltext Access 18 Pages 2006
An Approach to Splitting Atoms Safely: Extended Abstract
Fulltext Access 18 Pages 2006
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
Fulltext Access 18 Pages 2006
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics
Fulltext Access 18 Pages 2006
Trace Semantics for Stochastic Systems with Nondeterminism
Fulltext Access 18 Pages 2006
Coordination and Organization: Definitions, Examples and Future Research Directions
Fulltext Access 18 Pages 2006
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Fulltext Access 18 Pages 2006
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
Fulltext Access 18 Pages 2006
Compositional Operational Semantics of a UML-Kernel-Model Language 1
Fulltext Access 18 Pages 2006
A Logic for Graphs with QoS
Fulltext Access 18 Pages 2006
Parallel Assignments in Software Model Checking
Fulltext Access 18 Pages 2006
Characterizing EF and EX tree logics
Fulltext Access 18 Pages 2006
Graph Isomorphism is in SPP
Fulltext Access 18 Pages 2006
Weighted path queries on semistructured databases
Fulltext Access 18 Pages 2006
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures
Fulltext Access 18 Pages 2006
Poitín: Distilling Theorems From Conjectures
Fulltext Access 18 Pages 2006
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
Fulltext Access 18 Pages 2006
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Fulltext Access 18 Pages 2006
Ascertaining Mathematical Theorems 1
Fulltext Access 18 Pages 2006
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving
Fulltext Access 18 Pages 2006
Extending C for Checking Shape Safety
Fulltext Access 18 Pages 2006
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility ⋆
Fulltext Access 18 Pages 2006
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs
Fulltext Access 18 Pages 2006
Nonmonotonic Trust Management for P2P Applications
Fulltext Access 18 Pages 2006
A Formalization of Credit and Responsibility Within the GNDC Schema
Fulltext Access 18 Pages 2006
Synchronous Dataflow Pattern Matching 1
Fulltext Access 18 Pages 2006
A Coalgebraic Representation of Reduction by Cone of Influence
Fulltext Access 18 Pages 2006
Some Properties and Some Problems on Set Functors 4
Fulltext Access 18 Pages 2006
Test Case Generation for Mutation-based Testing of Timeliness
Fulltext Access 18 Pages 2006
Stochastic Ambient Calculus
Fulltext Access 18 Pages 2006
Expressiveness of Probabilistic π-calculus
Fulltext Access 18 Pages 2006
Run-Time Checking of Dynamic Properties 1
Fulltext Access 18 Pages 2006
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP 1
Fulltext Access 18 Pages 2006
Separability in the fixed part of multilevel models
Fulltext Access 18 Pages 2006
Cluster analysis using multivariate normal mixture models to detect differential gene expression with microarray data
Fulltext Access 18 Pages 2006
Construction of bivariate S-distributions with copulas
Fulltext Access 18 Pages 2006
Analysis of K sets of data, with differential emphasis on agreement between and within sets
Fulltext Access 18 Pages 2006
Multivariate time series modeling and classification via hierarchical VAR mixtures
Fulltext Access 18 Pages 2006
Two-way Poisson mixture models for simultaneous document classification and word clustering
Fulltext Access 18 Pages 2006
An application of the modified Leverrier–Faddeev algorithm to the spectral decomposition of symmetric block-circulant matrices
Fulltext Access 18 Pages 2006
Boosting and instability for regression trees
Fulltext Access 18 Pages 2006
Improved predictions penalizing both slope and curvature in additive models
Fulltext Access 18 Pages 2006
Responder identification in clinical trials with censored data
Fulltext Access 18 Pages 2006
A hybrid EM approach to spatial clustering
Fulltext Access 18 Pages 2006
An estimation method of the average effect and the different accident risks when modelling a road safety measure: A simulation study
Fulltext Access 18 Pages 2006
Sample size, lag order and critical values of seasonal unit root tests
Fulltext Access 18 Pages 2006
Evaluation of transfer evidence for three-level multivariate data with the use of graphical models
Fulltext Access 18 Pages 2006
Multivariate denoising using wavelets and principal component analysis
Fulltext Access 18 Pages 2006
Accurate value-at-risk forecasting based on the normal-GARCH model
Fulltext Access 18 Pages 2006
Stylized facts of financial time series and hidden semi-Markov models
Fulltext Access 18 Pages 2006
Provable surface reconstruction from noisy samples
Fulltext Access 18 Pages 2006
Deformable spanners and applications
Fulltext Access 18 Pages 2006
Evaluating chi-squared automatic interaction detection
Fulltext Access 18 Pages 2006
RCC8 binary constraint network can be consistently extended
Fulltext Access 18 Pages 2006
Decomposition of structural learning about directed acyclic graphs
Fulltext Access 18 Pages 2006
Mining the customer credit using classification and regression tree and multivariate adaptive regression splines
Fulltext Access 18 Pages 2006
Arrows, like Monads, are Monoids
Fulltext Access 18 Pages 2006
Strong Update, Disposal, and Encapsulation in Bunched Typing
Fulltext Access 18 Pages 2006
Open-Source Model Checking
Fulltext Access 18 Pages 2006
A “Hardware Compiler” Semantics for Handel-C
Fulltext Access 18 Pages 2006
A Calculus for Data Mapping
Fulltext Access 18 Pages 2006
Learning adaptation knowledge to improve case-based reasoning
Fulltext Access 18 Pages 2006
A Taxonomy of Model Transformation
Fulltext Access 18 Pages 2006
Validating Behavioral Component Interfaces in Rewriting Logic
Fulltext Access 18 Pages 2006
A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars
Fulltext Access 18 Pages 2006
Access Enhancement Objects for data management in Smalltalk
Fulltext Access 18 Pages 2006
Algebraic Information Theory For Binary Channels
Fulltext Access 18 Pages 2006
On the combination of transmission/disequilibrium test and mean test for linkage detection using affected sib pairs
Fulltext Access 18 Pages 2006
A guide for multilevel modeling of dyadic data with binary outcomes using SAS PROC NLMIXED
Fulltext Access 18 Pages 2006
Analysis of the risk difference of marginal and conditional probabilities in an incomplete correlated 2×22×2 table
Fulltext Access 18 Pages 2006
Alternative approaches to study lifetime data under different scenarios: from the PH to the modified semiparametric AFT model
Fulltext Access 18 Pages 2006
Stock and bond return predictability: the discrimination power of model selection criteria
Fulltext Access 18 Pages 2006
Development of fuzzy process control charts and fuzzy unnatural pattern analyses
Fulltext Access 18 Pages 2006
Regression with fuzzy random data
Fulltext Access 18 Pages 2006
Conditional probability and fuzzy information
Fulltext Access 18 Pages 2006
Theoretical framework for local PLS1 regression, and application to a rainfall data set
Fulltext Access 18 Pages 2006
Testing the bivariate distribution of daily equity returns using copulas. An application to the Spanish stock market
Fulltext Access 18 Pages 2006
<< < 345 346 347 348 349 > >>
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