An Innovative Approach to Teaching Structural Induction for Computer Science

Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding of and performance with computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: 1. identifying sources of computer science students’ difficulties with proofs by induction, and 2. developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.

Nanostructuring Ferroelectrics via Focused Ion Beam Methodologies

As we reach the physical limit of Moore’s law and silicon based electronics, alternative schemes for memory and sensor devices are being proposed on
a regular basis. The properties of ferroelectric materials on the nanoscale are key to developing device applications of this intriguing material class, and nanostructuring has been readily pursued in recent times. Focused ion beam (FIB) microscopy is one of the most signi cant techniques for achieving
this. When applied in tandem with the imaging and nanoscale manipulation afforded by proximal scanning force microscopy tools, FIB-driven nanoscale characterization has demonstrated the power and ability which simply may not be possible by other fabrication techniques in the search for innovative and novel ferroic phenomena. At the same time the process is not without pitfalls; it is time-consuming and success is not always guaranteed thus often being the bane in progress. This balanced review explores a brief history of the relationship between the FIB and ferroelectrics, the fascinating properties it has unveiled, the challenges associated with FIB that have led to alterna- tive nanostructuring techniques and nally new ideas that should be explored using this exciting technique.

Advanced Methodologies in Dynamic Traffic Assignment Modeling of Managed Lanes

Managed lane strategies are innovative road operation schemes for addressing congestion problems. These strategies operate a lane (lanes) adjacent to a freeway that provides congestion-free trips to eligible users, such as transit or toll-payers. To ensure the successful implementation of managed lanes, the demand on these lanes need to be accurately estimated. Among different approaches for predicting this demand, the four-step demand forecasting process is most common. Managed lane demand is usually estimated at the assignment step. Therefore, the key to reliably estimating the demand is the utilization of effective assignment modeling processes. Managed lanes are particularly effective when the road is functioning at near-capacity. Therefore, capturing variations in demand and network attributes and performance is crucial for their modeling, monitoring and operation. As a result, traditional modeling approaches, such as those used in static traffic assignment of demand forecasting models, fail to correctly predict the managed lane demand and the associated system performance. The present study demonstrates the power of the more advanced modeling approach of dynamic traffic assignment (DTA), as well as the shortcomings of conventional approaches, when used to model managed lanes in congested environments. In addition, the study develops processes to support an effective utilization of DTA to model managed lane operations. Static and dynamic traffic assignments consist of demand, network, and route choice model components that need to be calibrated. These components interact with each other, and an iterative method for calibrating them is needed. In this study, an effective standalone framework that combines static demand estimation and dynamic traffic assignment has been developed to replicate real-world traffic conditions. With advances in traffic surveillance technologies collecting, archiving, and analyzing traffic data is becoming more accessible and affordable. The present study shows how data from multiple sources can be integrated, validated, and best used in different stages of modeling and calibration of managed lanes. Extensive and careful processing of demand, traffic, and toll data, as well as proper definition of performance measures, result in a calibrated and stable model, which closely replicates real-world congestion patterns, and can reasonably respond to perturbations in network and demand properties.

Development of methodologies supporting the sustainable and safe integration of offshore conventional and renewable energy production

Against a backdrop of rapidly increasing worldwide population and growing energy demand, the development of renewable energy technologies has become of primary importance in the effort to reduce greenhouse gas emissions. However, it is often technically and economically infeasible to transport discontinuous renewable electricity for long distances to the shore. Another shortcoming of non-programmable renewable power is its integration into the onshore grid without affecting the dispatching process. On the other hand, the offshore oil & gas industry is striving to reduce overall carbon footprint from onsite power generators and limiting large expenses associated to carrying electricity from remote offshore facilities. Furthermore, the increased complexity and expansion towards challenging areas of offshore hydrocarbons operations call for higher attention to safety and environmental protection issues from major accident hazards. Innovative hybrid energy systems, as Power-to-Gas (P2G), Power-to-Liquid (P2L) and Gas-to-Power (G2P) options, implemented at offshore locations, would offer the opportunity to overcome challenges of both renewable and oil & gas sectors. This study aims at the development of systematic methodologies based on proper sustainability and safety performance indicators supporting the choice of P2G, P2L and G2P hybrid energy options for offshore green projects in early design phases. An in-depth analysis of the different offshore hybrid strategies was performed. The literature reviews on existing methods proposing metrics to assess sustainability of hybrid energy systems, inherent safety of process routes in conceptual design stage and environmental protection of installations from oil and chemical accidental spills were carried out. To fill the gaps, a suite of specific decision-making methodologies was developed, based on representative multi-criteria indicators addressing technical, economic, environmental and societal aspects of alternative options. A set of five case-studies was defined, covering different offshore scenarios of concern, to provide an assessment of the effectiveness and value of the developed tools.

