Differentiation of Metabolically Distinct Areas within Head and Neck Region using Dynamic 18F-FDG Positron Emission Tomography Imaging

Positron Emission Tomography (PET) using ¹⁸F-FDG is playing a vital role in the diagnosis and treatment planning of cancer. However, the most widely used radiotracer, ¹⁸F-FDG, is not specific for tumours and can also accumulate in inflammatory lesions as well as normal physiologically active tissues making diagnosis and treatment planning complicated for the physicians. Malignant, inflammatory and normal tissues are known to have different pathways for glucose metabolism which could possibly be evident from different characteristics of the time activity curves from a dynamic PET acquisition protocol. Therefore, we aimed to develop new image analysis methods, for PET scans of the head and neck region, which could differentiate between inflammation, tumour and normal tissues using this functional information within these radiotracer uptake areas. We developed different dynamic features from the time activity curves of voxels in these areas and compared them with the widely used static parameter, SUV, using Gaussian Mixture Model algorithm as well as K-means algorithm in order to assess their effectiveness in discriminating metabolically different areas. Moreover, we also correlated dynamic features with other clinical metrics obtained independently of PET imaging. The results show that some of the developed features can prove to be useful in differentiating tumour tissues from inflammatory regions and some dynamic features also provide positive correlations with clinical metrics. If these proposed methods are further explored then they can prove to be useful in reducing false positive tumour detections and developing real world applications for tumour diagnosis and contouring.

Local Features in Image and Video Processing - Object Class Matching and Video Shot Detection

The usage of digital content, such as video clips and images, has increased dramatically during the last decade. Local image features have been applied increasingly in various image and video retrieval applications. This thesis evaluates local features and applies them to image and video processing tasks. The results of the study show that 1) the performance of different local feature detector and descriptor methods vary significantly in object class matching, 2) local features can be applied in image alignment with superior results against the state-of-the-art, 3) the local feature based shot boundary detection method produces promising results, and 4) the local feature based hierarchical video summarization method shows promising new new research direction. In conclusion, this thesis presents the local features as a powerful tool in many applications and the imminent future work should concentrate on improving the quality of the local features.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Building Dynamic Data Centers for Fast Delivery of New Data and Data Updates

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

A museum object repository using LIDO schema

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Modal testing and numerical modeling of the dynamic properties of layered sheet-steel structure

Recently, due to the increasing total construction and transportation cost and difficulties associated with handling massive structural components or assemblies, there has been increasing financial pressure to reduce structural weight. Furthermore, advances in material technology coupled with continuing advances in design tools and techniques have encouraged engineers to vary and combine materials, offering new opportunities to reduce the weight of mechanical structures. These new lower mass systems, however, are more susceptible to inherent imbalances, a weakness that can result in higher shock and harmonic resonances which leads to poor structural dynamic performances. The objective of this thesis is the modeling of layered sheet steel elements, to accurately predict dynamic performance. During the development of the layered sheet steel model, the numerical modeling approach, the Finite Element Analysis and the Experimental Modal Analysis are applied in building a modal model of the layered sheet steel elements. Furthermore, in view of getting a better understanding of the dynamic behavior of layered sheet steel, several binding methods have been studied to understand and demonstrate how a binding method affects the dynamic behavior of layered sheet steel elements when compared to single homogeneous steel plate. Based on the developed layered sheet steel model, the dynamic behavior of a lightweight wheel structure to be used as the structure for the stator of an outer rotor Direct-Drive Permanent Magnet Synchronous Generator designed for high-power wind turbines is studied.

Predicting variety composite means without diallel crossing

