VictorJuiz/thesis huggingface dataset:
A Logical Theory of Joint Ability in the Situation Calculus

Logic-based formalizations of dynamical systems are central to the field of knowledge representation and reasoning. These formalizations can be used to model agents that act, reason,and perceive in a changing and incompletely known environment. A key aspect of reasoning about agents and their behaviors is the notion of joint ability. A team of agents is jointly able to achieve a goal if despite any incomplete knowledge or even false beliefs about the world or each other, they still know enough to be able to get to a goal state, should they choose to do so. A particularly challenging issue associated with joint ability is how team members can coordinate their actions. Existing approaches often require the agents to communicate to agree on a joint plan. In this thesis, we propose an account of joint ability that supports coordination among agents without requiring communication, and that allows for agents to have incomplete (or even false) beliefs about the world or the beliefs of other agents. We use ideas from game theory to address coordination among agents. We introduce the notion of a strategy for each agent which is basically a plan that the agent knows how to follow. Each agent compares her strategies and iteratively discards those that she believes are not good considering the strategies that the other agents have kept. Our account is developed in the situation calculus, a logical language suitable for representing and reasoning about action and change that is extended to support reasoning about multiple agents. Through several examples involving public, private, and sensing actions, we demonstrate how symbolic proof techniques allow us to reason about team ability despite incomplete specifications about the beliefs of agents.

Keywords: joint ability
multiagent systems
situation calculus
knowledge representation
reasoning about action
artificial intelligence
intelligent agent
iterated elimination of dominated strategies
game theory
computer science
Advisor: Levesque, Hector J.
Lesperance, Yves
Recovery of Surface Active Material from Municipal Wastewater Activated Sludge

Wastewater activated sludge is produced during the biological treatment of wastewater. After treating the sewage, the sludge is allowed to settle. Part of the settled material is returned to the treatment process as return activated sludge (RAS) and the excess is removed as waste activated sludge (WAS). The handling and disposal of the sludge are energy and capital-intensive treatments, with a significant environmental impact. This work studies the possibility to utilize RAS (an example of wastewater sludge) as a source of surface active agents. The results indicate that higly surface active materials can be extracted from RAS, and that the RAS extract has potential applications as a detergent and wood adhesive. The results also suggest that recovering a suite of products from RAS, a biological heterogenous source, can be technically feasible. An effective alkaline treatment was developed (at pH>12) that can extract up to 75% of the sludge’s organic matter, a yield higher than previously reported. Increasing the extraction pH increased the extract surface activity, which is linked to increasing the amount of higher molecular weight molecules and the presence of phospholipids. Increasing the extraction pH beyond 11 was also related to extensive cell lysis, increasing significantly the amount of recovered material and the surface activity of the extract. The alkaline extract has properties comparable to commercial detergents. Without further purification, the extract has a low surface tension (37 mN/m on average) and performs similarly to synthetic detergents. Further assessment of the RAS extract (insensitivity to pH, surface tension, interfacial tension) suggests that it may be suitable for commercial applications. The RAS extract can also be formulated into wood adhesives using glutaraldehyde as a crosslinker. The extract fraction with 10-50 kDa constituents at pH 9 achieves high adhesive shear strengths (4.5 MPa on average, at 30% relative humidity and 25°C) with 40% of wood failure. The adhesive strength of RAS-based adhesives is strongly correlated to its protein content.

Keywords: alkaline extraction
biosurfactacts
bio-based adhesives
wastewater activated sludge
ultrafiltration
fractionation
Advisor: Acosta, Edgar
Allen, D. Grant
The Gromov Width of Coadjoint Orbits of Compact Lie Groups