Development of advanced analytical methodologies for Alzheimer’s disease drug discovery

Advanced analytical methodologies were developed to characterize new potential active MTDLs on isolated targets involved in the first stages of Alzheimer’s disease (AD). In addition, the methods investigated drug-protein bindings and evaluated protein-protein interactions involved in the neurodegeneration. A high-throughput luminescent assay allowed the study of the first in class GSK-3β/ HDAC dual inhibitors towards the enzyme GSK-3β. The method was able to identify an innovative disease-modifying agent with an activity in the micromolar range both on GSK-3β, HDAC1 and HDAC6. Then, the same assay reliably and quickly selected true positive hit compounds among natural Amaryllidaceae alkaloids tested against GSK-3β. Hence, given the central role of the amyloid pathway in the multifactorial nature of AD, a multi-methodological approach based on mass spectrometry (MS), circular dichroism spectroscopy (CD) and ThT assay was applied to characterize the potential interaction of CO releasing molecules (CORMs) with Aβ1-42 peptide. The comprehensive method provided reliable information on the different steps of the fibrillation process and regarding CORMs mechanism of action. Therefore, the optimal CORM-3/Aβ1−42 ratio in terms of inhibitory effect was identified by mass spectrometry. CD analysis confirmed the stabilizing effect of CORM-3 on the Aβ1−42 peptide soluble form and the ThT Fluorescent Analysis ensured that the entire fibrillation process was delayed. Then the amyloid aggregation process was studied in view of a possible correlation with AD lipid brain alterations. Therefore, SH-SY5Y cells were treated with increasing concentration of Aß1-42 at different times and the samples were analysed by a RP-UHPLC system coupled with a high-resolution quadrupole TOF mass spectrometer in comprehensive data-independent SWATH acquisition mode. Each lipid class profiling in SH-SY5Y cells treated with Aß1-42 was compared to the one obtained from the untreated. The approach underlined some peculiar lipid alterations, suitable as biomarkers, that might be correlated to Aß1-42 different aggregation species.

Historic and modern alloys: atmospheric corrosion and development of accelerated ageing methodologies

The atmospheric corrosion of modern and historic alloys used in cultural heritage has been investigated by applying specific accelerated ageing methods. Three main research lines were carried out, involving different materials. In the first part, the atmospheric corrosion of a modern Cu-3Si-1Mn bronze was investigated through accelerated ageing tests simulating outdoor runoff conditions. The corrosion processes were evaluated through different analyses, and the results obtained were compared to those of a traditional quaternary bronze. The second line was carried out to characterise historic aluminium alloys used in aeronautics to develop and apply innovative protection strategies for their conservation. Historic wrecks were identified and characterised through micro and macroscale observations. Moreover, accelerated ageing tests were performed on both historic and modern alloys to compare their behaviour and select the best modern substrate to be used for the development of effective coatings. The third research line aimed to develop accelerate sampling and ageing methods to investigate the role of particulate matter (PM) in the atmospheric corrosion of bronzes and metals in general. The first approach consisted in the fine-tuning of an efficient accelerated method for ambient PM sampling on bronze specimens followed by their accelerated ageing, in order to establish a correlation between the PM and the substrate’s corrosion. After the accelerated ageing of the specimens, the corrosion was evaluated by surface characterisation and correlated to the PM features. The second approach consisted in the development of a synthetic PM formulation and of an artificial deposition method, which was performed by spraying mixtures containing the main PM inorganic fractions on a G-85 bronze with an airbrush. The deposition efficiency was assessed, and the effect of synthetic PM on the bronze corrosion was evaluated. The results were compared to those obtained by ambient PM deposition.

The International LAM Registry: A Component of an Innovative Web-Based Clinician, Researcher, and Patient-Driven Rare Disease Research Platform