Prediction of variety composite means was shown to be feasible without diallel crossing the parental varieties. Thus, the predicted mean for a quantitative trait of a composite is given by: Yk = a1 sigmaVj + a2sigmaTj + a3 - a4, with coefficients a1 = (n - 2k)/k²(n - 2); a2 = 2n(k - 1)/k²(n - 2); a3 = n(k - 1)/k(n - 1)(n - 2); and a4 = n²(k - 1)/k(n - 1)(n - 2); summation is for j = 1 to k, where k is the size of the composite (number of parental varieties of a particular composite) and n is the total number of parent varieties. Vj is the mean of varieties and Tj is the mean of topcrosses (pool of varieties as tester), and and are the respective average values in the whole set. Yield data from a 7 x 7 variety diallel cross were used for the variety means and for the "simulated" topcross means to illustrate the proposed procedure. The proposed prediction procedure was as effective as the prediction based on Yk = - ( -)/k, where and refer to the mean of hybrids (F1) and parental varieties, respectively, in a variety diallel cross. It was also shown in the analysis of variance that the total sum of squares due to treatments (varieties and topcrosses) can be orthogonally partitioned following the reduced model Yjj’ = mu + ½(v j + v j’) + + h j+ h j’, thus making possible an F test for varieties, average heterosis and variety heterosis. Least square estimates of these effects are also given

Dynamic Analysis Model of Spherical Roller Bearings with Defects

Rolling element bearings are essential components of rotating machinery. The spherical roller bearing (SRB) is one variant seeing increasing use, because it is self-aligning and can support high loads. It is becoming increasingly important to understand how the SRB responds dynamically under a variety of conditions. This doctoral dissertation introduces a computationally efficient, three-degree-of-freedom, SRB model that was developed to predict the transient dynamic behaviors of a rotor-SRB system. In the model, bearing forces and deflections were calculated as a function of contact deformation and bearing geometry parameters according to nonlinear Hertzian contact theory. The results reveal how some of the more important parameters; such as diametral clearance, the number of rollers, and osculation number; influence ultimate bearing performance. Distributed defects, such as the waviness of the inner and outer ring, and localized defects, such as inner and outer ring defects, are taken into consideration in the proposed model. Simulation results were verified with results obtained by applying the formula for the spherical roller bearing radial deflection and the commercial bearing analysis software. Following model verification, a numerical simulation was carried out successfully for a full rotor-bearing system to demonstrate the application of this newly developed SRB model in a typical real world analysis. Accuracy of the model was verified by comparing measured to predicted behaviors for equivalent systems.

Cardiorespiratory adaptations induced by aerobic training in middle-aged men: the importance of a decrease in sympathetic stimulation for the contribution of dynamic exercise tachycardia

We investigated the effects of aerobic training on the efferent autonomic control of heart rate (HR) during dynamic exercise in middle-aged men, eight of whom underwent exercise training (T) while the other seven continued their sedentary (S) life style. The training was conducted over 10 months (three 1-h sessions/week on a field track at 70-85% of the peak HR). The contribution of sympathetic and parasympathetic exercise tachycardia was determined in terms of differences in the time constant effects on the HR response obtained using a discontinuous protocol (4-min tests at 25, 50, 100 and 125 watts on a cycle ergometer), and a continuous protocol (25 watts/min until exhaustion) allowed the quantification of the parameters (anaerobic threshold, VO2 AT; peak O2 uptake, VO2 peak; power peak) that reflect oxygen transport. The results obtained for the S and the T groups were: 1) a smaller resting HR in T (66 beats/min) when compared to S (84 beats/min); 2) during exercise, a small increase in the fast tachycardia (D0-10 s) related to vagal withdrawal (P<0.05, only at 25 watts) was observed in T at all powers; at middle and higher powers a significant decrease (P<0.05 at 50, 100 and 125 watts) in the slow tachycardia (D1-4 min) related to a sympathetic-dependent mechanism was observed in T; 3) the VO2 AT (S = 1.06 and T = 1.33 l/min) and VO2 peak (S = 1.97 and T = 2.47 l/min) were higher in T (P<0.05). These results demonstrate that aerobic training can induce significant physiological adaptations in middle-aged men, mainly expressed as a decrease in the sympathetic effects on heart rate associated with an increase in oxygen transport during dynamic exercise.

Endogenous vasopressin and the central control of heart rate during dynamic exercise

