Active controls: A look at analytical methods and associated tools

A review of analytical methods and associated tools for active controls analysis and design problems is presented. Approaches employed to develop mathematical models suitable for control system analysis and/or design are discussed. Significant efforts have been expended to develop tools to generate the models from the standpoint of control system designers' needs and develop the tools necessary to analyze and design active control systems. Representative examples of these tools are discussed. Examples where results from the methods and tools have been compared with experimental data are also presented. Finally, a perspective on future trends in analysis and design methods is presented

On Irrelevance and Algorithmic Equality in Predicative Type Theory

Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To separate static and dynamic code, several static analyses and type systems have been put forward. We consider Pfenning's type theory with irrelevant quantification which is compatible with a type-based notion of equality that respects eta-laws. We extend Pfenning's theory to universes and large eliminations and develop its meta-theory. Subject reduction, normalization and consistency are obtained by a Kripke model over the typed equality judgement. Finally, a type-directed equality algorithm is described whose completeness is proven by a second Kripke model.Comment: 36 pages, superseds the FoSSaCS 2011 paper of the first author, titled "Irrelevance in Type Theory with a Heterogeneous Equality Judgement

Political vs Everyday Forms of Governance in Uzbekistan : the Illegal, Immoral and Illegitimate

Re-published in Informality, Labour Mobility and Precariousness: Supplementing the State for the Invisible and the Vulnerable (Springer, 2022)Based on extensive ethnographic fieldwork in Uzbekistan, this article looks at the way official state narratives are challenged by silent, unorganised, often unaware gestures of resistance at the bottom of a society. Footing on a framework suggested by Scott’s definition of infrapolitics (2012), we propose to incorporate informal practices in a definition of informality that is more inclusive and better explains the anatomy of a modern state, whose functioning rests on a combination of formal and informal practices. We suggest that this everyday dimension is of particular importance here when trying to understand the governance trajectories, as it allows to look critically, and from a broader perspective, at situations where individual and state perception of events, but also individual and state morality, diverge. By doing this, we propose that governance in transition states and societies may be regarded as a space where formal institutions and citizens (or informal institutions) compete for power and resources and thereby produce informal, alternative ‘legal orders’ and mechanisms that regulate public life in a given area. We will suggest that such a space of informal negotiation is vital in contexts where collective mobilisation and public articulation of social claims is not a preferred, or even available, strategy for citizens.Peer reviewe

Political vs everyday forms of governance in Uzbekistan: the illegal, immoral and illegitimate

Based on extensive ethnographic fieldwork in Uzbekistan, this article looks at the way official state narratives are challenged by silent, unorganised, often unaware gestures of resistance at the bottom of a society. Footing on a framework suggested by Scott's definition of infrapolitics (2012), we propose to incorporate informal practices in a definition of informality that is more inclusive and better explains the anatomy of a modern state, whose functioning rests on a combination of formal and informal practices. We suggest that this everyday dimension is of particular importance here when trying to understand the governance trajectories, as it allows to look critically, and from a broader perspective, at situations where individual and state perception of events, but also individual and state morality, diverge. By doing this, we propose that governance in transition states and societies may be regarded as a space where formal institutions and citizens (or informal institutions) compete for power and resources and thereby produce informal, alternative "legal orders" and mechanisms that regulate public life in a given area. We will suggest that such a space of informal negotiation is vital in contexts where collective mobilisation and public articulation of social claims is not a preferred, or even available, strategy for citizens

Explicit Substitutions for Contextual Type Theory

In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory. We first present a dependently typed lambda calculus with explicit substitutions for ordinary variables and explicit meta-substitutions for meta-variables. We then present a weak head normalization procedure which performs both substitutions lazily and in a single pass thereby combining substitution walks for the two different classes of variables. Finally, we describe a bidirectional type checking algorithm which uses weak head normalization and prove soundness.Comment: In Proceedings LFMTP 2010, arXiv:1009.218

The effects of surface pretreatment on the cyclic-fatigue characteristics of bonded aluminium-alloy joints

Accepted versio

There Are Such Things

Man and woman surrounded by flowers and archway; Moon and stars in backgroundhttps://scholarsjunction.msstate.edu/cht-sheet-music/11147/thumbnail.jp

Biofilm formation of Flavobacterium psychrophilum on various substrates

The ability of Flavobacterium psychrophilum to adhere to and form biofilms on different types of materials used on rainbow trout (Oncorhynchus mykiss) farms was evaluated in this study. F. psychrophilum NCIMB 1947T, was inoculated onto a variety of different surfaces, including stainless steel, plastic, glass, wood, and zinc pyrithione encapsulated antibacterial plastic. The samples were then cultured in a humidified chamber or transferred into fish tanks containing either (1) freshwater or (2) filtered lake water. The formation of biofilms was quantified by fluorescent microscopy. F. psychrophilum formed biofilms on all of the surfaces tested; however, the adherence of the bacterium to the antibacterial plastic was much lower than the attachment observed on the other surfaces, illustrating the bacteriostatic properties of this material for F. psychrophilum. Moreover, bacterial numbers were greater on the surfaces maintained in lake water compared with those maintained in freshwater. The mineral composition of the lake water may have been responsible for the increased bacterial adherence observed between the two types of water. Treatment of the water, regular cleaning of equipment and the use of antimicrobial material to house the fish may help reduce biofilm formation by F. psychrophilum in fish farming systems