Timed Transition Automata as Numerical Planning Domain

A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The language of timed words accepted by a timed automaton, the possible sequences of system or agent behaviour, can be described in term of an appropriate planning domain encapsulating the timed actions patterns and constraints. The time words recognition problem is then posed as a planning problem where the goal is to reach a final state by a sequence of actions, which corresponds to the timed symbols labeling the automaton transitions. The transformation is proved to be correct and complete and it is space/time linear on the automaton size. Experimental results shows that the performance of the planning domain obtained by transformation is scalable for real world applications. A major advantage of the planning based approach, beside of the solving the parsing problem, is to represent in a single automated reasoning framework problems of plan recognitions, plan synthesis and plan optimisation.

In the name of the father, son, and grandson:succession patterns and the Kim dynasty

This paper seeks to understand North Korea’s Kim Il Sung to Kim Jong Il and Kim Jong Il to Kim Jong Un’s hereditary transition by proposing a comparative analysis of several dictatorship families. The paper utilizes totalitarian successions in Nicaragua with García and Debayle, in Haiti with the Duvalier family, in Syria with the al-Assads, in Azerbaijan with the Aliyevs, in Congo with the Kabilas in order to draw parallels and difference with the North Korea. Eventually, North Korea’s control over information and its management of myths are highlighted as factors that have enabled the country’s hereditary transition, though new patterns of domestic governance might lead to a different political environment over the Korean peninsula.

Social change in Central and Eastern Europe: General trends and national patterns

The paper addresses five issue areas. First it describes the plurality of trajectories in central and eastern European transformations, offering a broad typology. Then it addresses the drift between acceptance of democracy and the market, owing to growing inequalities. Third, problems of poverty and exclusion are addressed. Fourth, it is addressed if any known model of redistribution emerged in the post-transition economies. Fifth, consequences of the populist turn in European policies are being analyzed. Influences of the EU practices will be dealt with and some preliminary conclusions drawn. These suggest a strong intertwining between social and economic performance that limit theoretically conceivable – neoliberal, social democratic, postmodern or conservative - policy choices.

Water Uptake Patterns of an Invasive Exotic Plant in Coastal Saline Habitats

Schinus terebinthifolius Raddi (Schinus) is one of the most widely found woody exotic species in South Florida. This exotic is distributed across environments with different hydrologic regimes, from upland pine forests to the edges of sawgrass marshes and into saline mangrove forests. To determine if this invasive exotic had different physiological attributes compared to native species in a coastal habitat, we measured predawn xylem water potentials (Ψ), oxygen stable isotope signatures (δ18O), and sodium (Na+) and potassium (K+) contents of sap water from plants within: (1) a transition zone (between a mangrove forest and upland pineland) and (2) an upland pineland in Southwest Florida. Under dynamic salinity and hydrologic conditions, Ψ of Schinus appeared less subject to fluctuations caused by seasonality when compared with native species. Although stem water δ18O values could not be used to distinguish the depth of Schinus and native species' water uptake in the transition zone, Ψ and sap Na+/K+ patterns showed that Schinus was less of a salt excluder relative to the native upland species during the dry season. This exotic also exhibited Na+/K+ ratios similar to the mangrove species, indicating some salinity tolerance. In the upland pineland, Schinus water uptake patterns were not significantly different from those of native species. Differences between Schinus and native upland species, however, may provide this exotic an advantage over native species within mangrove transition zones.

Impact of nutrition education on knowledge and eating patterns in HIV-infected individuals

Acquired Immune Deficiency Syndrome (AIDS) and impaired or threatened nutritional status seem to be closely related. It is now known that AIDS results in many nutritional disorders including anorexia, vomiting, protein-energy malnutrition (PEM), nutrient deficiencies, and gastrointestinal, renal, and hepatic dysfunction (1-7, 8). Reversibly, nutritional status may also have an impact on the development of AIDS among HIV-infected people. Not all individuals who have tested antibody positive for the Human Immunodeficiency Virus (HIV) have developed AIDS or have even shown clinical symptoms (9, 10). A poor nutritional status, especially PEM, has a depressing effect on immunity which may predispose an individual to infection (11). It has been proposed that a qualitatively or quantitatively deficient diet could be among the factors precipitating the transition from HIV-positive to AIDS (12, 13). The interrelationship between nutrition and AIDS reveals the importance of having a multidisciplinary health care team approach to treatment (11), including having a registered dietitian on the medical team. With regards to alimentation, the main responsibility of a dietitian is to inform the public concerning sound nutritional practices and encourage healthy food habits (14). In individuals with inadequate nutritional behavior, a positive, long-term change has been seen when nutrition education tailored to specific physiological and emotional needs was provided along with psychological support through counseling (14). This has been the case for patients with various illnesses and may also be true in AIDS patients as well. Nutritional education specifically tailored for each AIDS patient could benefit the patient by improving the quality of life and preventing or minimizing weight loss and malnutrition (15-17). Also, it may influence the progression of the disease by delaying the onset of the most severe symptoms and increasing the efficacy of medical treatment (18, 19). Several studies have contributed to a dietary rationale for nutritional intervention in HIV-infected and AIDS patients (2, 4, 20-25). Prospective, randomized clinical research in AIDS patients have not yet been published to support this dietary rationale; however, isolated case reports show its suitability (3). Furthermore, only nutrition intervention as applied by a medical team in an institution or hospital has been evaluated. Research is lacking concerning the evaluation of nutritional education of either non-institutionalized or hospitalized groups of persons who are managing their own food choice and intake. This study compares nutrition knowledge and food intakes in HIV-infected individuals prior to and following nutrition education. It was anticipated that education would increase the knowledge of nutritional care of AIDS patients and lead to better implementation of nutrition education programs.

