the proceedings contain 43 papers. the topics discussed include: 3D reconstructions of resin dental fillings based on en face OCT images;climatic and tourist potential of the subcarpathians between Ialomita and Prahov...
ISBN:
(纸本)9789604742615
the proceedings contain 43 papers. the topics discussed include: 3D reconstructions of resin dental fillings based on en face OCT images;climatic and tourist potential of the subcarpathians between Ialomita and Prahova river;multiple proteins sequence alignment based on progressive methods with new guide tree;AK-means based competitive learning with text description language features for practical botanical systematics;vaporization thermal power assurance for vertical closed-loop ground-coupled heat pump systems;biofuels a renewable energy source for combined heat and power systems;research concerning thermal stress of bandages on block braking in case of braking stop;numerical simulation of environment pollution for some regions of Georgia for risk assessment;the possibilities of biofuel production in terms of sustainable development in Serbia;and bioclimatic assessment of weather condition for recreation in health resorts.
the proceedings contain 16 papers. the topics discussed include: interdisciplinary foundations for open cyber-physical systems;safraless procedures for timed specifications;property-based monitoring of analog and mixe...
ISBN:
(纸本)3642152961
the proceedings contain 16 papers. the topics discussed include: interdisciplinary foundations for open cyber-physical systems;safraless procedures for timed specifications;property-based monitoring of analog and mixed-signal systems;a framework for verification of software with time and probabilities;synchrony and time in fault-tolerant distributed algorithms;reconciling urgency and variable abstraction in a hybrid compositional setting;computing equilibria in two-player timed games via turn-based finite games;natural domain SMT: a preliminary assessment;robust satisfaction of temporal logic over real-valued signals;combining symbolic representations for solving timed games;expected reachability-time games;diagnosis using unfoldings of parametric time petri nets;unambiguity in timed regular languages: automata and logics;and a process algebraic framework for modeling resource demand and supply.
the proceedings contain 90 papers. the topics discussed include: breaking Tor anonymity with game theory and data mining;dynamic trust model for federated identity management;securing emergency response operations usi...
ISBN:
(纸本)9780769541594
the proceedings contain 90 papers. the topics discussed include: breaking Tor anonymity with game theory and data mining;dynamic trust model for federated identity management;securing emergency response operations using distributed trust decisions;a novel threat assessment method for DDoS early warning using network vulnerability analysis;the mobile phone as a multi OTP device using trusted computing;a software watermarking algorithm based on stack-state transition graph;DIPLOMA: distributed policy enforcement architecture for MANETs;towards identify anonymization in large survey rating data;a view based access control model for SPARQL;comparative analysis of HTTP anomaly detection algorithms: DFA vs N-grams;overcoming reputation and proof-of-work systems in botnets;network forensics in MANET: traffic analysis of source spoofed DoS attacks;and efficient ideal threshold secret sharing schemes based on EXCLUSIVE-OR operations.
the proceedings contain 17 papers. the topics discussed include: RESTful integration of heterogeneous devices in pervasive environments;hosting and using services with QoS guarantee in self-adaptive service systems;va...
ISBN:
(纸本)3642136443
the proceedings contain 17 papers. the topics discussed include: RESTful integration of heterogeneous devices in pervasive environments;hosting and using services with QoS guarantee in self-adaptive service systems;validating evolutionary algorithms on volunteer computing grids;a reconfiguration language for virtualized grid infrastructures;distributed object-oriented programming with RFID technology;WISeMid: middleware for integrating wireless sensor networks and the Internet;experiments in model driven composition of user interfaces;QoS self-configuring failure detectors for distributed systems;automatic software deployment in the Azure cloud;G2CL: a generic group communication layer for clustered applications;dynamic composition of cross-organizational features in distributed software systems;and co-ordinated utility-based adaptation of multiple applications on resource-constrained mobile devices.
the proceedings contain 19 papers. the special focus in this conference is on Ubiquitous services and applications, Grid computing, Sensor networks, Context awareness, Service orientation, Distributed fault tolerant c...
ISBN:
(纸本)3642136443
the proceedings contain 19 papers. the special focus in this conference is on Ubiquitous services and applications, Grid computing, Sensor networks, Context awareness, Service orientation, Distributed fault tolerant controllers, Cloud and cluster computing, Adaptive and (re)configurable systems and Collaborative systems. the topics include: RESTful integration of heterogeneous devices in pervasive environments, hosting and using services with QoS guarantee in self-adaptive service systems, validating evolutionary algorithms on volunteer computing grids, a reconfiguration language for virtualized grid infrastructures, distributed object-oriented programming with RFID technology, WISeMid: middleware for integrating wireless sensor networks and the internet, structured context prediction: a generic approach, experiments in model driven composition of user interfaces, service discovery in ubiquitous feedback control loops, qos self-configuring failure detectors for distributed systems, distributed fault tolerant controllers, automatic software deployment in the azure cloud, G2CL: a generic group communication layer for clustered applications, dynamic composition of cross-organizational features in distributed software systems, co-ordinated utility-based adaptation of multiple applications on resource-constrained mobile devices, gradienTv: market-based P2P live media streaming on the gradient overlay and collaborative ranking and profiling: exploiting the wisdom of crowds in tailored web search.
the proceedings contain 84 papers. the topics discussed include: analyses of definitions of hidden Markov models;FPGA implementation of Gaussian-distributed pseudo-random number generator;fingerprint image compression...
ISBN:
(纸本)9788988678275
the proceedings contain 84 papers. the topics discussed include: analyses of definitions of hidden Markov models;FPGA implementation of Gaussian-distributed pseudo-random number generator;fingerprint image compression algorithm based on matrix optimization;integration of chaotic map and confusion technique for color medical image encryption;improved particle swarm optimization algorithm for rectangular cutting-stock problem;intelligent ontological agent for traffic light control of isolated intersections;self-encoded spread spectrum with iterative detection in multi-rate multimedia communication systems;efficient algorithm for handling dangling pages using hypothetical node;a blind watermarking algorithm for color image based on singular value quantization;precise web page segmentation based on semantic block headers detection;sentence based semantic similarity measure for blog-posts;and agent behavior, embedded strategies and resulting welfare in networked e-auctions.
Grade 92 steel (ASME SA-213, T92 / ASME SA-335, P92) is one of the Creep Strength-Enhanced Ferritic (CSEF) steels developed for use in boilers and piping systems of supercritical steam fossil power plants. Although cr...
详细信息
the proceedings contain 22 papers. the topics discussed include: on model checking techniques for randomized distributed systems;collaborative modelling and co-simulation in the development of dependable embedded syst...
ISBN:
(纸本)3642162649
the proceedings contain 22 papers. the topics discussed include: on model checking techniques for randomized distributed systems;collaborative modelling and co-simulation in the development of dependable embedded systems;programming with miracles;an event-B approach to data sharing agreements;a logical framework to deal with variability;adding change impact analysis to the formal verification of C programs;creating sequential programs from event-B models;symbolic model-checking of optimistic replication algorithms;from operating-system correctness to pervasively verified applications;a compositional method for deciding equivalence and termination of nondeterministic programs;verification architectures: compositional reasoning for real-time systems;automatic verification of parametric specifications with complex topologies;and satisfaction meets expectations: computing expected values of probabilistic hybrid systems with SMT.
In this article, we present a very fast and easy to implement method for reconstruction of metabolic pathways based on time series data. To model the metabolic reactions, we use the well-established setting of ordinar...
详细信息
ISBN:
(纸本)9783642248542
In this article, we present a very fast and easy to implement method for reconstruction of metabolic pathways based on time series data. To model the metabolic reactions, we use the well-established setting of ordinary differential equations. In the present article we consider a network leading to the accumulation of quercetin-glycosides in tomato (Solanum lycopersicum). Quercetin belongs to a group of plant secondary metabolites, generally referred to as flavonoids, which are extensively being studied for their variety of important functions in plants as well as for their potentially health-promoting effects on human. We use time series measurements of metabolite concentrations of quercetin derivatives. In the present setting, the observed concentrations are the variables and the reaction rates are the unknown parameters. A standard method is to solve the parameters by reverse engineering, where the ordinary differential equations (ODE) are solved repeatedly, resulting in impractical computation times. We use an alternative method that estimates the parameters by least squares minimization, and which is, in the order of hundred times faster than the iterative method. Our reconstruction method can incorporate an arbitrary a priori known network structure as well as positivity constraints on the reaction rates. In this way we can avoid over-fitting, which is another often encountered problem in network reconstruction, and thus obtain better estimates for the parameters. We test the presented method by reconstructing artificial networks and compare it withthe more conventional method in terms of residuals between the observed and fitted concentrations, computing times and the proportion of correctly identified edges in the network. Finally we exploit this fast method to statistically infer the kinetic constants in the flavonoid pathway. We remark that the method as such is not limited to metabolic network reconstructions, but can be used with any type of time-series
暂无评论