878 resultados para Topologies on an arbitrary set
Resumo:
Nowadays multi-touch devices (MTD) can be found in all kind of contexts. In the learning context, MTD availability leads many teachers to use them in their class room, to support the use of the devices by students, or to assume that it will enhance the learning processes. Despite the raising interest for MTD, few researches studying the impact in term of performance or the suitability of the technology for the learning context exist. However, even if the use of touch-sensitive screens rather than a mouse and keyboard seems to be the easiest and fastest way to realize common learning tasks (as for instance web surfing behaviour), we notice that the use of MTD may lead to a less favourable outcome. The complexity to generate an accurate fingers gesture and the split attention it requires (multi-tasking effect) make the use of gestures to interact with a touch-sensitive screen more difficult compared to the traditional laptop use. More precisely, it is hypothesized that efficacy and efficiency decreases, as well as the available cognitive resources making the users’ task engagement more difficult. Furthermore, the presented study takes into account the moderator effect of previous experiences with MTD. Two key factors of technology adoption theories were included in the study: familiarity and self-efficacy with the technology.Sixty university students, invited to a usability lab, are asked to perform information search tasks on an online encyclopaedia. The different tasks were created in order to execute the most commonly used mouse actions (e.g. right click, left click, scrolling, zooming, key words encoding…). Two different conditions were created: (1) MTD use and (2) laptop use (with keyboard and mouse). The cognitive load, self-efficacy, familiarity and task engagement scales were adapted to the MTD context. Furthermore, the eye-tracking measurement would offer additional information about user behaviours and their cognitive load.Our study aims to clarify some important aspects towards the usage of MTD and the added value compared to a laptop in a student learning context. More precisely, the outcomes will enhance the suitability of MTD with the processes at stakes, the role of previous knowledge in the adoption process, as well as some interesting insights into the user experience with such devices.
Resumo:
X-ray mammography has been the gold standard for breast imaging for decades, despite the significant limitations posed by the two dimensional (2D) image acquisitions. Difficulty in diagnosing lesions close to the chest wall and axilla, high amount of structural overlap and patient discomfort due to compression are only some of these limitations. To overcome these drawbacks, three dimensional (3D) breast imaging modalities have been developed including dual modality single photon emission computed tomography (SPECT) and computed tomography (CT) systems. This thesis focuses on the development and integration of the next generation of such a device for dedicated breast imaging. The goals of this dissertation work are to: [1] understand and characterize any effects of fully 3-D trajectories on reconstructed image scatter correction, absorbed dose and Hounsifeld Unit accuracy, and [2] design, develop and implement the fully flexible, third generation hybrid SPECT-CT system capable of traversing complex 3D orbits about a pendant breast volume, without interference from the other. Such a system would overcome artifacts resulting from incompletely sampled divergent cone beam imaging schemes and allow imaging closer to the chest wall, which other systems currently under research and development elsewhere cannot achieve.
The dependence of x-ray scatter radiation on object shape, size, material composition and the CT acquisition trajectory, was investigated with a well-established beam stop array (BSA) scatter correction method. While the 2D scatter to primary ratio (SPR) was the main metric used to characterize total system scatter, a new metric called ‘normalized scatter contribution’ was developed to compare the results of scatter correction on 3D reconstructed volumes. Scatter estimation studies were undertaken with a sinusoidal saddle (±15° polar tilt) orbit and a traditional circular (AZOR) orbit. Clinical studies to acquire data for scatter correction were used to evaluate the 2D SPR on a small set of patients scanned with the AZOR orbit. Clinical SPR results showed clear dependence of scatter on breast composition and glandular tissue distribution, otherwise consistent with the overall phantom-based size and density measurements. Additionally, SPR dependence was also observed on the acquisition trajectory where 2D scatter increased with an increase in the polar tilt angle of the system.
The dose delivered by any imaging system is of primary importance from the patient’s point of view, and therefore trajectory related differences in the dose distribution in a target volume were evaluated. Monte Carlo simulations as well as physical measurements using radiochromic film were undertaken using saddle and AZOR orbits. Results illustrated that both orbits deliver comparable dose to the target volume, and only slightly differ in distribution within the volume. Simulations and measurements showed similar results, and all measured dose values were within the standard screening mammography-specific, 6 mGy dose limit, which is used as a benchmark for dose comparisons.
Hounsfield Units (HU) are used clinically in differentiating tissue types in a reconstructed CT image, and therefore the HU accuracy of a system is very important, especially when using non-traditional trajectories. Uniform phantoms filled with various uniform density fluids were used to investigate differences in HU accuracy between saddle and AZOR orbits. Results illustrate the considerably better performance of the saddle orbit, especially close to the chest and nipple region of what would clinically be a pedant breast volume. The AZOR orbit causes shading artifacts near the nipple, due to insufficient sampling, rendering a major portion of the scanned phantom unusable, whereas the saddle orbit performs exceptionally well and provides a tighter distribution of HU values in reconstructed volumes.
Finally, the third generation, fully-suspended SPECT-CT system was designed in and developed in our lab. A novel mechanical method using a linear motor was developed for tilting the CT system. A new x-ray source and a custom made 40 x 30 cm2 detector were integrated on to this system. The SPECT system was nested, in the center of the gantry, orthogonal to the CT source-detector pair. The SPECT system tilts on a goniometer, and the newly developed CT tilting mechanism allows ±15° maximum polar tilting of the CT system. The entire gantry is mounted on a rotation stage, allowing complex arbitrary trajectories for each system, without interference from the other, while having a common field of view. This hybrid system shows potential to be used clinically as a diagnostic tool for dedicated breast imaging.
Resumo:
Over the last decade, multi-touch devices (MTD) have spread in a range of contexts. In the learning context, MTD accessibility leads more and more teachers to use them in their classroom, assuming that it will improve the learning activities. Despite a growing interest, only few studies have focused on the impacts of MTD use in terms of performance and suitability in a learning context.However, even if the use of touch-sensitive screens rather than a mouse and keyboard seems to be the easiest and fastest way to realize common learning tasks (as for instance web surfing), we notice that the use of MTD may lead to a less favorable outcome. More precisely, tasks that require users to generate complex and/or less common gestures may increase extrinsic cognitive load and impair performance, especially for intrinsically complex tasks. It is hypothesized that task and gesture complexity will affect users’ cognitive resources and decrease task efficacy and efficiency. Because MTD are supposed to be more appealing, it is assumed that it will also impact cognitive absorption. The present study also takes into account user’s prior knowledge concerning MTD use and gestures by using experience with MTD as a moderator. Sixty university students were asked to perform information search tasks on an online encyclopedia. Tasks were set up so that users had to generate the most commonly used mouse actions (e.g. left/right click, scrolling, zooming, text encoding…). Two conditions were created: MTD use and laptop use (with mouse and keyboard) in order to make a comparison between the two devices. An eye tracking device was used to measure user’s attention and cognitive load. Our study sheds light on some important aspects towards the use of MTD and the added value compared to a laptop in a student learning context.
Resumo:
The paper considers the open shop scheduling problem to minimize the make-span, provided that one of the machines has to process the jobs according to a given sequence. We show that in the preemptive case the problem is polynomially solvable for an arbitrary number of machines. If preemption is not allowed, the problem is NP-hard in the strong sense if the number of machines is variable, and is NP-hard in the ordinary sense in the case of two machines. For the latter case we give a heuristic algorithm that runs in linear time and produces a schedule with the makespan that is at most 5/4 times the optimal value. We also show that the two-machine problem in the nonpreemptive case is solvable in pseudopolynomial time by a dynamic programming algorithm, and that the algorithm can be converted into a fully polynomial approximation scheme. © 1998 John Wiley & Sons, Inc. Naval Research Logistics 45: 705–731, 1998
Resumo:
This paper presents a simple approach to the so-called frame problem based on some ordinary set operations, which does not require non-monotonic reasoning. Following the notion of the situation calculus, we shall represent a state of the world as a set of fluents, where a fluent is simply a Boolean-valued property whose truth-value is dependent on the time. High-level causal laws are characterised in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law, which guarantees that all the fluents that can be affected by the performance of the corresponding action are always totally governed. It is shown that, compared with other techniques, such a set operation based approach provides a simpler and more effective treatment to the frame problem.
Resumo:
The EU-based industry for non-leisure games is an emerging business. As such it is still fragmented and needs to achieve critical mass to compete globally. Nevertheless its growth potential is widely recognized. To become competitive the relevant applied gaming communities and SMEs require support by fostering the generation of innovation potential. The European project Realizing an Applied Gaming Ecosystem (RAGE) is aiming at supporting this challenge. RAGE will help by making available an interoperable set of advanced technology assets, tuned to applied gaming, as well as proven practices of using asset-based applied games in various real-world contexts, and finally a centralized access to a wide range of applied gaming software modules, services and related document, media, and educational resources within an online community portal called the RAGE Ecosystem. It is based on an integrational, user-centered approach of Knowledge Management and Innovation Processes in the shape of a service-based implementation.
Resumo:
Due to the unprecedented rate at which our climate is changing, the ultimate consequence for many species is likely to be either extinction or migration to an alternate habitat. Certain species might, however, evolve at a rate that could make them resilient to the effects of a rapidly changing environment. This scenario is most likely to apply to species that have large population sizes and rapid generation times, such that the genetic variation required for adaptive evolution can be readily supplied. Emiliania huxleyi (Lohm.) Hay and Mohler (Prymnesiophyceae) is likely to be such a species as it is the most conspicuous extant calcareous phytoplankton species in our oceans with generation times of 1 day−1. Here we report on a validated set of microsatellites, in conjunction with the coccolithophore morphology motif genetic marker, to genotype 93 clonal isolates collected from across the world. Of these, 52 came from a single bloom event in the North Sea collected on the D366 UK Ocean Acidification cruise in June-July 2011. There were 26 multilocus genotypes (MLGs) encountered only once in the North Sea bloom and 8 MLGs encountered twice or up to six times. Each of these repeated MLGs exhibited Psex values of less than 0.05 indicating each repeated MLG was the product of asexual reproduction and not separate meiotic events. In addition, we show that the two most polymorphic microsatellite loci, EHMS37 and P01E05, are reporting on regions likely undergoing rapid genetic drift during asexual reproduction. Despite the small sample size, there were many more repeated genotypes than previously reported for other bloom-forming phytoplankton species, including a previously genotyped E. huxleyi bloom event. This study challenges our current assumption that sex is the predominant mode of reproduction during bloom events. Whilst genetic diversity is high amongst extant populations of E. huxleyi, the root cause for this diversity and ultimate fate of these populations still requires further examination. Nonetheless, we show that certain CMM genotypes are found everywhere; while others appear to have a regional bias.
Resumo:
From January 2011 to December 2013, we constructed a comprehensive pCO2 data set based on voluntary observing ship (VOS) measurements in the western English Channel (WEC). We subsequently estimated surface pCO2 and air–sea CO2 fluxes in northwestern European continental shelf waters using multiple linear regressions (MLRs) from remotely sensed sea surface temperature (SST), chlorophyll a concentration (Chl a), wind speed (WND), photosynthetically active radiation (PAR) and modeled mixed layer depth (MLD). We developed specific MLRs for the seasonally stratified northern WEC (nWEC) and the permanently well-mixed southern WEC (sWEC) and calculated surface pCO2 with uncertainties of 17 and 16 μatm, respectively. We extrapolated the relationships obtained for the WEC based on the 2011–2013 data set (1) temporally over a decade and (2) spatially in the adjacent Celtic and Irish seas (CS and IS), two regions which exhibit hydrographical and biogeochemical characteristics similar to those of WEC waters. We validated these extrapolations with pCO2 data from the SOCAT and LDEO databases and obtained good agreement between modeled and observed data. On an annual scale, seasonally stratified systems acted as a sink of CO2 from the atmosphere of −0.6 ± 0.3, −0.9 ± 0.3 and −0.5 ± 0.3 mol C m−2 yr−1 in the northern Celtic Sea, southern Celtic sea and nWEC, respectively, whereas permanently well-mixed systems acted as source of CO2 to the atmosphere of 0.2 ± 0.2 and 0.3 ± 0.2 mol C m−2 yr−1 in the sWEC and IS, respectively. Air–sea CO2 fluxes showed important inter-annual variability resulting in significant differences in the intensity and/or direction of annual fluxes. We scaled the mean annual fluxes over these provinces for the last decade and obtained the first annual average uptake of −1.11 ± 0.32 Tg C yr−1 for this part of the northwestern European continental shelf. Our study showed that combining VOS data with satellite observations can be a powerful tool to estimate and extrapolate air–sea CO2 fluxes in sparsely sampled area.
Resumo:
Brown's model for the relaxation of the magnetization of a single domain ferromagnetic particle is considered. This model results in the Fokker-Planck equation of the process. The solution of this equation in the cases of most interest is non- trivial. The probability density of orientations of the magnetization in the Fokker-Planck equation can be expanded in terms of an infinite set of eigenfunctions and their corresponding eigenvalues where these obey a Sturm-Liouville type equation. A variational principle is applied to the solution of this equation in the case of an axially symmetric potential. The first (non-zero) eigenvalue, corresponding to the largest time constant, is considered. From this we obtain two new results. Firstly, an approximate minimising trial function is obtained which allows calculation of a rigorous upper bound. Secondly, a new upper bound formula is derived based on the Euler-Lagrange condition. This leads to very accurate calculation of the eigenvalue but also, interestingly, from this, use of the simplest trial function yields an equivalent result to the correlation time of Coffey et at. and the integral relaxation time of Garanin. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
Course Scheduling consists of assigning lecture events to a limited set of specific timeslots and rooms. The objective is to satisfy as many soft constraints as possible, while maintaining a feasible solution timetable. The most successful techniques to date require a compute-intensive examination of the solution neighbourhood to direct searches to an optimum solution. Although they may require fewer neighbourhood moves than more exhaustive techniques to gain comparable results, they can take considerably longer to achieve success. This paper introduces an extended version of the Great Deluge Algorithm for the Course Timetabling problem which, while avoiding the problem of getting trapped in local optima, uses simple Neighbourhood search heuristics to obtain solutions in a relatively short amount of time. The paper presents results based on a standard set of benchmark datasets, beating over half of the currently published best results with in some cases up to 60% of an improvement.
Resumo:
Photodynamic therapy of deep or nodular skin tumours is currently limited by the poor tissue penetration of the porphyrin precursor 5-aminolevulinic acid (ALA) and preformed photosensitisers. In this study, we investigated the potential of jet injection to deliver both ALA and a preformed photosensitiser (meso-tetra (N-methyl-4-pyridyl) porphine tetra tosylate, TMP) into a defined volume of skin. Initial studies using a model hydrogel showed that as standoff distance is increased, injection depth decreases. As the ejected volume is increased, injection depth increases. It was also shown, for the first time, that, as injection solution viscosity was increased, for a given injection setting and standoff distance, both total depth of jet penetration, L-t, and depth at which the maximum width of the penetration pattern occurred, L-m, decreased progressively. For a standoff distance of zero, the maximum width of the penetration pattern, L-w, increased progressively with increasing viscosity at each of the injection settings. Conversely, when the standoff distance was 2.5 mm, L-w decreased progressively with increasing viscosity. Studies with neonate porcine skin revealed that an injection protocol comprising an 8.98 mPas solution, an arbitrary injection setting of 8 and a standoff distance of zero was capable of delivering photosensitisers to a volume of tissue (L-t of 2.91 mm, L-m of 2.14 mm, L-w of 5. 10 mm) comparable to that occupied by a typical nodular basal cell carcinoma. Both ALA and TMP were successfully delivered using jet injection, with peak tissue concentrations (67.3 mg cm(-3) and 5.6 mg cm(-3), respectively) achieved at a depth of around 1.0 mm and substantial reductions in drug concentration seen at depths below 3.0 mm. Consequently, jet injection may be suitable for selective targeting of ALA or preformed photosensitisers to skin tumours. (c) 2007 Elsevier B.V. All rights reserved.
Resumo:
When highly charged ions are incident on a surface, part of their potential energy is emitted as characteristic radiation. The energies and yields of these characteristic x rays have been measured for a series of elements at the Tokyo electron-beam ion trap. These data have been used to develop a simple model of the relaxation of the hollow atoms which are formed as the ion approaches the surface, as well as a set of semiempirical scaling laws, which allow for the ready calculation of the K-shell x-ray spectrum which would be produced by an arbitrary slow bare or hydrogenlike ion on a surface. These semiempirical scaling laws can be used to assess the merit of highly charged ion fluorescence x-ray generation in a wide range of applications.
Resumo:
Radiocarbon dating is routinely used in paleoecology to build chronolo- gies of lake and peat sediments, aiming at inferring a model that would relate the sediment depth with its age. We present a new approach for chronology building (called “Bacon”) that has received enthusiastic attention by paleoecologists. Our methodology is based on controlling core accumulation rates using a gamma autoregressive semiparametric model with an arbitrary number of subdivisions along the sediment. Using prior knowledge about accumulation rates is crucial and informative priors are routinely used. Since many sediment cores are currently analyzed, using different data sets and prior distributions, a robust (adaptive) MCMC is very useful. We use the t-walk (Christen and Fox, 2010), a self adjusting, robust MCMC sampling algorithm, that works acceptably well in many situations. Outliers are also addressed using a recent approach that considers a Student-t model for radiocarbon data. Two examples are presented here, that of a peat core and a core from a lake, and our results are compared with other approaches.
Resumo:
Reproductive performance in the high-yielding dairy cow has severely decreased in the last 40 yr. The aim of this study was to compare the effectiveness of 4 nutritional strategies in improving the reproductive performance of high-yielding dairy cows. It was hypothesized that offering cows a high-starch ration in early lactation would enhance the onset of luteal activity, and that decreasing the severity of negative energy balance in the early postcalving period would improve reproductive parameters. Nutritional regimens aimed at improving fertility were applied to 96 Holstein-Friesian dairy animals. Upon calving, animals were allocated in a balanced manner to one of 4 dietary treatments. Primiparous animals were balanced according to live weight, body condition score and calving date. Multiparous animals were balanced according to parity, previous lactation milk yield, liveweight, body condition score and calving date. Treatment 1 was based on an industry best practice diet (control) to contain 170 g of crude protein/kg of dry matter. Treatment 2 was an individual cow feeding strategy, whereby the energy balance (EB) of individual animals was managed so as to achieve a predetermined target daily EB profile (+/- 10 MJ/d). Treatment 3 was a high-starch/high-fat combination treatment, whereby an insulinogenic (high-starch) diet was offered in early lactation to encourage cyclicity and followed by a lipogenic (low-starch, high-fat) diet to promote embryo development. Treatment 4 was a low-protein diet, containing 140 g of crude protein/kg of dry matter, supplemented with protected methionine at an inclusion level of 40 g per animal per day. The nutritional strategies implemented in this study had no statistically significant effects on cow fertility measures, which included the onset of luteal activity, conception rate, in-calf rate, and the incidence of atypical cycles. The individual cow feeding strategy improved EB in early lactation but had no benefit on conception rate to first insemination. However, conception rate to second insemination, 100-d pregnancy rate (from the commencement of breeding), and overall pregnancy rate tended to be higher in this group. The high-starch/high-fat treatment tended to decrease the proportion of delayed ovulations and increase the proportion of animals cycling by d 50 postcalving. Animals that failed to conceive to first insemination had a significantly longer luteal phase in the first cycle postpartum and a longer inter-ovulatory interval in the second cycle postpartum. With regards to estrous behavior, results indicate that as the size of the sexually active group increased, the intensity of estrus and the expression of mounting or attempting to mount another cow also increased. Furthermore, cows that became pregnant displayed more intense estrous behavior than cows that failed to become pregnant.