Climate-Driven Range Shifts Within Benthic Habitats Across a Marine Biogeographic Transition Zone.

Anthropogenic climate change is causing unprecedented rapid responses in marine communities, with species across many different taxonomic groups showing faster shifts in biogeographic ranges than in any other ecosystem. Spatial and temporal trends for many marine species are difficult to quantify, however, due to the lack of long-term datasets across complete geographical distributions and the occurrence of small-scale variability from both natural and anthropogenic drivers. Understanding these changes requires a multidisciplinary approach to bring together patterns identified within long-term datasets and the processes driving those patterns using biologically relevant mechanistic information to accurately attribute cause and effect. This must include likely future biological responses, and detection of the underlying mechanisms in order to scale up from the organismal level to determine how communities and ecosystems are likely to respond across a range of future climate change scenarios. Using this multidisciplinary approach will improve the use of robust science to inform the development of fit-for-purpose policy to effectively manage marine environments in this rapidly changing world.

Climate-Driven Range Shifts Within Benthic Habitats Across a Marine Biogeographic Transition Zone.

Anthropogenic climate change is causing unprecedented rapid responses in marine communities, with species across many different taxonomic groups showing faster shifts in biogeographic ranges than in any other ecosystem. Spatial and temporal trends for many marine species are difficult to quantify, however, due to the lack of long-term datasets across complete geographical distributions and the occurrence of small-scale variability from both natural and anthropogenic drivers. Understanding these changes requires a multidisciplinary approach to bring together patterns identified within long-term datasets and the processes driving those patterns using biologically relevant mechanistic information to accurately attribute cause and effect. This must include likely future biological responses, and detection of the underlying mechanisms in order to scale up from the organismal level to determine how communities and ecosystems are likely to respond across a range of future climate change scenarios. Using this multidisciplinary approach will improve the use of robust science to inform the development of fit-for-purpose policy to effectively manage marine environments in this rapidly changing world.

Integrating a mobile accessible electronic system into dockside monitoring: How can small-scale fisheries data collection programs transition from paper-based to digital data collection?

