• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Daneshyari Computer Science (General) Journas Latest Articles

Computer Science (General) Research Articles

Stochastic evolution equations for nonlinear filtering of random fields in the presence of fractional Brownian sheet observation noise
Fulltext Access 19 Pages 2008
A Lightweight Approach for the Semantic Validation of Model Refinements
Fulltext Access 19 Pages 2008
CC(X): Semantic Combination of Congruence Closure with Solvable Theories
Fulltext Access 19 Pages 2008
Type Checking Circus Specifications
Fulltext Access 19 Pages 2008
Invariants for Non-Hierarchical Object Structures
Fulltext Access 19 Pages 2008
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation
Fulltext Access 19 Pages 2008
Distributed strategic interleaving with load balancing
Fulltext Access 19 Pages 2008
Gridification of collaborative audiovisual organizations through the MediaGrid framework
Fulltext Access 19 Pages 2008
Game theory and power control in ultrawideband networks
Fulltext Access 19 Pages 2008
Bias artifact suppression on MR volumes
Fulltext Access 19 Pages 2008
A numerical comparative study on data assimilation using Kalman filters
Fulltext Access 19 Pages 2008
A polynomial-time approximation to optimal multivariate microaggregation
Fulltext Access 19 Pages 2008
Multiple fixed-sign solutions for a system of higher order three-point boundary-value problems with deviating arguments
Fulltext Access 19 Pages 2008
Numerical solutions of linear and nonlinear singular perturbation problems
Fulltext Access 19 Pages 2008
Focus to emphasize tone analysis for prosodic generation
Fulltext Access 19 Pages 2008
HYPE Applied to the Modelling of Hybrid Biological Systems
Fulltext Access 19 Pages 2008
Application of the Ritz–Galerkin method for recovering the spacewise-coefficients in the wave equation
Fulltext Access 19 Pages 2008
Ant colony optimization for continuous domains
Fulltext Access 19 Pages 2008
Matching inductive search bias and problem structure in continuous Estimation-of-Distribution Algorithms
Fulltext Access 19 Pages 2008
Pricing and trading European options by combining artificial neural networks and parametric models with implied parameters
Fulltext Access 19 Pages 2008
Supply chain optimization of petroleum organization under uncertainty in market demands and prices
Fulltext Access 19 Pages 2008
Polyhedral combinatorics of multi-index axial transportation problems
Fulltext Access 19 Pages 2008
Furniture supply chain tactical planning optimization using a time decomposition approach
Fulltext Access 19 Pages 2008
A new model and hybrid approach for large scale inventory routing problems
Fulltext Access 19 Pages 2008
Bounds and approximations for continuous-time Markovian transition probabilities and large systems
Fulltext Access 19 Pages 2008
A column generation algorithm for the estimation of origin–destination matrices in congested traffic networks
Fulltext Access 19 Pages 2008
Integration of equipment planning and project scheduling
Fulltext Access 19 Pages 2008
Mathematical modelling of the heat behaviour in the ceramic chamber furnaces at different temperature baking curves
Fulltext Access 19 Pages 2008
An interactive environment for motor unit potential classification using certainty-based classifiers
Fulltext Access 19 Pages 2008
Object-oriented landing gear model in a PC-based flight simulator
Fulltext Access 19 Pages 2008
A Universal Cellular Automaton on the Ternary Heptagrid
Fulltext Access 19 Pages 2008
A Meta Linear Logical Framework
Fulltext Access 19 Pages 2008
Structured Types and Separation Logic
Fulltext Access 19 Pages 2008
Symbolic and Abstract Interpretation for C/C++ Programs
Fulltext Access 19 Pages 2008
Inferring Static Non-monotone Size-aware Types Through Testing
Fulltext Access 19 Pages 2008
An RDF Query Language based on Logic Programming
Fulltext Access 19 Pages 2008
Refinement Algebra for Probabilistic Programs
Fulltext Access 19 Pages 2008
The STSLib Project: Towards a Formal Component Model Based on STS 1
Fulltext Access 19 Pages 2008
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Fulltext Access 19 Pages 2008
Resource-Oriented Design Framework for Embedded System Components
Fulltext Access 19 Pages 2008
Sequential Real Number Computation and Recursive Relations
Fulltext Access 19 Pages 2008
Complexity of Operators on Compact Sets
Fulltext Access 19 Pages 2008
Higher-Order Separation Logic in Isabelle/HOLCF
Fulltext Access 19 Pages 2008
An Efficient Solution for Model Checking Graph Transformation Systems
Fulltext Access 19 Pages 2008
A Categorical Model of the Fusion Calculus
Fulltext Access 19 Pages 2008
Global State Considered Helpful
Fulltext Access 19 Pages 2008
A Monotonicity Principle for Information Theory
Fulltext Access 19 Pages 2008
Formal Modelling of Salience and Cognitive Load ⋆
Fulltext Access 19 Pages 2008
The Verification of rCOS Using Spin 1
Fulltext Access 19 Pages 2008
A review of methods for capacity identification in Choquet integral based multi-attribute utility theory: Applications of the Kappalab R package
Fulltext Access 20 Pages 2008
Predicting performance measures for Markovian type of manufacturing systems with product failures
Fulltext Access 20 Pages 2008
How should the cost of joint risk capital be allocated for performance measurement?
Fulltext Access 20 Pages 2008
Round robin scheduling – a survey
Fulltext Access 20 Pages 2008
On the tradeoff between optimal order-base-stock levels and demand lead-times
Fulltext Access 20 Pages 2008
Analysis of a discrete-time preemptive resume priority buffer
Fulltext Access 20 Pages 2008
Government preparedness: Using simulation to prepare for a terrorist attack
Fulltext Access 20 Pages 2008
New complexity analysis of IIPMs for linear optimization based on a specific self-regular function
Fulltext Access 20 Pages 2008
Operations research and data mining
Fulltext Access 20 Pages 2008
A multicriteria facility location model for municipal solid waste management in North Greece
Fulltext Access 20 Pages 2008
The risk and information sharing of application services supply chain
Fulltext Access 20 Pages 2008
Solving the car sequencing problem via Branch & Bound
Fulltext Access 20 Pages 2008
Verbal ordinal classification with multicriteria decision aiding
Fulltext Access 20 Pages 2008
A Parametric Calculus for Mobile Open Code
Fulltext Access 20 Pages 2008
An evolutionary approach to rehabilitation patient scheduling: A case study
Fulltext Access 20 Pages 2008
Proofs as Polynomials
Fulltext Access 20 Pages 2008
Collaboration in R&D activities: Firm-specific decisions
Fulltext Access 20 Pages 2008
Analysis of a newsvendor which has errors in inventory data records
Fulltext Access 20 Pages 2008
Implementing Real Numbers With RZ
Fulltext Access 20 Pages 2008
New insights on testing the efficiency of methods of pricing and hedging American options
Fulltext Access 20 Pages 2008
A genetic algorithm for the resource constrained multi-project scheduling problem
Fulltext Access 20 Pages 2008
Homotopy perturbation method for solving sixth-order boundary value problems
Fulltext Access 20 Pages 2008
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Fulltext Access 20 Pages 2008
Coequational Logic for Finitary Functors
Fulltext Access 20 Pages 2008
Towards Deriving Test Sequences by Model Checking
Fulltext Access 20 Pages 2008
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
Fulltext Access 20 Pages 2008
An Institutional Theory for #-Components
Fulltext Access 20 Pages 2008
Domain-specific Semantics and Data Refinement of Object Models
Fulltext Access 20 Pages 2008
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Fulltext Access 20 Pages 2008
Algebraic Stuttering Simulations ⋆
Fulltext Access 20 Pages 2008
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence
Fulltext Access 20 Pages 2008
Separate Compilation of Polychronous Specifications
Fulltext Access 20 Pages 2008
Coordination Models Orc and Reo Compared
Fulltext Access 20 Pages 2008
Refinement for Pipelining in Event-B
Fulltext Access 20 Pages 2008
Information transmittal and time uncertainty, measuring the speed of light and time of reflection, representations of Newton’s second law and related problems
Fulltext Access 20 Pages 2008
Price determination for an EOQ model for deteriorating items under perfect competition
Fulltext Access 20 Pages 2008
“Bricks-and-mortar” vs. “clicks-and-mortar”: An equilibrium analysis
Fulltext Access 20 Pages 2008
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems 1
Fulltext Access 20 Pages 2008
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Fulltext Access 20 Pages 2008
Relational Analysis and Precision via Probabilistic Abstract Interpretation
Fulltext Access 20 Pages 2008
Classical Knowledge for Quantum Cryptographic Reasoning
Fulltext Access 20 Pages 2008
Methods for computing Nash equilibria of a location–quantity game
Fulltext Access 20 Pages 2008
Optimal buffer allocation in finite closed networks with multiple servers
Fulltext Access 20 Pages 2008
Extensive experiments with hybrid genetic algorithms for the solution of the quadratic assignment problem
Fulltext Access 20 Pages 2008
Cellular network configuration with co-channel and adjacent-channel interference constraints
Fulltext Access 20 Pages 2008
To be fair or efficient or a bit of both
Fulltext Access 20 Pages 2008
Performance analysis of a non-preemptive priority queuing system subjected to a correlated Markovian interruption process
Fulltext Access 20 Pages 2008
Integrating Refinement into Software Development Tools
Fulltext Access 20 Pages 2008
A successive convex approximation method for multistage workforce capacity planning problem with turnover
Fulltext Access 20 Pages 2008
A supply chain under limited-time promotion: The effect of customer sensitivity
Fulltext Access 20 Pages 2008
Rerouting tunnels for MPLS network resource optimization
Fulltext Access 20 Pages 2008
<< < 378 379 380 381 382 > >>
Related Topics
Genetic algorithm Articles
6327 Papers
Computer simulation Articles
3034 Papers
Productivity Articles
2777 Papers
Fuzzy logic Articles
2743 Papers
synchronization Articles
2257 Papers
Social media Articles
2052 Papers
Security Articles
2003 Papers
Automation Articles
1810 Papers
Cluster Articles
1655 Papers
Virtual reality Articles
1583 Papers
Robotics Articles
1524 Papers
Cloud computing Articles
1472 Papers
Fault detection Articles
1414 Papers
Social networks Articles
1409 Papers
survival analysis Articles
1353 Papers
CAM Articles
1272 Papers
Computer simulations Articles
1253 Papers
Computer vision Articles
1193 Papers
Privacy Articles
1165 Papers
Polymorphisms Articles
1155 Papers
Simulations Articles
1129 Papers
Information retrieval Articles
955 Papers
Scale-up Articles
840 Papers
Social network analysis Articles
712 Papers
Facebook Articles
666 Papers
Geographic information systems Articles
645 Papers
ICT Articles
638 Papers
Multimedia Articles
618 Papers
Semantic web Articles
592 Papers
Computer-mediated communication Articles
569 Papers
Process simulation Articles
531 Papers
Smartphone Articles
520 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
New Scientist Journal
Electronic Notes in Theoretical Computer Science Journal
Future Generation Computer Systems Journal
Physical Communication Journal
Applied Computing and Informatics Journal
Computer Law & Security Review Journal
Computer Methods and Programs in Biomedicine Journal
Computer Science Review Journal
Computers & Mathematics with Applications Journal
Computers & Operations Research Journal
Egyptian Informatics Journal Journal
Engineering Journal
Engineering Science and Technology, an International Journal Journal
European Journal of Operational Research Journal
Informatics in Medicine Unlocked Journal
Journal of the Egyptian Mathematical Society Journal
Journal of King Saud University - Computer and Information Sciences Journal
Karbala International Journal of Modern Science Journal
Operations Research Perspectives Journal
Procedia Computer Science Journal
Procedia Technology Journal
Simulation Modelling Practice and Theory Journal
Sustainable Computing: Informatics and Systems Journal
Swarm and Evolutionary Computation Journal

Daneshyari.com

دسترسی سریع

  • صفحه اصلی دانشیاری
  • دسته بندی موضوعی مقالات
  • مقالات ترجمه شده
  • سفارش ترجمه مقاله
  • سفارش تولید محتوا
  • تولید محتوا

ارتباط

  • ورود
  • عضویت
  • تماس و پشتیبانی
  • تبلیغات

English Website

  • Home
  • Physical Sciences and Engineering
  • Life Sciences
  • Health Sciences
  • Social Sciences and Humanities