• 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

Specifications for decidable hybrid games
Fulltext Access 16 Pages 2011
Hamiltonian properties of locally connected graphs with bounded vertex degree
Fulltext Access 16 Pages 2011
Characterization of graphs and digraphs with small process numbers
Fulltext Access 16 Pages 2011
An Epistemic Logic of Extensive Games
Fulltext Access 16 Pages 2011
Simulating Finite Eilenberg Machines with a Reactive Engine
Fulltext Access 16 Pages 2011
Complexity classes of equivalence problems revisited
Fulltext Access 16 Pages 2011
Model-checking games for fixpoint logics with partial order models
Fulltext Access 16 Pages 2011
Deciding word neighborhood with universal neighborhood automata
Fulltext Access 16 Pages 2011
Efficient provably-secure hierarchical key assignment schemes
Fulltext Access 16 Pages 2011
Subword complexity of uniform D0L words over finite groups
Fulltext Access 16 Pages 2011
Digraph decompositions and monotonicity in digraph searching
Fulltext Access 16 Pages 2011
Effective dimensions and relative frequencies
Fulltext Access 16 Pages 2011
Quasi-rocking real-time pushdown automata
Fulltext Access 16 Pages 2011
Dealing with logical omniscience: Expressiveness and pragmatics
Fulltext Access 16 Pages 2011
Uncountable automatic classes and learning
Fulltext Access 16 Pages 2011
Expressiveness of propositional projection temporal logic with star
Fulltext Access 16 Pages 2011
Runtime analysis of the 1-ANT ant colony optimizer
Fulltext Access 16 Pages 2011
Generalized Besicovitch and Weyl spaces: Topology, patterns, and sliding block codes
Fulltext Access 16 Pages 2011
α-words and the radix order
Fulltext Access 16 Pages 2011
Compositional synthesis of asynchronous automata
Fulltext Access 16 Pages 2011
Inapproximability of maximal strip recovery
Fulltext Access 16 Pages 2011
An algorithmic framework for network reconstruction
Fulltext Access 16 Pages 2011
Absolute convergence of rational series is semi-decidable
Fulltext Access 16 Pages 2011
Building species trees from larger parts of phylogenomic databases
Fulltext Access 16 Pages 2011
Computing monodromy via continuation methods on random Riemann surfaces
Fulltext Access 16 Pages 2011
Probabilistic systems coalgebraically: A survey
Fulltext Access 16 Pages 2011
Stabbers of line segments in the plane
Fulltext Access 16 Pages 2011
Packing 3-vertex paths in claw-free graphs and related topics
Fulltext Access 16 Pages 2011
Dealing with monotone likelihood in a model for speckled data
Fulltext Access 16 Pages 2011
Indirect density estimation using the iterative Bayes algorithm
Fulltext Access 16 Pages 2011
Functional data analysis in shape analysis
Fulltext Access 16 Pages 2011
Principal components for multivariate functional data
Fulltext Access 16 Pages 2011
Likelihood-free Bayesian estimation of multivariate quantile distributions
Fulltext Access 16 Pages 2011
Two-group classification with high-dimensional correlated data: A factor model approach
Fulltext Access 16 Pages 2011
Practical variable selection for generalized additive models
Fulltext Access 16 Pages 2011
Functional density synchronization
Fulltext Access 16 Pages 2011
A compound class of Weibull and power series distributions
Fulltext Access 16 Pages 2011
Covering points with orthogonally convex polygons
Fulltext Access 16 Pages 2011
Witness (Delaunay) graphs
Fulltext Access 16 Pages 2011
Chaotic ant swarm optimization for fuzzy-based tuning of power system stabilizer
Fulltext Access 16 Pages 2011
Tool support for the design and management of context models
Fulltext Access 16 Pages 2011
Parallel skyline computation on multicore architectures
Fulltext Access 16 Pages 2011
Word co-occurrence features for text classification
Fulltext Access 16 Pages 2011
Preferences in AI: An overview
Fulltext Access 16 Pages 2011
Learning qualitative models from numerical data
Fulltext Access 16 Pages 2011
Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions
Fulltext Access 16 Pages 2011
Bayesian analysis of robust Poisson geometric process model using heavy-tailed distributions
Fulltext Access 16 Pages 2011
A space–time filter for panel data models containing random effects
Fulltext Access 16 Pages 2011
Robust weighted kernel logistic regression in imbalanced and rare events data
Fulltext Access 16 Pages 2011
Dynamic Bayesian beta models
Fulltext Access 16 Pages 2011
Scale space multiresolution analysis of random signals
Fulltext Access 16 Pages 2011
Approximate Bayesian inference in spatial GLMM with skew normal latent variables
Fulltext Access 16 Pages 2011
A modal logic internalizing normal proofs
Fulltext Access 17 Pages 2011
Theories of initial segments of standard models of arithmetics and their complete extensions
Fulltext Access 17 Pages 2011
Sequent calculi and decidability for intuitionistic hybrid logic
Fulltext Access 17 Pages 2011
Treewidth computations II. Lower bounds
Fulltext Access 17 Pages 2011
Partially-commutative context-free processes: Expressibility and tractability
Fulltext Access 17 Pages 2011
Inductive inference and computable numberings
Fulltext Access 17 Pages 2011
Splitting and nonsplitting in the enumeration degrees
Fulltext Access 17 Pages 2011
Evolutionary fuzzy clustering of relational data
Fulltext Access 17 Pages 2011
Conservative and aggressive rough SVR modeling
Fulltext Access 17 Pages 2011
Fuzzy quartile encoding as a preprocessing method for biomedical pattern classification
Fulltext Access 17 Pages 2011
Game Semantics for Quantum Data
Fulltext Access 17 Pages 2011
Stochastic minority on graphs
Fulltext Access 17 Pages 2011
Varieties of recognizable tree series over fields
Fulltext Access 17 Pages 2011
Büchi context-free languages
Fulltext Access 17 Pages 2011
Axiomatizing Hybrid Products of Monotone Neighborhood Frames
Fulltext Access 17 Pages 2011
Equational tree transformations
Fulltext Access 17 Pages 2011
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Fulltext Access 17 Pages 2011
Stochastic Modelling and Optimisation of Internet Auction Processes
Fulltext Access 17 Pages 2011
Exact and approximate equilibria for optimal group network formation
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
Extending type systems in a library: Type-safe XML processing in C++
Fulltext Access 17 Pages 2011
Finding all sorting tandem duplication random loss operations
Fulltext Access 17 Pages 2011
A new solution for the Byzantine agreement problem
Fulltext Access 17 Pages 2011
A flabellate overlay network for multi-attribute search
Fulltext Access 17 Pages 2011
CODISC: Collaborative and distributed semantic caching for maximizing cache effectiveness in wireless networks
Fulltext Access 17 Pages 2011
On-demand minimum cost benchmarking for intermediate dataset storage in scientific cloud workflow systems
Fulltext Access 17 Pages 2011
Strategic behavior modeling of multi-service overlay multicast networks based on auction mechanism design
Fulltext Access 17 Pages 2011
A parallel multi-unit resource deadlock detection algorithm with O(log2(min(m,n))) overall run-time complexity
Fulltext Access 17 Pages 2011
“Slimming” a Java virtual machine by way of cold code removal and optimistic partial program loading
Fulltext Access 17 Pages 2011
Diagnosing and correcting design inconsistencies in source code with logical abduction
Fulltext Access 17 Pages 2011
Supporting software evolution in component-based FOSS systems
Fulltext Access 17 Pages 2011
Supporting simultaneous versions for software evolution assessment
Fulltext Access 17 Pages 2011
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
Fulltext Access 17 Pages 2011
A state/event-based model-checking approach for the analysis of abstract system properties
Fulltext Access 17 Pages 2011
Axiomatizability of representable domain algebras
Fulltext Access 17 Pages 2011
A generic lazy evaluation scheme for exact geometric computations
Fulltext Access 17 Pages 2011
Simulation refinement for concurrency verification
Fulltext Access 17 Pages 2011
On system rollback and totalized fields: An algebraic approach to system change
Fulltext Access 17 Pages 2011
Mediated population protocols
Fulltext Access 17 Pages 2011
Determinacy and query rewriting for conjunctive queries and views
Fulltext Access 17 Pages 2011
Analyzing different variants of immune inspired somatic contiguous hypermutations
Fulltext Access 17 Pages 2011
On benefits and drawbacks of aging strategies for randomized search heuristics
Fulltext Access 17 Pages 2011
On the superimposition of Christoffel words
Fulltext Access 17 Pages 2011
Breaking the n22n-barrier for Irredundance: Two lines of attack
Fulltext Access 17 Pages 2011
Automatic mobility status estimation in wireless self-organised networks
Fulltext Access 17 Pages 2011
Representing real numbers in a generalized numeration system
Fulltext Access 17 Pages 2011
Relations between adjacency trees
Fulltext Access 17 Pages 2011
<< < 225 226 227 228 229 > >>
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