Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

HPC management and engineering in the hybrid cloud

The evolution and maturation of Cloud Computing created an opportunity for the emergence of new Cloud applications. High-performance Computing, a complex problem solving class, arises as a new business consumer by taking advantage of the Cloud premises and leaving the expensive datacenter management and difficult grid development. Standing on an advanced maturing phase, today’s Cloud discarded many of its drawbacks, becoming more and more efficient and widespread. Performance enhancements, prices drops due to massification and customizable services on demand triggered an emphasized attention from other markets. HPC, regardless of being a very well established field, traditionally has a narrow frontier concerning its deployment and runs on dedicated datacenters or large grid computing. The problem with common placement is mainly the initial cost and the inability to fully use resources which not all research labs can afford. The main objective of this work was to investigate new technical solutions to allow the deployment of HPC applications on the Cloud, with particular emphasis on the private on-premise resources – the lower end of the chain which reduces costs. The work includes many experiments and analysis to identify obstacles and technology limitations. The feasibility of the objective was tested with new modeling, architecture and several applications migration. The final application integrates a simplified incorporation of both public and private Cloud resources, as well as HPC applications scheduling, deployment and management. It uses a well-defined user role strategy, based on federated authentication and a seamless procedure to daily usage with balanced low cost and performance.

EXAMINING THE IMPACT OF TEACHER PRACTICE ON STUDENT LEARNING IN INTERACTIVE RADIO INSTRUCTION (IRI) CLASSROOMS: LESSONS FROM NEW DELHI AND RAJASTHAN (INDIA)

This quantitative study examines the impact of teacher practices on student achievement in classrooms where the English is Fun Interactive Radio Instruction (IRI) programs were being used. A contemporary IRI design using a dual-audience approach, the English is Fun IRI programs delivered daily English language instruction to students in grades 1 and 2 in Delhi and Rajasthan through 120 30-minute programs via broadcast radio (the first audience) while modeling pedagogical techniques and behaviors for their teachers (the second audience). Few studies have examined how the dual-audience approach influences student learning. Using existing data from 32 teachers and 696 students, this study utilizes a multivariate multilevel model to examine the role of the primary expectations for teachers (e.g., setting up the IRI classroom, following instructions from the radio characters and ensuring students are participating) and the role of secondary expectations for teachers (e.g., modeling pedagogies and facilitating learning beyond the instructions) in promoting students’ learning in English listening skills, knowledge of vocabulary and use of sentences. The study finds that teacher practice on both sets of expectations mattered, but that practice in the secondary expectations mattered more. As expected, students made the smallest gains in the most difficult linguistic task (sentence use). The extent to which teachers satisfied the primary and secondary expectations was associated with gains in all three skills – confirming the relationship between students’ English proficiency and teacher practice in a dual-audience program. When it came to gains in students’ scores in sentence use, a teacher whose focus was greater on primary expectations had a negative effect on student performance in both states. In all, teacher practice clearly mattered but not in the same way for all three skills. An optimal scenario for teacher practice is presented in which gains in all three skills are maximized. These findings have important implications for the way the classroom teacher is cast in IRI programs that utilize a dual-audience approach and in the way IRI programs are contracted insofar as the role of the teacher in instruction is minimized and access is limited to instructional support from the IRI lessons alone.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Influência do uso e ocupação do solo na qualidade da água e no processo erosivo da bacia de captação do Rio Barro Preto, Coronel Vivida-PR

This study was developed in objecting to investigate the use and occupation of land in 1999, 2005, 2011 e 2015 and estimate soil degradation by laminar erosion and the relation with water quality in 2015 in the catchment basin of the Barro Preto river, Coronel Vivida – PR. For multitemporal analysis of use and occupation of land in the basin used in the Landsat 5, 7 and 8 images and Geographic Information System. The laminar erosion was estimated by the Universal Soil Loss Equation through the systematization of calculations of the factors that compose the equation in SPRING/INPE. The water quality of the studied river section was evaluated according to the Water Quality Idex and the Resolution CONAMA n. 357/2005. The multitemporal analysis of the use and occupation of land has demonstrated that basin is predominantly agricultural in all years studied, as well as the permanent preservation area presents it not regularized during the period in accordance with the Brazilian Forest Code in force. In relation the quantification of laminar soil erosion in the study period, the rainfall and runoff factor was estimated considering the rainfall data from 1986 to 2014 and resulted in a value of 11.573,47 MJ/ha.mm/a. The Dystrophic Red Latosol, Dystrophic Red Nitisol, Fluvisol and Leptosol soil erodibility factor were 0,0138, 0,0137, 0,0207, 0,0196 t.ha.h/ha.MJ.mm/a, respectively. The topographical factor has demonstrated that the catchment basin has the rough terrain because the moderate and moderate strong classes are dominant in the study area. The cover and management and support practice factors were estimated according to the multitemporal analysis of the use and occupation of land in the basin and the values ranged from 0,0006 to 0,0688. The soil losses by laminar erosion were simulated with agriculture areas with corn and soybeans in no-till. The soil losses with maize crop in no-till in 1999, 2005, 2011 and 2015 were 9.782,75, 10.592,71, 9.636,61 e 11.058,26 t/year, respectively, and soybeans crops in no-till were 15.140,01, 16.645,20, 14.662,14 e 17.049,85 t/year, respectively. In relation with water quality of the section studied river, the average of Water Quality Index during the season were 55,47, 53,09 and 49,72, for the first, second and third sample point, respectively. Indication a decrease in water quality since the source to the last sample point. It is concluded that the use and occupation of land in the catchment basin interferes in the water quality, as well as in soil degradation.

