Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Computing

Search In Journal Title:

Abbravation: Computing

Search In Journal Abbravation:

Publisher

Springer Vienna

Search In Publisher:

DOI

10.1007/s40278-014-8032-z

Search In DOI:

ISSN

1436-5057

Search In ISSN:
Search In Title Of Papers:

Generalized block triangular preconditioner for sy

Authors: ShiLiang Wu TingZhu Huang CuiXia Li
Publish Date: 2009/03/27
Volume: 84, Issue: 3-4, Pages: 183-208
PDF Link

Abstract

In this paper spectral properties and computational performance of a generalized block triangular preconditioner for symmetric saddle point problems are discussed in detail We will provide estimates for the region containing both the nonreal and the real eigenvalues and generalize the results of Simoncini Appl Numer Math 4963–80 2004 and Cao Appl Numer Math 57899–910 2007 Finally numerical experiments of the model Stokes problem are reportedThis research was supported by 973 Programs 2008CB317110 NSFC 10771030 the Scientific and Technological Key Project of the Chinese Education Ministry 107098 the PhD Programs Fund of Chinese Universities 20070614001 Sichuan Province Project for Applied Basic Research 2008JY0052 and the Project for Academic Leader and Group of UESTC

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Lagged segmented Poincaré plot analysis for risk stratification in patients with dilated cardiomyopathy
  2. Building a Peer-to-peer Information System in Grids via Self-organizing Agents
  3. A self-healing technique using reusable component-level operation knowledge
  4. RAST: finding related documents based on triplet similarity
  5. Real-time virtual environment signal extraction and denoising using programmable graphics hardware
  6. Structure optimization of neural networks for evolutionary design optimization
  7. A survey of computational location privacy
  8. Design and analysis of an efficient QoS improvement policy in cloud computing
  9. Full-rank block LDL ∗ decomposition and the inverses of n × n block matrices
  10. Reliability-based design optimization using the directional bat algorithm
  11. Multimodal support to group dynamics
  12. Similarity-based minimization of fuzzy tree automata
  13. Chest wall motion analysis in healthy volunteers and adults with cystic fibrosis using a novel Kinect-based motion tracking system
  14. Copula regression spline models for binary outcomes
  15. Parameterized specification, configuration and execution of data-intensive scientific workflows
  16. Boundedness analysis for open Chemical Reaction Networks with mass-action kinetics
  17. A Hybridized Discontinuous Galerkin Method with Reduced Stabilization
  18. Training echo state networks for rotation-invariant bone marrow cell classification
  19. Sheaf representations of BL-algebras
  20. Fault-tolerant broadcast in anonymous systems
  21. A refinement-based process algebra for timed automata
  22. A hyper-heuristic approach for resource provisioning-based scheduling in grid environment
  23. Effect of Data Transformations on Predictive Risk Indicators
  24. Real-time visual feedback for gait retraining: toward application in knee osteoarthritis
  25. Supervisory recurrent fuzzy neural network control for vehicle collision avoidance system design
  26. Exact Low-Rank Matrix Completion from Sparsely Corrupted Entries Via Adaptive Outlier Pursuit
  27. A focused information criterion for graphical models
  28. An advancement in clustering via nonparametric density estimation
  29. A fast leave-one-out cross-validation for SVM-like family
  30. Assortifying Networks
  31. What we talk about when we talk about context
  32. Initial and Final Backward and Forward Discrete Time Non-homogeneous Semi-Markov Credit Risk Models
  33. A fast time-difference inverse solver for 3D EIT with application to lung imaging
  34. Flexible neural trees based early stage identification for IP traffic
  35. Fair linking mechanisms for resource allocation with correlated player types
  36. Constructing data supply chain based on layered PROV
  37. Micro-genetic algorithms for detecting and classifying electric power disturbances
  38. HyperTree for self-stabilizing peer-to-peer systems
  39. Producibility in hierarchical self-assembly
  40. Clustering via nonparametric density estimation
  41. Rule acquisition and attribute reduction in real decision formal contexts
  42. Parameterized Complexity of Secluded Connectivity Problems
  43. Non-stationarity of EEG during wakefulness and anaesthesia: advantages of EEG permutation entropy monitoring
  44. Point-Wise Confidence Interval Estimation by Neural Networks: A Comparative Study based on Automotive Engine Calibration
  45. An evaluation of non-redundant objective sets based on the spatial similarity ratio
  46. Status connectivity indices of graphs and its applications to the boiling point of benzenoid hydrocarbons
  47. Multi-directional two-dimensional PCA with matching score level fusion for face recognition
  48. A methodology to map customer complaints and measure customer satisfaction and loyalty
  49. A localization algorithm for large scale mobile wireless sensor networks: a learning approach
  50. Stability criterion with less LMI variables for linear discrete-time systems with additive time-delays
  51. Dynamical analysis of a Lotka–Volterra competition system with impulsively linear invasion
  52. Comment on “A general model for long-tailed network traffic approximation”
  53. An approach to efficient business intelligent system for financial prediction
  54. Multi-Objective Optimization using Grid Computing
  55. Integrating a formal method into a software engineering process with UML and Java
  56. Computational fluid dynamics-based study of possibility of generating pulsatile blood flow via a continuous-flow VAD
  57. Square-mean almost periodic solution for stochastic Hopfield neural networks with time-varying delays on timescales
  58. Group decision-making procedure based on incomplete reciprocal relations
  59. Collusion in Atomic Splittable Routing Games
  60. Building text-based temporally linked event network for scientific big data analytics
  61. An evolutionary algorithm to discover quantitative association rules in multidimensional time series
  62. Neighborhood field for cooperative optimization
  63. The equivalence between fuzzy Mealy and fuzzy Moore machines
  64. A formal framework for modeling and validating Simulink diagrams
  65. Efficient Rearrangement Algorithms for Shape Optimization on Elliptic Eigenvalue Problems
  66. Efficient processing of intelligent probabilistic collision detection queries
  67. Direct private query in location-based services with GPU run time analysis
  68. Particular solutions to equations of sine-Gordon type
  69. Cloud computing-based parallel genetic algorithm for gene selection in cancer classification
  70. Human interaction discovery in smartphone proximity networks
  71. Sparsity Enforcing Edge Detection Method for Blurred and Noisy Fourier data
  72. Computational evaluation of a MIP model for multi-port stowage planning problems
  73. A multiobjective discrete cuckoo search algorithm for community detection in dynamic networks
  74. Energy conservation in cloud data centers by minimizing virtual machines migration through artificial neural network
  75. Metric learning with geometric mean for similarities measurement
  76. A hybrid algorithm for solving the EEG inverse problem from spatio-temporal EEG data
  77. Fuzzy adaptive genetic algorithms: design, taxonomy, and future directions
  78. An efficient algorithm for partially matched services in internet of services
  79. Acceleration of cardiac tissue simulation with graphic processing units
  80. An effective system for parameter optimization in photolithography process of a LGP stamper
  81. Experimental analysis of the basic idea on the transcription-based diagnostic automata controlled by programmed molecules
  82. Generalized fuzzy filters of R 0 -algebras
  83. A multi-verse optimizer approach for feature selection and optimizing SVM parameters based on a robust system architecture
  84. Robust intelligent backstepping tracking control for wheeled inverted pendulum
  85. Embedding gesture recognition into airplane seats for in-flight entertainment
  86. Effectiveness of medical equipment donations to improve health systems: how much medical equipment is broken in the developing world?
  87. Sequential importance sampling of binary sequences
  88. Synthetic dataset generation for the analysis and the evaluation of image-based hemodynamics of the human aorta
  89. Similarity ( range and k NN) queries processing on an Intel Xeon Phi coprocessor
  90. Fish swarm window selection algorithm based on cell microscopic automatic focus
  91. Minimax mean-variance models for fuzzy portfolio selection
  92. A randomized clustering of anonymous wireless ad hoc networks with an application to the initialization problem
  93. Robust dissipativity and passivity based state estimation for discrete-time stochastic Markov jump neural networks with discrete and distributed time-varying delays
  94. A fuzzy system approach to multilateral automated negotiation in B2C e-commerce
  95. Quantum Computation: From a Programmer’s Perspective
  96. Scheduling for Responsive Grids
  97. Deletion diagnostics for marginal mean and correlation model parameters in estimating equations
  98. Failure of Two Commercial Indexes and Spectral Parameters to Reflect the Pharmacodynamic Effect of Desflurane on EEG
  99. Interactive computations: toward risk management in interactive intelligent systems
  100. Random Databases with Approximate Record Matching
  101. Mapping slow waves and spikes in chronically instrumented conscious dogs: implantation techniques and recordings
  102. Selection of laser bending process parameters for maximal deformation angle through neural network and teaching–learning-based optimization algorithm
  103. Importance and Sensitivity Analysis in Dynamic Reliability
  104. Unidirectional Lambek Grammars in Polynomial Time
  105. Efficient outsourcing schemes of modular exponentiations with checkability for untrusted cloud server
  106. Solving the Interoperability Problem by Means of a Bus
  107. Benchmarking the effects of operating system interference on extreme-scale parallel machines
  108. Nonnegative matrix factorization-based hyperspectral and panchromatic image fusion
  109. Nonnegative matrix factorization-based hyperspectral and panchromatic image fusion
  110. Random Survival Forests Models for SME Credit Risk Measurement
  111. Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm
  112. Neural networks-based adaptive control for a class of nonlinear bioprocesses
  113. A hill-jump algorithm of Hopfield neural network for shortest path problem in communication network
  114. Design of stochastic solvers based on genetic algorithms for solving nonlinear equations
  115. Adapted filter banks for feature extraction in transcranial magnetic stimulation evoked responses
  116. Boosted coefficient models
  117. To the Castle! A comparison of two audio guides to enable public discovery of historical events
  118. Finite field trigonometric transforms
  119. A Hybrid Symbiosis Organisms Search algorithm and its application to real world problems
  120. Introduction to special issue on high performance computing
  121. Semi-Lagrangian Runge-Kutta Exponential Integrators for Convection Dominated Problems
  122. Impact of central hypovolemia on photoplethysmographic waveform parameters in healthy volunteers. Part 1: time domain Analysis
  123. Autonomic Management of Large Clusters and Their Integration into the Grid
  124. GPU-based parallel genetic approach to large-scale travelling salesman problem
  125. Dynamic grid quorum: a reconfigurable grid quorum and its power optimization algorithm
  126. Trains of thought on the tabletop: visualizing association of ideas improves creativity
  127. Rule-based back propagation neural networks for various precision rough set presented KANSEI knowledge prediction: a case study on shoe product form features extraction
  128. Development of Web Service for Japanese Text Triplification
  129. Heuristic techniques to optimize neural network architecture in manufacturing applications
  130. A hybrid genetic based functional link artificial neural network with a statistical comparison of classifiers over multiple datasets
  131. Ambient intelligence and ergonomics in Asia
  132. Existence of multiple positive solutions for n th-order p -Laplacian m -point singular boundary value problems
  133. Discrete cuckoo search algorithm for the travelling salesman problem
  134. The Deduction Theorem for Strong Propositional Proof Systems
  135. Theoretical development and critical analysis of burst frequency equations for passive valves on centrifugal microfluidic platforms
  136. The effect of malformed tiles on tile assemblies within the kinetic tile assembly model
  137. Influences of different vasopressors on stroke volume variation and pulse pressure variation
  138. Detection of spine structures with Bioimpedance Probe (BIP) Needle in clinical lumbar punctures
  139. Effects of wheelchair-based rehabilitation on the physical functions and health perception of stroke patients
  140. An automatic method for arterial pulse waveform recognition using KNN and SVM classifiers
  141. Slicing communicating automata specifications: polynomial algorithms for model reduction
  142. Self-configuration single particle optimizer for DNA sequence compression
  143. MPI + MPI: a new hybrid approach to parallel programming with MPI plus shared memory
  144. SENFIS: a Sensor Node File System for increasing the scalability and reliability of Wireless Sensor Networks applications
  145. A matrix-based approach to properness and inversion problems for rational surfaces
  146. Observability of linear time-invariant descriptor systems with a derivative in the output
  147. Concepts and Facilities of a Neural Reinforcement Learning Control Architecture for Technical Process Control
  148. Adaptive Tracking Control of Mobile Manipulators with Affine Constraints and Under-actuated Joints
  149. Solving maximum fuzzy clique problem with neural networks and its applications
  150. A semi-Lagrangian scheme with radial basis approximation for surface reconstruction
  151. Development of indicators of freight stations for digital convergence
  152. An internet of things–based personal device for diabetes therapy management in ambient assisted living (AAL)
  153. Rough set feature extraction by remarkable degrees with real world decision-making problems
  154. Energy aware DAG scheduling on heterogeneous systems
  155. Characterizations of two kinds of hemirings based on probability spaces
  156. The panconnectivity and the pancycle-connectivity of the generalized base- b hypercube
  157. Neurophysiological intraoperative monitoring during an optic nerve schwannoma removal
  158. An analytical solution to the TOPSIS model with interval type-2 fuzzy sets
  159. Size-structured populations: immigration, (bi)stability and the net growth rate
  160. A simplification of Cobelli’s glucose–insulin model for type 1 diabetes mellitus and its FPGA implementation
  161. A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications
  162. Security invariants in discrete transition systems
  163. 3-Hierarchical resource management model on web grid service architecture
  164. On investigation of interdependence between sub-problems of the Travelling Thief Problem
  165. Biometrics in ambient intelligence
  166. Optimal SIR algorithm vs. fully adapted auxiliary particle filter: a non asymptotic analysis
  167. Probabilistic wind power forecasting using a novel hybrid intelligent method
  168. Distributed Electronic Commerce cluster for small enterprise
  169. Zur Iteration bei nichtlinearen Gleichungssystemen
  170. The Finite Volume-Complete Flux Scheme for Advection-Diffusion-Reaction Equations
  171. Research challenges and perspectives on Wisdom Web of Things (W2T)
  172. An efficient algorithm for Hamilton–Jacobi equations in high dimension
  173. Learning to memorize input--output mapping as bifurcation in neural dynamics: relevance of multiple timescales for synapse changes
  174. Selecting the Best Population Using a Test for Equality Based on Minimal Wilcoxon Rank-sum Precedence Statistic
  175. Eliciting design knowledge from affective responses using rough sets and Kansei engineering system
  176. Accuracy and efficacy of thoracic pedicle screws in scoliosis with patient-specific drill template
  177. Changes in cerebral oxygen saturation during transcatheter aortic valve replacement
  178. Saddlepoint Approximations to Tail Probabilities and Quantiles of Inhomogeneous Discounted Compound Poisson Processes with Periodic Intensity Functions
  179. Vorticity–velocity–pressure formulation for Navier–Stokes equations
  180. Extracting knowledge of customers’ preferences in massively multiplayer online role playing games
  181. 3D radial invariant of dual Hahn moments
  182. Levy distributed parameter control in differential evolution for numerical optimization
  183. On Estimation of the Intensity Function of a Point Process
  184. Algebraic cryptanalysis of stream ciphers using decomposition of Boolean function
  185. Application of feature-weighted Support Vector regression using grey correlation degree to stock price forecasting
  186. Solving time-varying quadratic programs based on finite-time Zhang neural networks and their application to robot tracking
  187. Low-rank Kronecker-product Approximation to Multi-dimensional Nonlocal Operators. Part II. HKT Representation of Certain Operators
  188. Extended provisioning, security and analysis techniques for the ECHO health data management system
  189. Uncertain regression analysis: an approach for imprecise observations
  190. Particle swarm optimization-based feature selection in sentiment classification
  191. An approach to fuzzy default reasoning for function approximation
  192. Effects of CT resolution and radiodensity threshold on the CFD evaluation of nasal airflow
  193. A novel framework for social web forums’ thread ranking based on semantics and post quality features
  194. A Decentralized Deployment Strategy and Performance Evaluation of LCG File Catalog Service
  195. Non-parametric maximum likelihood estimation of interval-censored failure time data subject to misclassification
  196. Pinning control and controllability of complex dynamical networks
  197. Conditional forwarding: simple flow control to increase adaptivity for fully adaptive routing algorithms
  198. Contiguous Search Problem in Sierpiński Graphs
  199. Gaussian proposal density using moment matching in SMC methods
  200. Bayesian inference for Heston-STAR models
  201. A proposal on location data supplementing information transfer method over MANET
  202. A new global fuzzy fault-tolerant control for a double inverted pendulum based on time-delay replacement
  203. Parsimonious Gaussian mixture models
  204. A framework for SaaS software packages evaluation and selection with virtual team and BOCR of analytic network process
  205. Simulation of an $$n^{+}\hbox {-}n\hbox {-}n^{+}$$ Diode by Using Globally-Hyperbolically-Closed High-Order Moment Models
  206. Additional hemodynamic measurements with an esophageal Doppler monitor: a preliminary report of compliance, force, kinetic energy, and afterload in the clinical setting
  207. $$H_{\infty }$$ filtering for discrete-time fuzzy stochastic neural networks with mixed time-delays
  208. An informative probability model enhancing real time echobiometry to improve fetal weight estimation accuracy
  209. Mathematical modeling of electrical activity of uterine muscle cells
  210. Cyclic DNA codes over $$\mathbb {F}_2+u\mathbb {F}_2+v\mathbb {F}_2+uv\mathbb {F}_2$$ and their applications
  211. Efficiency measurement in data envelopment analysis in the presence of ordinal and interval data
  212. Mathematical models of passive motion at the human ankle joint by equivalent spatial parallel mechanisms
  213. On an energy minimizing basis for algebraic multigrid methods
  214. On the use of meta-heuristics to increase the efficiency of online grid workflow scheduling algorithms
  215. Three-dimensional segmentation of retroperitoneal masses using continuous convex relaxation and accumulated gradient distance for radiotherapy planning
  216. Discrete Particle Swarm Optimization for the minimum labelling Steiner tree problem
  217. Incorporating the effects of hike in energy prices into energy consumption forecasting: a fuzzy expert system
  218. Improved convergence criteria for HCNNs with delays and oscillating coefficients in leakage terms
  219. Optimal Spectral-Galerkin Methods Using Generalized Jacobi Polynomials
  220. A fuzzy interval analysis approach to kriging with ill-known variogram and data
  221. SNB-index: a SkipNet and B+ tree based auxiliary Cloud index
  222. Real-time blind audio source separation: performance assessment on an advanced digital signal processor
  223. Complexity of the Bollobás–Riordan Polynomial. Exceptional Points and Uniform Reductions
  224. SNB-index: a SkipNet and B+ tree based auxiliary Cloud index
  225. Topology optimization of compliant structures and mechanisms using constructive solid geometry for 2-d and 3-d applications
  226. High-efficient video compression for social multimedia distribution
  227. RCB: leakage-resilient authenticated encryption via re-keying
  228. Self-organizable panel for assembling DIY ubiquitous computing
  229. Empirical mode decomposition: a method to reduce low frequency interferences from surface electroenterogram
  230. Pricing European multi-asset options using a space-time adaptive FD-method
  231. Pricing European multi-asset options using a space-time adaptive FD-method
  232. Pricing European multi-asset options using a space-time adaptive FD-method
  233. Modelling and visualising the heart
  234. Journal of Clinical Monitoring and Computing 2016 end of year summary: cardiovascular and hemodynamic monitoring
  235. Journal of Clinical Monitoring and Computing 2016 end of year summary: cardiovascular and hemodynamic monitoring
  236. One-Nonterminal Conjunctive Grammars over a Unary Alphabet
  237. Enhancement of a text-independent speaker verification system by using feature combination and parallel structure classifiers
  238. Minimal cyclic codes of length $$8p^{n}$$ over $$GF(q)$$GF(q), where $$q$$q is prime power of the form $$8k+5$$8k+5
  239. Finding Similar Users in Social Networks
  240. A brief clinical case of monitoring of oxygenator performance and patient-machine interdependency during prolonged veno-venous extracorporeal membrane oxygenation
  241. CT image-based computer-aided system for orbital prosthesis rehabilitation
  242. Comparison of methods for developing dynamic reduced models for design optimization
  243. General form of α -resolution principle for linguistic truth-valued lattice-valued logic
  244. Theoretical and Numerical Investigation of the Finite Cell Method
  245. CERA: a collaborative environment reference architecture for interoperable CWE systems
  246. Artificial neural network model for effective cancer classification using microarray gene expression data
  247. Unsupervised feature selection for sensor time-series in pervasive computing applications
  248. Speed control of SRM supplied by photovoltaic system via ant colony optimization algorithm
  249. Video analysis of Hammersmith lateral tilting examination using Kalman filter guided multi-path tracking
  250. A reducibility concept for problems defined in terms of ordered binary decision diagrams
  251. A framework for efficient performance prediction of distributed applications in heterogeneous systems
  252. Novel registration-based framework for CT angiography in lower legs
  253. Improving convergence of evolutionary multi-objective optimization with local search: a concurrent-hybrid algorithm
  254. Identification of Eye Movements from Non-frontal Face Images for Eye-controlled Systems
  255. Reducing the search space by closure and simplification paradigms
  256. A robust fractional order fuzzy P + fuzzy I + fuzzy D controller for nonlinear and uncertain system
  257. Locking the sky: a survey on IaaS cloud security
  258. A neuro-inspired visual tracking method based on programmable system-on-chip platform
  259. Dielectric relaxation of a protein–water system in atherosclerotic artery wall
  260. On the complexity of asynchronous agreement against powerful adversaries
  261. Experimental multipartner quantum communication complexity employing just one qubit
  262. A class of type-2 fuzzy neural networks for nonlinear dynamical system identification
  263. P2P resource searching with Cloning Random Walker assisted by Weakly Connected Dominating Set
  264. Similarity recognition using context-based pattern for cyber-society
  265. A comparison of tools for teaching formal software verification
  266. Review of input determination techniques for neural network models based on mutual information and genetic algorithms
  267. Cell segmentation in histopathological images with deep learning algorithms by utilizing spatial relationships
  268. An extension of a fuzzy reputation agent trust model (AFRAS) in the ART testbed
  269. A robust algorithm of support vector regression with a trimmed Huber loss function in the primal
  270. Cost and energy aware service provisioning for mobile client in cloud computing environment
  271. A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids
  272. A stochastic approach to estimating earliest start times of nodes for scheduling DAGs on heterogeneous distributed computing systems
  273. Surface Compression Using a Space of C 1 Cubic Splines with a Hierarchical Basis
  274. Delay-dependent H ∞ and generalized H 2 filtering for stochastic neural networks with time-varying delay and noise disturbance
  275. Tensor structured evaluation of singular volume integrals
  276. Coevolutionary genetic watermarking for owner identification
  277. Application of SmartBox end-device for medical care using JXTA-Overlay P2P system
  278. Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification
  279. On soft weak structures
  280. PerContRep: a practical reputation system for pervasive content services
  281. The Effect of the Consistent Mass Matrix on the Maximum-Principle for Scalar Conservation Equations
  282. Activity recognition for creatures of habit
  283. A memetic algorithm for the cyclic antibandwidth maximization problem
  284. Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
  285. Effect of propofol and remifentanil on a somatosensory evoked potential indicator of pain perception intensity in volunteers
  286. From the private into the public: privacy-respecting mobile interaction techniques for sharing data on surfaces
  287. The prediction of SO 2 removal using statistical methods and artificial neural network
  288. A novel construction of substitution box for image encryption applications with Gingerbreadman chaotic map and S 8 permutation
  289. Task scheduling for heterogeneous computing systems
  290. End-to-end adaptation scheme for ubiquitous remote experimentation
  291. Cardioplegia and ventricular late potentials in cardiac surgical patients
  292. $$\mathcal $$-FAINV: hierarchically factored approximate inverse preconditioners
  293. Reflection on research methodologies for ubicomp in developing contexts
  294. Integrating 3D image descriptors of margin sharpness and texture on a GPU-optimized similar pulmonary nodule retrieval engine
  295. Integration of classifier diversity measures for feature selection-based classifier ensemble reduction
  296. An evolutionary algorithm using spherical inversions
  297. Stability of uncertain impulsive stochastic fuzzy neural networks with two additive time delays in the leakage term
  298. An adaptive local linear optimized radial basis functional neural network model for financial time series prediction
  299. On the Leverrier-Faddeev algorithm for computing the Moore-Penrose inverse
  300. Advances in design and application of neural networks
  301. An optimized Takagi-Sugeno type neuro-fuzzy system for modeling robot manipulators
  302. Exploring the speedups of embedded microprocessor systems utilizing a high-performance coprocessor data-path
  303. Variational learning of hierarchical infinite generalized Dirichlet mixture models and applications
  304. An exact parallel algorithm to compare very long biological sequences in clusters of workstations
  305. ATAC4Cloud: a framework for modeling and simulating autonomic cloud
  306. In response: B Vinay et al.: Fall in inspired oxygen and anaesthetic agent concentrations during change of soda lime absorber, J Clin Monit Comput (2015) Jun; 29 (3):373–376
  307. Machine learning use in predicting interior spruce wood density utilizing progeny test information
  308. Tuning remote GPU virtualization for InfiniBand networks
  309. Related Fritz Carlson type inequalities for Sugeno integrals
  310. Robust state estimator design for uncertain linear systems using optimization techniques
  311. Tracking and guiding multiple laser beams for beam and target alignment
  312. Compressibility indices of saturated clays by group method of data handling and genetic algorithms
  313. New results on the stability of fuzzy cellular neural networks with time-varying leakage delays
  314. Efficient estimation of variance components in nonparametric mixed-effects models with large samples
  315. Projective synchronization of two different fractional-order chaotic systems via adaptive fuzzy control
  316. Foreword
  317. Call Option Prices Based on Bessel Processes
  318. Fingertip-writing alphanumeric character recognition based on hidden conditional random field
  319. Biochemical connectionism
  320. A method to qualitatively assess arm use in stroke survivors in the home environment
  321. A computational approach for nuclear export signals identification using spiking neural P systems
  322. A method to qualitatively assess arm use in stroke survivors in the home environment
  323. Ontology algorithm using singular value decomposition and applied in multidisciplinary
  324. Goodness-of-Fit Tests for Continuous Regression
  325. A computational approach for nuclear export signals identification using spiking neural P systems
  326. Competitive throughput in multi-hop wireless networks despite adaptive jamming
  327. Cultural algorithms: a Tabu search approach for the optimization of engineering design problems
  328. Patient-specific surgical planning and hemodynamic computational fluid dynamics optimization through free-form haptic anatomy editing tool (SURGEM)
  329. Heart rate analysis by sparse representation for acute pain detection
  330. A special issue on decision intelligence with soft computing
  331. Decentralized PD control for non-uniform motion of a Hamiltonian hybrid system
  332. Minimum spanning trees made easier via multi-objective optimization
  333. On the computation of the noncentral F and noncentral beta distribution
  334. Micro-economics based resource allocation in Grid-Federation environment
  335. Bundle and Pool Architecture for Multi-Language, Robust, Scalable Workflow Executions
  336. Analysis of Nonlinear Spectral Eddy-Viscosity Models of Turbulence
  337. A web-based Italian survey of current trends, habits and beliefs in hemodynamic monitoring and management
  338. Waiting Time Distribution for the Emergence of Superpatterns
  339. Discovering Dynamic Characteristics of Biochemical Pathways using Geometric Patterns among Parameter-Parameter Dependencies in Differential Equations
  340. Transmission control methods with multihopped environments in cognitive wireless networks
  341. Computing Tjurina stratifications of $$\mu $$-constant deformations via parametric local cohomology systems
  342. Combining supervised and unsupervised learning for data clustering
  343. Energy efficient utilization of resources in cloud computing systems
  344. Usefulness of biological fingerprint in magnetic resonance imaging for patient verification
  345. Automatic detection of sleep spindles with the use of STFT, EMD and DWT methods
  346. The election problem in asynchronous distributed systems with bounded faulty processes
  347. A new variable importance measure for random forests with missing data
  348. Change detection in synthetic aperture radar images based on evolutionary multiobjective optimization with ensemble learning
  349. Fuzzy characterization of spike synchrony in parallel spike trains
  350. On the Flattest Common Supersequence Method for Deadlock-Free Routing in Arbitrary Networks
  351. Minimal attribute reduction with rough set based on compactness discernibility information tree
  352. Composing Stack-Attributed Tree Transducers
  353. LAB-IN-A-BOX: semi-automatic tracking of activity in the medical office
  354. A DNA based molecular logic gate capable of a variety of logical operations
  355. Dynamic-width reconfigurable parallel prefix circuits
  356. A hybrid approach of dimension partition and velocity control to enhance performance of particle swarm optimization
  357. Transformation Methods for the Numerical Integration of Three-Dimensional Singular Functions
  358. On complementary dual quasi-twisted codes
  359. Scenario Violation in Nursing Activities: Nursing Risk Management from the Viewpoint of Chance Discovery
  360. Extracting social and community intelligence from digital footprints
  361. Sub-quadratic convergence of a smoothing Newton method for second-order cone programming
  362. Computing the Expected Markov Reward Rates with Stationarity Detection and Relative Error Control
  363. Evolution of 3D mobile games development
  364. Nearest neighbor search with locally weighted linear regression for heartbeat classification
  365. Newborn footprint recognition using orientation feature
  366. Wind speed forecasting using the NARX model, case: La Mata, Oaxaca, México
  367. Prediction and characterization of surface roughness using sandblasting and acid etching process on new non-toxic titanium biomaterial: adaptive-network-based fuzzy inference System
  368. Preface of STACS 2013 Special Issue
  369. Relation of fetal heart rate signals with unassignable baseline to poor neonatal state at birth
  370. Gfarm Grid File System
  371. Benefits and Drawbacks of Redundant Batch Requests
  372. Querying Data Sources that Export Infinite Sets of Views
  373. Assessing the Usability of a Science Gateway for Medical Knowledge Bases with TRENCADIS
  374. Detection of cardiovascular risk from a photoplethysmographic signal using a matching pursuit algorithm
  375. A frequency monitoring system development for wide-area power grid protection
  376. A scalable and elastic cloud-assisted publish/subscribe model for IPTV video surveillance system
  377. Time-varying signal analysis to detect high-altitude periodic breathing in climbers ascending to extreme altitude
  378. Model checking action system refinements
  379. Editorial: special issue on parallel nature-inspired optimization
  380. Combating I-O bottleneck using prefetching: model, algorithms, and ramifications
  381. Estimating Stochastic Dynamical Systems Driven by a Continuous-Time Jump Markov Process
  382. Building a push-button RESOLVE verifier: Progress and challenges
  383. Computer-aided prediction of the Al 2 O 3 nanoparticles’ effects on tensile strength and percentage of water absorption of concrete specimens
  384. Robust stabilization of load frequency control system under networked environment
  385. A novel segmentation algorithm for nucleus in white blood cells based on low-rank representation
  386. A novel segmentation algorithm for nucleus in white blood cells based on low-rank representation
  387. Towards flexible compensation for business transactions in Web service environment
  388. Editorial of special section on advanced in high performance, algorithm, and framework for future computing
  389. Multi-objective particle swarm-differential evolution algorithm
  390. Distributed discovery of frequent subgraphs of a network using MapReduce
  391. Effective identification and localization of immature precursors in bone marrow biopsy
  392. Vectorization path planning for autonomous mobile agent in unknown environment
  393. Hierarchical multichannel-based integrated smart metering infrastructure
  394. Interactive Restless Multi-armed Bandit Game and Swarm Intelligence Effect
  395. A Posteriori Estimates for a Natural Neumann–Neumann Domain Decomposition Algorithm on a Unilateral Contact Problem
  396. Interactive Visualization of News Distribution in Blog Space
  397. Functional queries in Datalog
  398. Two Triangulation Methods Based on Edge Refinement
  399. A learning automata-based heuristic algorithm for solving the minimum spanning tree problem in stochastic graphs
  400. Parallel morphological/neural processing of hyperspectral images using heterogeneous and homogeneous platforms
  401. Morphogenesis through moving membranes
  402. State estimation in MIMO nonlinear systems subject to unknown deadzones using recurrent neural networks
  403. Improving the multiobjective evolutionary algorithm based on decomposition with new penalty schemes
  404. Propagation and bifurcation of cracks based on implicit surfaces and discontinuous velocities
  405. Distributed identification of the lineality space of a cone
  406. XenLoop: a transparent high performance inter-VM network loopback
  407. The dynamics of the best individuals in co-evolution
  408. Multiscale modelling of the circulatory system: a preliminary analysis
  409. A new layered sensor for simultaneous measurement of EMG, MMG and oxygen consumption at the same position
  410. Complement to a comparative analysis of heuristics for the  p -median problem
  411. DisCoP: A P2P Framework for Managing and Searching Computing Markets
  412. A spectral element method with adaptive segmentation for accurately simulating extracellular electrical stimulation of neurons
  413. An ODE-based nonmonotone method for unconstrained optimization problems
  414. Secure friend discovery based on encounter history in mobile social networks
  415. Modeling and Adaptive Sliding Mode Control of the Catastrophic Course of a High-speed Underwater Vehicle
  416. Hemodynamic impact of abdominal aortic aneurysm stent-graft implantation-induced stenosis
  417. Agents based multi-criteria decision-aid
  418. Evaluation codes at singular points of algebraic differential equations
  419. Likelihood-free parallel tempering
  420. An improved back propagation algorithm topredict episodes of poor air quality
  421. An ODE-based nonmonotone method for unconstrained optimization problems
  422. Secure friend discovery based on encounter history in mobile social networks
  423. Doppler Shift Mitigation in a VANET using an IDDM approach
  424. On studying business models in mobile social networks based on two-sided market (TSM)
  425. Reconfiguration process and routing management for service platforms
  426. Sensitivity studies of pediatric material properties on juvenile lumbar spine responses using finite element analysis
  427. Understanding movement for interaction design: frameworks and approaches
  428. DGM (1, 1) model optimized by MVO (multi-verse optimizer) for annual peak load forecasting
  429. On the existence of solutions for fractional differential inclusions with anti-periodic boundary conditions
  430. Scheduling array redistribution with virtual channel support
  431. A new approach to ranking attributes in attribute based access control using decision fusion
  432. Evaluation of transcutaneous and end-tidal carbon dioxide levels during inhalation sedation in volunteers
  433. Effects of a Sigh on the Respiratory Mechanical Properties in Ali Patients
  434. Intelligent diagnosis method for a centrifugal pump using features of vibration signals
  435. Automatic messaging for improving patients engagement in diabetes management: an exploratory study
  436. Positive solutions to a two-point higher order boundary value problem
  437. Almost periodic models in impulsive ecological systems with variable diffusion
  438. Observation of ventilation effects of I-gel™, Supreme™ and Ambu AuraOnce™ with respiratory dynamics monitoring in small children
  439. A case study of Grid Computing and computer algebra: parallel Gröbner Bases and Characteristic Sets
  440. A rhythm-based access control system for secure wellness services
  441. A novel Adaptive Cluster Transformation (ACT)-based intrusion tolerant architecture for hybrid information technology
  442. Bioelectrical impedance spectroscopy to estimate fluid balance in critically ill patients
  443. Topology driven modeling: the IS metaphor
  444. MobiPass: a passport for mobile business
  445. Panconnectivity of Cartesian product graphs
  446. A conserving discretization for a Stefan problem with an interface reaction at the free boundary
  447. Consideration of mobile DNA: new forms of artificial genetic regulatory networks
  448. Effects of head size and morphology on dynamic responses to impact loading
  449. Sharing Resources at Nonuniform Access Rates
  450. A projection-based TODIM method under multi-valued neutrosophic environments and its application in personnel selection
  451. Efficient search algorithms for RNAi target detection
  452. Solving 1D Conservation Laws Using Pontryagin’s Minimum Principle
  453. Weighted Picture Automata and Weighted Logics
  454. An algorithmic analysis of DNA structure
  455. Performing DNA computation with RecA-mediated triple-stranded DNA structure
Search Result: