the proceedings contain 30 papers. the special focus in this conference is on Ad Hoc and sensor networks, Services, storage, and internet routing, Peer-to-peer systems, theory and general approaches, Overlay networks,...
ISBN:
(纸本)3642108644
the proceedings contain 30 papers. the special focus in this conference is on Ad Hoc and sensor networks, Services, storage, and internet routing, Peer-to-peer systems, theory and general approaches, Overlay networks, Peer-to-peer systems and internet routing, Wireless networks and Networking topics. the topics include: Self-management of routing on human proximity networks, revisiting P2P content sharing in wireless ad hoc networks, event detection using unmanned aerial vehicles: ordered versus self-organized search, a survey of models and design methods for self-organizing networked systems, laying pheromone trails for balanced and dependable component mappings, self-organized data redundancy management for peer-to-peer storage systems, self-organization of internet paths, non-sticky fingers: policy-driven self-optimization for DHTs, passive/active load balancing with informed node placement in DHTS, optimal TCP-friendly rate control for P2P streaming: an economic approach, the degree of global-state awareness in self-organizing systems, revisiting the auto-regressive functions of the cross-entropy ant system, quantitative modeling of self-organizing properties, resolving the noxious effect of churn on internet coordinate systems, tuning vivaldi: achieving increased accuracy and stability, a stable random-contact algorithm for peer-to-peer file sharing, a decentralized architecture for distributed neighborhood based search, scheduling in p2p streaming: from algorithms to protocols, network heterogeneity and cascading failures - an evaluation for the case of BGP vulnerability, a self-organizing approach to activity recognition with wireless sensors, congestion control in wireless sensor networks based on the bird flocking behavior, a distributed range assignment protocol and a distributed power saving algorithm for cellular network.
Bio-PEPA is a novel stochastic process algebra which has been recently developed for modelling biochemical pathways [5,6]. In Bio-PEPA a reagent-centric style of modelling is adopted, and a variety of analysis techniq...
详细信息
the proceedings contain 25 papers. the topics discussed include: qualitative modeling and simulation of bacterial regulatory networks;integrated analysis from abstract stochastic process algebra models;an exact Browni...
ISBN:
(纸本)3540885617
the proceedings contain 25 papers. the topics discussed include: qualitative modeling and simulation of bacterial regulatory networks;integrated analysis from abstract stochastic process algebra models;an exact Brownian Dynamics method for cell simulation;multiscale modeling of neuronal signaling;systems biology of halophilic archaea;a partial granger causality approach to explore causal networks derived from multi-parameter data;functional evolution of Ribozyme-Catalyzed metabolisms in a graph-based toy-universe;component-based modeling of RNA structure folding;a language for biochemical systems;the attributed Pi calculus;automatic complexity analysis and model reduction of nonlinear biochemical systems;formal analysis of abnormal excitation in Cardiac tissue;the distribution of mutational effects on fitness in a simple circadian clock;and parallel stochastic simulation of diffusive systems.
the proceedings contain 86 papers. the topics discussed include: mesh independent convergence rates via differential operator pairs;bridging methods for coupling atomistic and continuum models;parallelization of advec...
ISBN:
(纸本)3540788255
the proceedings contain 86 papers. the topics discussed include: mesh independent convergence rates via differential operator pairs;bridging methods for coupling atomistic and continuum models;parallelization of advection-diffusion-chemistry modules;optimization based stabilization of nonlinear control systems;on smoothing surfaces in voxel based finite element analysis of trabecular bone;application of hierarchical decomposition: preconditioners and error estimates for conforming and nonconforming fem;multilevel preconditioning of rotated trilinear non-conforming finite element problems;a fixed-grid finite element algebraic multigrid approach for interface shape optimization governed by 2-dimensional magnetostatics;numerical study of algebraic problems using stochastic arithmetic;Monte Carlo simulation for reliability centered maintenance management;and on the Richardson extrapolation as applied to the sequential splitting method.
Background: the prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possible to predict which residues are likely...
详细信息
Background: the prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possible to predict which residues are likely to be part of a functional site and this information can be used to select model structures from a variety of alternatives that would correspond to a functional protein. Results: Using a large collection of protein-like decoy models, a score was devised that selected those with predicted functional site residues that formed a cluster. When tested on a variety of small alpha/beta/gamma type proteins, including enzymes and non-enzymes, those that corresponded to the native fold were ranked highly. this performance held also for a selection of larger alpha/beta/gamma proteins that played no part in the development of the method. Conclusion: the use of predicted site positions provides a useful filter to discriminate native-like protein models from non-native models. the method can be applied to any collection of models and should provide a useful aid to all modelling methods from ab initio to homology based approaches.
Background: the prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possible to predict which residues are likely...
详细信息
the proceedings contain 116 papers. the topics discussed include: rough set approach under dynamic granulation in incomplete information systems;generalized fuzzy operations for digital hardware implementation;a novel...
详细信息
ISBN:
(纸本)9783540766308
the proceedings contain 116 papers. the topics discussed include: rough set approach under dynamic granulation in incomplete information systems;generalized fuzzy operations for digital hardware implementation;a novel model of artificial immune system for solving constrained optimization problems with dynamic tolerance factor;a genetic representation for dynamic system qualitative models on genetic programming: a gene expression programming approach;handling constraints in particle swarm optimization using a small population size;collective methods on flock traffic navigation based on negotiation;a new global optimization algorithm inspired by parliamentary political competitions;discovering promising regions to help global numerical optimization algorithms;and clustering search approach for the traveling tournament problem.
the proceedings contain 21 papers. the topics discussed include: how neural computing can still be unconventional after all these years;optimal algorithmic cooling of spins;nanocomputing by self-assembly;unconventiona...
详细信息
ISBN:
(纸本)9783540735533
the proceedings contain 21 papers. the topics discussed include: how neural computing can still be unconventional after all these years;optimal algorithmic cooling of spins;nanocomputing by self-assembly;unconventional models of computation through non-standard logic circuits;on one unconventional framework for computation;computing through gene assembly;learning vector quantization network for PAPR reduction in orthogonal frequency division multiplexing systems;binary ant colony algorithm for symbol detection in a spatial multiplexing system;quantum authenticated key distribution;the abstract immune system algorithm;taming non-compositionality using new binders;using river formation dynamics to design heuristic algorithms;principles of stochastic local search;spatial and temporal resource allocation for adaptive parallel genetic algorithm;gravitational topological quantum computation;and computation in sofic quantum dynamical systems.
Background: Protein domains present some of the most useful information that can be used to understand protein structure and functions. Recent research on protein domain boundary prediction has been mainly based on wi...
详细信息
the proceedings contain 33 papers. the topics discussed include: verifying temporal properties of community designs;automated verification of security policies in mobile code;bug hunting with false negatives;behaviour...
详细信息
ISBN:
(纸本)3540732098
the proceedings contain 33 papers. the topics discussed include: verifying temporal properties of community designs;automated verification of security policies in mobile code;bug hunting with false negatives;behavioural specifications from class models;inheriting laws for processes with states;probabilistic timed behavior trees;guiding the correction of parameterized specifications;lifting general correctness into partial correctness is ok;finding state solutions to temporal logic queries;combining mobility with state;algebraic approaches to formal analysis of the mondex electronic purse system;a stepwise development process for reasoning about the reliability of real-time systems;decomposing integrated specifications for verification;verification of multi-agent negotiations using the alloy analyzer;integrated static analysis for linux device driver verification;and integrating verification, testing, and learning for cryptographic protocols.
暂无评论