Birds in agricultural mosaics : the influence of landscape pattern and countryside heterogeneity

Agricultural environments are critical to the conservation of biota throughout the world. Efforts to identify key influences on the conservation status of fauna in such environments have taken complementary approaches. Many studies have focused on the role of remnant or seminatural vegetation and emphasized the influence on biota of spatial patterns in the landscape. Others have recognized that many species use diverse ‘‘countryside’’ elements within farmland, and emphasize the benefits of landscape heterogeneity for conservation. Here, we investigated the effect of independent measures of both the spatial pattern (extent and configuration) and heterogeneity of elements (i.e., land uses/vegetation types) on bird occurrence in farm-scale agricultural mosaics in southeastern Australia. Birds were sampled in all types of elements in 27 mosaics (each 1 3 1 km) selected to incorporate variation in cover of native vegetation and the number of different element types in the mosaic. We used an information-theoretic approach to identify the mosaic properties that most strongly influenced bird species richness. Subgroups of birds based on habitat requirements responded most strongly to the extent of preferred elements in mosaics. Woodland birds were richer in mosaics with higher cover of native vegetation while open-tolerant species responded to the extent of scattered trees. In contrast, for total species richness, mosaic heterogeneity (richness of element types) and landscape context (cover of native vegetation in surrounding area) had the greatest influence. These results showed that up to 76% of landscape-level variation in richness of bird groups is attributable to mosaic properties directly amenable to management by landowners. Key implications include (1) conservation goals for farm landscapes must be carefully defined because the richness of different faunal components is influenced by different mosaic properties; (2) the extent of native vegetation is a critical influence in agricultural environments because it drives the farmscale richness of woodland birds and has a broader context effect on total bird richness in mosaics; (3) land-use practices that enhance the heterogeneity of farmland mosaics are beneficial for native birds; and (4) the cumulative effect of even small elements in farm mosaics contribute to the structural properties of entire landscapes.

Social media crises in the organization: exploring management strategies through cases from France and Brazil

The aim of this Master’s thesis has been to shed light on the response strategies that organizations are implementing when facing a crisis created on or amplified by social media. Since the development of social media in the late 1990s, the interplay between the online and the offline spheres has become more complex, and characterized by dynamics of a new magnitude, as exemplified by the wave of “Twitter” Revolutions or the Wikileaks scandal in the mid 2000s, where online behaviors deeply affected an offline reality. The corporate world does not escape to this worldwide phenomenon, and there are more and more examples of organizational reputations destroyed by social media “fireballs”. As such, this research aims to investigate, through the analysis of six recent cases of corporate crises (2013-2015) from France and Brazil, different strategies currently in use in order to identify examples of good and bad practices for companies to adopt or avoid when facing a social media crisis. The first part of this research is dedicated to a review of the literature on crisis management and social media. From that review, we were able to design a matrix model, the Social Media Crisis Management Matrix, with which we analyzed the response strategies of the six companies we selected. This model allows the conceptualization of social media crises in a multidimensional matrix built to allow the choice, according to four parameters, of the most efficient (that is: which will limit the reputational damage) response strategy. Attribution of responsibility for the crisis to the company by stakeholders, the origin of the crisis (internal or external), the degree of reputational threat, and the emotions conveyed online by stakeholders help companies determining whether to adopt a defensive response, or an accommodative response. The results of the analysis suggest that social media crises are rather manichean objects for they are, unlike their traditional offline counterparts, characterized by emotional involvement and irrationality, and cannot be dealt with traditionally. Thus analyzing the emotions of stakeholders proved to be, in these cases, an accurate thermometer of the seriousness of the crisis, and as such, a better rudder to follow when selecting a response strategy. Consequently, in the cases, companies minimized their reputational damage when responding to their stakeholders in an accommodative way, regardless of the “objective” situation, which might be a change of paradigm in crisis management.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Fluxo e tecnologias de informação no contexto brasileiro de inventário de ciclo de vida

Pós-graduação em Ciência da Informação - FFC

Temperature changes in dental pulp associated with use of power grinding equipment on equine teeth

Objective To quantify the temperature changes in the dental pulp associated with equine dental procedures using power grinding equipment. Design A matrix experimental design with replication on the same sample was followed to allow the following independent variables to be assessed: horse age (young or old), tooth type (premolar or molar), powered grinding instrument (rotating disc or die grinder), grinding time (15 or 20 seconds) and the presence or absence of water coolant. Procedure Sound premolar and molar teeth from a 6-year-old horse and a 15-year-old horse, which had been removed postmortem, were sectioned parallel to the occlusal plane to allow placement of a miniature thermocouple at the level of the dental pulp. The maximum temperature increase, the time taken to reach this maximum and the cooling time were measured (n=10 in each study). The teeth were placed in a vice and the instrument used on the tooth as per clinical situation. Results Significant differences were recorded for horse age (P < 0.001), instrument type (P < 0.001), grinding time (P < 0.001) and presence or absence of coolant (P < 0.001). There was no significant difference for tooth type. Conclusion Thermal insult to the dental pulp from the use of power instruments poses a significant risk to the tooth. This risk can be reduced or eliminated by appropriate selection of treatment time and by the use of water irrigation as a coolant. The increased dentine thickness in older horses appears to mitigate against thermal injury from frictional heat.

A New Charging and Billing Model and Architecture for the Ubiquitous Consumer Wireless World

