Progettazione e sviluppo di un framework per la realizzazione di process-aware Web applications.

Il potenziale che il Web ha raggiunto in termini di accessibilità, gestione e flessibilità, ha spinto i più svariati settori ad approcciarsi ad esso e ad adottarlo all’interno delle proprie organizzazioni. É stato quindi necessario applicare alle tradizionali applicazioni web, nuove soluzioni al fine di integrare gli elementi di workflow management con il modello dei dati di navigazione e di presentazione. In questo lavoro di tesi, si affrontano gli aspetti legati ai processi di business, con riferimento alla progettazione e allo sviluppo di applicazioni Web. Verranno introdotti standard di modellazione come UML e BPMN per poi descrivere soluzioni e casi di studio esistenti. Nella seconda parte dell'elaborato invece, verranno presentate le tecnologie utilizzate per il design e lo sviluppo di un framework, a supporto delle process-aware Web applications.

Sample size estimation: an overview with applications to orthodontic clinical trial designs

Proper sample size estimation is an important part of clinical trial methodology and closely related to the precision and power of the trial's results. Trials with sufficient sample sizes are scientifically and ethically justified and more credible compared with trials with insufficient sizes. Planning clinical trials with inadequate sample sizes might be considered as a waste of time and resources, as well as unethical, since patients might be enrolled in a study in which the expected results will not be trusted and are unlikely to have an impact on clinical practice. Because of the low emphasis of sample size calculation in clinical trials in orthodontics, it is the objective of this article to introduce the orthodontic clinician to the importance and the general principles of sample size calculations for randomized controlled trials to serve as guidance for study designs and as a tool for quality assessment when reviewing published clinical trials in our specialty. Examples of calculations are shown for 2-arm parallel trials applicable to orthodontics. The working examples are analyzed, and the implications of design or inherent complexities in each category are discussed.

Digital signal processing and digital system design using discrete cosine transform [student course]

The discrete cosine transform (DCT) is an important functional block for image processing applications. The implementation of a DCT has been viewed as a specialized research task. We apply a micro-architecture based methodology to the hardware implementation of an efficient DCT algorithm in a digital design course. Several circuit optimization and design space exploration techniques at the register-transfer and logic levels are introduced in class for generating the final design. The students not only learn how the algorithm can be implemented, but also receive insights about how other signal processing algorithms can be translated into a hardware implementation. Since signal processing has very broad applications, the study and implementation of an extensively used signal processing algorithm in a digital design course significantly enhances the learning experience in both digital signal processing and digital design areas for the students.

Esophageal ECG: The challenge of electrode design

Two commercially available electrode catheters are examined for their suitability in esophageal long-term ECG recordings. Both, electrical sensing characteristics as well as clinical acceptance were investigated in a clinical study including inpatients with cardiovascular diseases. In total, 31 esophageal ECG were obtained in 36 patients. Results showed that esophageal electrodes were well tolerated by the patients. Hemispherical electrodes with higher diameter required more insertion attempts and were associated with increased failure rates as compared to cylindrical electrodes. In contrast, the higher surface area of hemispherical electrodes resulted in significantly higher signal-to-noise ratio. Contact impedance was equal for both electrode types, but esophageal electrodes had lower impedance if compared with skin electrodes.

Design and Development of an FPGA-based Distributed Computing Processing Platform

This thesis presents two frameworks- a software framework and a hardware core manager framework- which, together, can be used to develop a processing platform using a distributed system of field-programmable gate array (FPGA) boards. The software framework providesusers with the ability to easily develop applications that exploit the processing power of FPGAs while the hardware core manager framework gives users the ability to configure and interact with multiple FPGA boards and/or hardware cores. This thesis describes the design and development of these frameworks and analyzes the performance of a system that was constructed using the frameworks. The performance analysis included measuring the effect of incorporating additional hardware components into the system and comparing the system to a software-only implementation. This work draws conclusions based on the provided results of the performance analysis and offers suggestions for future work.

Design of custom-shaped vascularized tissues using microtissue spheroids as minimal building units