The ﬁrst part of this thesis investigates the Gromov width of maximal dimensional coadjoint orbits of compact simple Lie groups. An upper bound for the Gromov width is provided for all compact simple Lie groups but only for those coadjoint orbits that satisfy a certain technical assumption, whereas the lower bound is proved only for groups of type A, but without the technical restriction. The two bounds use very different techniques: the proof of the upper bound uses more analytical tools, while the proof of the lower bound is more geometric. The second part of the thesis is a short report on a joint project with my supervisor, which was concerned with the relationship between two different definitions of orbifolds: one using Lie groupoids and the other involving diﬀeologies. The results are summarized in Chapter 5 of this text.

Keywords: Symplectic Topology
Lie Theory
Advisor: Karshon, Yael
Industry Influences on Corporate Financial Policies

This thesis examines how industry differences affect both corporate financial policies and valuation. Chapter 1 studies the impact of a firm‟s product market power, through the channel of business risk, on its dividend policy. Using three measures of market power – the Herfindahl-Hirschman index, the degree of import competition and the Lerner Index, I find that market power positively affects a firm‟s dividend decision, both in terms of the probability of paying a dividend and the amount of the dividend. I also provide evidence that the route through which market power affects the dividend decision is business risk: a firm with greater market power is less risky and hence more likely to pay dividends and pay more dividends. Chapter 2 examines industry differences on the level of corporate cash holdings since the 1970s with a focus on high-tech versus non-high-tech firms. In contrast to the average cash-to-assets ratio of non-high-tech firms, which remained stable at a level close to that of the 1970s, the average cash ratio of high-tech firms more than tripled from 1980 to 2007. I find that this difference can be explained by changing firm characteristics across these two industrial sectors. This is due to high-tech new listings, whose changing characteristics and increasing proportion have caused the population characteristics of the high-tech sector to tilt toward those typical of firms that hold more cash. Chapter 3 investigates the industry impact on the marginal value of corporate cash holdings and how it has evolved over time. I find that on average the difference in the marginal value of cash between high-tech and non-high-tech firms has become larger during the sub-period which covers the 1990s and 2000s, as compared to earlier time periods. Furthermore, I show that this increase can be explained by changing firm characteristics related to the precautionary demand for holding cash. Overall, this thesis shows that industry differences, represented by varying degrees of market power and changing firm characteristics, have significantly affected corporate financial policies, both in terms of dividend policy and optimal cash holdings.

Keywords: market power
high-tech
dividend policy
cash policy
Advisor: Booth, Laurence
Mothering in the Context of Criminalized Women's Lives: Implications for Offending

While it is widely known that most women convicted of crime or serving time in prison are mothers, little research has focused specifically on whether and how the daily activity of mothering affects women’s criminal behaviour. On the one hand, criminalized women often report that parenting is important to them. If mothering reduces the opportunities to engage in crime, strengthens informal controls, and increases the costs of crime, it should discourage offending. On the other hand, the challenges of mothering are particularly onerous for women who are economically disadvantaged, marginalized, and socially isolated – that is, the types of women who are most likely to engage in crime. If children create an imperative for resources that women cannot accommodate legally while simultaneously exacerbating psychological and emotional strains, women may turn to criminal behaviour. Using a sample of 259 criminalized women, I explore the mothering-crime relationship by examining whether the daily responsibilities and demands of living with children affect month-to-month changes in women’s involvement in offending. Controlling for criminalized women’s relationships, socio-economic contexts, living arrangements, and leisure pursuits, I provide quantitative evidence about the relationship between mothering and property crime, drug use, drug dealing, and women’s use of violence against their intimate partners. I supplement this analysis with qualitative evidence from in-depth interviews with these women. Results indicate a non-uniform effect of mothering on criminalized women’s offending: living with children discourages women from engaging in property crime and using drugs, makes no difference to whether or not they deal drugs or engage in ‘mutual’ violence with intimate partners, and increases their use of ‘sole’ violence against intimate partners. I discuss why living with children is an important “local life circumstance” shaping variation in criminalized women’s commission of some, but not all, offences, and consider the policy implications of these findings.

