An operational approach to object-oriented software development

The traditional waterfall software life cycle model has several weaknesses. One problem is that a working version of a system is unavailable until a late stage in the development; any omissions and mistakes in the specification undetected until that stage can be costly to maintain. The operational approach which emphasises the construction of executable specifications can help to remedy this problem. An operational specification may be exercised to generate the behaviours of the specified system, thereby serving as a prototype to facilitate early validation of the system's functional requirements. Recent ideas have centred on using an existing operational method such as JSD in the specification phase of object-oriented development. An explicit transformation phase following specification is necessary in this approach because differences in abstractions between the two domains need to be bridged. This research explores an alternative approach of developing an operational specification method specifically for object-oriented development. By incorporating object-oriented concepts in operational specifications, the specifications have the advantage of directly facilitating implementation in an object-oriented language without requiring further significant transformations. In addition, object-oriented concepts can help the developer manage the complexity of the problem domain specification, whilst providing the user with a specification that closely reflects the real world and so the specification and its execution can be readily understood and validated. A graphical notation has been developed for the specification method which can capture the dynamic properties of an object-oriented system. A tool has also been implemented comprising an editor to facilitate the input of specifications, and an interpreter which can execute the specifications and graphically animate the behaviours of the specified systems.

Estimation of TFP growth:a semiparametric smooth coefficient approach

This article uses a semiparametric smooth coefficient model (SPSCM) to estimate TFP growth and its components (scale and technical change). The SPSCM is derived from a nonparametric specification of the production technology represented by an input distance function (IDF), using a growth formulation. The functional coefficients of the SPSCM come naturally from the model and are fully flexible in the sense that no functional form of the underlying production technology is used to derive them. Another advantage of the SPSCM is that it can estimate bias (input and scale) in technical change in a fully flexible manner. We also used a translog IDF framework to estimate TFP growth components. A panel of U.S. electricity generating plants for the period 1986–1998 is used for this purpose. Comparing estimated TFP growth results from both parametric and semiparametric models against the Divisia TFP growth, we conclude that the SPSCM performs the best in tracking the temporal behavior of TFP growth.

Organizing innovation:complementarities between cross-functional teams

Cross-functional teams play a potentially important part in the innovation process enabling knowledge sharing, the development of trust and overcoming spatial and organizational barriers. Using a supermodularity approach, we focus on potential complementarities which may arise when cross-functional teams are used in different elements of the innovation process in UK and German manufacturing plants. Using optimal combinations of cross-functional teams in the innovation process increases innovation success in the UK by 29.5 per cent compared to 9.5 per cent in Germany. Patterns of complementarity are complex, however, but are more uniform in the UK than in Germany. The most uniform complementarities are between product design and development and production engineering, with little synergy evident between the more technical phases of the innovation process and the development of marketing strategy. In strategic terms, our results suggest the value of using cross-functional teams for the more technical elements of the innovation process but that the development of marketing strategy should remain the domain of specialists.

A multimodal investigation of dynamic face perception using functional magnetic resonance imaging and magnetoencephalography

Motion is an important aspect of face perception that has been largely neglected to date. Many of the established findings are based on studies that use static facial images, which do not reflect the unique temporal dynamics available from seeing a moving face. In the present thesis a set of naturalistic dynamic facial emotional expressions was purposely created and used to investigate the neural structures involved in the perception of dynamic facial expressions of emotion, with both functional Magnetic Resonance Imaging (fMRI) and Magnetoencephalography (MEG). Through fMRI and connectivity analysis, a dynamic face perception network was identified, which is demonstrated to extend the distributed neural system for face perception (Haxby et al.,2000). Measures of effective connectivity between these regions revealed that dynamic facial stimuli were associated with specific increases in connectivity between early visual regions, such as inferior occipital gyri and superior temporal sulci, along with coupling between superior temporal sulci and amygdalae, as well as with inferior frontal gyri. MEG and Synthetic Aperture Magnetometry (SAM) were used to examine the spatiotemporal profile of neurophysiological activity within this dynamic face perception network. SAM analysis revealed a number of regions showing differential activation to dynamic versus static faces in the distributed face network, characterised by decreases in cortical oscillatory power in the beta band, which were spatially coincident with those regions that were previously identified with fMRI. These findings support the presence of a distributed network of cortical regions that mediate the perception of dynamic facial expressions, with the fMRI data providing information on the spatial co-ordinates paralleled by the MEG data, which indicate the temporal dynamics within this network. This integrated multimodal approach offers both excellent spatial and temporal resolution, thereby providing an opportunity to explore dynamic brain activity and connectivity during face processing.

Green supply chain performance measurement using fuzzy ANP-based balanced scorecard:a collaborative decision-making approach

