• 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

Conditional diagnosability and strong diagnosability of Split-Star Networks under the PMC model
Fulltext Access 16 Pages 2015
Translations of Intuitionistic Fuzzy B-algebras
Fulltext Access 16 Pages 2015
Uncertainty Modeling in Risk Assessment Based on Dempster–Shafer Theory of Evidence with Generalized Fuzzy Focal Elements
Fulltext Access 16 Pages 2015
APL: An angle probability list to improve knowledge-based metaheuristics for the three-dimensional protein structure prediction
Fulltext Access 16 Pages 2015
Security architecture metamodel for Model Driven security
Fulltext Access 16 Pages 2015
Scaling Support Vector Machines on modern HPC platforms
Fulltext Access 16 Pages 2015
Accelerating elliptic curve scalar multiplication over GF(2m)GF(2m) on graphic hardwares
Fulltext Access 16 Pages 2015
Symmetric Heyting relation algebras with applications to hypergraphs
Fulltext Access 16 Pages 2015
Distributed formation of degree constrained minimum routing cost tree in wireless ad-hoc networks
Fulltext Access 16 Pages 2015
Introduction to dynamic program analysis with DiSL
Fulltext Access 16 Pages 2015
Dijkstra and Hoare monads in monadic computation
Fulltext Access 16 Pages 2015
Constructing NP-intermediate problems by blowing holes with parameters of various properties
Fulltext Access 16 Pages 2015
Peak power modeling for join algorithms in DBMS
Fulltext Access 16 Pages 2015
Postfix automata
Fulltext Access 16 Pages 2015
Particle swarm optimization almost surely finds local optima
Fulltext Access 16 Pages 2015
Fixed-parameter tractability for subset feedback set problems with parity constraints
Fulltext Access 16 Pages 2015
BagReg: Protein inference through machine learning
Fulltext Access 16 Pages 2015
Efficient formalization of railway interlocking data in RailML
Fulltext Access 16 Pages 2015
Profile trees for Büchi word automata, with application to determinization
Fulltext Access 16 Pages 2015
Effective subsets under homeomorphisms of Rn
Fulltext Access 16 Pages 2015
An automaton-based index scheme supporting twig queries for on-demand XML data broadcast
Fulltext Access 16 Pages 2015
Realizability models for a linear dependent PCF
Fulltext Access 16 Pages 2015
Lightweight formalization and validation of ORM models
Fulltext Access 16 Pages 2015
Computer-aided proof of Erdős discrepancy properties
Fulltext Access 16 Pages 2015
A case-deletion diagnostic for penalized calibration estimators and BLUP under linear mixed models in survey sampling
Fulltext Access 16 Pages 2015
Variable selection in general multinomial logit models
Fulltext Access 16 Pages 2015
New results on stabbing segments with a polygon
Fulltext Access 16 Pages 2015
Fast algorithms for approximate Fréchet matching queries in geometric trees
Fulltext Access 16 Pages 2015
Homological reconstruction and simplification in R3R3
Fulltext Access 16 Pages 2015
Computing the Fréchet distance between folded polygons
Fulltext Access 16 Pages 2015
Compensation of voltage disturbances using PEMFC supported Dynamic Voltage Restorer
Fulltext Access 16 Pages 2015
Optimal pathway reconstruction on 3D NMR maps
Fulltext Access 16 Pages 2015
Optimum placement and sizing of DGs considering average hourly variations of load
Fulltext Access 16 Pages 2015
Discrete segments of Z3Z3 constructed by synchronization of words
Fulltext Access 16 Pages 2015
Optimal reactive power dispatch using hybrid Nelder–Mead simplex based firefly algorithm
Fulltext Access 16 Pages 2015
GoBIS: An integrated framework to analyse the goal and business process perspectives in information systems
Fulltext Access 16 Pages 2015
Quicker range- and k-NN joins in metric spaces
Fulltext Access 16 Pages 2015
“Slow is Fast” for wireless sensor networks in the presence of message losses
Fulltext Access 17 Pages 2015
On the energy efficiency and performance of irregular application executions on multicore, NUMA and manycore platforms
Fulltext Access 17 Pages 2015
Modeling and verification of component connectors in Coq
Fulltext Access 17 Pages 2015
Optimizing ontology alignments through a Memetic Algorithm using both MatchFmeasure and Unanimous Improvement Ratio
Fulltext Access 17 Pages 2015
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework
Fulltext Access 17 Pages 2015
An algorithmic framework for fixed-cardinality optimization in sparse graphs applied to dense subgraph problems
Fulltext Access 17 Pages 2015
On the undecidability of the equivalence of second-order tuple generating dependencies
Fulltext Access 17 Pages 2015
Multigames and strategies, coalgebraically
Fulltext Access 17 Pages 2015
Attractor computation using interconnected Boolean networks: Testing growth rate models in E. Coli
Fulltext Access 17 Pages 2015
Combinators and type-driven transformers in Objective Caml
Fulltext Access 17 Pages 2015
Constrained floorplans in 2D and 3D
Fulltext Access 17 Pages 2015
The decidability of the intensional fragment of classical linear logic
Fulltext Access 17 Pages 2015
ATLAS grid workload on NDGF resources: Analysis, modeling, and workload generation
Fulltext Access 17 Pages 2015
A class of cubic Rauzy fractals
Fulltext Access 17 Pages 2015
The Hamiltonian properties of supergrid graphs
Fulltext Access 17 Pages 2015
Focused Linear Logic and the λ-calculus
Fulltext Access 17 Pages 2015
TruSMS: A trustworthy SMS spam control system based on trust management
Fulltext Access 17 Pages 2015
A new MM algorithm for constrained estimation in the proportional hazards model
Fulltext Access 17 Pages 2015
An integrated personalization framework for SaaS-based cloud services
Fulltext Access 17 Pages 2015
Solovay functions and their applications in algorithmic randomness
Fulltext Access 17 Pages 2015
Skalpel: A Type Error Slicer for Standard ML
Fulltext Access 17 Pages 2015
An effective recommender system by unifying user and item trust information for B2B applications
Fulltext Access 17 Pages 2015
Exponentially more concise quantum recognition of non-RMM regular languages
Fulltext Access 17 Pages 2015
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
Fulltext Access 17 Pages 2015
A Model of PCF in Guarded Type Theory
Fulltext Access 17 Pages 2015
An intelligent approach for building a secure decentralized public key infrastructure in VANET
Fulltext Access 17 Pages 2015
SVD-based incremental approaches for recommender systems
Fulltext Access 17 Pages 2015
SAT and IP based algorithms for magic labeling including a complete search for total magic labelings
Fulltext Access 17 Pages 2015
Bifibrational Functorial Semantics of Parametric Polymorphism
Fulltext Access 17 Pages 2015
A cross layer optimization modeling for a periodic WSN application
Fulltext Access 17 Pages 2015
A fast EM algorithm for fitting joint models of a binary response and multiple longitudinal covariates subject to detection limits
Fulltext Access 17 Pages 2015
Algorithms for cost- and deadline-constrained provisioning for scientific workflow ensembles in IaaS clouds
Fulltext Access 18 Pages 2015
Polynomial threshold functions and Boolean threshold circuits
Fulltext Access 18 Pages 2015
An ant colony optimisation approach for optimising SPARQL queries by reordering triple patterns
Fulltext Access 18 Pages 2015
Expansion-based QBF solving versus Q-resolution
Fulltext Access 18 Pages 2015
Optimal location of UPFC controller in transmission network using hybrid chemical reaction optimization algorithm
Fulltext Access 18 Pages 2015
Orthogonality-projection-based estimation for semi-varying coefficient models with heteroscedastic errors
Fulltext Access 18 Pages 2015
PostHat and All That: Automating Abstract Interpretation
Fulltext Access 18 Pages 2015
The Solid  architecture for real-time management of big semantic data
Fulltext Access 18 Pages 2015
The Rabin index of parity games: Its complexity and approximation
Fulltext Access 18 Pages 2015
HRELTL: A temporal logic for hybrid systems
Fulltext Access 18 Pages 2015
The wavelet matrix: An efficient wavelet tree for large alphabets
Fulltext Access 18 Pages 2015
On different topological classes of spherical geodesic paths and circles in Z3
Fulltext Access 18 Pages 2015
Regularity of Po-Γ-semigroups in Terms of Fuzzy Subsemigroups and Fuzzy Bi-ideals
Fulltext Access 18 Pages 2015
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
Fulltext Access 18 Pages 2015
Point axioms and related conditions in Dedekind categories
Fulltext Access 18 Pages 2015
A simple, faster method for kinetic proximity problems
Fulltext Access 18 Pages 2015
Structural properties of subdivided-line graphs
Fulltext Access 18 Pages 2015
On the 2-abelian complexity of the Thue–Morse word
Fulltext Access 18 Pages 2015
A better approximation for constructing virtual backbone in 3D wireless ad-hoc networks
Fulltext Access 18 Pages 2015
The Beachcombers' Problem: Walking and searching with mobile robots
Fulltext Access 18 Pages 2015
Prime languages
Fulltext Access 18 Pages 2015
Induced Subgraph Isomorphism on proper interval and bipartite permutation graphs
Fulltext Access 18 Pages 2015
(∈,∈∨q)-Intuitionistic Fuzzy Ideals of BG-algebra
Fulltext Access 18 Pages 2015
Fuzzy k-Primary Decomposition of Fuzzy k-Ideal in a Semiring
Fulltext Access 18 Pages 2015
An informational view of classical logic
Fulltext Access 19 Pages 2015
Simple strategies for Banach-Mazur games and sets of probability 1
Fulltext Access 19 Pages 2015
Quantile regression methods with varying-coefficient models for censored data
Fulltext Access 19 Pages 2015
Integer programming based heterogeneous CPU–GPU cluster schedulers for SLURM resource manager
Fulltext Access 19 Pages 2015
The complexity of approximating conservative counting CSPs
Fulltext Access 19 Pages 2015
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
Fulltext Access 19 Pages 2015
An energy-efficient and sink-location privacy enhanced scheme for WSNs through ring based routing
Fulltext Access 19 Pages 2015
Confidence interval construction for the Youden index based on partially validated series
Fulltext Access 19 Pages 2015
<< < 142 143 144 145 146 > >>
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