• 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

Optimal spot pricing in electricity market with inelastic load using constrained bat algorithm
Fulltext Access 15 Pages 2014
Hierarchical management and control based on MAS for distribution grid via intelligent mode switching
Fulltext Access 15 Pages 2014
Congestion management with generic load model in hybrid electricity markets with FACTS devices
Fulltext Access 15 Pages 2014
ReKonf: Dynamically reconfigurable multiCore architecture
Fulltext Access 16 Pages 2014
Counting and sampling SCJ small parsimony solutions
Fulltext Access 16 Pages 2014
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Fulltext Access 16 Pages 2014
Executable formal specifications of complex distributed systems with CoreASM
Fulltext Access 16 Pages 2014
Accelerated execution of P systems with active membranes to solve the N-queens problem
Fulltext Access 16 Pages 2014
Sensor networks: From dependence analysis via matroid bases to online synthesis
Fulltext Access 16 Pages 2014
Algebraic methods proving Sauer's bound for teaching complexity
Fulltext Access 16 Pages 2014
From regexes to parsing expression grammars
Fulltext Access 16 Pages 2014
CD-Form: A clone detector based on formal methods
Fulltext Access 16 Pages 2014
CUIRRE: An open-source library for load balancing and characterizing irregular applications on GPUs
Fulltext Access 16 Pages 2014
Regular and context-free pattern languages over small alphabets
Fulltext Access 16 Pages 2014
Maximum number of fixed points in AND–OR–NOT networks
Fulltext Access 16 Pages 2014
Betweenness estimation in OLSR-based multi-hop networks for distributed filtering
Fulltext Access 16 Pages 2014
Clone wars: Distributed detection of clone attacks in mobile WSNs
Fulltext Access 16 Pages 2014
Catalytic and communicating Petri nets are Turing complete
Fulltext Access 16 Pages 2014
PPFSCADA: Privacy preserving framework for SCADA data publishing
Fulltext Access 16 Pages 2014
Improving n-Similarity Problem by Genetic Algorithm and Its Application in Text Document Resemblance
Fulltext Access 16 Pages 2014
Truthful optimization using mechanisms with verification
Fulltext Access 16 Pages 2014
Programming and automating mathematics in the Tarski–Kleene hierarchy
Fulltext Access 16 Pages 2014
Anticipatory load shedding for line overload alleviation using Teaching learning based optimization (TLBO)
Fulltext Access 16 Pages 2014
Voltage unbalance improvement in low voltage residential feeders with rooftop PVs using custom power devices
Fulltext Access 16 Pages 2014
Reducing the computational cost of the ECF using a nuFFT: A fast and objective probability density estimation method
Fulltext Access 16 Pages 2014
The univariate MT-STAR model and a new linearity and unit root test procedure
Fulltext Access 16 Pages 2014
Bayesian estimation of smoothly mixing time-varying parameter GARCH models
Fulltext Access 16 Pages 2014
Ancillarity-sufficiency interweaving strategy (ASIS) for boosting MCMC estimation of stochastic volatility models
Fulltext Access 16 Pages 2014
Clustering longitudinal profiles using P-splines and mixed effects models applied to time-course gene expression data
Fulltext Access 16 Pages 2014
Modelling species abundance in a river by Negative Binomial hidden Markov models
Fulltext Access 16 Pages 2014
Parameter estimation for the 4-parameter Asymmetric Exponential Power distribution by the method of L-moments using R
Fulltext Access 16 Pages 2014
A functional completeness theorem for De Morgan functions
Fulltext Access 16 Pages 2014
STL⁎: Extending signal temporal logic with signal-value freezing operator
Fulltext Access 16 Pages 2014
k-Block parallel addition versus 1-block parallel addition in non-standard numeration systems
Fulltext Access 16 Pages 2014
Quantitative information flow as safety and liveness hyperproperties
Fulltext Access 16 Pages 2014
Optimal axis compensation in quantum key distribution protocols over unital channels
Fulltext Access 16 Pages 2014
Wald-type rank tests: A GEE approach
Fulltext Access 16 Pages 2014
Non-deterministic Semantics in Polynomial Format
Fulltext Access 16 Pages 2014
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory
Fulltext Access 16 Pages 2014
QRB, QFS, and the Probabilistic Powerdomain
Fulltext Access 16 Pages 2014
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
Fulltext Access 16 Pages 2014
Antichains and completely separating systems—A catalogue and applications
Fulltext Access 16 Pages 2014
Alternative MIP formulations for an integrated shift scheduling and task assignment problem
Fulltext Access 16 Pages 2014
Exact performance of MULTIFIT for nonsimultaneous machines
Fulltext Access 16 Pages 2014
Adjoining to (s,t)(s,t)-Wythoff’s game its PP-positions as moves
Fulltext Access 16 Pages 2014
MatchC: A Matching Logic Reachability Verifier Using the K Framework
Fulltext Access 16 Pages 2014
Variable selection and semiparametric efficient estimation for the heteroscedastic partially linear single-index model
Fulltext Access 16 Pages 2014
An EM algorithm for the model fitting of Markovian binary trees
Fulltext Access 16 Pages 2014
Flip distance between triangulations of a planar point set is APX-hard
Fulltext Access 16 Pages 2014
Convex transversals
Fulltext Access 16 Pages 2014
Approximating geodesic distances on 2-manifolds in R3R3
Fulltext Access 16 Pages 2014
Control of grid converters for PV array excited wind-driven induction generators with unbalanced and nonlinear loads
Fulltext Access 16 Pages 2014
Top-n query processing in spatial databases considering bi-chromatic reverse k-nearest neighbors
Fulltext Access 16 Pages 2014
Towards a K Semantics for OCL
Fulltext Access 16 Pages 2014
A Duality Between Ω-categories and Algebraic Ω-categories
Fulltext Access 16 Pages 2014
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language
Fulltext Access 16 Pages 2014
Parsing K definitions
Fulltext Access 16 Pages 2014
Asymptotic distribution of the EPMS estimator for financial derivatives pricing
Fulltext Access 17 Pages 2014
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis
Fulltext Access 17 Pages 2014
Nonparametric estimation of the conditional tail index and extreme quantiles under random censoring
Fulltext Access 17 Pages 2014
Confidence intervals for quantiles in finite populations with randomized nomination sampling
Fulltext Access 17 Pages 2014
Algorithms for a distributed IDS in MANETs
Fulltext Access 17 Pages 2014
Vine-copula GARCH model with dynamic conditional dependence
Fulltext Access 17 Pages 2014
A generalized multiple-try version of the Reversible Jump algorithm
Fulltext Access 17 Pages 2014
Unimodal density estimation using Bernstein polynomials
Fulltext Access 17 Pages 2014
Complexity of two-variable dependence logic and IF-logic
Fulltext Access 17 Pages 2014
Fuzzy Perfect Mappings and Q-Compactness in Smooth Fuzzy Topological Spaces
Fulltext Access 17 Pages 2014
Semantic-based QoS management in cloud systems: Current status and future challenges
Fulltext Access 17 Pages 2014
ϵ-Semantics computations on biological systems
Fulltext Access 17 Pages 2014
Invertibility in L-Topological Spaces
Fulltext Access 17 Pages 2014
Large-scale Model-Driven Engineering of web user interaction: The WebML and WebRatio experience
Fulltext Access 17 Pages 2014
Nilpotency and Theory of L-Subgroups of an L-Group
Fulltext Access 17 Pages 2014
MSSQ: Manhattan Spatial Skyline Queries
Fulltext Access 17 Pages 2014
4CaaSt marketplace: An advanced business environment for trading cloud services
Fulltext Access 17 Pages 2014
Uniform access to NoSQL systems
Fulltext Access 17 Pages 2014
A multi-channel cooperative MIMO MAC protocol for clustered wireless sensor networks
Fulltext Access 17 Pages 2014
On the integration of Smalltalk and Java
Fulltext Access 17 Pages 2014
On a Graph Approach to Modal Logics
Fulltext Access 17 Pages 2014
Monitoring method call sequences using annotations
Fulltext Access 17 Pages 2014
The actorʼs view of automated planning and acting: A position paper
Fulltext Access 17 Pages 2014
On OCL-based imperative languages
Fulltext Access 17 Pages 2014
SOS rule formats for idempotent terms and idempotent unary operators
Fulltext Access 17 Pages 2014
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage
Fulltext Access 17 Pages 2014
AspectMaps: Extending Moose to visualize AOP software
Fulltext Access 17 Pages 2014
A mechanisation of some context-free language theory in HOL4
Fulltext Access 17 Pages 2014
The Process Enactment Tool Framework—Transformation of software process models to prepare enactment
Fulltext Access 17 Pages 2014
The Solid* toolset for software visual analytics of program structure and metrics comprehension: From research prototype to product
Fulltext Access 17 Pages 2014
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic
Fulltext Access 17 Pages 2014
Antiferromagnetic Ising model in triangulations with applications to counting perfect matchings
Fulltext Access 17 Pages 2014
Reliable scalable symbolic computation: The design of SymGridPar2
Fulltext Access 17 Pages 2014
Fast relative Lempel–Ziv self-index for similar sequences
Fulltext Access 17 Pages 2014
Linked taxonomies to capture usersʼ subjective assessments of items to facilitate accurate collaborative filtering
Fulltext Access 17 Pages 2014
@Java: Bringing a richer annotation model to Java
Fulltext Access 17 Pages 2014
Nonparametric variable selection and classification: The CATCH algorithm
Fulltext Access 18 Pages 2014
Reversible jump MCMC for nonparametric drift estimation for diffusion processes
Fulltext Access 18 Pages 2014
A random-projection based test of Gaussianity for stationary processes
Fulltext Access 18 Pages 2014
Asymptotic distributions for quasi-efficient estimators in echelon VARMA models
Fulltext Access 18 Pages 2014
Compound Poisson INAR(1) processes: Stochastic properties and testing for overdispersion
Fulltext Access 18 Pages 2014
Statistical inference for population quantiles and variance in judgment post-stratified samples
Fulltext Access 18 Pages 2014
The complexity of computation and approximation of the t-ratio over one-dimensional interval data
Fulltext Access 18 Pages 2014
<< < 153 154 155 156 157 > >>
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