Knowledge management capabilities and organizational performance: an investigation into the effects of knowledge infrastructure and processes on organizational performance

Knowledge is one of the most important assets for surviving in the modern business environment. The effective management of that asset mandates continuous adaptation by organizations, and requires employees to strive to improve the company's work processes. Organizations attempt to coordinate their unique knowledge with traditional means as well as in new and distinct ways, and to transform them into innovative resources better than those of their competitors. As a result, how to manage the knowledge asset has become a critical issue for modern organizations, and knowledge management is considered the most feasible solution. Knowledge management is a multidimensional process that identifies, acquires, develops, distributes, utilizes, and stores knowledge. However, many related studies focus only on fragmented or limited knowledge-management perspectives. In order to make knowledge management more effective, it is important to identify the qualitative and quantitative issues that are the foundation of the challenge of effective knowledge management in organizations. The main purpose of this study was to integrate the fragmented knowledge management perspectives into the holistic framework, which includes knowledge infrastructure capability (technology, structure, and culture) and knowledge process capability (acquisition, conversion, application, and protection), based on Gold's (2001) study. Additionally, because the effect of incentives ̶̶ which is widely acknowledged as a prime motivator in facilitating the knowledge management process ̶̶ was missing in the original framework, this study included the importance of incentives in the knowledge management framework. This study also identified the relationship of organizational performance from the standpoint of the Balanced Scorecard, which includes the customer-related, internal business process, learning & growth, and perceptual financial aspects of organizational performance in the Korean business context. Moreover, this study identified the relationship with the objective financial performance by calculating the Tobin's q ratio. Lastly, this study compared the group differences between larger and smaller organizations, and manufacturing and nonmanufacturing firms in the study of knowledge management. Since this study was conducted in Korea, the original instrument was translated into Korean through the back translation technique. A confirmatory factor analysis (CFA) was used to examine the validity and reliability of the instrument. To identify the relationship between knowledge management capabilities and organizational performance, structural equation modeling (SEM) and multiple regression analysis were conducted. A Student's t test was conducted to examine the mean differences. The results of this study indicated that there is a positive relationship between effective knowledge management and organizational performance. However, no empirical evidence was found to suggest that knowledge management capabilities are linked to the objective financial performance, which remains a topic for future review. Additionally, findings showed that knowledge management is affected by organization's size, but not by type of organization. The results of this study are valuable in establishing a valid and reliable survey instrument, as well as in providing strong evidence that knowledge management capabilities are essential to improving organizational performance currently and making important recommendations for future research.

Managing and utilizing information flow for new products’ periodic account sales process

The goal was to understand, document and module how information is currently flown internally in the largest dairy organization in Finland. The organization has undergone radical changes in the past years due to economic sanctions between European Union and Russia. Therefore, organization’s ultimate goal would be to continue its growth through managing its sales process more efficiently. The thesis consists of a literature review and an empirical part. The literature review consists of knowledge management and process modeling theories. First, the knowledge management discusses how data, information and knowledge are exchanged in the process. Knowledge management models and processes are describing how knowledge is created, exchanged and can be managed in an organization. Secondly, the process modeling is responsible for visualizing information flow through discussion of modeling approaches and presenting different methods and techniques. Finally, process’ documentation procedure was presented. In the end, a constructive research approach was used in order to identify process’ related problems and bottlenecks. Therefore, possible solutions were presented based on this approach. The empirical part of the study is based on 37 interviews, organization’s internal data sources and theoretical framework. The acquired data and information were used to document and to module the sales process in question with a flowchart diagram. Results are conducted through construction of the flowchart diagram and analysis of the documentation. In fact, answers to research questions are derived from empirical and theoretical parts. In the end, 14 problems and two bottlenecks were identified in the process. The most important problems are related to approach and/or standardization for information sharing, insufficient information technology tool utilization and lack of systematization of documentation. The bottlenecks are caused by the alarming amount of changes to files after their deadlines.

