Search results for "DOMAIN"
showing 10 items of 2485 documents
A SOM/ARSOM Hierarchy for the Description of Dynamic Scenes
2001
A neural architecture is presented, aimed to describe the dynamic evolution of complex structures inside a video sequence. The proposed system is arranged as a tree of self-organizing maps. Leaf nodes are implemented by ARSOM networks as a way to code dynamic inputs, while classical SOM's are used to implement the upper levels of the hierarchy. Depending on the application domain, inputs are made by suitable low level features extracted frame by frame of the sequence. Theoretical foundations of the architecture are reported along with a detailed outline of its structure, and encouraging experimental results.
OpenCMISS: A multi-physics & multi-scale computational infrastructure for the VPH/Physiome project
2011
The VPH/Physiome Project is developing the model encoding standards CellML (cellml.org) and FieldML (fieldml.org) as well as web-accessible model repositories based on these standards (models.physiome.org). Freely available open source computational modelling software is also being developed to solve the partial differential equations described by the models and to visualise results. The OpenCMISS code (opencmiss.org), described here, has been developed by the authors over the last six years to replace the CMISS code that has supported a number of organ system Physiome projects. OpenCMISS is designed to encompass multiple sets of physical equations and to link subcellular and tissue-level b…
A study on graph representations for genetic programming
2020
Graph representations promise several desirable properties for Genetic Programming (GP); multiple-output programs, natural representations of code reuse and, in many cases, an innate mechanism for neutral drift. Each graph GP technique provides a program representation, genetic operators and overarching evolutionary algorithm. This makes it difficult to identify the individual causes of empirical differences, both between these methods and in comparison to traditional GP. In this work, we empirically study the behavior of Cartesian Genetic Programming (CGP), Linear Genetic Programming (LGP), Evolving Graphs by Graph Programming (EGGP) and traditional GP. By fixing some aspects of the config…
The heterogeneity of inter-domain Internet application flows: entropic analysis and flow graph modelling
2013
The growing popularity of the Internet has triggered the proliferation of various applications, which possess diverse communication patterns and user behaviour. In this paper, the heterogeneous characteristics of Internet applications and traffic are investigated from a complex network and entropic perspective. On the basis of real-life flow data collected from a public network provided by an Internet service provider, flow graphs are constructed for five types of applications as follows: Web, P2P Download, P2P Stream, Video Stream and Instant Messaging. Three types of entropy measures are introduced to the flow graphs, and the heterogeneity of applications within a 24-h period is analysed …
Asymmetric Comparison and Querying of Biological Networks
2011
Comparing and querying the protein-protein interaction (PPI) networks of different organisms is important to infer knowledge about conservation across species. Known methods that perform these tasks operate symmetrically, i.e., they do not assign a distinct role to the input PPI networks. However, in most cases, the input networks are indeed distinguishable on the basis of how the corresponding organism is biologically well characterized. In this paper a new idea is developed, that is, to exploit differences in the characterization of organisms at hand in order to devise methods for comparing their PPI networks. We use the PPI network (called Master) of the best characterized organism as a …
Algorithmic Analysis of Programs with Well Quasi-ordered Domains
2000
AbstractOver the past few years increasing research effort has been directed towards the automatic verification of infinite-state systems. This paper is concerned with identifying general mathematical structures which can serve as sufficient conditions for achieving decidability. We present decidability results for a class of systems (called well-structured systems) which consist of a finite control part operating on an infinite data domain. The results assume that the data domain is equipped with a preorder which is a well quasi-ordering, such that the transition relation is “monotonic” (a simulation) with respect to the preorder. We show that the following properties are decidable for wel…
Multiple SIP strategies and bottom-up adorning in logic query optimization
1990
Preprocessing methods called “readorning” and “bottom-up adorning” are introduced as means of enlarging the application domain of magic sets and related query optimization strategies for logic databases. Readorning tries to make possible the simultaneous use of multiple sideways information passing (sip) strategies defined for a rule, thus yielding an optimization effect that may not be achieved by any particular choice of sip strategies. Bottom-up adorning is used to make magic sets applicable to cases in which potential optimizations can be derived from bindings coming upwards from rule bodies to rule heads in bottom-up evaluation. These include the cases in which we know that some base r…
A Representation of Relational Systems
2003
In this paper elements of a theory of multistructures are formulated. The theory of multistructures is used to define a binary representation of relational systems.
On the correlation of temperature harmonic content with energy dissipation in C45 steel samples under fatigue loading
2022
Fatigue damage onset involves a transformation of mechanical energy. This is in part spent into work of plastic deformation and fracture and in part transformed into heat. Therefore, different thermomechanical heat sources are activated during a fatigue loading cycle, resulting in a temperature modulation that can be characterized by its frequency content. Several studies have monitored the temperature on samples undergoing high-cycle fatigue, measuring specific thermomechanical metrics which could serve as indicators of damage evolution. The present work evaluates the harmonic content of temperature, to investigate its correlation with the material dissipation. The harmonic terms investiga…
A critical evaluation of caplacizumab for the treatment of acquired thrombotic thrombocytopenic purpura
2020
Introduction: Acquired thrombotic thrombocytopenic purpura (aTTP) is a thrombotic microangiopathy caused by inhibitory autoantibodies against ADAMTS13 protein. Until recently, the combination of plasma exchange (PEX) and immunosuppression has been the standard front-line treatment in this disorder. However, aTTP-related mortality, refractoriness, and relapse are still a matter of concern. Areas covered: The better understanding of the pathophysiological mechanisms of aTTP has allowed substantial improvements in the diagnosis and treatment of this disease. Recently, the novel anti-VWF nanobody caplacizumab has been approved for acute episodes of aTTP. Caplacizumab is capable to block the adh…