Background: A relative friability to capture a sufficiently large patient population in any one geographic location has traditionally limited research into rare diseases. Methods and Results: Clinicians interested in the rare disease lymphangioleiomyomatosis (LAM) have worked with the LAM Treatment Alliance, the MIT Media Lab, and Clozure Associates to cooperate in the design of a state-of-the-art data coordination platform that can be used for clinical trials and other research focused on the global LAM patient population. This platform is a component of a set of web-based resources, including a patient self-report data portal, aimed at accelerating research in rare diseases in a rigorous fashion. Conclusions: Collaboration between clinicians, researchers, advocacy groups, and patients can create essential community resource infrastructure to accelerate rare disease research. The International LAM Registry is an example of such an effort.

Study of the optical and magnetic properties of pyrimidine in water combining PCM and QM/MM methodologies

The solvent effects on the low-lying absorption spectrum and on the (15)N chemical shielding of pyrimidine in water are calculated using the combined and sequential Monte Carlo simulation and quantum mechanical calculations. Special attention is devoted to the solute polarization. This is included by an iterative procedure previously developed where the solute is electrostatically equilibrated with the solvent. In addition, we verify the simple yet unexplored alternative of combining the polarizable continuum model (PCM) and the hybrid QM/MM method. We use PCM to obtain the average solute polarization and include this in the MM part of the sequential QM/MM methodology, PCM-MM/QM. These procedures are compared and further used in the discrete and the explicit solvent models. The use of the PCM polarization implemented in the MM part seems to generate a very good description of the average solute polarization leading to very good results for the n-pi* excitation energy and the (15)N nuclear chemical shield of pyrimidine in aqueous environment. The best results obtained here using the solute pyrimidine surrounded by 28 explicit water molecules embedded in the electrostatic field of the remaining 472 molecules give the statistically converged values for the low lying n-pi* absorption transition in water of 36 900 +/- 100 (PCM polarization) and 36 950 +/- 100 cm(-1) (iterative polarization), in excellent agreement among one another and with the experimental value observed with a band maximum at 36 900 cm(-1). For the nuclear shielding (15)N the corresponding gas-water chemical shift obtained using the solute pyrimidine surrounded by 9 explicit water molecules embedded in the electrostatic field of the remaining 491 molecules give the statistically converged values of 24.4 +/- 0.8 and 28.5 +/- 0.8 ppm, compared with the inferred experimental value of 19 +/- 2 ppm. Considering the simplicity of the PCM over the iterative polarization this is an important aspect and the computational savings point to the possibility of dealing with larger solute molecules. This PCM-MM/QM approach reconciles the simplicity of the PCM model with the reliability of the combined QM/MM approaches.

Evaluation of an innovative critical power model in intermittent vertical jump

The aim of this study was to test if the critical power model can be used to determine the critical rest interval (CRI) between vertical jumps. Ten males performed intermittent countermovement jumps on a force platform with different resting periods (4.1 +/- 0.3 s, 5.0 +/- 0.4 s, 5.9 +/- 0.6 s). Jump trials were interrupted when participants could no longer maintain 95% of their maximal jump height. After interruption, number of jumps, total exercise duration and total external work were computed. Time to exhaustion (s) and total external work (J) were used to solve the equation Work = a + b . time. The CRI (corresponding to the shortest resting interval that allowed jump height to be maintained for a long time without fatigue) was determined dividing the average external work needed to jump at a fixed height (J) by b parameter (J/s). in the final session, participants jumped at their calculated CRI. A high coefficient of determination (0.995 +/- 0.007) and the CRI (7.5 +/- 1.6 s) were obtained. In addition, the longer the resting period, the greater the number of jumps (44 13, 71 28, 105 30, 169 53 jumps; p<0.0001), time to exhaustion (179 +/- 50, 351 +/- 120, 610 +/- 141, 1,282 +/- 417 s; p<0.0001) and total external work (28.0 +/- 8.3, 45.0 +/- 16.6, 67.6 +/- 17.8, 111.9 +/- 34.6 kJ; p<0.0001). Therefore, the critical power model may be an alternative approach to determine the CRI during intermittent vertical jumps.

Evaluating an Agile Method for Planning and Controlling Innovative Projects

