• 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

Connection between kinetic methods for fluid-dynamic equations and macroscopic finite-difference schemes
Fulltext Access 21 Pages 2009
A comparison of scheduling algorithms for flexible flow shop problems with unrelated parallel machines, setup times, and dual criteria
Fulltext Access 21 Pages 2009
An Automated Approach for Proving PCL Invariants
Fulltext Access 21 Pages 2009
Analysis of Rewrite-Based Access Control Policies
Fulltext Access 21 Pages 2009
Strategies for Solving Constraints in Type and Effect Systems
Fulltext Access 21 Pages 2009
Synchronization as a Special Case of Access Control
Fulltext Access 21 Pages 2009
Session-based Choreography with Exceptions
Fulltext Access 21 Pages 2009
Strong Joinability Analysis for Graph Transformation Systems in CHR
Fulltext Access 21 Pages 2009
Formulations and relaxations for a multi-echelon capacitated location–distribution problem
Fulltext Access 21 Pages 2009
Automatic Proofs of Termination With Elementary Interpretations
Fulltext Access 21 Pages 2009
An investigation of fuzzy multiple heuristic orderings in the construction of university examination timetables
Fulltext Access 21 Pages 2009
Equivalence Criteria for Compositional IF Modal Logics
Fulltext Access 21 Pages 2009
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Fulltext Access 21 Pages 2009
Intuitionistic Letcc via Labelled Deduction
Fulltext Access 21 Pages 2009
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Fulltext Access 21 Pages 2009
Four limit cycles for a three-dimensional competitive Lotka–Volterra system with a heteroclinic cycle
Fulltext Access 21 Pages 2009
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
Fulltext Access 21 Pages 2009
Logical Semantics for Stability
Fulltext Access 21 Pages 2009
Strategy-Based Proof Calculus for Membrane Systems
Fulltext Access 21 Pages 2009
A Rewriting Semantics for Maude Strategies
Fulltext Access 21 Pages 2009
Dynamic pricing and advertising for web content providers
Fulltext Access 21 Pages 2009
When should a manufacturer share truthful manufacturing cost information with a dominant retailer?
Fulltext Access 21 Pages 2009
A new QoS ontology and its QoS-based ranking algorithm for Web services
Fulltext Access 21 Pages 2009
Relational Semantics Revisited
Fulltext Access 21 Pages 2009
Network modelling and simulation tools
Fulltext Access 21 Pages 2009
Exploiting concurrency in the implementation of a discrete event simulator
Fulltext Access 21 Pages 2009
Analytical modelling and simulation of small scale, typical and highly available Beowulf clusters with breakdowns and repairs
Fulltext Access 21 Pages 2009
Performance analysis of adaptive buffer management mechanism using autoregressive based MPEG-4 encoded video traffic model
Fulltext Access 21 Pages 2009
Formalizing Adaptation On-the-Fly
Fulltext Access 22 Pages 2009
An evaluation study of clustering algorithms in the scope of user communities assessment
Fulltext Access 22 Pages 2009
Multi-criterion Pareto based particle swarm optimized polynomial neural network for classification: A review and state-of-the-art
Fulltext Access 22 Pages 2009
Weakly nonlinear surface waves and subsonic phase boundaries
Fulltext Access 22 Pages 2009
A reactive GRASP for a commercial territory design problem with multiple balancing requirements
Fulltext Access 22 Pages 2009
Financial distress early warning based on group decision making
Fulltext Access 22 Pages 2009
A condition-based replacement and spare provisioning policy for deteriorating systems with uncertain deterioration to failure
Fulltext Access 22 Pages 2009
Introduction of a second channel: Implications for pricing and profits
Fulltext Access 22 Pages 2009
Implementations of PACMAN
Fulltext Access 22 Pages 2009
Evaluating environmental regulation in Spain using process control and preventive techniques
Fulltext Access 22 Pages 2009
Finding and identifying optimal inventory levels for systems with common components
Fulltext Access 22 Pages 2009
Analysis of a finite buffer model with two servers and two nonpreemptive priority classes
Fulltext Access 22 Pages 2009
Splitting up value: A critical review of residual income theories
Fulltext Access 22 Pages 2009
Two-dimensional cargo overbooking models
Fulltext Access 22 Pages 2009
Structural simplification of modular bond-graph models based on junction inactivity
Fulltext Access 22 Pages 2009
Extension and application of an algorithm for systematic identification of weak coupling and partitions in dynamic system models
Fulltext Access 22 Pages 2009
MDE and customization of modeling and simulation web applications
Fulltext Access 22 Pages 2009
Translating Stochastic CLS into Maude
Fulltext Access 22 Pages 2009
A Port Graph Calculus for Autonomic Computing and Invariant Verification
Fulltext Access 22 Pages 2009
Monoidal Indeterminates and Categories of Possible Worlds
Fulltext Access 22 Pages 2009
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
Fulltext Access 22 Pages 2009
Axiomatics for Data Refinement in Call by Value Programming Languages
Fulltext Access 22 Pages 2009
Game Semantics for Access Control
Fulltext Access 22 Pages 2009
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Fulltext Access 22 Pages 2009
Structural Operational Semantics with First-Order Logic
Fulltext Access 22 Pages 2009
Some Investigations About Synchronization and Density Classification Tasks in One-dimensional and Two-dimensional Cellular Automata Rule Spaces
Fulltext Access 22 Pages 2009
On Symbolic Semantics for Name-decorated Contexts
Fulltext Access 22 Pages 2009
Automated Analysis of Reo Circuits using Symbolic Execution
Fulltext Access 22 Pages 2009
A Calculus for Mobile Ad-hoc Networks with Static Location Binding
Fulltext Access 23 Pages 2009
Utilization and maintenance in a model with scrapping
Fulltext Access 23 Pages 2009
Empirical time and frequency domain models of spectrum use
Fulltext Access 23 Pages 2009
Two-level Lambda-calculus
Fulltext Access 23 Pages 2009
Can R&D expenditure avoid corporate bankruptcy? Comparison between Japanese machinery and electric equipment industries using DEA–discriminant analysis
Fulltext Access 23 Pages 2009
Valid inequalities for the single-item capacitated lot sizing problem with step-wise costs
Fulltext Access 23 Pages 2009
An Interval-based Abstraction for Quantifying Information Flow
Fulltext Access 23 Pages 2009
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
Fulltext Access 23 Pages 2009
Regularity of bondgraphs and directed bondgraphs
Fulltext Access 23 Pages 2009
Energy shaping, interconnection and damping assignment, and integral control in the bond graph domain
Fulltext Access 23 Pages 2009
Characterization of 1-d Periodic Boundary Reversible CA
Fulltext Access 23 Pages 2009
A hybrid method based on linear programming and tabu search for routing of logging trucks
Fulltext Access 23 Pages 2009
Dynamic analysis of a pilot-operated two-stage solenoid valve used in pneumatic system
Fulltext Access 23 Pages 2009
Characterization of Single Cycle CA and its Application in Pattern Classification
Fulltext Access 23 Pages 2009
An overview on XML similarity: Background, current trends and future directions
Fulltext Access 23 Pages 2009
Reservoir computing approaches to recurrent neural network training
Fulltext Access 23 Pages 2009
A simulation modelling methodology for evaluating flat-shunted yard operations
Fulltext Access 24 Pages 2009
Two-period dynamic versus fixed-ratio pricing in a capacity constrained duopoly
Fulltext Access 24 Pages 2009
Dynamic performance of a dead-band controlled capacitor charging type inverter
Fulltext Access 24 Pages 2009
Supply network modelling and simulation methodology
Fulltext Access 24 Pages 2009
Dynamics of Quality Perception in a Social Network: A Cellular Automaton Based Model in Aesthetics Services
Fulltext Access 24 Pages 2009
LCF-style Platform based on Multiway Decision Graphs
Fulltext Access 24 Pages 2009
Evaluating the Quality of Open Source Software
Fulltext Access 24 Pages 2009
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems
Fulltext Access 24 Pages 2009
Application of Queueing Network Models in the Performance Evaluation of Database Designs
Fulltext Access 24 Pages 2009
Approximate solution of a mixed nonlinear stochastic oscillator
Fulltext Access 24 Pages 2009
Equational Coalgebraic Logic
Fulltext Access 24 Pages 2009
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Fulltext Access 24 Pages 2009
A Context-based Approach to Proving Termination of Evaluation
Fulltext Access 24 Pages 2009
Heuristic approaches for the two- and three-dimensional knapsack packing problem
Fulltext Access 24 Pages 2009
Erlang loss queueing system with batch arrivals operating in a random environment
Fulltext Access 24 Pages 2009
Extending Algebraic Operations to D-Completions
Fulltext Access 24 Pages 2009
Network location of a reliable center using the most reliable route policy
Fulltext Access 24 Pages 2009
Parallel machine earliness/tardiness scheduling problem under the effects of position based learning and linear/nonlinear deterioration
Fulltext Access 24 Pages 2009
Parametric mixed-integer 0–1 linear programming: The general case for a single parameter
Fulltext Access 24 Pages 2009
Hard Life with Weak Binders
Fulltext Access 24 Pages 2009
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
Fulltext Access 25 Pages 2009
An effective hybrid DE-based algorithm for multi-objective flow shop scheduling with limited buffers
Fulltext Access 25 Pages 2009
Modeling of a multilane-multiple intersection based on queue theory and standard approach techniques
Fulltext Access 25 Pages 2009
On-line scheduling of two parallel machines with a single server
Fulltext Access 25 Pages 2009
Sequencing mixed-model assembly lines: Survey, classification and model critique
Fulltext Access 25 Pages 2009
A micro-economic perspective on manager selection in nonprofit organizations
Fulltext Access 25 Pages 2009
A perturbation-based estimate algorithm for parameters of coupled ordinary differential equations, applications from chemical reactions to metabolic dynamics
Fulltext Access 25 Pages 2009
Open access to public documents – More secrecy, less transparency!
Fulltext Access 25 Pages 2009
<< < 356 357 358 359 360 > >>
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