Tissue engineering strategies are gathering clinical momentum in regenerative medicine and are expected to provide excellent opportunities for therapy for difficult-to-treat human pathologies. Being aware of the requirement to produce larger artificial tissue implants for clinical applications, we used microtissues, produced using gravity-enforced self-assembly of monodispersed primary cells, as minimal tissue units to generate scaffold-free vascularized artificial macrotissues in custom-shaped agarose molds. Mouse myoblast, pig and human articular-derived chondrocytes, and human myofibroblast (HMF)-composed microtissues (microm3 scale) were amalgamated to form coherent macrotissue patches (mm3 scale) of a desired shape. Macrotissues, assembled from the human umbilical vein endothelial cell (HUVEC)-coated HMF microtissues, developed a vascular system, which functionally connected to the chicken embryo's vasculature after implantation. The design of scaffold-free vascularized macrotissues is a first step toward the scale-up and production of artificial tissue implants for future tissue engineering initiatives.

Snake venom proteins affecting platelets and their applications to anti-thrombotic research

Snake venoms are very complex mixtures of biologically active proteins and peptides that may affect hemostasis in many ways, by activating or inhibiting coagulant factors or platelets, or by disrupting endothelium. They have been classified into various families, including serine proteases, metalloproteinases, C-type lectins, disintegrins and phospholipases. The various members of a particular family act selectively on different blood coagulation factors, blood cells or tissues. Venom proteins affect platelet function in particular by binding to and blocking or clustering and activating receptors or by cleaving receptors or von Willebrand factor. They may also activate protease-activated receptors or modulate ADP release or thromboxane A(2) formation. L-amino acid oxidases activate platelets by producing H(2)O(2). Many of these purified components are valuable tools in platelet research, providing new information about receptor function and signaling.

Design and implementation of a 3D computer game controller using inertial MEMS sensors

Though 3D computer graphics has seen tremendous advancement in the past two decades, most available mechanisms for computer interaction in 3D are high cost and targeted for industry and virtual reality applications. Recent advances in Micro-Electro-Mechanical-System (MEMS) devices have brought forth a variety of new low-cost, low-power, miniature sensors with high accuracy, which are well suited for hand-held devices. In this work a novel design for a 3D computer game controller using inertial sensors is proposed, and a prototype device based on this design is implemented. The design incorporates MEMS accelerometers and gyroscopes from Analog Devices to measure the three components of the acceleration and angular velocity. From these sensor readings, the position and orientation of the hand-held compartment can be calculated using numerical methods. The implemented prototype is utilizes a USB 2.0 compliant interface for power and communication with the host system. A Microchip dsPIC microcontroller is used in the design. This microcontroller integrates the analog to digital converters, the program memory flash, as well as the core processor, on a single integrated circuit. A PC running Microsoft Windows operating system is used as the host machine. Prototype firmware for the microcontroller is developed and tested to establish the communication between the design and the host, and perform the data acquisition and initial filtering of the sensor data. A PC front-end application with a graphical interface is developed to communicate with the device, and allow real-time visualization of the acquired data.

Design of a lab scale direct-filtration system and its application in process lab

The Environmental Process and Simulation Center (EPSC) at Michigan Technological University started accommodating laboratories for an Environmental Engineering senior level class CEE 4509 Environmental Process and Simulation Laboratory since 2004. Even though the five units that exist in EPSC provide the students opportunities to have hands-on experiences with a wide range of water/wastewater treatment technologies, a key module was still missing for the student to experience a full cycle of treatment. This project fabricated a direct-filtration pilot system in EPSC and generated a laboratory manual for education purpose. Engineering applications such as clean bed head loss calculation, backwash flowrate determination, multimedia density calculation and run length prediction are included in the laboratory manual. The system was tested for one semester and modifications have been made both to the direct filtration unit and the laboratory manual. Future work is also proposed to further refine the module.

Sulfoxides as an intramolecular sulfenylating agent for indoles and diverse applications of the sulfide-sulfoxide redox cycle in organic chemistry