Keywords: Offending
Local Life Circumstances
Criminalized Women
Mothering
Advisor: Gartner, Rosemary
Identification and Characterization of A Novel APC Modulating Type 2 Immunity against Influenza Virus Infection

Herein we describe a novel APC population in mice, designated LAPCs. LAPCs are BM-derived myeloid leukocytes, distinctive from other immune cells. As APCs, LAPCs respond to various virus infections including VACV, CBV3 and influenza A virus. Notably, influenza virus-activated LAPCs capture Ag in the lungs, and migrate into the DLN and spleen with delayed kinetics compared to DCs. In the DLN, influenza virus-activated LAPCs co-localize with T cells and selectively induce Th2 effector cell polarization by cell-cell contact-mediated modulation of GATA-3 expression. In support of a role for LAPCs in anti-influenza T2 immunity, adoptive transfer experiments revealed that influenza virus-activated LAPCs selectively augmented Th2 effector T cell responses in the DLN, increased production of anti-influenza immunoglobulin (Ig) including IgE in peripheral blood and increased levels of IL-5 and eotaxin in BAL fluid in recipient influenza infected mice. LAPC recipient mice exhibited exacerbated pulmonary pathology, with delayed viral clearance and enhanced pulmonary eosinophilia. Collectively, these results highlight the importance of LAPCs as novel immuno-modulators of T2 immunity during influenza A virus infection, which is implicated in both immunoprotection and immunopathology. Subsequently, we examined the immuno-modulatory effect of type-I IFN, specifically IFN-on the immune response against pulmonary influenza virus infection. We have provided evidence that a single dose of IFN- (1×105U) augmented DC migration but inhibited LAPC migration into the DLN. mIFN- treatment skewed the immune balance toward T1 immunity, identified as enhanced T1 effector T cell responses (Th1 and CTL) but diminished T2 effector T cell responses (Th2) in influenza virus infected mice. Finally, IFN- treated mice showed accelerated viral clearance and diminished pulmonary eosinophilia in lung tissue compared to control mice. Taken together, these results suggest that anti-influenza T1 and T2 immunity may be modulated differently by DCs and LAPCs, respectively. Furthermore, these results support the therapeutic potential of type I IFNs, especially IFN-, as an alternative antiviral to control both viral replication and immunopathology induced by influenza A virus infection in humans.

Keywords: viral infection
antigen presenting cells
Advisor: Fish, Eleanor N.
The Expanding Diversity of Plant U-box E3 Ubiquitin Ligases in Arabidopsis: Identifying AtPUB18 and AtPUB19 Function during Abiotic Stress Responses

The ability of plants to sense and respond to environmental and endogenous signals is essential to their growth and development. As part of these diverse cellular functions, ubiquitin-mediated proteolysis has emerged to be an important process involved in how plant signalling pathways can be regulated in response to such cues. Of the three enzymes involved in linking ubiquitin to protein targets, E3 ubiquitin ligases are of interest as they confer substrate specificity during this ubiquitination process. The overall focal point of this research is on plant U-box (PUB) E3 ubiquitin ligases, a family that has undergone a large gene expansion possibly attributable to the regulation of biological processes unique to the plant life cycle. In Arabidopsis there are 64 predicted PUBs, many for which biological roles have yet to be determined. And as research continues to uncover PUB functions, the functional diversity in the gene family will likely expand. Specifically the focus of this research is on characterizing two ARM repeat-containing PUBs – AtPUB18 and AtPUB19. General analysis of pub18 and pub19 T-DNA insertion lines for growth defects did not yield distinct altered phenotypes. Closer inspection of selected lines showed independent gene assortment phenotypes that, with further inordinately convoluted pursuit, proved to have an AtPUB18/19-unrelated outcome. The availability of Arabidopsis microarray databases provided exploratory expression profiling as a starting point to elucidate PUB function. AtPUB19 and closely related AtPUB18 are notable for their increased expression during abiotic stresses. While condition-directed germination assays showed a decreased sensitivity to salt and ABA for pub18 pub19 double insertion lines, no related change in susceptibility to these or other abiotic stress treatments were seen with condition-directed root growth assays. Thus, this preliminary work has begun to reveal insight into the complex abiotic stress-related roles AtPUB18 and AtPUB19 have during mediation of environmental stress acclimation in Arabidopsis.

