Search results for " Methods"
showing 10 items of 4102 documents
SMART: Unique splitting-while-merging framework for gene clustering
2014
© 2014 Fa et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Successful clustering algorithms are highly dependent on parameter settings. The clustering performance degrades significantly unless parameters are properly set, and yet, it is difficult to set these parameters a priori. To address this issue, in this paper, we propose a unique splitting-while-merging clustering framework, named "splitting merging awareness tactics" (SMART), which does not require any a priori knowledge of either the number …
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021
Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…
Combined approaches to identify genomic regions involved in phenotypic differentiation between low divergent breeds: Application in Sardinian sheep p…
2019
Selective breeding has led to modifications in the genome of many livestock breeds. In this study, we identified the genomic regions that may explain some of the phenotypic differences between two closely related breeds from Sardinia. A total of 44 animals, 20 Sardinian Ancestral Black (SAB) and 24 Sardinian White (SW), were genotyped using the Illumina Ovine 50K array. A total of 68, 38 and 15 significant markers were identified using the case–control genome-wide association study (GWAS), the Bayesian population differentiation analysis (FST) and the Rsb metric, respectively. Comparisons among the approaches revealed a total of 22 overlapping markers between GWAS and FST and one marker bet…
Applying the Techniques on Materials I
2012
The knowledge of the composition of the natural dye mixtures gives hints on appropriate procedures for restoration strategies. Identification of the dyes used, the establishment of their biological source, how they have been prepared, how these historical textiles were made, can provide important information. The dyestuffs used up to nineteenth century were either of plant (weld, madder, indigo, etc.) or animal origin (cochineal, shellfish, etc.) and belonged to various chemical types, such as flavonoids (yellow), anthraquinones (red) and indigoids (blue and violet). In this study microsamples (19) were examined from 11 Mevlana’s kaftans, dervishs’ dresses and dated from the thirteenth cent…
Reflections on Connectionist Modeling
2018
International audience
The Psychology of Thinking in Creating AI
2021
The broad-scale emergence of AI in industry calls forth basic questions in terms of the knowledge bases and approaches relevant for its design. Engineering design has been mainly developed for electromechanical artifacts. In practice, this has meant that the scientific knowledge required for creating technical artifacts such as engines, cars, ships, cranes, telephones, radios, TVs, and simple data processing units has been natural science. However, one cannot find intelligent processes by means of physics and chemistry. Natural scientific phenomena follow their deterministic laws, but intelligence is based on selection and decision processes. The conceptual landscape of natural science is o…
Teaching types with a cognitively effective worked example format
2015
AbstractTeaching functional programming as a second programming paradigm is often difficult as students can have strong preconceptions about programming. When most of these preconceived ideas fail to be confirmed, functional programming may be seen as an unnecessarily difficult topic. A typical topic that causes such difficulties is the language of types employed by many modern functional languages. In this paper, we focus on addressing this difficulty through the use of step-by-step calculations of type expressions. The outcome of the study is an elaboration of a worked example format and a methodical approach for teaching types to beginner functional programmers.
Effect of inter-crystal scatter on estimation methods for random coincidences and subsequent correction.
2008
Random coincidences can contribute substantially to the background in positron emission tomography (PET). Several estimation methods are being used for correcting them. The goal of this study was to investigate the validity of techniques for random coincidence estimation, with various low-energy thresholds (LETs). Simulated singles list-mode data of the MADPET-II small animal PET scanner were used as input. The simulations have been performed using the GATE simulation toolkit. Several sources with different geometries have been employed. We evaluated the number of random events using three methods: delayed window (DW), singles rate (SR) and time histogram fitting (TH). Since the GATE simula…
A Generalised RBF Finite Difference Approach to Solve Nonlinear Heat Conduction Problems on Unstructured Datasets
2011
Radial Basis Functions have traditionally been used to provide a continuous interpolation of scattered data sets. However, this interpolation also allows for the reconstruction of partial derivatives throughout the solution field, which can then be used to drive the solution of a partial differential equation. Since the interpolation takes place on a scattered dataset with no local connectivity, the solution is essentially meshless. RBF-based methods have been successfully used to solve a wide variety of PDEs in this fashion. Such full-domain RBF methods are highly flexible and can exhibit spectral convergence rates Madych & Nelson (1990). However, in their traditional implementation the fu…
Probing dynamics of dense suspensions: three-dimensional cross-correlation technique
1997
We describe the realization of a novel three-dimensional (3D) cross-correlation scheme, which provides the possibility to measure dynamic structure factors of highly concentrated colloidal samples without contributions of multiply scattered light. The apparatus is easier to align and more compact than the two-colour cross-correlation apparatus, which is commercially available. This should make the 3D cross-correlation set-up more convenient for routine applications, for example in industrial laboratories. We describe the set-up and discuss some special features of the optical components.