In a Ubiquitous Consumer Wireless World (UCWW) environment the provision, administration and management of the authentication, authorization and accounting (AAA) policies and business services are provided by third-party AAA service providers (3P-AAA-SPs) who are independent of the wireless access network providers (ANPs). In this environment the consumer can freely choose any suitable ANP, based on his/her own preferences. This new AAA infrastructural arrangement necessitates assessing the impact and re-thinking the design, structure and location of ‘charging and billing’ (C&B) functions and services. This paper addresses C&B issues in UCWW, proposing potential architectural solutions for C&B realization. Implementation approaches of these novel solutions together with a software testbed for validation and performance evaluation are addressed.

Plaintext Recovery in DES-like Cryptosystems Based on S-boxes with Embedded Parity Check

We describe an approach for recovering the plaintext in block ciphers having a design structure similar to the Data Encryption Standard but with improperly constructed S-boxes. The experiments with a backtracking search algorithm performing this kind of attack against modified DES/Triple-DES in ECB mode show that the unknown plaintext can be recovered with a small amount of uncertainty and this algorithm is highly efficient both in time and memory costs for plaintext sources with relatively low entropy. Our investigations demonstrate once again that modifications resulting to S-boxes which still satisfy some design criteria may lead to very weak ciphers. ACM Computing Classification System (1998): E.3, I.2.7, I.2.8.

The Planned and the Emergent: An Alternative Model of Learning and Literacy

Within academic institutions, writing centers are uniquely situated, socially rich sites for exploring learning and literacy. I examine the work of the Michigan Tech Writing Center's UN 1002 World Cultures study teams primarily because student participants and Writing Center coaches are actively engaged in structuring their own learning and meaning-making processes. My research reveals that learning is closely linked to identity formation and leading the teams is an important component of the coaches' educational experiences. I argue that supporting this type of learning requires an expanded understanding of literacy and significant changes to how learning environments are conceptualized and developed. This ethnographic study draws on data collected from recordings and observations of one semester of team sessions, my own experiences as a team coach and UN 1002 teaching assistant, and interviews with Center coaches prior to their graduation. I argue that traditional forms of assessment and analysis emerging from individualized instruction models of learning cannot fully account for the dense configurations of social interactions identified in the Center's program. Instead, I view the Center as an open system and employ social theories of learning and literacy to uncover how the negotiation of meaning in one context influences and is influenced by structures and interactions within as well as beyond its boundaries. I focus on the program design, its enaction in practice, and how engagement in this type of writing center work influences coaches' learning trajectories. I conclude that, viewed as participation in a community of practice, the learning theory informing the program design supports identity formation —a key aspect of learning as argued by Etienne Wenger (1998). The findings of this study challenge misconceptions of peer learning both in writing centers and higher education that relegate peer tutoring to the role of support for individualized models of learning. Instead, this dissertation calls for consideration of new designs that incorporate peer learning as an integral component. Designing learning contexts that cultivate and support the formation of new identities is complex, involves a flexible and opportunistic design structure, and requires the availability of multiple forms of participation and connections across contexts.

Working correlation structure misspecification, estimation and covariate design: Implications for generalised estimating equations performance

The method of generalised estimating equations for regression modelling of clustered outcomes allows for specification of a working matrix that is intended to approximate the true correlation matrix of the observations. We investigate the asymptotic relative efficiency of the generalised estimating equation for the mean parameters when the correlation parameters are estimated by various methods. The asymptotic relative efficiency depends on three-features of the analysis, namely (i) the discrepancy between the working correlation structure and the unobservable true correlation structure, (ii) the method by which the correlation parameters are estimated and (iii) the 'design', by which we refer to both the structures of the predictor matrices within clusters and distribution of cluster sizes. Analytical and numerical studies of realistic data-analysis scenarios show that choice of working covariance model has a substantial impact on regression estimator efficiency. Protection against avoidable loss of efficiency associated with covariance misspecification is obtained when a 'Gaussian estimation' pseudolikelihood procedure is used with an AR(1) structure.

Nonlinear model structure design and construction using orthogonal least squares and D-optimality design

A very efficient learning algorithm for model subset selection is introduced based on a new composite cost function that simultaneously optimizes the model approximation ability and model robustness and adequacy. The derived model parameters are estimated via forward orthogonal least squares, but the model subset selection cost function includes a D-optimality design criterion that maximizes the determinant of the design matrix of the subset to ensure the model robustness, adequacy, and parsimony of the final model. The proposed approach is based on the forward orthogonal least square (OLS) algorithm, such that new D-optimality-based cost function is constructed based on the orthogonalization process to gain computational advantages and hence to maintain the inherent advantage of computational efficiency associated with the conventional forward OLS approach. Illustrative examples are included to demonstrate the effectiveness of the new approach.

Variable-Structure Control Design of Switched Systems With an Application to a DC-DC Power Converter

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Design of SPR systems with dynamic compensators and output variable structure control

This paper presents necessary and sufficient conditions for the following problem: given a linear time invariant plant G(s) = N(s)D(s)-1 = C(sI - A]-1B, with m inputs, p outputs, p > m, rank(C) = p, rank(B) = rank(CB) = m, £nd a tandem dynamic controller Gc(s) = D c(s)-1Nc(s) = Cc(sI - A c)-1Bc + Dc, with p inputs and m outputs and a constant output feedback matrix Ko ε ℝm×p such that the feedback system is Strictly Positive Real (SPR). It is shown that this problem has solution if and only if all transmission zeros of the plant have negative real parts. When there exists solution, the proposed method firstly obtains Gc(s) in order to all transmission zeros of Gc(s)G(s) present negative real parts and then Ko is found as the solution of some Linear Matrix Inequalities (LMIs). Then, taking into account this result, a new LMI based design for output Variable Structure Control (VSC) of uncertain dynamic plants is presented. The method can consider the following design specifications: matched disturbances or nonlinearities of the plant, output constraints, decay rate and matched and nonmatched plant uncertainties. © 2006 IEEE.