This dissertation involves study of various aspects of sulfoxide chemistry. Specifically designed t-butyl and propanenitrile sulfoxides tethered to indole-2-carboxamide were used as a source of intramolecular sulfenylating agents to synthesize novel indolo[3,2-b]-1-5-benzothiazepinones which are structurally analogous to the other biologically active benzothiazepinones. This study reveals that the intramolecular cyclization of sulfoxide follows an electrophilic sulfenylation (Sulfoxide Electrophilic Sulfenylation, SES) reaction pathway. Evidence of the absence of sulfenic acid as a transient reactive intermediate in such intramolecular cyclization is also provided. In another study, sulfoxide was used as a “protecting group” of thioether to synthesize 8-membered, indole substituted, thiazocine-2-acetic acid derivative via Ring Closing Metathesis (RCM). Protection (oxidation) of inert (to RCM) sulfide to sulfoxide followed by RCM produced cyclized product in good yields. Deprotection (reduction) of sulfoxide was achieved using Lawessons Reagent (L.R.). Application of the sulfide-sulfoxide redox cycle to solve the existing difficulties in using RCM methodology to thioethers is illustrated. A new design of a “molecular brake”, based on the sulfide-sulfoxide redox cycle is described. N-Ar rotation in simple isoindolines is controlled by the oxidation state of the proximate sulfur atom. Sulfide [S(II)] shows “free” [brake OFF] N-Ar rotation whereas sulfoxide displayed hindered [brake ON] N-Ar rotation. The semi-empirical molecular orbital (PM3) calculations revealed concerted pyramidalization of amidic nitrogen with N-Ar rotation.

Applications of finite geometries to designs and codes

This dissertation concerns the intersection of three areas of discrete mathematics: finite geometries, design theory, and coding theory. The central theme is the power of finite geometry designs, which are constructed from the points and t-dimensional subspaces of a projective or affine geometry. We use these designs to construct and analyze combinatorial objects which inherit their best properties from these geometric structures. A central question in the study of finite geometry designs is Hamada’s conjecture, which proposes that finite geometry designs are the unique designs with minimum p-rank among all designs with the same parameters. In this dissertation, we will examine several questions related to Hamada’s conjecture, including the existence of counterexamples. We will also study the applicability of certain decoding methods to known counterexamples. We begin by constructing an infinite family of counterexamples to Hamada’s conjecture. These designs are the first infinite class of counterexamples for the affine case of Hamada’s conjecture. We further demonstrate how these designs, along with the projective polarity designs of Jungnickel and Tonchev, admit majority-logic decoding schemes. The codes obtained from these polarity designs attain error-correcting performance which is, in certain cases, equal to that of the finite geometry designs from which they are derived. This further demonstrates the highly geometric structure maintained by these designs. Finite geometries also help us construct several types of quantum error-correcting codes. We use relatives of finite geometry designs to construct infinite families of q-ary quantum stabilizer codes. We also construct entanglement-assisted quantum error-correcting codes (EAQECCs) which admit a particularly efficient and effective error-correcting scheme, while also providing the first general method for constructing these quantum codes with known parameters and desirable properties. Finite geometry designs are used to give exceptional examples of these codes.

Metal-oxide film and photonic structures for integrated device applications

The application of photonic crystal technology on metal-oxide film is a very promising field for future optical telecommunication systems. Band gap and polarization effects in lithium niobate (LiNbO3) photonic crystals and bismuth-substituted iron garnets (BiYIG) photonic crystals are investigated in this work reported here. The design and fabrication process are similar for these two materials while the applications are different, involving Bragg filtering in lithium niobate and polarization rotation in nonreciprocal iron garnets. The research of photonic structures in LiNbO3 is of high interest for integrated device application due to its remarkable electro-optical characteristics. This work investigated the photonic band gap in high quality LiNbO3 single crystalline thin film by ion implantation to realize high efficiency narrow bandwidth filters. LiNbO3 thin film detachment by bonding is also demonstrated for optical device integration. One-dimensional Bragg BiYIG waveguides in gyrotropic system are found to have multiple stopbands and evince enhancement of polarization rotation efficiency. Previous photon trapping theory cannot explain the phenomena because of the presence of linear birefringence. This work is aimed at investigating the mechanism with the support of experiments. The results we obtained show that selective suppression of Bloch states in gyrotropic bandgaps is the key mechanism for the observed phenomena. Finally, the research of ferroelectric single crystal PMN-PT with ultra high piezoelectric coefficient as a biosensor is also reported. This work presents an investigation and results on higher sensitivity effects than conventional materials such as quartz and lithium niobate.

