• 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

Property matching and weighted matching
Fulltext Access 13 Pages 2008
Universal relations and #P-completeness
Fulltext Access 13 Pages 2008
Lower bounds and new constructions on secure group communication schemes
Fulltext Access 13 Pages 2008
Monotonicity in digraph search problems
Fulltext Access 13 Pages 2008
Algebraic cycles from a computational point of view
Fulltext Access 13 Pages 2008
Gathering asynchronous oblivious mobile robots in a ring
Fulltext Access 13 Pages 2008
On the power of lookahead in on-line server routing problems
Fulltext Access 13 Pages 2008
Generating all permutations by context-free grammars in Greibach normal form
Fulltext Access 13 Pages 2008
On the limits of cache-oblivious rational permutations
Fulltext Access 13 Pages 2008
Sequential vector packing
Fulltext Access 13 Pages 2008
Adaptive initialization algorithm for ad hoc radio networks with carrier sensing
Fulltext Access 13 Pages 2008
On the complexity of minimizing interference in ad-hoc and sensor networks
Fulltext Access 13 Pages 2008
Polyomino coloring and complex numbers
Fulltext Access 13 Pages 2008
On stabilizers of infinite words
Fulltext Access 13 Pages 2008
Unconditional competitive auctions with copy and budget constraints
Fulltext Access 13 Pages 2008
The maximum edge-disjoint paths problem in complete graphs
Fulltext Access 13 Pages 2008
Algorithms for computing variants of the longest common subsequence problem
Fulltext Access 13 Pages 2008
Jug measuring: Algorithms and complexity
Fulltext Access 13 Pages 2008
Detection of subtle variations as consensus motifs
Fulltext Access 13 Pages 2008
Computability and the morphological complexity of some dynamics on continuous domains
Fulltext Access 13 Pages 2008
The heart of intersection type assignment: Normalisation proofs revisited
Fulltext Access 13 Pages 2008
Complexity and approximation for precedence constrained scheduling problems with large communication delays
Fulltext Access 13 Pages 2008
Approximation algorithms for forests augmentation ensuring two disjoint paths of bounded length
Fulltext Access 13 Pages 2008
Simple permutations: Decidability and unavoidable substructures
Fulltext Access 14 Pages 2008
Succinct representations of planar maps
Fulltext Access 14 Pages 2008
Drawing colored graphs on colored points
Fulltext Access 14 Pages 2008
Learning and extending sublanguages
Fulltext Access 14 Pages 2008
Symmetrized β -integers
Fulltext Access 14 Pages 2008
Paths and trails in edge-colored graphs
Fulltext Access 14 Pages 2008
Role-based access control for boxed ambients
Fulltext Access 14 Pages 2008
The computational complexity of the parallel knock-out problem
Fulltext Access 14 Pages 2008
Approximating a vehicle scheduling problem with time windows and handling times
Fulltext Access 14 Pages 2008
On different generalizations of episturmian words
Fulltext Access 14 Pages 2008
Self-deployment of mobile sensors on a ring
Fulltext Access 14 Pages 2008
Digraph measures: Kelly decompositions, games, and orderings
Fulltext Access 14 Pages 2008
On the decidability and complexity of the structural congruence for beta-binders
Fulltext Access 14 Pages 2008
The metabolic algorithm for P systems: Principles and applications
Fulltext Access 14 Pages 2008
Membrane systems with proteins embedded in membranes
Fulltext Access 14 Pages 2008
Bitonal membrane systems: Interactions of biological membranes
Fulltext Access 14 Pages 2008
Kernel methods for learning languages
Fulltext Access 14 Pages 2008
Learning unions of ω(1)-dimensional rectangles
Fulltext Access 14 Pages 2008
Reconstruction of a word from a multiset of its factors
Fulltext Access 14 Pages 2008
Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity
Fulltext Access 14 Pages 2008
Minimizing interference of a wireless ad-hoc network in a plane
Fulltext Access 14 Pages 2008
Efficient corona training protocols for sensor networks
Fulltext Access 14 Pages 2008
Scheduling to maximize participation
Fulltext Access 14 Pages 2008
Deterministic monotone algorithms for scheduling on related machines
Fulltext Access 14 Pages 2008
A rounding algorithm for approximating minimum Manhattan networks
Fulltext Access 14 Pages 2008
The moving curve ideal and the Rees algebra
Fulltext Access 14 Pages 2008
On isoperimetrically optimal polyforms
Fulltext Access 14 Pages 2008
A New Proposal for Debugging Datalog Programs 1
Fulltext Access 14 Pages 2008
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Fulltext Access 14 Pages 2008
Cyclic Extensions of Order Varieties
Fulltext Access 14 Pages 2008
Separation Logic for Multiple Inheritance
Fulltext Access 14 Pages 2008
Cooperative Testing of Timed Systems
Fulltext Access 14 Pages 2008
On Verification of Linear Occurrence Properties of Real-Time Systems
Fulltext Access 14 Pages 2008
Automatic Verification of Combined Specifications: An Overview
Fulltext Access 14 Pages 2008
Quantum Arrows in Haskell
Fulltext Access 14 Pages 2008
Interaction in Time and Space
Fulltext Access 14 Pages 2008
Extending Lustre with Timeout Automata
Fulltext Access 14 Pages 2008
A Model Checking Approach to Protocol Conversion
Fulltext Access 14 Pages 2008
Towards Mutation Analysis for Lustre Programs
Fulltext Access 14 Pages 2008
Declaring Numbers
Fulltext Access 14 Pages 2008
Rewriting Interpolants
Fulltext Access 14 Pages 2008
Computational Origami Construction as Constraint Solving and Rewriting
Fulltext Access 14 Pages 2008
The HiVe Writer
Fulltext Access 14 Pages 2008
A Tool for Programming with Interaction Nets
Fulltext Access 14 Pages 2008
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules 1
Fulltext Access 14 Pages 2008
ConSpec – A Formal Language for Policy Specification 1
Fulltext Access 14 Pages 2008
Monitoring External Resources in Java MIDP
Fulltext Access 14 Pages 2008
A Virtual Machine Based Information Flow Control System for Policy Enforcement 1
Fulltext Access 14 Pages 2008
Fast Lagrangian relaxation for constrained generation scheduling in a centralized electricity market
Fulltext Access 14 Pages 2008
Day ahead price forecasting of electricity markets by a mixed data model and hybrid forecast method
Fulltext Access 14 Pages 2008
A research agenda for query processing in large-scale peer data management systems
Fulltext Access 14 Pages 2008
Aconitum and Delphinium sp. alkaloids as antagonist modulators of voltage-gated Na+ channels: AM1/DFT electronic structure investigations and QSAR studies
Fulltext Access 14 Pages 2008
An on-line replication strategy to increase availability in Data Grids
Fulltext Access 14 Pages 2008
Computational complexity of determining which statements about causality hold in different space–time models
Fulltext Access 14 Pages 2008
Evolving BlenX programs to simulate the evolution of biological networks
Fulltext Access 14 Pages 2008
Bounded list injective homomorphism for comparative analysis of protein–protein interaction graphs
Fulltext Access 14 Pages 2008
Fast pattern-matching on indeterminate strings
Fulltext Access 14 Pages 2008
A 3-approximation algorithm for the subtree distance between phylogenies
Fulltext Access 14 Pages 2008
Simultaneous matchings: Hardness and approximation
Fulltext Access 14 Pages 2008
A decentralized algorithm for spectral analysis
Fulltext Access 14 Pages 2008
Learning intersections of halfspaces with a margin
Fulltext Access 14 Pages 2008
Learning with errors in answers to membership queries
Fulltext Access 14 Pages 2008
Taming teams with mind changes
Fulltext Access 14 Pages 2008
Model checking with Boolean Satisfiability
Fulltext Access 14 Pages 2008
Managing service level agreement contracts in OGSA-based Grids
Fulltext Access 14 Pages 2008
Theoretical analysis of binding specificity of influenza viral hemagglutinin to avian and human receptors based on the fragment molecular orbital method
Fulltext Access 14 Pages 2008
Large scale agent-based simulation on the grid
Fulltext Access 14 Pages 2008
Efficient reuse of replicated parallel data segments in computational grids
Fulltext Access 14 Pages 2008
An innovative workflow mapping mechanism for Grids in the frame of Quality of Service
Fulltext Access 14 Pages 2008
SemreX: Efficient search in a semantic overlay for literature retrieval
Fulltext Access 14 Pages 2008
An accurate mathematical performance model of adaptive routing in the star graph
Fulltext Access 14 Pages 2008
Encoding Distributed Process Calculi into LMNtal
Fulltext Access 14 Pages 2008
Expressiveness of Process Algebras
Fulltext Access 14 Pages 2008
Time Separation of Events: An Inverse Method
Fulltext Access 14 Pages 2008
Describing the Immune System Using Enhanced Mobile Membranes 1
Fulltext Access 14 Pages 2008
Encoding First Order Proofs in SMT
Fulltext Access 14 Pages 2008
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
Fulltext Access 14 Pages 2008
<< < 291 292 293 294 295 > >>
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