In this paper, on two-dimension unstructured meshes, a fully-discrete scheme is presented for the reaction-diffusion systems, which are often used as mathematical models for many biological, physical and chemical appl...
详细信息
ISBN:
(纸本)9783319570990;9783319570983
In this paper, on two-dimension unstructured meshes, a fully-discrete scheme is presented for the reaction-diffusion systems, which are often used as mathematical models for many biological, physical and chemical applications. By using local discontinuous Galerkin (LDG) method, the scheme can derive the numerical approximations not only for solutions but also for their gradients at the same time. In addition, the scheme employs the implicit integration factor (IIF) method for temporal discretization, which allows us to take the time-step as delta t = O(h(min)), and can be computed element by element, so that it reduces the computational cost greatly. Numerical simulations for the chlorite-iodide-malonic acid (CIMA) model demonstrate the expected behavior of the solutions, the efficiency and advantages of the proposed scheme.
this book constitutes the thoroughly refereed post-conference proceedings of the 8thinternational Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, held in Lisbon, Portugal, in Januar...
ISBN:
(纸本)9783319277066
this book constitutes the thoroughly refereed post-conference proceedings of the 8thinternational Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, held in Lisbon, Portugal, in January 2015. the 27 revised full papers presented together with an invited paper were carefully reviewed and selected from a total of 375 submissions. the papers cover a wide range of topics and are organized in four general topical sections on biomedical electronics and devices; bioimaging;bioinformaticsmodels, methods and algorithms; bio-inspired systems and signal processing;health informatics.
the proceedings contain 13 papers. the special focus in this conference is on Computational models of Natural Argument and Empathic Computing. the topics include: A cognitive approach to relevant argument generation;a...
ISBN:
(纸本)9783319462172
the proceedings contain 13 papers. the special focus in this conference is on Computational models of Natural Argument and Empathic Computing. the topics include: A cognitive approach to relevant argument generation;argumentation mining in parliamentary discourse;automatically detecting fallacies in system safety arguments;modeling user music preference through usage scoring and user listening behavior for generating preferred playlists;comparing affect recognition in peaks and onset of laughter;modeling work stress using heart rate and stress coping profiles;wizard-of-oz support using a portable dialogue corpus;identifying significant task-based predictors of emotion in learning;design of populations in symbiotic evolution to generate chord progression in consideration of the entire music structure and item-based learning for music emotion prediction using EEG data.
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.
the proceedings contain 23 papers. the special focus in this conference is on Statistical Atlases and Computational models of the Heart. the topics include: Automated model-based left ventricle segmentation in cardiac...
ISBN:
(纸本)9783319287119
the proceedings contain 23 papers. the special focus in this conference is on Statistical Atlases and Computational models of the Heart. the topics include: Automated model-based left ventricle segmentation in cardiac MR images;motion-driven parcellation of the left ventricle;towards left ventricular scar localisation using local motion descriptors;traversed graph representation for sparse encoding of macro-reentrant tachycardia;prediction of infarct localization from myocardial deformation;parameterisation of multi-directional diffusion weighted magnetic resonance images of the heart;confidence measures for assessing the HARP algorithm in tagged magnetic resonance imaging;papillary muscle segmentation from a multi-atlas database;electrophysiology model for a human heart with ischemic scar and realistic purkinje network;patient metadata-constrained shape models for cardiac image segmentation;myocardial infarct localization using neighbourhood approximation forests;systo-diastolic LV shape analysis by geometric morphometrics and parallel transport highly discriminates myocardial infarction;statistical shape modeling using partial least squares and classification of myocardial infarcted patients by combining shape and motion features.
Software libraries for Exact Real Arithmetic implement the theory of computability on non-denumerable sets. Usually they are based on interval arithmetic. We discuss enhancements where the interval arithmetic is augme...
详细信息
this paper reinforces numerical iterated integration developed by Muhammad–Mori in the following two points: (1) the approximation formula is modified so that it can achieve a better convergence rate in more general ...
详细信息
We describe the implementation of a subfield of the field of formal Puiseux series in polymake. this is employed for solving linear programs and computing convex hulls depending on a real parameter. Moreover, this app...
详细信息
the proceedings contain 52 papers. the special focus in this conference is on Curves, Surfaces, Applied Algebraic Geometry, Cryptography and Verified Numerical Computation. the topics include: Current challenges in de...
ISBN:
(纸本)9783319328584
the proceedings contain 52 papers. the special focus in this conference is on Curves, Surfaces, Applied Algebraic Geometry, Cryptography and Verified Numerical Computation. the topics include: Current challenges in developing open source computer algebra systems;symbolic geometric reasoning with advanced invariant algebras;mesh reduction to exterior surface parts via random convex-edge affine features;numeric and certified isolation of the singularities of the projection of a smooth space curve;workspace multiplicity and fault tolerance of cooperating robots;computing the chow variety of quadratic space curves;numerically testing generically reduced projective schemes for the arithmetic gorenstein property;some results concerning the explicit isomorphism problem over number fields;implementing cryptographic pairings on accumulator based smart card architectures;short group signatures with distributed traceability;on the optimality of differential fault analyses on CLEFIA;explicit error bound for modified numerical iterated integration by means of sinc methods;verified computations for solutions to semilinear parabolic equations using the evolution operator;verified error bounds for the real gamma function using double exponential formula over semi-infinite interval;efficient subformula orders for real quantifier elimination of non-prenex formulas;solving extended ideal membership problems in rings of convergent power series via gröbner bases;reconstructing a sparse solution from a compressed support vector machine;subquadratic-time algorithms for abelian stringology problems;simple differential field extensions and effective bounds and dimension polynomials of intermediate fields of inversive difference field extensions.
the proceedings contain 25 papers. the special focus in this conference is on Agile, Human-Centered Software Engineering, Usability Evaluation, Testing, Socio-Technical, Ethical Considerations, Human Error, Safety-Cri...
ISBN:
(纸本)9783319449012
the proceedings contain 25 papers. the special focus in this conference is on Agile, Human-Centered Software Engineering, Usability Evaluation, Testing, Socio-Technical, Ethical Considerations, Human Error, Safety-Critical Systems, User, Developer Experience, models, methods, Adopting Tools, Demos and Posters. the topics include: Supporting the HCI aspect of agile software development by tool support for UI-pattern transformations;usability problems experienced by different groups of skilled internet users;user-test results injection into task-based design process for the assessment and improvement of both usability and user experience;framework for relative web usability evaluation on usability features in MDD;testing prototypes and final user interfaces through an ontological perspective for behavior-driven development;complementary tools and techniques for supporting fitness-for-purpose of interactive critical systems;a conceptual ux-aware model of requirements;audio guidance for runner training;enterprise model-driven agile human-centered software engineering;collaborative task modelling on the web and declarative prototyping with data;a first prototype integrated in HAMSTERS.
暂无评论