the proceedings contain 37 papers. the topics discussed include: towards a methodology for designing e-government control procedures;domain specific process modelling in public administrations-the PICTURE-approach;ref...
详细信息
ISBN:
(纸本)9783540744436
the proceedings contain 37 papers. the topics discussed include: towards a methodology for designing e-government control procedures;domain specific process modelling in public administrations-the PICTURE-approach;reference models for e-services integration based on life-events;e-government services composition using multi-faceted metadata classification structures;selection of appropriate payment methods for e-government-model and application;inclusion in the e-service society - investigating administrative literacy requirements for using e-services;an ontology for multi-perspective evaluation of quality in e-government services;reaching communication quality in public e-forms - a communicative perspective on e-form design;and a trust-centered approach for building e-voting systems.
Computational prediction of RNA- and DNA-binding residues from protein sequences offers a high-throughput and accurate solution to functionally annotate the avalanche of the protein sequence data. Although many predic...
详细信息
this book constitutes the thoroughly refereed post-conference proceedings of the 7thinternational Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014, held in Angers, France, in March 20...
ISBN:
(纸本)9783319261287
this book constitutes the thoroughly refereed post-conference proceedings of the 7thinternational Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014, held in Angers, France, in March 2014. the 25 revised full papers presented were carefully reviewed and selected from a total of 362 submissions. the papers cover a wide range of topics and are organized in topical sections on biomedical electronics and devices; bioimaging; bioinformaticsmodels, methods and algorithms; bio-inspired systems and signal processing; health informatics.
In this contribution, new online EM algorithms are proposed to perform inference in general hidden Markov models. these algorithms update the parameter at some deterministic times and use Sequential Monte Carlo method...
详细信息
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.
In this work, a metabolomics dataset from 1H nuclear magnetic resonance spectroscopy of Brazilian propolis was analyzed using machine learning algorithms, including feature selection and classification methods. Partia...
详细信息
ISBN:
(纸本)9783642341236
In this work, a metabolomics dataset from 1H nuclear magnetic resonance spectroscopy of Brazilian propolis was analyzed using machine learning algorithms, including feature selection and classification methods. Partial least square-discriminant analysis (PLS-DA), random forest (RF), and wrapper methods combining decision trees and rules with evolutionary algorithms (EA) showed to be complementary approaches, allowing to obtain relevant information as to the importance of a given set of features, mostly related to the structural fingerprint of aliphatic and aromatic compounds typically found in propolis, e.g., fatty acids and phenolic compounds. the feature selection and decision tree-based algorithms used appear to be suitable tools for building classification models for the Brazilian propolis metabolomics regarding its geographic origin, with consistency, high accuracy, and avoiding redundant information as to the metabolic signature of relevant compounds.
the proceedings contain 28 papers. the special focus in this conference is on Biomedical Electronics and Devices, bioinformaticsmodels, methods and algorithms and Bio-inspired Systems and Signal Processing. the topic...
ISBN:
(纸本)9783662444849
the proceedings contain 28 papers. the special focus in this conference is on Biomedical Electronics and Devices, bioinformaticsmodels, methods and algorithms and Bio-inspired Systems and Signal Processing. the topics include: Opened-ring electrode array for enhanced non-invasive monitoring of bioelectrical signals;development and application of a portable device for cutaneous thermal sensitivity assessment;pine decay assessment by means of electrical impedance spectroscopy;gold standard generation using electrooculogram signal for drowsiness detection in simulator conditions;dielectric barrier discharge plasma for endodontic treatment;characterization of an acoustic based device for local arterial stiffness assessment;formal analysis of gene networks using network motifs;word match counts between markovian biological sequences;systematic analysis of homologous tandem repeat family in the human genome;predicting protein localization using a domain adaptation approach;optimization of cost sensitive models to improve prediction of molecular functions;dynamic changes of nasal airflow resistance during provocation with birch pollen allergen;identification of athletes during walking and jogging based on gait and electrocardiographic patterns;clinical test for validation of a new optical probe for hemodynamic parameters assessment;influence of iris template aging on recognition reliability;stable EEG features for biometric recognition in resting state conditions;integration of smart home health data in the clinical decision making process;modality preference in multimodal interaction for elderly persons and centralised electronic health records research across health organisation types.
the proceedings contain 34 papers. the topics discussed include: extending prior research with design science research: two patterns for DSRIS project generation;inductive design of maturity models: applying the rasch...
ISBN:
(纸本)9783642206320
the proceedings contain 34 papers. the topics discussed include: extending prior research with design science research: two patterns for DSRIS project generation;inductive design of maturity models: applying the rasch algorithm for design science research;pattern-based approach for designing with diagrammatic and propositional conceptual models;enacted software development routines based on waterfall and agile software methods: socio-technical event sequence study;a fitness-utility model for design science research;interface design elements for anti-phishing systems;experimental evaluation of peer endorsement system artifacts using best-of-breed ideals - effects of online decision confidence on post-choice regret;managing the future-six guidelines for designing environmental scanning systems;and utilizing user-group characteristics to improve acceptance of management support SystemState of the art and six design guidelines.
the proceedings contain 59 papers. the special focus in this conference is on Engineering Virtualized Systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical Systems, Scientific Workflows, Eval...
ISBN:
(纸本)9783662452301
the proceedings contain 59 papers. the special focus in this conference is on Engineering Virtualized Systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical Systems, Scientific Workflows, Evaluation and Reproducibility of Program Analysis and Industrial Track. the topics include: Introduction to track on engineering virtualized services;fault model design space for cooperative concurrency;towards the typing of resource deployment;fully abstract operation contracts;an effective heuristic for adaptive importance splitting in statistical model checking;a formalism for stochastic adaptive systems;a review of statistical model checking pitfalls on real-time stochastic models;using statistical model checking for measuring systems;blocking advertisements on android devices using monitoring techniques;a risk assessment framework for software testing;combining risk analysis and security testing;risk-based vulnerability testing using security test patterns;challenges for the dynamic interconnection of medical devices;temporal logic based monitoring of assisted ventilation in intensive care patients;meta-analysis of disjoint sets of attributes in large cohort studies;a visual programming approach to beat-driven humanoid robot dancing;automatic annotation of bioinformatics workflows with biomedical ontologies;modeling and verifying communication systems;simple management of high assurance data in long-lived interdisciplinary healthcare research;domain-specific business modeling withthe business model developer;semantic heterogeneity in the formal development of complex systems;modelling and verifying an evolving distributed control system using an event-based approach and requirements driven data warehouse design.
Level set based approaches are widely used for image segmentation. One of the challenges in these methods is the incorporation of prior knowledge on the shape of the segmentation contour. In this paper a level set var...
详细信息
暂无评论