• 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

Linear programming models for estimating weights in the analytic hierarchy process
Fulltext Access 20 Pages 2005
JoiN: The implementation of a Java-based massively parallel grid
Fulltext Access 20 Pages 2005
Delaunay partitions in Rn applied to non-convex programs and vertex/facet enumeration problems
Fulltext Access 20 Pages 2005
Three new metrics to measure the convergence of metaheuristics towards the Pareto frontier and the aesthetic of a set of solutions in biobjective optimization
Fulltext Access 20 Pages 2005
Performance of 1 and 10 Gigabit Ethernet cards with server quality motherboards
Fulltext Access 20 Pages 2005
The fuzzy shortest path length and the corresponding shortest path in a network
Fulltext Access 20 Pages 2005
Constrained location of competitive facilities in the plane
Fulltext Access 20 Pages 2005
A Rewriting Calculus for Cyclic Higher-order Term Graphs
Fulltext Access 21 Pages 2005
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications
Fulltext Access 21 Pages 2005
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Fulltext Access 21 Pages 2005
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
Fulltext Access 21 Pages 2005
Autowrite: A Tool for Term Rewrite Systems and Tree Automata
Fulltext Access 21 Pages 2005
Synthesis of Optimal Strategies Using HyTech
Fulltext Access 21 Pages 2005
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus
Fulltext Access 21 Pages 2005
Toward the Concept of Backtracking Computation
Fulltext Access 21 Pages 2005
A Rewriting-based Framework for Web Sites Verification
Fulltext Access 21 Pages 2005
Playing with Maude
Fulltext Access 21 Pages 2005
PVS Strategies for Proving Abstraction Properties of Automata
Fulltext Access 21 Pages 2005
Java Bytecode Transformations for Efficient, Portable CPU Accounting
Fulltext Access 21 Pages 2005
Graceful reassignment of excessively long communications paths in networks
Fulltext Access 21 Pages 2005
Propositional distances and compact preference representation
Fulltext Access 21 Pages 2005
A neural network application to consumer classification to improve the timing of direct marketing activities
Fulltext Access 21 Pages 2005
An integrated product returns model with logistics and marketing coordination
Fulltext Access 21 Pages 2005
A column generation approach for solving a non-temporal forest harvest model with spatial structure constraints
Fulltext Access 21 Pages 2005
Activity consolidation to improve responsiveness
Fulltext Access 21 Pages 2005
An illustration of variable precision rough sets model: an analysis of the findings of the UK Monopolies and Mergers Commission
Fulltext Access 21 Pages 2005
EMM: an event-driven mobility model for generating movements of large numbers of mobile nodes
Fulltext Access 21 Pages 2005
The relevance of aggregating a water consumption model cannot be disconnected from the choice of information available on the resource
Fulltext Access 21 Pages 2005
Design and simulation of manufacturing systems facing imperfectly defined information
Fulltext Access 21 Pages 2005
Flow-shop scheduling for three serial stations with the last two duplicate
Fulltext Access 21 Pages 2005
An improved genetic algorithm for multi-floor facility layout problems having inner structure walls and passages
Fulltext Access 21 Pages 2005
The capacitated lot-sizing and scheduling problem with sequence-dependent setup costs and setup times
Fulltext Access 21 Pages 2005
Finding the K shortest hyperpaths
Fulltext Access 21 Pages 2005
Automated merging of conflicting knowledge bases, using a consistent, majority-rule approach with knowledge-form maintenance
Fulltext Access 21 Pages 2005
Performance Models For Master/Slave Parallel Programs
Fulltext Access 21 Pages 2005
knowCube: a visual and interactive support for multicriteria decision making
Fulltext Access 21 Pages 2005
CLSR Index ; Tables Volume 20: References in the index and these tables are to issues 1-6 Volume 20.
Fulltext Access 21 Pages 2005
News and comment on recent developments from around the world
Fulltext Access 21 Pages 2005
Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid
Fulltext Access 21 Pages 2005
Some two-echelon supply-chain games: Improving from deterministic-symmetric-information to stochastic-asymmetric-information models
Fulltext Access 21 Pages 2005
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Fulltext Access 21 Pages 2005
Software Model Checking Based on Game Semantics and CSP
Fulltext Access 21 Pages 2005
Securing Statically-verified Communications Protocols Against Timing Attacks
Fulltext Access 21 Pages 2005
Efficient Reduction Techniques for Systems with Many Components
Fulltext Access 21 Pages 2005
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
Fulltext Access 21 Pages 2005
Estimating Non-functional Properties of Component-based Software Based on Resource Consumption
Fulltext Access 21 Pages 2005
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Fulltext Access 21 Pages 2005
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
Fulltext Access 21 Pages 2005
Minerva
Fulltext Access 21 Pages 2005
Communicating Concurrent Objects in HiddenCCS
Fulltext Access 21 Pages 2005
Proving VLRL Action Properties with the Maude Model Checker
Fulltext Access 21 Pages 2005
A Quantitative Study of Two Attacks
Fulltext Access 21 Pages 2005
Numerical approximation of the Newtonian film blowing problem
Fulltext Access 21 Pages 2005
A Multi-Objective Genetic Algorithm for mixed-model sequencing on JIT assembly lines
Fulltext Access 21 Pages 2005
Optimal management of cross-trained workers in services with negligible switching costs
Fulltext Access 21 Pages 2005
Analysis of optimal opportunistic replenishment policies for inventory systems by using a (s,S) model with a maximum issue quantity restriction
Fulltext Access 21 Pages 2005
From Geometry of Interaction to Denotational Semantics
Fulltext Access 21 Pages 2005
Sequential selection procedures: Using sample means to improve efficiency
Fulltext Access 21 Pages 2005
Optimal stopping problem with double reservation value property
Fulltext Access 21 Pages 2005
Joint optimization for area traffic control and network flow
Fulltext Access 21 Pages 2005
A unified framework for approximation of general telecommunication networks
Fulltext Access 21 Pages 2005
A performance guarantee heuristic for electronic components placement problems including thermal effects
Fulltext Access 21 Pages 2005
The role of stochastic programming in communication network design
Fulltext Access 21 Pages 2005
A System for Virtual Directories Using Euler Diagrams
Fulltext Access 21 Pages 2005
Propositional Statecharts for Agent Interaction Protocols
Fulltext Access 21 Pages 2005
Solving the flowshop scheduling problem with sequence dependent setup times using advanced metaheuristics
Fulltext Access 21 Pages 2005
Single machine scheduling to minimize total weighted tardiness
Fulltext Access 21 Pages 2005
Automatic Verification of Safety Rules for a Subway Control Software
Fulltext Access 21 Pages 2005
Towards a Rigorous Approach to UML-Based Development
Fulltext Access 21 Pages 2005
The shift team formation problem in multi-shift manufacturing operations
Fulltext Access 21 Pages 2005
Explicit-Symbolic Modelling for Formal Verification
Fulltext Access 21 Pages 2005
Asynchronous Games 3 An Innocent Model of Linear Logic
Fulltext Access 22 Pages 2005
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Fulltext Access 22 Pages 2005
New Evaluation Commands for Maude Within Full Maude
Fulltext Access 22 Pages 2005
Complete Test Graph Synthesis For Symbolic Real-time Systems
Fulltext Access 22 Pages 2005
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Fulltext Access 22 Pages 2005
Bounded Model Checking for Deontic Interpreted Systems
Fulltext Access 22 Pages 2005
Effective and Efficient Compilation of Run-Time Generics in Java
Fulltext Access 22 Pages 2005
A new fuzzy multiple attributive group decision making methodology and its application to propulsion/manoeuvring system selection problem
Fulltext Access 22 Pages 2005
On scheduling around large restrictive common due windows
Fulltext Access 22 Pages 2005
Measurement and sources of overall and input inefficiencies: Evidences and implications in hospital services
Fulltext Access 22 Pages 2005
Shipment planning at oil refineries using column generation and valid inequalities
Fulltext Access 22 Pages 2005
Markovian analysis for performance evaluation and scheduling in m machine stochastic flow-shop with buffers of any capacity
Fulltext Access 22 Pages 2005
Innovation diffusion uncertainty, advertising and pricing policies
Fulltext Access 22 Pages 2005
Optimal bivariate clustering and a genetic algorithm with an application in cellular manufacturing
Fulltext Access 22 Pages 2005
Modelling Component Behaviour with Concurrent Automata
Fulltext Access 22 Pages 2005
High-Fidelity C/C++ Code Transformation
Fulltext Access 22 Pages 2005
An Invasive Composition System for Local-to-Global Transformations
Fulltext Access 22 Pages 2005
An Action Compiler Targeting Standard ML
Fulltext Access 22 Pages 2005
Using the Alloy Analyzer to Verify Data Refinement in Z
Fulltext Access 22 Pages 2005
A 65-approximation algorithm for the two-machine routing open-shop problem on a two-node network
Fulltext Access 22 Pages 2005
Strategy Construction in the Higher-Order Framework of TL
Fulltext Access 22 Pages 2005
Genetic local search for multi-objective flowshop scheduling problems
Fulltext Access 22 Pages 2005
From Reduction-based to Reduction-free Normalization
Fulltext Access 22 Pages 2005
Action Refinement for Real-Time Concurrent Processes with Urgency
Fulltext Access 22 Pages 2005
Type Checking for JavaScript
Fulltext Access 22 Pages 2005
The LIBOR model dynamics: Approximations, calibration and diagnostics
Fulltext Access 22 Pages 2005
Model-Based Built-In Tests
Fulltext Access 22 Pages 2005
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking
Fulltext Access 22 Pages 2005
There are no Aspects
Fulltext Access 22 Pages 2005
<< < 439 440 441 442 443 > >>
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