Glutathione Transferases as Detoxification Agents: Structural and Functional Studies

Glutathione transferases (GSTs) are a diverse family of enzymes that catalyze the glutathione-dependent detoxification of toxic compounds. GSTs are responsible for the conjugation of the tripeptide glutathione (GSH) to a wide range of electrophilic substrates. These include industrial pollutants, drugs, genotoxic carcinogen metabolites, antibiotics, insecticides and herbicides. In light of applications in biomedicine and biotechnology as cellular detoxification agents, detailed structural and functional studies of GSTs are required. Plant tau class GSTs play crucial catalytic and non-catalytic roles in cellular xenobiotic detoxification process in agronomically important crops. The abundant existence of GSTs in Glycine max and their ability to provide resistance to abiotic and biotic stresses such as herbicide tolerance is of great interest in agriculture because they provide effective and suitable tools for selective weed control. Structural and catalytic studies on tau class GST isoenzymes from Glycine max (GmGSTU10-10, GmGSTU chimeric clone 14 (Sh14), and GmGSTU2-2) were performed. Crystal structures of GmGSTU10-10 in complex with glutathione sulfenic acid (GSOH) and Sh14 in complex with S-(p-nitrobenzyl)-glutathione (Nb-GSH) were determined by molecular replacement at 1.6 Å and 1.75 Å, respectively. Major structural variations that affect substrate recognition and catalytic mechanism were revealed in the upper part of helix H4 and helix H9 of GmGSTU10-10. Structural analysis of Sh14 showed that the Trp114Cys point mutation is responsible for the enhanced catalytic activity of the enzyme. Furthermore, two salt bridges that trigger an allosteric effect between the H-sites were identified at the dimer interface between Glu66 and Lys104. The 3D structure of GmGSTU2-2 was predicted using homology modeling. Structural and phylogenetic analysis suggested GmGSTU2-2 shares residues that are crucial for the catalytic activity of other tau class GSTs–Phe10, Trp11, Ser13, Arg20, Tyr30, Leu37, Lys40, Lys53, Ile54, Glu66 and Ser67. This indicates that the catalytic and ligand binding site in GmGSTU2-2 are well-conserved. Nevertheless, at the ligandin binding site a significant variation was observed. Tyr32 is replaced by Ser32 in GmGSTU2-2 and thismay affect the ligand recognition and binding properties of GmGSTU2-2. Moreover, docking studies revealed important amino acid residues in the hydrophobic binding site that can affect the substrate specificity of the enzyme. Phe10, Pro12, Phe15, Leu37, Phe107, Trp114, Trp163, Phe208, Ile212, and Phe216 could form the hydrophobic ligand binding site and bind fluorodifen. Additionally, side chains of Arg111 and Lys215 could stabilize the binding through hydrogen bonds with the –NO2 groups of fluorodifen. GST gene family from the pathogenic soil bacterium Agrobacterium tumefaciens C58 was characterized and eight GST-like proteins in A. tumefaciens (AtuGSTs) were identified. Phylogenetic analysis revealed that four members of AtuGSTs belong to a previously recognized bacterial beta GST class and one member to theta class. Nevertheless, three AtuGSTs do not belong to any previously known GST classes. The 3D structures of AtuGSTs were predicted using homology modeling. Comparative structural and sequence analysis of the AtuGSTs showed local sequence and structural characteristics between different GST isoenzymes and classes. Interactions at the G-site are conserved, however, significant variations were seen at the active site and the H5b helix at the C-terminal domain. H5b contributes to the formation of the hydrophobic ligand binding site and is responsible for recognition of the electrophilic moiety of the xenobiotic. It is noted that the position of H5b varies among models, thus providing different specificities. Moreover, AtuGSTs appear to form functional dimers through diverse modes. AtuGST1, AtuGST3, AtuGST4 and AtuGST8 use hydrophobic ‘lock–and–key’-like motifs whereas the dimer interface of AtuGST2, AtuGST5, AtuGST6 and AtuGST7 is dominated by polar interactions. These results suggested that AtuGSTs could be involved in a broad range of biological functions including stress tolerance and detoxification of toxic compounds.

Water-resources investigations in New Jersey, 1977 /