Keywords: ubiquitination
E3 ubiquitin ligase
Arabidopsis
U-box
plant U-box
degradation
abiotic stress
ABA
salinity
germination
root elongation
non-Mendelian segregation
T-DNA insertions
26S proteasome
programmed cell death
leaf senescence
bioinformatics
microarrays
Bio-Array Resource
ovule abortion
pollen collapse
DEX rescue
chlorophyll retention
double mutant generation
higher order knock-outs
partial redundancy
Advisor: Goring, Daphne
Automated Software Solutions to Logic Restructuring and Silicon Debug

With the growing size of modern integrated circuit designs, automated design tools have taken an important role in the development ﬂow. Through the use of these tools, designers can develop circuits in a robust and systematic manner. However, due to the high complexity of the designs and strict resource constraints, it is inevitable that mistakes will be made during the design process. Today, a significant amount of development time is dedicated to pre- and post-silicon verification and debug, which can increase the production cost and jeopardize the future growth of the industry. Hence, there is an urgent need for scalable automated verification and debugging techniques, as well as new methodologies that improve circuits in order to reduce errors. This dissertation presents a set of methodologies to automate three important processes in the VLSI design ﬂow that are related to improving the quality of designs. The ﬁrst contribution, automated logic restructuring, is a systematic methodology used to devise transformations in logic designs. This technique can be used for a wide range of post-synthesis applications, such as logic optimization, debugging and engineer change orders, which modify synthesized designs to accommodate their goals. Better results can be achieved if there are various transformations for those applications to select. Experiments demonstrate that the proposed technique is capable of re-structuring designs at a location where other methods fail and also identifies multiple transformations for each location. The second contribution is a logic-level, technology-independent soft error rate mitigation technique. Soft errors are transient logic pulses induced by radiation from the environment or released from the silicon chip package materials. This technique identifies conditions where soft errors can cause discrepancies at the primary outputs of the design, and eliminates those conditions through wire replacement. Experimental results conﬁrm the eﬀectiveness of the proposed technique and show that the soft error rate can be reduced at no or small additional overhead to other design parameters. The ﬁnal contribution of the dissertation is a software environment for post-silicon debug. The proposed algorithms analyze the data collected during operating silicon chips at speed in the test system and provide useful information to expedite the debugging process. Experiments show that the proposed techniques eliminate one third of design modules, which are suspected as the root cause of the failure. Such a reduction can save engineers time on manual inspection and shorten the turnaround time of silicon debug.

Keywords: VLSI Testing
VLSI Debug
Advisor: Veneris, Andreas
Pillar-array Based Two-dimensional Photonic Crystal Cavities: A New Paradigm for Optical Sensing

Pillar-array based optical cavities have unique properties, e.g., having a large and connected low dielectric index space (normally air space), exhibiting a large band gap for transverse magnetic modes, having a large percent of electric field energy in air and standing on a substrate. These properties make them well suitable for applications such as optical sensing and terahertz quantum cascade lasers. However there has been rare research in it due to the common belief that pillar arrays have excessive leakage to the substrate. With careful design, we provided several methods to reduce such a leakage and experimentally proved a high quality factor (Q) pillar-array based cavity is practical. We also explored the usage of such a cavity for optical sensing. Numerical methods such as finite-difference time-domain and plane-wave expansion were used in the design of the cavity. Then in microwave spectrum, cavities consisting of dielectric rods were used to test the validity of the theory. Additionally, we observed that a high-Q cavity for modes above light line is feasible and it is very suitable to measure the optical absorption of materials introduce inside the mode volume. Finally in the optical domain, pillar arrays were fabricated in Si/SiO2 material system and measured. Q as high as 27,600 was shown and when applying accurate refractive indices, for every delta n = 0.01, the peak wavelength shifted as large as 3.5 nm, testifying the ultra sensitivity of the cavity to the environmental dielectric change.