A 45nm CMOS DESIGN OF NEUROMORPHIC SYSTEM

Neuromorphic computing has become an emerging field in wide range of applications. Its challenge lies in developing a brain-inspired architecture that can emulate human brain and can work for real time applications. In this report a flexible neural architecture is presented which consists of 128 X 128 SRAM crossbar memory and 128 spiking neurons. For Neuron, digital integrate and fire model is used. All components are designed in 45nm technology node. The core can be configured for certain Neuron parameters, Axon types and synapses states and are fully digitally implemented. Learning for this architecture is done offline. To train this circuit a well-known algorithm Restricted Boltzmann Machine (RBM) is used and linear classifiers are trained at the output of RBM. Finally, circuit was tested for handwritten digit recognition application. Future prospects for this architecture are also discussed.

MODELING AND PROTOCOL DESIGN FOR EMERGING WIRELESS SYSTEMS

Mobile Mesh Network based In-Transit Visibility (MMN-ITV) system facilitates global real-time tracking capability for the logistics system. In-transit containers form a multi-hop mesh network to forward the tracking information to the nearby sinks, which further deliver the information to the remote control center via satellite. The fundamental challenge to the MMN-ITV system is the energy constraint of the battery-operated containers. Coupled with the unique mobility pattern, cross-MMN behavior, and the large-spanned area, it is necessary to investigate the energy-efficient communication of the MMN-ITV system thoroughly. First of all, this dissertation models the energy-efficient routing under the unique pattern of the cross-MMN behavior. A new modeling approach, pseudo-dynamic modeling approach, is proposed to measure the energy-efficiency of the routing methods in the presence of the cross-MMN behavior. With this approach, it could be identified that the shortest-path routing and the load-balanced routing is energy-efficient in mobile networks and static networks respectively. For the MMN-ITV system with both mobile and static MMNs, an energy-efficient routing method, energy-threshold routing, is proposed to achieve the best tradeoff between them. Secondly, due to the cross-MMN behavior, neighbor discovery is executed frequently to help the new containers join the MMN, hence, consumes similar amount of energy as that of the data communication. By exploiting the unique pattern of the cross-MMN behavior, this dissertation proposes energy-efficient neighbor discovery wakeup schedules to save up to 60% of the energy for neighbor discovery. Vehicular Ad Hoc Networks (VANETs)-based inter-vehicle communications is by now growingly believed to enhance traffic safety and transportation management with low cost. The end-to-end delay is critical for the time-sensitive safety applications in VANETs, and can be a decisive performance metric for VANETs. This dissertation presents a complete analytical model to evaluate the end-to-end delay against the transmission range and the packet arrival rate. This model illustrates a significant end-to-end delay increase from non-saturated networks to saturated networks. It hence suggests that the distributed power control and admission control protocols for VANETs should aim at improving the real-time capacity (the maximum packet generation rate without causing saturation), instead of the delay itself. Based on the above model, it could be determined that adopting uniform transmission range for every vehicle may hinder the delay performance improvement, since it does not allow the coexistence of the short path length and the low interference. Clusters are proposed to configure non-uniform transmission range for the vehicles. Analysis and simulation confirm that such configuration can enhance the real-time capacity. In addition, it provides an improved trade off between the end-to-end delay and the network capacity. A distributed clustering protocol with minimum message overhead is proposed, which achieves low convergence time.