Thesis (Master's)--University of Washington, 2016-06

Patterns of rare earth and other trace elements in Paleogene and Miocene clayey sediments from the Mondego platform (Central Portugal)

In the present study the origin of clay deposits occurring in an inland platform, in central Portugal, was investigated by their mineralogical and chemical composition. The clay deposits, exploited for ceramic industry are composed of silt-clay facies, the Monteira Member and the Arroça Member, which are assigned to the Coja Formation (Paleogene) and the Campelo Formation (Miocene), respectively. These clayey facies show almost compositional homogeneity, especially concerning texture. The mineralogical composition of the Monteira Member displays slightly higher content in smectite and interstratified clay minerals, which is supported by the chemical composition of samples analyzed. Both members present similar REE patterns, displaying an intense weathering record and little variation in the source area composition. Minor element geochemistry suggests low content in heavy minerals and transition metals. REE patterns and ratios of geochemical parameters support the dominant metasedimentary provenance, with a granite source contribution and also mature recycled sediments of continental origin. The study results’ suggest that the clays of these two members have the same source in terms of lithology and recycled sediments from the Hesperian massif. During the deposition of the Arroça Member, a major remobilization of the Monteira Member is suggested, explaining the geochemical similarity of both facies.

Genetic variation of temperature-regulated curd induction in cauliflower: elucidation of floral transition by genome-wide association mapping and gene expression analysis

Cauliflower (Brassica oleracea var. botrytis) is a vernalization-responsive crop. High ambient temperatures delay harvest time. The elucidation of the genetic regulation of floral transition is highly interesting for a precise harvest scheduling and to ensure stable market supply. This study aims at genetic dissection of temperature-dependent curd induction in cauliflower by genome-wide association studies and gene expression analysis. To assess temperature dependent curd induction, two greenhouse trials under distinct temperature regimes were conducted on a diversity panel consisting of 111 cauliflower commercial parent lines, genotyped with 14,385 SNPs. Broad phenotypic variation and high heritability (0.93) were observed for temperature-related curd induction within the cauliflower population. GWA mapping identified a total of 18 QTL localized on chromosomes O1, O2, O3, O4, O6, O8, and O9 for curding time under two distinct temperature regimes. Among those, several QTL are localized within regions of promising candidate flowering genes. Inferring population structure and genetic relatedness among the diversity set assigned three main genetic clusters. Linkage disequilibrium (LD) patterns estimated global LD extent of r(2) = 0.06 and a maximum physical distance of 400 kb for genetic linkage. Transcriptional profiling of flowering genes FLOWERING LOCUS C (BoFLC) and VERNALIZATION 2 (BoVRN2) was performed, showing increased expression levels of BoVRN2 in genotypes with faster curding. However, functional relevance of BoVRN2 and BoFLC2 could not consistently be supported, which probably suggests to act facultative and/or might evidence for BoVRN2/BoFLC-independent mechanisms in temperature regulated floral transition in cauliflower. Genetic insights in temperature-regulated curd induction can underpin genetically informed phenology models and benefit molecular breeding strategies toward the development of thermo-tolerant cultivars.

Jiao Tong: A Grounded Theory of Chinese International Students' Transition to American Tertiary Education

University students are more globally mobile than ever before, increasingly receiving education outside of their home countries. One significant student exchange pattern is between China and the United States; Chinese students are the largest population of international students in the U.S. (Institute of International Education, 2014). Differences between Chinese and American culture in turn influence higher education praxis in both countries, and students are enculturated into the expectations and practices of their home countries. This implies significant changes for students who must navigate cultural differences, academic expectations, and social norms during the process of transition to a system of higher education outside their home country. Despite the trends in students’ global mobility and implications for international students’ transitions, scholarship about international students does not examine students’ experiences with the transition process to a new country and system of higher education. Related models were developed with American organizations and individuals, making it unlikely that they would be culturally transferable to Chinese international students’ transitions. This study used qualitative methods to deepen the understanding of Chinese international students’ transition processes. Grounded theory methods were used to invite the narratives of 18 Chinese international students at a large public American university, analyze the data, and build a theory that reflects Chinese international students’ experiences transitioning to American university life. Findings of the study show that Chinese international students experience a complex process of transition to study in the United States. Students’ pre-departure experiences, including previous exposure to American culture, family expectations, and language preparation, informed their transition. Upon arrival, students navigate resource seeking to fulfill their practical, emotional, social, intellectual, and ideological needs. As students experienced various positive and discouraging events, they developed responses to the pivotal moments. These behaviors formed patterns in which students sought familiarity or challenge subsequent to certain events. The findings and resulting theory provide a framework through which to better understand the experiences of Chinese international students in the context of American higher education.

Patterns of sedentary behavior : insights from observational and experimental studies on body composition and energy expenditure

It is recognized that sedentary behavior (SB) has deleterious effects on numerous health outcomes and it appears that physiological mechanisms underlying these harms are distinct from the ones explaining moderate-to-vigorous physical activity (MVPA) benefits. Sedentary behavior represents a large portion of human’s life and is increasing with technological development. A new current of opinion supports the idea that the manner SB is accumulated plays an important role. This dissertation presents six research studies conducted under the scope of SB. In the methodological area, the first study highlighted the magnitude of potential errors in estimating SB and its patterns from common alternative methods (accelerometer and heart rate monitor) compared to ActivPAL. This study presented the accelerometer as a valid method at a group level. Two studies (2 and 5) were performed in older adults (the most sedentary group in the population) to test the associations for SB patterns with abdominal obesity using accelerometry. The findings showed positive graded associations for prolonged sedentary bouts with abdominal obesity and showed that those who interrupted SB more frequently were less likely to present abdominal obesity. Therefore, public health recommendations regarding breaking up SB more often are expected to be relevant. The associations between sedentary patterns and abdominal obesity were independent of MVPA in older adults. However, the low MVPA in this group makes it unclear whether this independent relationship still exists if highly active persons are analysed. Study 3 inovates by examining the association of SB with body fatness in highly trained athletes and found SB to predict total fat mass and trunk fat mass, independently of age and weekly training time. Study 4 also brings novelty to this research field by quantifying the metabolic and energetic cost of the transition from sitting to standing and then sitting back down (a break), informing about the modest energetic costs (0.32 kcal·min−1). Finally, from a successful multicomponent pilot intervention to reduce and break up SB (study 6), an important behavioral resistance to make more sit/stand transitions despite successfully reducing sitting time (~ 1.85 hours·day-1) was found, which may be relevant to inform future behavioral modification programs. The present work provides observational and experimental evidence on the relation for SB patterns with body composition outcomes and energy regulation that may be relevant for public health interventions.

The Cratylia Mollis Seed Lectin Induces Membrane Permeability Transition In Isolated Rat Liver Mitochondria And A Cyclosporine A-insensitive Permeability Transition In Trypanosoma Cruzi Mitochondria.

Previous results provided evidence that Cratylia mollis seed lectin (Cramoll 1,4) promotes Trypanosoma cruzi epimastigotes death by necrosis via a mechanism involving plasma membrane permeabilization to Ca(2+) and mitochondrial dysfunction due to matrix Ca(2+) overload. In order to investigate the mechanism of Ca(2+) -induced mitochondrial impairment, experiments were performed analyzing the effects of this lectin on T. cruzi mitochondrial fraction and in isolated rat liver mitochondria (RLM), as a control. Confocal microscopy of T. cruzi whole cell revealed that Cramoll 1,4 binding to the plasma membrane glycoconjugates is followed by its internalization and binding to the mitochondrion. Electrical membrane potential (∆Ψm ) of T. cruzi mitochondrial fraction suspended in a reaction medium containing 10 μM Ca(2+) was significantly decreased by 50 μg/ml Cramoll 1,4 via a mechanism insensitive to cyclosporine A (CsA, membrane permeability transition (MPT) inhibitor), but sensitive to catalase or 125 mM glucose. In RLM suspended in a medium containing 10 μM Ca(2+) this lectin, at 50 μg/ml, induced increase in the rate of hydrogen peroxide release, mitochondrial swelling, and ∆Ψm disruption. All these mitochondrial alterations were sensitive to CsA, catalase, and EGTA. These results indicate that Cramoll 1, 4 leads to inner mitochondrial membrane permeabilization through Ca(2+) dependent mechanisms in both mitochondria. The sensitivity to CsA in RLM characterizes this lectin as a MPT inducer and the lack of CsA effect identifies a CsA-insensitive MPT in T. cruzi mitochondria.

Oxidative Stress And Susceptibility To Mitochondrial Permeability Transition Precedes The Onset Of Diabetes In Autoimmune Non-obese Diabetic Mice.

Beta cell destruction in type 1 diabetes (TID) is associated with cellular oxidative stress and mitochondrial pathway of cell death. The aim of this study was to determine whether oxidative stress and mitochondrial dysfunction are present in T1D model (non-obese diabetic mouse, NOD) and if they are related to the stages of disease development. NOD mice were studied at three stages: non-diabetic, pre-diabetic, and diabetic and compared with age-matched Balb/c mice. Mitochondria respiration rates measured at phosphorylating and resting states in liver and soleus biopsies and in isolated liver mitochondria were similar in NOD and Balb/c mice at the three disease stages. However, NOD liver mitochondria were more susceptible to calcium-induced mitochondrial permeability transition as determined by cyclosporine-A-sensitive swelling and by decreased calcium retention capacity in all three stages of diabetes development. Mitochondria H2O2 production rate was higher in non-diabetic, but unaltered in pre-diabetic and diabetic NOD mice. The global cell reactive oxygen species (ROS), but not specific mitochondria ROS production, was significantly increased in NOD lymphomononuclear and stem cells in all disease stages. In addition, marked elevated rates of 2',7'-dichlorodihydrofluorescein (H2DCF) oxidation were observed in pancreatic islets from non-diabetic NOD mice. Using matrix-assisted laser desorption/ionization (MALDI) mass spectrometry (MS) and lipidomic approach, we identified oxidized lipid markers in NOD liver mitochondria for each disease stage, most of them being derivatives of diacylglycerols and phospholipids. These results suggest that the cellular oxidative stress precedes the establishment of diabetes and may be the cause of mitochondrial dysfunction that is involved in beta cell death.

Laser Printer Attribution: Exploring New Features And Beyond.

With a huge amount of printed documents nowadays, identifying their source is useful for criminal investigations and also to authenticate digital copies of a document. In this paper, we propose novel techniques for laser printer attribution. Our solutions do not need very high resolution scanning of the investigated document and explore the multidirectional, multiscale and low-level gradient texture patterns yielded by printing devices. The main contributions of this work are: (1) the description of printed areas using multidirectional and multiscale co-occurring texture patterns; (2) description of texture on low-level gradient areas by a convolution texture gradient filter that emphasizes textures in specific transition areas and (3) the analysis of printer patterns in segments of interest, which we call frames, instead of whole documents or only printed letters. We show by experiments in a well documented dataset that the proposed methods outperform techniques described in the literature and present near-perfect classification accuracy being very promising for deployment in real-world forensic investigations.