Finding the longest cycle is a novel concept in biochemical feedback loop analysis in systems biology. Biochemical networks are often represented as directed graphs in which vertices represent chemical compounds and e...
详细信息
this paper is motivated by the challenge to traditional development process of embedded systems from the evolution of dependability requirements, which leads to manual analysis and revision of system designs at design...
详细信息
Discretization is a fundamental phase for many classification algorithms: it aims at finding a proper set of cutoffs that subdivide a continuous domain into homogeneous intervals;the points in each interval should hav...
详细信息
In this paper we discuss the importance of information systems in modeling interactive computations performed on (complex) granules and propose a formal approach to interactive computations based on information system...
详细信息
ISBN:
(纸本)9783642135286
In this paper we discuss the importance of information systems in modeling interactive computations performed on (complex) granules and propose a formal approach to interactive computations based on information systems. the basic concepts of information systems and rough sets are interpreted in the framework of interactive computations. We also show that information systems can be used for modeling more advanced forms of interactions such as hierarchical ones. the role of hierarchical interactions is emphasized in modeling interactive computations. Some illustrative examples of interactions used in the hierarchical multimodal classification method as well as in the ACT-R 6.0 system are reported.
作者：
Santini, SilviaETH Zurich
Institute for Pervasive Computing Universitätstrasse 6 CH-8092 Zurich Switzerland
Several application scenarios of wireless sensor networks require coverage of a given region of interest to be guaranteed. In order to establish a coverage preserving configuration, sensor nodes must coordinate and th...
详细信息
this article deal with some considerations of conceptual normalisation and very briefly how can be derived the relational and object normalisation from it. this contribution is only an introduction to this very intere...
详细信息
ISBN:
(纸本)9781450304634
this article deal with some considerations of conceptual normalisation and very briefly how can be derived the relational and object normalisation from it. this contribution is only an introduction to this very interesting and serious issue, but infrequently discussed. Nor it is a comprehensive paper covering all particular problems and questions and offering precise mathematical proofs of authors theses presented herein. the idea of this contribution is to be a proper starting point for the discussion of this issue in the frame of international expert community engaging in conceptual, object and data modelling.
In the formalism of constrained mechanics, such as that which underlies the SHAKE and RATTLE methods of molecular dynamics, we present an algorithm to convert any one-step integration method to a variational integrato...
详细信息
ISBN:
(纸本)9780791849019
In the formalism of constrained mechanics, such as that which underlies the SHAKE and RATTLE methods of molecular dynamics, we present an algorithm to convert any one-step integration method to a variational integrator of the same order the one-step method is arbitrary, and the conversion can be automated, resulting in a powerful and flexible approach to the generation of novel variational integrators.
the proceedings contain 28 papers. the topics discussed include: balancing memory and performance through selective flushing of software code caches;Erbium: a deterministic, concurrent intermediater representation to ...
ISBN:
(纸本)9781605589039
the proceedings contain 28 papers. the topics discussed include: balancing memory and performance through selective flushing of software code caches;Erbium: a deterministic, concurrent intermediater representation to map data-flow tasks to scalable, persistent streaming processes;resource recycling: putting idle resources to work on a composable accelerator;instruction selection by graph transformation;routing-based synthesis of digital microfluidic biochips;mosaic of organic development through technology intervention in the rural Indian context;the virtual hospital: the emergence of telemedicine;implementing virtual secure circuit using a custom-instruction approach;mighty-morphing power-SIMD;towards minimizing execution delays on dynamically reconfigurable processors: a case study on REDEFINE;implementing dynamic implied addressing mode for multi-output instructions;a memory interface for multi-purpose multi-stream accelerators;and hardware-based data value and address trace filtering techniques.
In this paper, a local hybrid level-set method for medical image segmentation is presented. In proposed method, a locally fitted binary energy function is introduced into the hybrid level-set framework proposed by Zha...
详细信息
Regulators in international trade are facing a difficult challenge of increasing control and security while lowering the administrative burden for traders. the European Commission has introduced the concept of "t...
详细信息
ISBN:
(纸本)9781617389528
Regulators in international trade are facing a difficult challenge of increasing control and security while lowering the administrative burden for traders. the European Commission has introduced the concept of "trusted traders": certified traders that are in control of their business. Trusted traders are entitled to trade facilitations, faster border crossing, and fewer physical inspections. To enable the use of trusted traders, changes are required to the information infrastructure (II) of international trade. Following the principles of IS design research, this paper presents a design proposition for the II of international trade. Using theories of II development and change as kernel theory, our proposition contains a redesign of IT, organisational, human, and change and collaboration elements. the design proposition was evaluated and verified with proof of concept installations and a stakeholder value assessment. the paper contributes to the domain of II and how they may be changed to meet new requirements.
暂无评论