The purpose of this paper is to delineate a green supply chain (GSC) performance measurement framework using an intra-organisational collaborative decision-making (CDM) approach. A fuzzy analytic network process (ANP)-based green-balanced scorecard (GrBSc) has been used within the CDM approach to assist in arriving at a consistent, accurate and timely data flow across all cross-functional areas of a business. A green causal relationship is established and linked to the fuzzy ANP approach. The causal relationship involves organisational commitment, eco-design, GSC process, social performance and sustainable performance constructs. Sub-constructs and sub-sub-constructs are also identified and linked to the causal relationship to form a network. The fuzzy ANP approach suitably handles the vagueness of the linguistics information of the CDM approach. The CDM approach is implemented in a UK-based carpet-manufacturing firm. The performance measurement approach, in addition to the traditional financial performance and accounting measures, aids in firms decision-making with regard to the overall organisational goals. The implemented approach assists the firm in identifying further requirements of the collaborative data across the supply-cain and information about customers and markets. Overall, the CDM-based GrBSc approach assists managers in deciding if the suppliers performances meet the industry and environment standards with effective human resource. © 2013 Taylor & Francis.

Complexity and chirality indices for molecular informatics::differential geometry approach

Novel molecular complexity measures are designed based on the quantum molecular kinematics. The Hamiltonian matrix constructed in a quasi-topological approximation describes the temporal evolution of the modelled electronic system and determined the time derivatives for the dynamic quantities. This allows to define the average quantum kinematic characteristics closely related to the curvatures of the electron paths, particularly, the torsion reflecting the chirality of the dynamic system. A special attention has been given to the computational scheme for this chirality measure. The calculations on realistic molecular systems demonstrate reasonable behaviour of the proposed molecular complexity indices.

Metastable de-excitation spectroscopy and density functional theory study of the selective oxidation of crotyl alcohol over Pd(111)

The extremely surface sensitive technique of metastable de-excitation spectroscopy (MDS) has been utilized to probe the bonding and reactivity of crotyl alcohol over Pd(111) and provide insight into the selective oxidation pathway to crotonaldehyde. Auger de-excitation (AD) of metastable He (23S) atoms reveals distinct features associated with the molecular orbitals of the adsorbed alcohol, corresponding to emission from the hydrocarbon skeleton, the O n nonbonding, and C═C π states. The O n and C═C π states of the alcohol are reversed when compared to those of the aldehyde. Density functional theory (DFT) calculations of the alcohol show that an adsorption mode with both C═C and O bonds aligned somewhat parallel to the surface is energetically favored at a substrate temperature below 200 K. Density of states calculations for such configurations are in excellent agreement with experimental MDS measurements. MDS revealed oxidative dehydrogenation of crotyl alcohol to crotonaldehyde between 200 and 250 K, resulting in small peak shifts to higher binding energy. Intramolecular changes lead to the opposite assignment of the first two MOs in the alcohol versus the aldehyde, in accordance with DFT and UPS studies of the free molecules. Subsequent crotonaldehyde decarbonylation and associated propylidyne formation above 260 K could also be identified by MDS and complementary theoretical calculations as the origin of deactivation and selectivity loss. Combining MDS and DFT in this way represents a novel approach to elucidating surface catalyzed reaction pathways associated with a “real-world” practical chemical transformation, namely the selective oxidation of alcohols to aldehydes.

Physical and functional characterisation of apoptotic cell-derived extracellular vesicles

Damaged, aged or unwanted cells are removed from the body by an active process known as apoptosis. This highly orchestrated programme results in the exposure of 'flags' at the dying cell surface and the release of attractive signals to recruit phagocytes. Together these changes ensure efficient phagocytic removal of dying cells and prevention of inflammatory and autoimmune disorders. Extracellular vesicles (EV) are released from a variety of cells (both viable and apoptotic) and they serve as a novel means of intercellular communication. They range in size: 70-100nm ('exosomes') through 100-1000nm ('microparticles') to large vesicles released from dying cells ('apoptotic bodies'). Release of apoptotic cell-derived extracellular vesicles (acdEV) of less than 1000nm is an important mechanism by which phagocytes are attracted to sites of cell death. Using a variety of approaches we characterize the release, physical characteristics and function of acdEV. Using fluorescence microscopy we demonstrate release of ICAM-3 on acdEV from dying leukocytes and, through the use of resistive pulse technology (qNano, IZON Science), we accurately size and quantitate acdEV release. The function of acdEV is revealed through the use of both horizontal chemotaxis assays (Dunn chambers) and vertical transwell migration assays (Cell-IQ, CM Technologies). These assays reveal potent chemoattractive capacity of acdEV and associated ICAM-3. Additionally we demonstrate an additional novel function of acdEV as anti-inflammatory immune-modulators. These data support an integrated approach to the physical and functional analyses of EV.

On a Direct Approach to the Solution of Inverse Optical Problems