The present article contains a brief review on the role of vasopressinergic projections to the nucleus tractus solitarii in the genesis of reflex bradycardia and in the modulation of heart rate control during exercise. The effects of vasopressin on exercise tachycardia are discussed on the basis of both the endogenous peptide content changes and the heart rate response changes observed during running in sedentary and trained rats. Dynamic exercise caused a specific vasopressin content increase in dorsal and ventral brainstem areas. In accordance, rats pretreated with the peptide or the V1 blocker into the nucleus tractus solitarii showed a significant potentiation or a marked blunting of the exercise tachycardia, respectively, without any change in the pressure response to exercise. It is proposed that the long-descending vasopressinergic pathway to the nucleus tractus solitarii serves as one link between the two main neural controllers of circulation, i.e., the central command and feedback control mechanisms driven by the peripheral receptors. Therefore, vasopressinergic input could contribute to the adjustment of heart rate response (and cardiac output) to the circulatory demand during exercise.

Portfolio Selection via Composite Measure Analysis: Evidence from the U.S. Stock Market

The aim of this research is to examine the pricing anomalies existing in the U.S. market during 1986 to 2011. The sample of stocks is divided into decile portfolios based on seven individual valuation ratios (E/P, B/P, S/P, EBIT/EV, EVITDA/EV, D/P, and CE/P) and price momentum to investigate the efficiency of individual valuation ratio and their combinations as portfolio formation criteria. This is the first time in financial literature when CE/P is employed as a constituent of composite value measure. The combinations are based on median scaled composite value measures and TOPSIS method. During the sample period value portfolios significantly outperform both the market portfolio and comparable glamour portfolios. The results show the highest return for the value portfolio that was based on the combination of S/P & CE/P ratios. The outcome of this research will increase the understanding on the suitability of different methodologies for portfolio selection. It will help managers to take advantage of the results of different methodologies in order to gain returns above the market.

Ambulatory blood pressure and Doppler echocardiographic indexes of borderline hypertensive men presenting an exaggerated blood pressure response during dynamic exercise

Borderline hypertension (BH) has been associated with an exaggerated blood pressure (BP) response during laboratory stressors. However, the incidence of target organ damage in this condition and its relation to BP hyperreactivity is an unsettled issue. Thus, we assessed the Doppler echocardiographic profile of a group of BH men (N = 36) according to office BP measurements with exaggerated BP in the cycloergometric test. A group of normotensive men (NT, N = 36) with a normal BP response during the cycloergometric test was used as control. To assess vascular function and reactivity, all subjects were submitted to the cold pressor test. Before Doppler echocardiography, the BP profile of all subjects was evaluated by 24-h ambulatory BP monitoring. All subjects from the NT group presented normal monitored levels of BP. In contrast, 19 subjects from the original BH group presented normal monitored BP levels and 17 presented elevated monitored BP levels. In the NT group all Doppler echocardiographic indexes were normal. All subjects from the original BH group presented normal left ventricular mass and geometrical pattern. However, in the subjects with elevated monitored BP levels, fractional shortening was greater, isovolumetric relaxation time longer, and early to late flow velocity ratio was reduced in relation to subjects from the original BH group with normal monitored BP levels (P<0.05). These subjects also presented an exaggerated BP response during the cold pressor test. These results support the notion of an integrated pattern of cardiac and vascular adaptation during the development of hypertension.

Polysiloxane/PVA-glutaraldehyde hybrid composite as solid phase for immunodetections by ELISA

We developed an efficient method to prepare a hybrid inorganic-organic composite based on polyvinyl alcohol (PVA) and polysiloxane using the sol-gel disc technique. Antigen obtained from Yersinia pestis was covalently immobilized onto these discs with glutaraldehyde and used as solid phase in ELISA for antibody detection in serum of rabbits experimentally immunized with plague. Using 1.25 µg antigen per disc, a peroxidase conjugate dilution of 1:4,000 and a serum dilution of 1:200 were adequate for the establishment of the procedure. These values are similar to those used for PVA-glutaraldehyde discs, plasticized filter paper discs and the polyaniline-Dacron composite discs. This procedure is comparable to that which utilizes the adsorption of the antigen to conventional PVC plates, with the amount of antigen being one fourth that employed in conventional PVC plates (5 µg/well). In addition to the performance of the polysiloxane/PVA-glutaraldehyde disc as a matrix for immunodetection, its easy synthesis and low cost are additional advantages for commercial application.