Keywords: Optical sensor
Photonic crystal
Optical microcavity
Advisor: Ruda, Harry E.
Three Essays on Employment and Compensation in China

The three essays in this dissertation address two prominent labour market and human resource management issues in contemporary China: gender pay differentials; and pay-performance relationship in managerial compensation. Using three unique data sets, this dissertation examines three areas: the managerial gender pay gap in top corporate jobs; the effect of state ownership and managerial power on CEO compensation; and the gender pay compensation differentials in base pay, performance pay and total pay.

Keywords: Employment
Compensation
China
Advisor: Gunderson, Morley
ZnT8 Zinc Transporter in the Regulation of Pancreatic Beta Cell Function and Glucose Homeostasis

Zinc levels in pancreatic islets are amongst the highest in the body and reduction in its levels in the pancreas has been associated with diabetes. The link between zinc, diabetes and islet dysfunction has recently been reiterated by genome-wide association studies that identified an islet cell membrane zinc transporter, SLC30A8 (ZnT8), as one of the risk loci for type 2 diabetes. Here we begin to elucidate the molecular mechanisms linking ZnT8 and type 2 diabetes by characterizing global and beta cell specific ZnT8 knockout mice. Our results associate absence of ZnT8 with a reduction in zinc sequestration into insulin vesicles, abnormal insulin granule morphology, down regulation of insulin processing enzymes, abnormal insulin secretion, elevated plasma proinsulin levels and diet-induced obesity and insulin resistance. Furthermore, we observed differential zinc uptake properties by two human ZnT8 variants. We report here that the W325 variant of ZnT8 is more efficient in mediating zinc transport than the at risk variant, R325. Cumulatively, these results suggest that ZnT8 is crucially important for zinc transport and zinc-insulin crystallization in insulin granules of the pancreatic beta cell.

Keywords: pancreatic islet
diabetes
zinc
beta cell
insulin
Advisor: Wheeler, Michael
Inside the Black Box: Understanding the Role of Institutions in Bridging the Digital Divide

This dissertation is about the role of institutions in bridging the Digital Divide. Its thesis is that governments must encourage the consistently increased use of information and communications technology (“ICT”) if they hope to foster sustained economic growth. Superficially, the Digital Divide describes differences in ICT usage between rich and poor nations, but it is more profoundly concerned with poor nations’ integration into a global economy. Intensive academic study demonstrates that four factors are critical to the relationship between ICT usage and economic growth: institutions; telecommunications infrastructure; investment in ICT; and human capital. The dissertation addresses three perceived shortcomings in the literature. First, proponents of institutions’ importance use the term vaguely, often obscuring important distinctions between policies, laws and institutions, thereby inhibiting detailed analysis. Second, many writers see the institutional reform needed for growth as an exceedingly slow process due to factors beyond governments’ control. Third, the literature does not adequately address which institutions are salient to the relationship between ICT usage and economic growth or how to create them. The dissertation attributes more precise meanings to key terms and contests the view that institutional reform can only proceed at a glacial pace. Its primary goal, however, is to identify specific institutions that help mediate the relationship and to suggest how they might be built relatively quickly. Good institutions can create the enabling environment that allows for the building of telecommunications infrastructure, investment in ICT goods and services and the development of human capital to lead to economic growth. The analysis of institutions identifies several salient institutions and concludes that the manner in which they are designed often determines their effectiveness. Case studies of Singapore and Malaysia examine their successful, but divergent, development paths. Their different rates of development can be attributed, in part, to the quality of their institutions.

Keywords: Institutions
Economic Development
Information and Communications Technology
Digital Divide
Advisor: Trebilcock, Michael