• 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

Which Soft Constraints do you Prefer?
Fulltext Access 17 Pages 2009
Computational challenges in systems biology
Fulltext Access 17 Pages 2009
Architecture, cost-model and customization of real-time monitoring systems based on mobile biological sensor data-streams
Fulltext Access 17 Pages 2009
A multidimensional segmentation evaluation for medical image data
Fulltext Access 17 Pages 2009
Regulating webcasting: An analysis of the Audiovisual Media Services Directive and the current broadcasting law in the UK
Fulltext Access 17 Pages 2009
Delegation and digital mandates: Legal requirements and security objectives
Fulltext Access 17 Pages 2009
Visualization and GPU-accelerated simulation of medical ultrasound from CT images
Fulltext Access 17 Pages 2009
A comparative study of individual and ensemble majority vote cDNA microarray image segmentation schemes, originating from a spot-adjustable based restoration framework
Fulltext Access 17 Pages 2009
A statistical metadata model for clinical trials’ data management
Fulltext Access 17 Pages 2009
Signal propagation techniques for wireless underground communication networks
Fulltext Access 17 Pages 2009
A compressed sensing receiver for UWB impulse radio in bursty applications like wireless sensor networks
Fulltext Access 17 Pages 2009
A survey of scheduling metrics and an improved ordering policy for list schedulers operating on workloads with dependencies and a wide variation in execution times
Fulltext Access 17 Pages 2009
On the Expressivity of Minimal Generic Quantification
Fulltext Access 17 Pages 2009
Intuitionistic fuzzy Lie sub-superalgebras and intuitionistic fuzzy ideals
Fulltext Access 17 Pages 2009
Variant Narrowing and Equational Unification
Fulltext Access 17 Pages 2009
Quantitative Notions of Leakage for One-try Attacks
Fulltext Access 17 Pages 2009
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols
Fulltext Access 17 Pages 2009
Compositional Model Checking of product-form CTMCs
Fulltext Access 17 Pages 2009
On the Complexity of Semantic Self-minimization
Fulltext Access 17 Pages 2009
Compositional CSP Traces Refinement Checking
Fulltext Access 17 Pages 2009
Recursive Functions with Pattern Matching in Interaction Nets
Fulltext Access 17 Pages 2009
On Rough Concept Lattices
Fulltext Access 17 Pages 2009
Domain Equations Based on Sets with Families of Pre-orders
Fulltext Access 17 Pages 2009
External Control in Process Algebra for Systems Biology
Fulltext Access 17 Pages 2009
An Abstract Machine for the Stochastic Bioambient calculus
Fulltext Access 17 Pages 2009
Location of infrastructure in urban railway networks
Fulltext Access 17 Pages 2009
Differential evolutionary algorithm for TCSC-based controller design
Fulltext Access 17 Pages 2009
Hierarchical decision making in production and repair/replacement planning with imperfect repairs under uncertainties
Fulltext Access 17 Pages 2009
Data envelopment analysis (DEA) – Thirty years on
Fulltext Access 17 Pages 2009
Economic optimization of off-line inspection in a process that also produces non-conforming units when in control and conforming units when out of control
Fulltext Access 17 Pages 2009
Existence of equilibria in a decentralized two-level supply chain
Fulltext Access 17 Pages 2009
A heuristic solution framework for the resource constrained (multi-)project scheduling problem with sequence-dependent transfer times
Fulltext Access 17 Pages 2009
Manufacturer-buyer coordination for newsvendor-type-products with two ordering opportunities and partial backorders
Fulltext Access 17 Pages 2009
The impact of dynamic pricing on the economic order decision
Fulltext Access 17 Pages 2009
An MILP for scheduling problems in an FMS with one vehicle
Fulltext Access 17 Pages 2009
Estimating suppressed data in regional economic databases: A goal-programming approach
Fulltext Access 17 Pages 2009
A dynamic model for advertising and pricing competition between national and store brands
Fulltext Access 17 Pages 2009
Acknowledgement to Referees
Fulltext Access 17 Pages 2009
Control Flow Analysis for Brane Calculi
Fulltext Access 17 Pages 2009
The heuristic concentration-integer and its application to a class of location problems
Fulltext Access 17 Pages 2009
The multi-facility location–allocation problem with polyhedral barriers
Fulltext Access 17 Pages 2009
Optimal scheduling of emergency roadway repair and subsequent relief distribution
Fulltext Access 17 Pages 2009
The petrol station replenishment problem with time windows
Fulltext Access 17 Pages 2009
A multicriteria methodology for equity selection using financial analysis
Fulltext Access 17 Pages 2009
Scheduling in a continuous galvanizing line
Fulltext Access 17 Pages 2009
Preprocessing DEA
Fulltext Access 17 Pages 2009
Switched discrete-time systems with time-varying delays: A generalized H2H2 approach
Fulltext Access 17 Pages 2009
Determination of the duals of classical sets of sequences of fuzzy numbers and related matrix transformations
Fulltext Access 17 Pages 2009
Fuzzy random renewal process with queueing applications
Fulltext Access 17 Pages 2009
Topology optimization with optimality criteria and transmissible loads
Fulltext Access 17 Pages 2009
Improvement of a Result on Sequencing Elementary Cellular Automata Rules for Solving the Parity Problem
Fulltext Access 17 Pages 2009
Desynchronisation Technique Using Petri Nets
Fulltext Access 17 Pages 2009
An Abstract Specification Language for Static Program Analysis
Fulltext Access 17 Pages 2009
Kind Bigraphs
Fulltext Access 17 Pages 2009
Developing the Method of Server Controlled Outcomes Management and Variance Analysis
Fulltext Access 17 Pages 2009
Sheaves, Objects, and Distributed Systems
Fulltext Access 17 Pages 2009
Modular Distribution and Application to Discrete Controller Synthesis
Fulltext Access 17 Pages 2009
Harnessing a Refinement Theory to Compute Loop Functions
Fulltext Access 17 Pages 2009
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering
Fulltext Access 17 Pages 2009
Development Life-cycle of Critical Software Under FoCaL
Fulltext Access 17 Pages 2009
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Fulltext Access 17 Pages 2009
A Practical Approach to Courcelle's Theorem
Fulltext Access 17 Pages 2009
On the Complexity of Sandpile Prediction Problems
Fulltext Access 17 Pages 2009
Synchronization and Arbitration in GALS
Fulltext Access 17 Pages 2009
On the Relationship Between Boolean and Fuzzy Cellular Automata
Fulltext Access 17 Pages 2009
Wrap Your Objects Safely
Fulltext Access 17 Pages 2009
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs
Fulltext Access 17 Pages 2009
On the Specification of Full Contracts
Fulltext Access 17 Pages 2009
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Fulltext Access 17 Pages 2009
Automated Software Testing of Asynchronous Systems
Fulltext Access 17 Pages 2009
Connectors as Designs
Fulltext Access 17 Pages 2009
Checking Protocol Compatibility using Maude
Fulltext Access 17 Pages 2009
Towards Formally Specifying and Verifying Transactional Memory
Fulltext Access 17 Pages 2009
Refining Emergent Properties
Fulltext Access 17 Pages 2009
Refinement by Interpretation in a General Setting
Fulltext Access 17 Pages 2009
A Translation of Beta-binders in a Prioritized Pi-calculus
Fulltext Access 17 Pages 2009
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Fulltext Access 17 Pages 2009
Completeness and Complexity of Multi-modal CTL
Fulltext Access 17 Pages 2009
Hybrid Tableaux for the Difference Modality
Fulltext Access 17 Pages 2009
HTab: a Terminating Tableaux System for Hybrid Logic
Fulltext Access 17 Pages 2009
A Framework for Reverse Engineering Large C++ Code Bases
Fulltext Access 17 Pages 2009
A Case Study in JML-Assisted Software Development
Fulltext Access 17 Pages 2009
Formal SOS-Proofs for the Lambda-Calculus
Fulltext Access 17 Pages 2009
Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction
Fulltext Access 17 Pages 2009
A PVS Theory for Term Rewriting Systems
Fulltext Access 17 Pages 2009
A Logical Framework for Debugging in Declarative Constraint Programming
Fulltext Access 17 Pages 2009
Representing Model Theory in a Type-Theoretical Logical Framework
Fulltext Access 17 Pages 2009
An Interactive Driver for Goal-directed Proof Strategies
Fulltext Access 17 Pages 2009
A Single Complete Relational Rule for Coalgebraic Refinement
Fulltext Access 17 Pages 2009
Analysing Biochemical Oscillation through Probabilistic Model Checking
Fulltext Access 17 Pages 2009
Automatic Generation of Adaptation Contracts
Fulltext Access 17 Pages 2009
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks
Fulltext Access 17 Pages 2009
A Relative Timed Semantics for BPMN
Fulltext Access 17 Pages 2009
Security Policies Enforcement Using Finite Edit Automata
Fulltext Access 17 Pages 2009
Comparing Topological Models for Concurrency
Fulltext Access 17 Pages 2009
New Developments in Environment Machines
Fulltext Access 17 Pages 2009
Declarative Intraprocedural Flow Analysis of Java Source Code
Fulltext Access 17 Pages 2009
Abstract Interpretation of Functional Programs using an Attribute Grammar System
Fulltext Access 17 Pages 2009
Axiom-Based Transformations: Optimisation and Testing
Fulltext Access 17 Pages 2009
Towards Component Verification in the Generic Component Framework
Fulltext Access 17 Pages 2009
<< < 353 354 355 356 357 > >>
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