The evaluation from experimental data, of physical quantities, which enter into the electromagnetic Maxwell equations, is described as inverse optical problem. The functional relations between the dependent and independent variables are of transcendental character and numeric procedures for evaluation of the unknowns are largely used. Herein, we discuss a direct approach to the solution, illustrated by a specific example of determination of thin films optical constants from spectrophotometric data. New algorithm is proposed for the parameters evaluation, which does not need an initial guess of the unknowns and does not use iterative procedures. Thus we overcome the intrinsic deficiency of minimization techniques, such as gradient search methods, Simplex methods, etc. The price of it is a need of more computing power, but our algorithm is easily implemented in structures such as grid clusters. We show the advantages of this approach and its potential for generalization to other inverse optical problems.

On modeling and satisfaction of non-functional requirements using cloud computing

Specification of the non-functional requirements of applications and determining the required resources for their execution are activities that demand a great deal of technical knowledge, frequently resulting in an inefficient use of resources. Cloud computing is an alternative for provisioning of resources, which can be done using either the provider's own infrastructure or the infrastructure of one or more public clouds, or even a combination of both. It enables more flexibly/elastic use of resources, but does not solve the specification problem. In this paper we present an approach that uses models at runtime to facilitate the specification of non-functional requirements and resources, aiming to facilitate dynamic support for application execution in cloud computing environments with shared resources. © 2013 IEEE.

Spatiotemporal variation of the abundance of calcareous green macroalgae in the Florida Keys: A study of synchrony within a macroalgal functional-form group

The abundance of calcareous green algae was recorded quarterly at 28 sites within the Florida Keys National Marine Sanctuary (FKNMS) for a period of 7 years as part of a sea grass monitoring program. To evaluate the validity of using the functional-form group approach, we designed a sampling method that included the functional-form group and the component genera. This strategy enabled us to analyze the spatiotemporal patterns in the abundance of calcareous green algae as a group and to describe synchronous behavior among its genera through the application of a nonlinear regression model to both categories of data. Spatial analyses revealed that, in general, all genera displayed long-term trends of increasing abundance at most sites; however, at some sites the long-term trends for genera opposed one another. Strong synchrony in the timing of seasonal changes was found among all genera, possibly reflecting similar reproductive and seasonal growth pattern, but the variability in the magnitude of seasonal changes was very high among genera and sites. No spatial patterns were found in long-term or seasonal changes; the only significant relation detected was for slope, with sites closer to land showing higher values, suggesting that some factors associated with land proximity are affecting this increase. We conclude that the abundances of genera behaved differently from the functional-form group, indicating that the use of the functionalform group approach may be unsuitable to detect changes in sea grass community structure in the FKNMS at the existing temporal and spatial scale of the monitoring program.

Thermal imaging as a biometrics approach to facial signature authentication

This dissertation develops an image processing framework with unique feature extraction and similarity measurements for human face recognition in the thermal mid-wave infrared portion of the electromagnetic spectrum. The goals of this research is to design specialized algorithms that would extract facial vasculature information, create a thermal facial signature and identify the individual. The objective is to use such findings in support of a biometrics system for human identification with a high degree of accuracy and a high degree of reliability. This last assertion is due to the minimal to no risk for potential alteration of the intrinsic physiological characteristics seen through thermal infrared imaging. The proposed thermal facial signature recognition is fully integrated and consolidates the main and critical steps of feature extraction, registration, matching through similarity measures, and validation through testing our algorithm on a database, referred to as C-X1, provided by the Computer Vision Research Laboratory at the University of Notre Dame. Feature extraction was accomplished by first registering the infrared images to a reference image using the functional MRI of the Brain’s (FMRIB’s) Linear Image Registration Tool (FLIRT) modified to suit thermal infrared images. This was followed by segmentation of the facial region using an advanced localized contouring algorithm applied on anisotropically diffused thermal images. Thermal feature extraction from facial images was attained by performing morphological operations such as opening and top-hat segmentation to yield thermal signatures for each subject. Four thermal images taken over a period of six months were used to generate thermal signatures and a thermal template for each subject, the thermal template contains only the most prevalent and consistent features. Finally a similarity measure technique was used to match signatures to templates and the Principal Component Analysis (PCA) was used to validate the results of the matching process. Thirteen subjects were used for testing the developed technique on an in-house thermal imaging system. The matching using an Euclidean-based similarity measure showed 88% accuracy in the case of skeletonized signatures and templates, we obtained 90% accuracy for anisotropically diffused signatures and templates. We also employed the Manhattan-based similarity measure and obtained an accuracy of 90.39% for skeletonized and diffused templates and signatures. It was found that an average 18.9% improvement in the similarity measure was obtained when using diffused templates. The Euclidean- and Manhattan-based similarity measure was also applied to skeletonized signatures and templates of 25 subjects in the C-X1 database. The highly accurate results obtained in the matching process along with the generalized design process clearly demonstrate the ability of the thermal infrared system to be used on other thermal imaging based systems and related databases. A novel user-initialization registration of thermal facial images has been successfully implemented. Furthermore, the novel approach at developing a thermal signature template using four images taken at various times ensured that unforeseen changes in the vasculature did not affect the biometric matching process as it relied on consistent thermal features.

