• 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

Adversarial exploits of end-systems adaptation dynamics
Fulltext Access 18 Pages 2007
Separation of synchronous and asynchronous communication via testing
Fulltext Access 18 Pages 2007
Model transformations in MT
Fulltext Access 18 Pages 2007
Abstract interpretation of combinational asynchronous circuits
Fulltext Access 18 Pages 2007
A polynomial-time algorithm for global value numbering
Fulltext Access 18 Pages 2007
Coordination with multicapabilities
Fulltext Access 18 Pages 2007
Global computing in a dynamic network of tuple spaces
Fulltext Access 18 Pages 2007
Recursive construction of parallel distribution networks
Fulltext Access 18 Pages 2007
Fault-tolerant and efficient data propagation in wireless sensor networks using local, additional network information
Fulltext Access 18 Pages 2007
Clustering techniques for dynamic location management in mobile computing
Fulltext Access 18 Pages 2007
Dynamic partner identification in mobile agent-based distributed job workflow execution
Fulltext Access 18 Pages 2007
Decision-making based on approximate and smoothed Pareto curves
Fulltext Access 18 Pages 2007
Modeling of concurrent web sessions with bounded inconsistency in shared data
Fulltext Access 18 Pages 2007
Two algorithms for the Student-Project Allocation problem
Fulltext Access 18 Pages 2007
Tempus fugit: How to plug it
Fulltext Access 18 Pages 2007
Cut problems in graphs with a budget constraint
Fulltext Access 18 Pages 2007
The most probable annotation problem in HMMs and its application to bioinformatics
Fulltext Access 18 Pages 2007
Workload correlations in multi-processor hard real-time systems
Fulltext Access 18 Pages 2007
Clausal resolution for normal modal logics
Fulltext Access 18 Pages 2007
Rotation and lighting invariant template matching
Fulltext Access 18 Pages 2007
On identifying codes that are robust against edge changes
Fulltext Access 18 Pages 2007
The configuration space of homologous proteins: A theoretical and practical framework to reduce the diversity of the protein sequence space after massive all-by-all sequence comparisons
Fulltext Access 18 Pages 2007
Concurrent games with tail objectives
Fulltext Access 18 Pages 2007
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Fulltext Access 18 Pages 2007
Multicommodity flows over time: Efficient algorithms and complexity
Fulltext Access 18 Pages 2007
Discrete solutions to differential equations by metabolic P systems
Fulltext Access 18 Pages 2007
CSL model checking algorithms for QBDs
Fulltext Access 18 Pages 2007
Longest common subsequence problem for unoriented and cyclic strings
Fulltext Access 18 Pages 2007
Horn axiomatizations for sequential data
Fulltext Access 18 Pages 2007
A geometrical characterization of factors of multidimensional Billiard words and some applications
Fulltext Access 18 Pages 2007
Reversals and palindromes in continued fractions
Fulltext Access 18 Pages 2007
Agreement in synchronous networks with ubiquitous faults
Fulltext Access 18 Pages 2007
Belnap’s logic and conditional composition
Fulltext Access 18 Pages 2007
Computing shortest paths with uncertainty
Fulltext Access 18 Pages 2007
Discrete random variables over domains
Fulltext Access 18 Pages 2007
Weighted automata and weighted logics
Fulltext Access 18 Pages 2007
Optimal routing in double loop networks
Fulltext Access 18 Pages 2007
On the complexity of working set selection
Fulltext Access 18 Pages 2007
Centralized asynchronous broadcast in radio networks
Fulltext Access 18 Pages 2007
Finding large cliques in sparse semi-random graphs by simple randomized search heuristics
Fulltext Access 18 Pages 2007
NP-hard graph problems and boundary classes of graphs
Fulltext Access 18 Pages 2007
Identity-based ring signatures from RSA
Fulltext Access 18 Pages 2007
Towards a theory of data entanglement
Fulltext Access 18 Pages 2007
A simple and efficient method for variable ranking according to their usefulness for learning
Fulltext Access 18 Pages 2007
Towards Software Component Procurement Automation with Latent Semantic Analysis
Fulltext Access 18 Pages 2007
Dynamic Reverse Code Generation for Backward Execution
Fulltext Access 18 Pages 2007
Fault Detection in Multi-Threaded C++ Server Applications
Fulltext Access 18 Pages 2007
Detecting Cognitive Causes of Confidentiality Leaks
Fulltext Access 18 Pages 2007
Model-checking Driven Design of Interactive Systems
Fulltext Access 18 Pages 2007
A Certifying Code Generation Phase
Fulltext Access 18 Pages 2007
Sampling algorithms for generating joint uniform distributions using the vine-copula method
Fulltext Access 18 Pages 2007
Comparison of PQL and Laplace 6 estimates of hierarchical linear models when comparing groups of small incident rates in cluster randomised trials
Fulltext Access 18 Pages 2007
Kernel logistic PLS: A tool for supervised nonlinear dimensionality reduction and binary classification
Fulltext Access 18 Pages 2007
Restricted regression estimation in measurement error models
Fulltext Access 18 Pages 2007
Discovery, visualization and performance analysis of enterprise workflow
Fulltext Access 18 Pages 2007
Point set stratification and Delaunay depth
Fulltext Access 18 Pages 2007
Combined use of association rules mining and clustering methods to find relevant links between binary rare attributes in a large data set
Fulltext Access 18 Pages 2007
Partial Order Reduction for Rewriting Semantics of Programming Languages
Fulltext Access 18 Pages 2007
High-dimensional data clustering
Fulltext Access 18 Pages 2007
Comparison of different estimation procedures for proportional hazards model with random effects
Fulltext Access 18 Pages 2007
Influence functions and local influence in linear discriminant analysis
Fulltext Access 18 Pages 2007
Quantile curves and dependence structure for bivariate distributions
Fulltext Access 18 Pages 2007
The random projection method in goodness of fit for functional data
Fulltext Access 18 Pages 2007
Simulation-based designs for multiperiod control
Fulltext Access 18 Pages 2007
Estimating quantiles under sampling on two occasions with arbitrary sample designs
Fulltext Access 18 Pages 2007
Clustering data with measurement errors
Fulltext Access 18 Pages 2007
Optimum experimental designs for dynamic systems in the presence of correlated errors
Fulltext Access 18 Pages 2007
A null space method for over-complete blind source separation
Fulltext Access 18 Pages 2007
Geometric spanners with applications in wireless networks
Fulltext Access 18 Pages 2007
Line-segment intersection made in-place
Fulltext Access 18 Pages 2007
On Symbolic Verification of Weakly Extended PAD
Fulltext Access 18 Pages 2007
Admissible Representations of Probability Measures
Fulltext Access 18 Pages 2007
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics 1
Fulltext Access 18 Pages 2007
On the Expressiveness of Mobile Synchronizing Petri Nets
Fulltext Access 18 Pages 2007
Secured Information Flow for Asynchronous Sequential Processes
Fulltext Access 18 Pages 2007
Mechanised Refinement of Procedures
Fulltext Access 18 Pages 2007
General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting
Fulltext Access 18 Pages 2007
Strongly Typed Rewriting For Coupled Software Transformation
Fulltext Access 18 Pages 2007
Tinycals: Step by Step Tacticals
Fulltext Access 18 Pages 2007
Context Dependent Procedures and Computed Types in ✓eriFun
Fulltext Access 18 Pages 2007
A Calculus of Components with Dynamic Type-Checking 1
Fulltext Access 18 Pages 2007
The Power of Closed Reduction Strategies
Fulltext Access 18 Pages 2007
From Functional Programs to Interaction Nets via the Rewriting Calculus ⋆
Fulltext Access 18 Pages 2007
Undecidability of the structure of the Solovay degrees of c.e. reals
Fulltext Access 19 Pages 2007
Improving process models by discovering decision points
Fulltext Access 19 Pages 2007
Maintaining large update batches by restructuring and grouping
Fulltext Access 19 Pages 2007
Efficient schema-based XML-to-Relational data mapping
Fulltext Access 19 Pages 2007
When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Fulltext Access 19 Pages 2007
Magic numbers in the state hierarchy of finite automata
Fulltext Access 19 Pages 2007
Propositional dynamic logic with recursive programs
Fulltext Access 19 Pages 2007
Denotational semantics of hybrid automata
Fulltext Access 19 Pages 2007
Holistic Join for Generalized Tree Patterns
Fulltext Access 19 Pages 2007
Formal specification of a Web services protocol
Fulltext Access 19 Pages 2007
Improved decremental algorithms for maintaining transitive closure and all-pairs shortest paths
Fulltext Access 19 Pages 2007
Energy-efficient wireless information retrieval
Fulltext Access 19 Pages 2007
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform
Fulltext Access 19 Pages 2007
A station strategy to deter backoff attacks in IEEE 802.11 LANs
Fulltext Access 19 Pages 2007
Algorithms for finding distance-edge-colorings of graphs
Fulltext Access 19 Pages 2007
Maximum integer multiflow and minimum multicut problems in two-sided uniform grid graphs
Fulltext Access 19 Pages 2007
Structural and behavioural compatibility of graphical service specifications
Fulltext Access 19 Pages 2007
<< < 322 323 324 325 326 > >>
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