the proceedings contain 42 papers. the topics discussed include: defining an Internet-of-things ecosystem;towards IOT ecosystems and business models;open and scalable IoT platform and its applications for real time ac...
ISBN:
(纸本)9783642326851
the proceedings contain 42 papers. the topics discussed include: defining an Internet-of-things ecosystem;towards IOT ecosystems and business models;open and scalable IoT platform and its applications for real time access line monitoring and alarm correlation;where have you been? using location clustering and context awareness to understand places of interest;where are they now - safe location sharing: a new model for location sharing services;survey on congestion control mechanisms for wireless sensor networks;an overview of information extraction from mobile wireless sensor networks;VR-smart home: prototyping of a user centered design system;smart space governing through service mashups;smart space applications integration: a mediation formalism and design for smart-M3;smart logistic service for dynamic ridesharing;and a methodological approach to quality of future context for proactive smart systems.
the proceedings contain 38 papers. the topics discussed include: proof, message and certificate;challenges and experiences in managing large-scale proofs;extending MKM formats at the statement level;a streaming digita...
ISBN:
(纸本)9783642313738
the proceedings contain 38 papers. the topics discussed include: proof, message and certificate;challenges and experiences in managing large-scale proofs;extending MKM formats at the statement level;a streaming digital ink framework for multi-party collaboration;cost-effective integration of MKM semantic services into editing environments;understanding the learners' actions when using mathematics learning tools;towards understanding triangle construction problems;a query language for formal mathematical libraries;point-and-write documenting formal mathematics by reference;theory presentation combinators;verifying an algorithm computing discrete vector fields for digital imaging;towards the formal specification and verification of maple programs;CDCL-based abstract state transition system for coherent logic;reasoning on schemata of formulae;and management of change in declarative languages.
the proceedings contain 10 papers. the topics discussed include: composition of L-fuzzy contexts;iterator-based algorithms in self-tuning discovery of partial implications;completing terminological axioms with formal ...
the proceedings contain 10 papers. the topics discussed include: composition of L-fuzzy contexts;iterator-based algorithms in self-tuning discovery of partial implications;completing terminological axioms with formal concept analysis;a tool-based set theoretic framework for concept approximation;decision aiding software using FCA;closures and partial implications in educational data mining;attribute exploration in a fuzzy setting;on open problem - semantics of the clone items;computingthe skyline of a relational table based on a query lattice;and using FCA for modeling conceptual difficulties in learning processes.
the proceedings contain 41 papers. the topics discussed include: a protocol for the atomic capture of multiple molecules on large scale platforms;lifting the barriers - reducing latencies with transparent transactiona...
ISBN:
(纸本)9783642259586
the proceedings contain 41 papers. the topics discussed include: a protocol for the atomic capture of multiple molecules on large scale platforms;lifting the barriers - reducing latencies with transparent transactional memory;snap-stabilizing message forwarding algorithm on tree topologies;facilitating the design of fault tolerance in transaction level SystemC programs;competitive and deterministic embeddings of virtual networks;interplay between (im)perfectness, synchrony and connectivity: the case of reliable message transmission;hybrid approach for experimental networking research;towards optimal event detection and localization in acyclic flow networks;virtual tree: a robust overlay network for ensuring interval valid queries in dynamic distributed systems;distributed coverage-enhancing algorithms in directional sensor networks with rotatable sensors;and adaptive velocity based guided navigation in wireless sensor networks.
the proceedings contain 29 papers. the topics discussed include: mobile web apps - the non-programmers alternative to native applications;SmilieFace: evolving interface design;estimation of users internal state before...
ISBN:
(纸本)9780769548944
the proceedings contain 29 papers. the topics discussed include: mobile web apps - the non-programmers alternative to native applications;SmilieFace: evolving interface design;estimation of users internal state before the users first utterance using acoustic features and face orientation;an approach to university social responsibility ontology development through text analyses;Mathspeak: an audio method for presenting mathematical formulae to blind students;use of three dimensional imaging to perform aircraft composite inspection: proof of concept;robust stability and performance analysis of the control systems with higher order disturbance observer: frequency approach;a depressurization motion assistance for a seated wheelchair user using pressure distribution estimation;geographic visualization of risk as decision support in emergency situations;and study on standard human motion based on phase plane for non-holonomic vehicle interface.
Does QWERTY type keyboard provide optimum performance for every language? 2) Is it suitable for touch-screen devices? In this paper we tried to find out answers to these questions. QWERTY keyboard remained the most co...
详细信息
Noise is prevalent in all pipeline instrumentation and measurement system data and is perhaps one of the biggest environmental factors, which determines if a system will operate reliably in practice. Noise present in ...
详细信息
ISBN:
(纸本)9780791845127
Noise is prevalent in all pipeline instrumentation and measurement system data and is perhaps one of the biggest environmental factors, which determines if a system will operate reliably in practice. Noise present in data can be random or repetitive, occurring continuous or in isolated bursts and can have a multitude of sources. At Enbridge, the leak detectability of Computational Pipeline Modeling (CPM) based leak detection (LD) systems is notably affected by the presence of noise in the pipeline data. Data smoothing of noisy pipeline data is a non-trivial process;these techniques are used not only to eliminate "noise" from the operating data, but also to extract real trends and patterns within the data, and to maintain important characteristics of the signal itself, particularly during transient time periods. Finding an effective data smoothing methodology has, therefore, become an important and challenging task for the Leak Detection team at Enbridge. this paper presents an innovative approach on data smoothing withthe aim of improving data quality and detectability of the CPM based LD systems using the Wavelet analysis method which is incorporated in the MATLAB toolbox. Wavelet-based algorithms have proved to be quite an effective tool for the analysis, synthesis, denoising, and compression of signals and provide more precise information about signal data than other signal analysis techniques, such as Fourier Transform. In this paper the Wavelet analysis technique has been reviewed and is shown to be effective in manipulation and smoothing of pipeline data, both during the transient and steady state conditions. Based on the algorithm and utilities developed, extensive tests have been performed and comparison studies have been made to validate the methodology using simulated leak test data, fluid withdrawal test data, and API 1130/1149 calculations etc. the test results indicate that data smoothing technique employed has a substantial effect on the data quality
the colour control system of an offset printing machine is one example, where modern information processing technologies allow an improved process control and higher resource efficiency. It is not possible to measure ...
详细信息
ISBN:
(纸本)9789898565709
the colour control system of an offset printing machine is one example, where modern information processing technologies allow an improved process control and higher resource efficiency. It is not possible to measure the printing quality during production start. So no regular closed loop control can be used. For better system behaviour a simulation model is integrated to calculate the printing quality at any time. To get an optimal process performance, a high simulation quality must be ensured, which includes a compensation of process simulation inaccuracies as well as variable influences. therefore a cognitive system is installed, which measures the most important influences like the used paper and many other process parameters. After each production the right model parameters will be calculated by identification algorithms. So a data set with influences and parameters is available. For the next production run the best-fitting parameters for the simulation model can be calculated by a Neural Network. Additionally wear and deposits, which change the machine's performance, can be compensated. the simulation accuracy and the process control quality rises, which enables a faster run-up. Savings of paper, ink, energy and time allow an economic application of this control concept.
this paper focuses on the use of Network-on-Chip (NoC) accelerators for Barnes-Hut N-Body simulations. NoC-based architecture is proposed to solve the communication bottleneck of processors with hundreds or even thous...
详细信息
the proceedings contain 44 papers. the topics discussed include: when reality comes knocking Norwegian experiences with verifiable electronic voting;Internet voting and individual verifiability: the Norwegian return c...
ISBN:
(纸本)9783885792994
the proceedings contain 44 papers. the topics discussed include: when reality comes knocking Norwegian experiences with verifiable electronic voting;Internet voting and individual verifiability: the Norwegian return codes;cast-as-intended verification in Norway;random block verification: improving the Norwegian electoral mix-net;a supervised verifiable voting protocol for the Victorian electoral commission;partial verifiability in POLYAS for the GI elections;achieving meaningful efficiency in coercion-resistant, verifiable Internet voting;coercion-freeness in e-voting via multi-party designated verifier schemes;Internet voting system security auditing from system development through implementation: best practices from electronic voting deployments;testing democracy: how independent testing of e-voting systems safeguards electoral integrity;and mapping the literature: socio-cultural, organizational and technological dimensions of e-voting technologies.
暂无评论