Information systems to support decision-making in *construction owner organizations: A data warehousing approach

Construction organizations typically deal with large volumes of project data containing valuable information. It is found that these organizations do not use these data effectively for planning and decision-making. There are two reasons. First, the information systems in construction organizations are designed to support day-to-day construction operations. The data stored in these systems are often non-validated, non-integrated and are available in a format that makes it difficult for decision makers to use in order to make timely decisions. Second, the organizational structure and the IT infrastructure are often not compatible with the information systems thereby resulting in higher operational costs and lower productivity. These two issues have been investigated in this research with the objective of developing systems that are structured for effective decision-making. ^ A framework was developed to guide storage and retrieval of validated and integrated data for timely decision-making and to enable construction organizations to redesign their organizational structure and IT infrastructure matched with information system capabilities. The research was focused on construction owner organizations that were continuously involved in multiple construction projects. Action research and Data warehousing techniques were used to develop the framework. ^ One hundred and sixty-three construction owner organizations were surveyed in order to assess their data needs, data management practices and extent of use of information systems in planning and decision-making. For in-depth analysis, Miami-Dade Transit (MDT) was selected which is in-charge of all transportation-related construction projects in the Miami-Dade county. A functional model and a prototype system were developed to test the framework. The results revealed significant improvements in data management and decision-support operations that were examined through various qualitative (ease in data access, data quality, response time, productivity improvement, etc.) and quantitative (time savings and operational cost savings) measures. The research results were first validated by MDT and then by a representative group of twenty construction owner organizations involved in various types of construction projects. ^

The effectiveness of direct -instruction and student -centered teaching methods on students' functional understanding of plagiarism

In an attempt to improve students' functional understanding of plagiarism a variety of approaches were tried within the context of a more comprehensive information literacy program. Sessions were taught as a one hour "module" inside a required communications skills class at a small private university. Approaches taken included control sessions (a straightforward PowerPoint presentation of the material), direct instruction sessions (featuring mostly direct lecture but with some seatwork as well), and student-centered sessions (utilizing role playing and group exercises). Students were taught basic content and definitions regarding plagiarism, what circumstances or instances constitute plagiarism, where to go for help in avoiding plagiarism, and what constitutes appropriate paraphrasing and citation. Pre-test and post-test scores determined students' functional understanding primarily by their ability to recognize properly and improperly paraphrased text, content understanding by their combined total score on a multiple choice quiz, and their attitude and conceptual understanding by their ability to recognize circumstances which would constitute plagiarism. While students improved across all methods the study was unable to identify one that performed significantly better than the others. The results supported the need for more education with regard to plagiarism and suggested a need for perhaps more time on task and/or a mixed approach towards conveying the content.

Network construction and graph theoretical analysis of functional language networks in pediatric epilepsy

This dissertation introduces a new approach for assessing the effects of pediatric epilepsy on the language connectome. Two novel data-driven network construction approaches are presented. These methods rely on connecting different brain regions using either extent or intensity of language related activations as identified by independent component analysis of fMRI data. An auditory description decision task (ADDT) paradigm was used to activate the language network for 29 patients and 30 controls recruited from three major pediatric hospitals. Empirical evaluations illustrated that pediatric epilepsy can cause, or is associated with, a network efficiency reduction. Patients showed a propensity to inefficiently employ the whole brain network to perform the ADDT language task; on the contrary, controls seemed to efficiently use smaller segregated network components to achieve the same task. To explain the causes of the decreased efficiency, graph theoretical analysis was carried out. The analysis revealed no substantial global network feature differences between the patient and control groups. It also showed that for both subject groups the language network exhibited small-world characteristics; however, the patient's extent of activation network showed a tendency towards more random networks. It was also shown that the intensity of activation network displayed ipsilateral hub reorganization on the local level. The left hemispheric hubs displayed greater centrality values for patients, whereas the right hemispheric hubs displayed greater centrality values for controls. This hub hemispheric disparity was not correlated with a right atypical language laterality found in six patients. Finally it was shown that a multi-level unsupervised clustering scheme based on self-organizing maps, a type of artificial neural network, and k-means was able to fairly and blindly separate the subjects into their respective patient or control groups. The clustering was initiated using the local nodal centrality measurements only. Compared to the extent of activation network, the intensity of activation network clustering demonstrated better precision. This outcome supports the assertion that the local centrality differences presented by the intensity of activation network can be associated with focal epilepsy.^