the proceedings contain 36 papers. the topics discussed include: shock reflection problems and gas dynamics equations;language for exact description of systems with complex control;investigation of multiple-attribute ...
ISBN:
(纸本)9781618040169
the proceedings contain 36 papers. the topics discussed include: shock reflection problems and gas dynamics equations;language for exact description of systems with complex control;investigation of multiple-attribute decision making model based on uncertainty;study of application of reciprocal scale in quantitative analysis;the design and realization of data accessing service in the meta-synthetic integrated environment of stratagem research;the design and realization of comprehensive evaluation in the meta-synthetic integrated environment of stratagem research;a mathematical model of bone formation and resorption: effect of calcitonin;a mathematical model of bone remodeling process: effects of parathyroid hormone and calcitonin;effect of vitamin d on bone formation and resorption: mathematical modeling approach;and simulation model and the dynamics of relative poverty rates in the presence of some social benefits in Romania.
the proceedings contain 255 papers. the topics discussed include: performance analysis of solar PV-fuel cell integrated floriculture greenhouse;maximizing the usage of PCM materials in buildings;combined convective-ra...
ISBN:
(纸本)9780791854686
the proceedings contain 255 papers. the topics discussed include: performance analysis of solar PV-fuel cell integrated floriculture greenhouse;maximizing the usage of PCM materials in buildings;combined convective-radiative thermal analysis of inclined roof top solar chimney;the magnitude of the thermal energy stored in a building wall adjacent to an unglazed transpired solar collector;optimization of equipment control parameters to minimize HVAC energy consumption;investigation on the optimum performance of an irreversible solar powered absorption refrigeration system;increasing energy efficiency of HVAC systems of buildings using phase change material;design and experiment of a concentrating transpired air heating system;and the potential of natural ventilation in single-sided ventilated apartment to improve indoor thermal comfort and air quality.
the proceedings contain 22 papers. the special focus in this conference is on Autonomous Infrastructure, Management, and Security. the topics include: Policy-Based pricing for heterogeneous wireless access networks;De...
ISBN:
(纸本)9783642214837
the proceedings contain 22 papers. the special focus in this conference is on Autonomous Infrastructure, Management, and Security. the topics include: Policy-Based pricing for heterogeneous wireless access networks;Decision engine for SIP based dynamic call routing;Evaluation of the resource requirements of SNMP agents on constrained devices;Carrier ethernet OAM: An overview and comparison to IP OAM;using diffusive load balancing to improve performance of peer-to-peer systems for hosting services;on the dimensioning of an aggregation service for P2P service overlay networks;impact of dynamics on situated and global aggregation schemes;towards Self-adaptive monitoring framework for integrated management;a novel approach to support the visual exploration and management of heterogeneous home area network devices and services;efficient distributed signature analysis;estimating bandwidth requirements using flow-level measurements;using of time characteristics in data flow for traffic classification;intrusion detection in open peer-to-peer multi-agent systems;Econometric feedback for runtime risk management in VoIP architectures;finding and analyzing evil cities on the internet;autonomous service composition in symbiotic networks;An SLA Support system for cloud computing;autonomic management for personalized handover decisions in heterogeneous wireless networks;optimising P2P overlays for pervasive environments;towards vulnerability prevention in autonomic networks and systems.
the proceedings contain 39 papers. the topics discussed include: selection of outsourcing agency through AHP and grey relational analysis: a case analysis;knowledge sharing intentions among it professionals in India;i...
ISBN:
(纸本)9783642194221
the proceedings contain 39 papers. the topics discussed include: selection of outsourcing agency through AHP and grey relational analysis: a case analysis;knowledge sharing intentions among it professionals in India;issues before Indian small and medium scale enterprises opting for ERP implementation;a view recommendation greedy algorithm for materialized views selection;experience based software process improvement: have we found the silver bullet?;framework for spatial query resolution for decision support using geospatial service chaining and fuzzy reasoning;an ontology based approach for test scenario management;societal responsibility of business and information systems;application of vector quantization in emotion recognition from human speech;fuzzy time series prediction model;a novel relation-based probability algorithm for page ranking in semantic web search engine;and change impact analysis: a tool for effective regression testing.
the proceedings contain 42 papers. the topics discussed include: causality, responsibility, and blame: a structural-model approach;fuzzy logic, annotation domains and semantic web languages;logic programming and uncer...
ISBN:
(纸本)9783642239625
the proceedings contain 42 papers. the topics discussed include: causality, responsibility, and blame: a structural-model approach;fuzzy logic, annotation domains and semantic web languages;logic programming and uncertainty;probabilistic logic networks in a nutshell;dynamics of beliefs;fuzzy classifiers: opportunities and challenges;a brief overview of research in argumentation systems;a brief overview of research in argumentation systems;argumentation frameworks as constraint satisfaction problems;on the equivalence of logic-based argumentation systems;bipolarity in argumentation graphs: towards a better understanding;handling enthymemes in time-limited persuasion dialogs;argumentation frameworks with necessities;a heuristics-based pruning technique for argumentation trees;on warranted inference in argument trees based framework;and uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation.
the proceedings contain 120 papers. the topics discussed include: the US Department of Energy's research and development portfolio of hydrogen production technologies;trace level sulfur sensor for fuel cells;exper...
ISBN:
(纸本)9780791854693
the proceedings contain 120 papers. the topics discussed include: the US Department of Energy's research and development portfolio of hydrogen production technologies;trace level sulfur sensor for fuel cells;experimental and numerical evaluation of the by-pass flow in a catalytic plate reactor for hydrogen production;current mode control of fuel cell fed interleaved boost converter for ripple current minimization;methane-based flame fuel cell using anode supported solid oxide fuel cells;design and analysis of hybrid guideway heating system for Morgantown personal rapid transit;experimental comparison and performance evaluation of planar solid oxide single cell;PH3 effects on the electrochemical degradation of SOFC anode;development of an optical sensor for temperature measurement and water droplet detection in PEMFC gas channels;and vapor delivery systems for the study of the effects of reformate gas impurities in HT-PEM fuel cells.
the proceedings contain 58 papers. the topics discussed include: cryptanalysis of chaos based secure satellite imagery cryptosystem;efficient regular expression pattern matching on graphics processing units;a new blen...
ISBN:
(纸本)9783642226052
the proceedings contain 58 papers. the topics discussed include: cryptanalysis of chaos based secure satellite imagery cryptosystem;efficient regular expression pattern matching on graphics processing units;a new blend of DE and PSO algorithms for global optimization problems;graph isomorphism detection using vertex similarity measure;variable length virtual output queue based Fuzzy adaptive RED for congestion control at routers;an efficient EA with multipoint guided crossover for bi-objective graph coloring problem;a framework for specification and verification of timeout models of real-time systems;enhancing the local exploration capabilities of artificial bee colony using low discrepancy Sobol sequence;and property analysis and enhancement in recombination operator of edge-set encoding for spanning tree.
the proceedings contain 55 papers. the topics discussed include: strong I/O lower bounds for binomial and FFT computation graphs;spin systems on graphs with complex edge functions and specified degree regularities;qua...
ISBN:
(纸本)9783642226847
the proceedings contain 55 papers. the topics discussed include: strong I/O lower bounds for binomial and FFT computation graphs;spin systems on graphs with complex edge functions and specified degree regularities;quantum algorithm for the Boolean hidden shift problem;a Kolmogorov complexity proof of the Lovász local lemma for satisfiability;proper n-cell polycubes in n - 3 dimensions;largest area convex hull of axis-aligned squares based on imprecise data;improved algorithms for the point-set embeddability problem for plane 3-trees;optimal strategies for the one-round discrete Voronoi game on a line;computingthe girth of a planar graph in linear time;diagonalization strikes back: some recent lower bounds in complexity theory;unions of disjoint NP-complete sets;and scheduling jobs on heterogeneous platforms.
the proceedings contain 13 papers. the topics discussed include: checking models, proving programs, and testing systems;tests from proofs;incorporating coverage criteria in bounded exhaustive black box test generation...
ISBN:
(纸本)9783642217678
the proceedings contain 13 papers. the topics discussed include: checking models, proving programs, and testing systems;tests from proofs;incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs;checking the behavioral conformance of web services with symbolic testing and an SMT solver;association of under-approximation techniques for generating tests from models;security mutants for property-based testing;the SANTE tool: value analysis, program slicing and test generation for C program debugging;abstraction based automated test generation from formal tabular requirements specifications;correct code containing containers;a random testing approach using pushdown automata;incremental learning-based testing for reactive systems;state coverage metrics for specification-based testing with Büchi automata;and lightweight testing of communication networks with e-motions.
the proceedings contain 37 papers. the topics discussed include: experiences building a multi-display mobile application for exploring mirror worlds;diversity and end user context in smartphone usage sessions;design a...
ISBN:
(纸本)9780769544960
the proceedings contain 37 papers. the topics discussed include: experiences building a multi-display mobile application for exploring mirror worlds;diversity and end user context in smartphone usage sessions;design and trial of a cell-phone-based hazard information sharing system for residents living close to an incident;a cloud based service architecture for personalized media recommendations;expressive audiovisual message presenter for mobile devices;enhanced service delivery platform for efficient use of server resources;semantic handover for seamless service continuity within user ambient context;offloading approach for flexible provisioning and execution of remote data-gathering applications;model-driven productivity evaluation for self-adaptive context-oriented software development;punctilious training of neural networks for efficacious applications of predictions in android phones;and contribution of broadcast algorithms to reactive ad hoc routing.
暂无评论