This article presents an extensive investigation carried out in two technology-based companies of the So Carlos technological pole in Brazil. Based on this multiple case study and literature review, a method, entitled hereafter IVPM2, applying agile project management (APM) principles was developed. After the method implementation, a qualitative evaluation was carried out by a document analysis and questionnaire application. This article shows that the application of this method at the companies under investigation evidenced the benefits of using simple, iterative, visual, and agile techniques to plan and control innovative product projects combined with traditional project management best practices, such as standardization.

Study of partially encased composite beams with innovative position of stud bolts

In this article, static behavior of three partially encased composite beams under flexural condition is investigated in the context of studying some alternative positions for the headed studs. Shear resistance between the I-shaped beam and the concrete was provided by headed studs in two positions: vertically welded oil the bottom flange and horizontally welded on the faces of the web. Experimental results show that the headed studs provide the composite action and increase the bending strength. The most remarkable position seems to be the headed studs vertically welded oil the bottom flange. Ail analytical method to estimate the bending capacity of the encased beams is also proposed, giving a good prediction of the experimental results (C) 2008 Elsevier Ltd. All rights reserved.

Electric Power Forecasting Methodologies of Some South American Countries: A Comparative Analysis

In this paper, a comparative analysis of the long-term electric power forecasting methodologies used in some South American countries, is presented. The purpose of this study is to compare and observe if such methodologies have some similarities, and also examine the behavior of the results when they are applied to the Brazilian electric market. The abovementioned power forecasts were performed regarding the main four consumption classes (residential, industrial, commercial and rural) which are responsible for approximately 90% of the national consumption. The tool used in this analysis was the SAS (c) program. The outcome of this study allowed identifying various methodological similarities, mainly those related to the econometric variables used by these methods. This fact strongly conditioned the comparative results obtained.

Interference of raw milk autochthonous microbiota on the performance of conventional methodologies for Listeria monocytogenes and Salmonella spp. detection

Pathogen detection in foods by reliable methodologies is very important to guarantee microbilogical safety. However, peculiar characteristics of certain foods, such as autochthonous microbiota, can directly influence pathogen development and detection. With the objective of verifying the performance of the official analytical methodologies for the isolation of Listeria monocytogenes and Salmonella in milk, different concentrations of these pathogens were inoculated in raw milk treatments with different levels of mesophilic aerobes, and then submitted to the traditional isolation procedures for the inoculated pathogens. Listeria monocytogenes was inoculated at the range of 0.2-5.2 log CFU/mL in treatments with 1.8-8.2 log CFU/mL. Salmonella Enteritidis was inoculated at 0.9-3.9 log CFU/mL in treatments with 3.0-8.2 log CFU/mL. The results indicated that recovery was not possible or was more difficult in the treatments with high counts of mesophilic aerobes and low levels of the pathogens, indicating interference of raw milk autochthonous microbiota. This interference was more evident for L. monocytogenes, once the pathogen recovery was not possible in treatments with mesophilic aerobes up to 4.0 log CFU/mL and inoculum under 2.0 log CFU/mL. For S. Enteritidis the interference appeared to be more non-specific. (C) 2007 Elsevier GmbH. All rights reserved.

Exploring Change in Neanderthal Behavioural Complexity: An Innovative Approach to the Study of Neanderthal Behaviour

Diachronic approaches provide potential for a more sophisticated framework within which to examine change in Neanderthal behavioural complexity using archaeological proxies such as symbolic artefacts, faunal assemblages and technology. Analysis of the temporal appearance and distribution of such artefacts and assemblages provide the basis for identifying changes in Neanderthal behavioural complexity in terms of symbolism, faunal extraction and technology respectively. Although changes in technology and faunal extraction were examined in the wider study, only the results of the symbolic study are presented below to illustrate the potential of the approach.

One size doesn't fit all: Research methodologies in a language variation study of Sudanese teens

The research reported here draws on a study of five teenagers from a Dinka-speaking community of Sudanese settling in Australia. A range of factors including language proficiency, social network structure and language attitudes are examined as possible causes for the variability of language use. The results and discussion illustrate how the use of a triangular research approach captured the complexity of the participants' language situation and was critical to developing a full understanding of the interplay of factors influencing the teens' language maintenance and shift in a way that no single method could. Further, it shows that employment of different methodologies allowed for flexibility in data collection to ensure the fullest response from participants. Overall, this research suggests that for studies of non-standard communities, variability in research methods may prove more of a strength that the use of standardised instruments and approaches.