Panel title.

Collaborative Systems for Smart Environments: Trends and Challenges

Part 1: Introduction

Flow around a hemisphere-cylinder at high angle of attack and low Reynolds number. Part II: POD and DMD applied to reduced domains

Three-dimensional direct numerical simulations (DNS) have been performed on a finite-size hemispherecylinder model at angle of attack AoA = 20◦ and Reynolds numbers Re = 350 and 1000. Under these conditions, massive separation exists on the nose and lee-side of the cylinder, and at both Reynolds numbers the flow is found to be unsteady. Proper orthogonal decomposition (POD) and dynamic mode decomposition (DMD) are employed in order to study the primary instability that triggers unsteadiness at Re = 350. The dominant coherent flow structures identified at the lower Reynolds number are also found to exist at Re = 1000; the question is then posed whether the flow oscillations and structures found at the two Reynolds numbers are related. POD and DMD computations are performed using different subdomains of the DNS computational domain. Besides reducing the computational cost of the analyses, this also permits to isolate spatially localized oscillatory structures from other, more energetic structures present in the flow. It is found that POD and DMD are in general sensitive to domain truncation and noneducated choices of the subdomain may lead to inconsistent results. Analyses at Re = 350 show that the primary instability is related to the counter rotating vortex pair conforming the three-dimensional afterbody wake, and characterized by the frequency St ≈ 0.11, in line with results in the literature. At Re = 1000, vortex-shedding is present in the wake with an associated broadband spectrum centered around the same frequency. The horn/leeward vortices at the cylinder lee-side, upstream of the cylinder base, also present finite amplitude oscillations at the higher Reynolds number. The spatial structure of these oscillations, described by the POD modes, is easily differentiated from that of the wake oscillations. Additionally, the frequency spectra associated with the lee-side vortices presents well defined peaks, corresponding to St ≈ 0.11 and its few harmonics, as opposed to the broadband spectrum found at the wake.

Experimental and analytical methodologies for predicting peak loads on building envelopes and roofing systems

The performance of building envelopes and roofing systems significantly depends on accurate knowledge of wind loads and the response of envelope components under realistic wind conditions. Wind tunnel testing is a well-established practice to determine wind loads on structures. For small structures much larger model scales are needed than for large structures, to maintain modeling accuracy and minimize Reynolds number effects. In these circumstances the ability to obtain a large enough turbulence integral scale is usually compromised by the limited dimensions of the wind tunnel meaning that it is not possible to simulate the low frequency end of the turbulence spectrum. Such flows are called flows with Partial Turbulence Simulation.^ In this dissertation, the test procedure and scaling requirements for tests in partial turbulence simulation are discussed. A theoretical method is proposed for including the effects of low-frequency turbulences in the post-test analysis. In this theory the turbulence spectrum is divided into two distinct statistical processes, one at high frequencies which can be simulated in the wind tunnel, and one at low frequencies which can be treated in a quasi-steady manner. The joint probability of load resulting from the two processes is derived from which full-scale equivalent peak pressure coefficients can be obtained. The efficacy of the method is proved by comparing predicted data derived from tests on large-scale models of the Silsoe Cube and Texas-Tech University buildings in Wall of Wind facility at Florida International University with the available full-scale data.^ For multi-layer building envelopes such as rain-screen walls, roof pavers, and vented energy efficient walls not only peak wind loads but also their spatial gradients are important. Wind permeable roof claddings like roof pavers are not well dealt with in many existing building codes and standards. Large-scale experiments were carried out to investigate the wind loading on concrete pavers including wind blow-off tests and pressure measurements. Simplified guidelines were developed for design of loose-laid roof pavers against wind uplift. The guidelines are formatted so that use can be made of the existing information in codes and standards such as ASCE 7-10 on pressure coefficients on components and cladding.^

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.

Bringing forward semantic relations: Issues and proposals

Semantic relations are an important element in the construction of ontologies and models of problem domains. Nevertheless, they remain fuzzy or under-specified. This is a pervasive problem in software engineering and artificial intelligence. Thus, we find semantic links that can have multiple interpretations in wide-coverage ontologies, semantic data models with abstractions that are not enough to capture the relation richness of problem domains, and improperly structured taxonomies. However, if relations are provided with precise semantics, some of these problems can be avoided, and meaningful operations can be performed on them. In this paper we present some insightful issues about the modeling, representation and usage of relations including the available taxonomy structuring methodologies as well as the initiatives aiming to provide relations with precise semantics. Moreover, we explain and propose the control of relations as a key issue for the coherent construction of ontologies.