Este estudo compara a mímese poética do mundo árabe-islâmico, especialmente no livro de contos As mil e uma noites, com a mímese poética do mundo hispano-americano na obra literária de Jorge Luis Borges. A obra anônima das Noites tornou-se a principal referência para especular tanto as formas e as estratégias de construção narrativa quanto os conteúdos temáticos na criação poética do escritor argentino. Devido à magnitude da produção literária borgeana, este estudo considerou o livro El Aleph (1946) e três contos de El libro de arena (1975)- El espejo y la máscara, Undr e El disco. O trabalho se propõe afirmar que a poética árabe-islâmica, enquanto acervo da cultura universal constituiu-se num dos elementos vitais para a construção da poética narrativa de Jorge Luis Borges / This study compares the poetic mimesis of the Arabic-Islamic world, specially the book of tales The Arabian Nights, with the poetic mimesis of the American- Hispanic world in Jorge Luis Borges literary production. The anonymous literary composition The Arabian Nights became the main reference to speculate both the form and the narrative construction strategies as well as the thematic contents as a poetic creation of the Argentinian author. Due to the magnitude of the borgesian literary production, this study has only considered the book El Aleph (1946) and three narratives of El libro de arena (1975) El espejo y la máscara, Undr and El disco. As a result, the study proposes to state that the Arabic- Islamic Poetics, albeit a universal cultural patrimony, constituted itself in one of the vital elements to the construction of Jorge Luis Borges Narrative Poetics

Made available in DSpace on 2016-08-18T18:55:04Z (GMT). No. of bitstreams: 1 Dissertacao_SARA DINIZ NASCIMENTO.pdf: 1431233 bytes, checksum: ec19fb192a783f47280335c66ee53951 (MD5) Previous issue date: 2015-03-11 / Génération de revenu pour les femmes. Évaluation d'impact du Programme Femmes Mille dans l'optique des diplômées à São Luís/MA. Il se cherche à évaluer les impacts dans des termes de génération de revenu pour des femmes dans situation de vulnérabilité qui ont été qualifiées par ledit programme développé dans IFMA/Campus Monte Château, dans la période de 2009 et 2013. La proposition de l'étude s'est guidée par l'accord des asymétries entre les sexes, construits dans les sociétés dans chaque temps historique. Le programme s'insère dans le contexte de réordonnance du capital, d'inspiration néolibérale, où les politiques publiques, guidées par les avis de la Banque Mondiale, sont à remplacer par l'approche dans des programmes de combat à la pauvreté, mais, avec caractère simplement compensatoire. D‟après des données soulevées il s'est prouvé que le Programme Femmes Mille a contribué aux femmes dans des termes de motivation et à d'autoestima. Le costume de pouvoir fréquenter un espace scolaire et une convivalité avec autres personnes, outre son cercle familier, a représenté, dans certain mesurée, la possibilité d'extrapoler l'espace domestique. Concernant l' insertion dans le monde du travail il s'est représenté que à la majorité des femmes il est inséré dans des activités différentes de la qualification réalisée. Il s'est perçu que l'impact dans le revenu des femmes après la qualification réalisée encore est suffisamment timide. Le simple accès à des actions de qualification et l'insertion dans le monde du travail ne peuvent décider de lui-même les problèmes d'inégalités sociales qui atteignent les femmes, donc elles s'écoulent des relations le plus suffisant de production et de reproduction sociale. Ainsi, l'évaluation d'impacts est importante instrument qui peut contribuer dans le changement de l'exécution du programme, avec des vues la plus grande efficacité. / Geração de renda para as mulheres. Avaliação de impacto do Programa Mulheres Mil na ótica de egressas em São Luís/MA. Avaliam-se os impactos em termos de geração de renda para mulheres em situação de vulnerabilidade que foram qualificadas pelo referido Programa desenvolvido no IFMA/Campus Monte Castelo, nos anos de 2009 e 2013. A proposta do estudo orientou-se pelo entendimento das assimetrias entre os sexos, construídas nas sociedades em cada época histórica. O Programa se insere no contexto de reordenamento do capital, de inspiração neoliberal, em que as políticas públicas, orientadas pelos ditames do Banco Mundial, passam a ter o enfoque em programas de combate à pobreza, mas, com caráter meramente compensatório. A partir dos dados levantados, evidenciou-se que o Programa Mulheres Mil propiciou às mulheres motivação e elevação de autoestima. O fato de poderem frequentar um espaço escolar e a convivência com outras pessoas, além do seu círculo familiar, representou, em certa medida, a possibilidade delas extrapolarem o espaço doméstico. Em relação à (re) inserção no mundo do trabalho, visualizou-se que a maioria delas está inserida em atividades diferentes daquela cuja qualificação realizaram. Percebeu-se que o impacto na renda dessas mulheres a partir da qualificação realizada ainda é bastante tímido, e que o simples acesso a ações de qualificação, bem como sua inserção no mundo do trabalho não podem resolver por si só os problemas de desigualdades sociais que as atingem, pois tais desigualdades decorrem das relações mais amplas de produção e reprodução social. Assim, a avaliação de impactos é relevante instrumento que pode contribuir na mudança da execução do Programa, com vistas à sua maior efetividade.

As Noites [Alf layla wa-layla] foram primeiramente traduzidas e publicadas pelo orientalista francês Antoine Galland, no início do século XVIII. Em sua tradução, Galland não somente seguiu a concepção de sua época de adaptar a obra para o gosto francês como também inseriu novas histórias em sua versão que não pertenciam ao original, de modo que suas Les mille et une nuits não se constituíram como um retrato fiel das Noites árabes. E foi este trabalho que, encontrando um sucesso triunfal desde sua publicação, divulgou as histórias das Noites por todo o Ocidente, e inspirou novas produções literárias. No século XIX, muitos autores românticos buscaram o enriquecimento de sua imaginação nas cores do maravilhoso oriental, entre eles está Charles Nodier, que registrou seu interesse por Les mille et une nuits em seus textos teóricos e literários . Nesse sentido, no âmbito de um estudo comparado, é possível perceber que seu conto intitulado \"Les quatre talismans\" compartilha de determinadas semelhanças com as seguintes histórias de Les mille et une nuits: prólogo-moldura, \"Histoire du pêcheur\", \"Histoire du roi grec et du médecin Douban\", \"Histoire de trois calenders fils de rois et de cinq dames de Bagdad\", \"Histoire du seconde calender\", \"Histoire du petit bossu\", \"Histoire que raconta le marchand chrétien\" - todas elas traduzidas por Galland do manuscrito árabe das Noites -; \"Histoire d\'Aladdin\" e \"Histoire de l\'aveugle Baba-Abdalla\" - ambas ausentes das Noites, correspondendo, portanto, a inserções do orientalista em sua versão. Comparativamente, a análise de elementos, como a técnica narrativa, os temas e os motivos das histórias, atestam não somente as apropriações de Nodier a partir de Les mille et une nuits, mas também a própria originalidade do autor, que transforma o modelo das histórias provindas das Noites e das narrativas inseridas por Galland, criando, assim, um conto peculiar. / Nights [Alf layla wa-layla] were first translated and published by the French orientalist Antoine Galland in the beginning of the XVIII century. In his translation, Galland not only followed the conception of his time to adapt the literary work to the French taste, but also inserted new stories in its version that didn\'t belong to the original, so that his Les mille et une nuits didn\'t constitute a real portrait of the Arabian Nights. And was this literary work that, finding a triumphal success since its publication, disclosed the stories of Nights to the whole West, and inspired new literary productions. In the XIX century, many Romantic writers searched the enrichment of their imagination in the colors of the oriental wonder; among them is Charles Nodier, who registered his interest for Les mille et une nuits in many of his theoretical and literary texts. In this sense, in the field of the compared literature, it is possible to notice that his tale entitled \"Les quatre talismans\" shares some similarities with the following stories of Les mille et une nuits: prologue- frame, \" Histoire du pêcheur\", \"Histoire du roi grec et du médecin Douban\", \" Histoire de trois calenders fils de rois et de cinq dames de Bagdad\", \"Histoire du seconde calender\", \"Histoire du petit bossu\" , \"Histoire que raconta le marchand chrétien\" - all of them translated by Galland from the Arabian manuscript of Nights - \"Histoire d\'Aladdin\" and \"Histoire de l\'aveugle Baba-Abdalla\"- both absent in Nights, corresponding, therefore, insertions from the orientalist in his version. Comparatively, the analyses of elements, such as narrative technique, the themes and the reasons of the stories, certify not only the appropriation of Nodier from Les mille et une nuits, but also the originality of the author itself, that transforms the model of the stories from Nights and from the narratives inserted by Galland, criating, thus, a peculiar tale.

Made available in DSpace on 2014-08-20T13:59:06Z (GMT). No. of bitstreams: 1 tese_milene_conceicao_lima.pdf: 1117046 bytes, checksum: 61412e1bba4614df5d623d5245902770 (MD5) Previous issue date: 2013-04-05 / Several abiotic factors can coordinate or alter metabolic processes of growth and development plants such light, temperature, water availability, climate, soil nutrition and inorganic compounds. The objective of this study was to evaluate performance of A. millefolium L. (yarrow) against abiotic factors. To achieve this objective were have conducted two experiments in which the first was observed antimicrobial activity in vitro and essential oil yield of yarrow grown with nitrogen levels (0, 75 and 150 kg urea ha-1) and subjected different levels of shading 0% (full light) and 70% (70% shading). The second experiment were observed growth characteristics, production photosynthetic pigments, antioxidant enzymes activity, concentrations hydrogen peroxide, malondialdehyde, ascorbate and deidroascorbato, antioxidant activity by method DPPH and secondary metabolites synthesis in yarrow cultivated under light conditions (full light and blue, red and black shade net) and subjected different collection periods (eight weeks shading, two and four weeks after shading). The results show that oil yield extracted from flowers was stimulated by medium nitrogen level and full light increased the oil yield extracted from leaves. The highest essential oil yield was observed in reproductive structures. Antimicrobial activity of oil was confirmed against microorganisms species. Yeast strains were inhibited by the lowest concentration. The dry mass of leaves and flowers was favored in plants grown under full light. The content of chlorophyll a and b were higher in plants cultivated under blue net, total chlorophyll content was lower in plants under full light and plants two weeks after shading was increase of chlorophyll a, b and total, equivalent did not shaded plants. Catalase activity increased plants acclimated to high light intensity and low light did not stimulate ascorbate peroxidase, but increased superoxide dismutase and content of hydrogen peroxide. Lipid peroxidation was reduced presence of the spectrum blue and red light and low light intensity generated by nets black and blue, reduced accumulation of ascorbate. Content of deidroascorbato increased acclimation process to sunlight and antioxidant activity was more pronounced extracts of flowers. Levels total phenols and flavonoids were stimulated by full light. Oil yield extracted from flowers was higher than leaves. Major metabolite oil extracted from leaves was farnesol and flowers were farnesol and chamazulene. Results for medicinal species A. millefolium L. indicated that light intensity, light quality, collection periods and nitrogen fertilization influence growth, photosynthetic pigments production, secondary metabolites and antioxidant response. / Diversos fatores abióticos podem coordenar ou alterar os processos metabólicos de crescimento e desenvolvimento em plantas como a luz, temperatura, disponibilidade hídrica, clima, nutrição do solo e compostos inorgânicos. O objetivo deste estudo foi avaliar o comportamento de A. millefolium L. (mil-folhas) frente aos fatores abióticos. Para atingir este objetivo foram realizados dois experimentos, na qual no primeiro foi verificada a atividade antimicrobiana in vitro e rendimento do óleo essencial de mil-folhas cultivada com concentrações de nitrogênio (0, 75 e 150 Kg ureia ha-1) e submetida a diferentes níveis de sombreamento 0% (luz plena) e 70% (sombreamento 70%). No segundo experimento foram avaliadas características de crescimento, produção de pigmentos fotossintéticos, atividade de enzimas antioxidantes, teores de peróxido de hidrogênio, malondialdeído, ascorbato e deidroascorbato, atividade antioxidante pelo método DPPH e síntese de metabólitos secundários em mil-folhas cultivada sob condições de luminosidade (luz plena e sombreamento com malha azul, vermelha e preta) e submetida a diferentes períodos de coleta (oito semanas de sombreamento, duas e quatro semanas após o sombreamento). Os principais resultados mostram que o rendimento do óleo extraído de flores foi estimulado pela concentração nitrogenada intermediária e o extraído de folhas foi favorecido pela luz plena, sendo maior nas estruturas reprodutivas. A atividade antimicrobiana do óleo foi confirmada frente aos microrganismos, sendo as cepas fúngicas inibidas pela menor concentração. A massa seca das folhas e flores foi favorecida nas plantas cultivadas com luz plena. Os teores de clorofila a e b foram maiores nas plantas cultivadas com a malha azul, o conteúdo de clorofila total foi menor nas plantas sob luz plena e em plantas com duas semanas após o sombreamento ocorreu um incremento de clorofila a, b e total, equivalendo-se às plantas não sombreadas. A atividade da catalase aumentou em plantas aclimatadas em alta intensidade de luz e a baixa luminosidade não estimulou a ascorbato peroxidase, mas incrementou a superóxido dismutase e o teor de peróxido de hidrogênio. A peroxidação lipídica foi reduzida na presença dos espectros de luz azul e vermelha e a baixa intensidade de luz, gerada pelas malhas preta e azul, reduziu o acúmulo de ascorbato. O conteúdo de deidroascorbato aumentou em processo de aclimatação à luz solar e a atividade antioxidante foi mais acentuada em extratos de flores. Os teores de fenois e flavonoides totais foram estimulados pela luz plena. O rendimento do óleo extraído de flores foi maior em relação ao de folhas. O metabólito majoritário do óleo extraído de folhas foi o farnesol e os extraídos de flores foram o farnesol e camazuleno. Os resultados encontrados para a espécie medicinal A. millefolium L. indicaram que a intensidade luminosa, qualidade de luz, períodos de coleta e fertilização nitrogenada influenciam no crescimento, produção de pigmentos fotossintéticos, de metabólitos secundários e resposta antioxidante.

Porous metal phosphonate framework materials were synthesised by solvothermal reaction of bis(α-aminomethylenephosphonic acid) ligands with divalent and trivalent metal cations. The syntheses and characterisation by NMR and, where possible, single crystal X-ray diffraction of seven bisphosphonic acid ligands, including N,N′-piperazinebis(methylenephosphonic acid) (H₄L), its racemic and enantiopure (R) 2-methyl (H₄L′ and R-H₄L′) and 2,5-dimethyl (H₄L′′) derivatives, and N,N′-4,4′-bipiperidinebis(methylenephosphonic acid) (H₄LL) are reported. Syntheses of the known phase Y₂(LH₂)₃·5H₂O and the new phases, STA-13(Y) (St Andrews microporous material No. 13) and Y₂(R-L′H₂)₃·4H₂O, from reactions of Y(AcO)₃ with H₄L, H₄L′ and R-H₄L′ respectively are reported. The as-prepared and dehydrated structures of each phase have been determined from either laboratory or synchrotron powder X-ray diffraction data. Reaction of Y(AcO)₃ and H₄L′′ is shown to form a phase with a different structure. The features determining which structure crystallises are discussed. Syntheses of other rare-earth forms of STA-13 (Sc³⁺, Gd³⁺–Yb³⁺) and the porosity of each phase to N₂ are reported. STA-13(Y) is the most porous form with loadings of ∼3 mmol g⁻¹ and ∼4 mmol g⁻¹ for N₂ and CO₂ respectively. MIL-91(Fe) was synthesised for the first time from reactions of Fe³⁺ cations with H₄L. Its structure was confirmed by Rietveld refinement, but it was not porous. The first syntheses of [Fe₄L₁.₅(AcO)₁.₅(OH,H₂O)₃]·0.5NH₄5.5H₂O (L= L or L′) are reported, from reactions of H₄L or H₄L′ in the presence of an excess of Fe³⁺ cations. The phase is related to a previously reported Co phase. The synthesis of divalent metal bisphosphonate STA-12(Mg) (Mg₂(H₂O)₂L·5.6H₂O) was reported for the first time and its structure determined from single crystal X-ray diffraction. The dehydration behaviour of this material was compared with the known forms of STA-12. STA-12(Mg) is porous to both N₂ (∼5.5 mmol g⁻¹) and CO₂ (~ 8.5 mmol g⁻¹). Reaction of H₄LL with Co²⁺ and Ni²⁺ gave two materials isoreticular with STA-12, labelled STA-16(Co) and STA-16(Ni). The structures of both materials were solved from synchrotron powder X-ray diffraction data. On dehydration, STA-16(Co) undergoes a reversible structural transition to an unknown structure. By contrast, STA-16(Ni) retains the same symmetry in the dehydrated form and its structure was determined from synchrotron powder X-ray diffraction data. Both materials are porous to N₂, with an uptake of up to 22.2 mmol g⁻¹, and CO₂ with maximum loading of 21.7 mmol g⁻¹. NLDFT analysis of N₂ adsorption data confirm the crystallographically determined pore radii. Syntheses of other frameworks with divalent cations and initial reactions of H₄LL with trivalent cations are also reported.

Le Sahel est particulièrement exposé à la variabilité de la mousson Ouest-Africaine dont les répercussions socio-économiques peuvent prendre un caractère dramatique. Cette région est en outre confrontée à l'une des plus fortes croissances démographiques jamais observées, se traduisant par une pression toujours plus forte sur de faibles ressources naturelles et un environnement fragile. Dans ce contexte, un enjeu important se situe dans notre capacité à proposer des outils aidant au suivi des ressources hydriques et végétales, et permettant d'anticiper les impacts climatiques et anthropiques à moyen terme sur ces ressources. Pour cela, il est indispensable d'étudier et mieux comprendre les processus d'échanges d'énergie et de matière à l'interface terre-atmosphère, qui contribuent à la régulation de la mousson d'une part et gouvernent le cycle hydrologique local et le développement végétal d'autre part. Les travaux réalisés s'inscrivent dans cette problématique, portant précisément sur l'analyse des cycles de l'eau et de l'énergie en région sahélienne sous les effets combinés du climat et de l'activité humaine. La démarche s'appuie sur une méthodologie alliant observations in situ et modélisation à base physique. L'étude a été réalisée dans la région centrale du Sahel, dont le système agricole traditionnel associe pastoralisme et cultures pluviales en alternance avec la jachère. Elle s'est appuyée sur le réseau d'observations éco-hydrologiques et énergétiques acquises en continu durant 7 années (2005-2012) par l'Observatoire AMMA CATCH au Sud-Ouest Niger. La qualité et la cohérence de ces observations ont permis de dresser des grands traits du fonctionnement éco-hydrologique des deux couverts végétaux les plus répandus dans la région : cultures de mil et jachères arbustives. Les observations ne permettent cependant pas à elles seules d'établir des bilans complets aux différentes échelles temporelles d'intérêt (infra-journalière à interannuelle). Une modélisation couplée détaillée des cycles de l'énergie et de l'eau a par conséquent été élaborée pour ces deux couverts, à l'aide du modèle de transferts sol-plante-atmosphère SiSPAT. Etalonné sur une période de 2 ans, le modèle a ensuite été validé sur les 5 autres années d'observation, en contraignant les paramètres du modèle à des valeurs physiquement réalistes. En bon accord avec les observations, cette modélisation pluriannuelle s'est révélée être un outil d'analyse précieux, intégrant toute la pertinence, la richesse et la cohérence du jeu de données. La représentativité de la période étudiée a permis d'en exploiter les résultats pour (1) analyser l'impact de la variabilité climatique sur les bilans d'eau et d'énergie aux différentes échelles temporelles et (2) fournir une première climatologie des flux et stocks d'eau et d'énergie à l'interface sol-végétation-atmosphère, à ces mêmes échelles. Les similitudes et différences de fonctionnement éco-hydrologique et énergétique entre écosystèmes ont été mises en évidence. Par exemple, l'évapotranspiration représente plus de 80% des précipitations annuelles et près de la moitié du rayonnement global au cœur de la mousson pour les deux sites. Sa distribution saisonnière et son partitionnement en évaporation du sol et transpiration des plantes diffèrent néanmoins entre les deux écosystèmes, tout comme le ruissellement, et le drainage sous la zone racinaire. Ce dernier apparaît significatif pour le champ de mil mais pas pour la jachère. Une analyse de sensibilité des processus aux caractéristiques du sol et du couvert a été réalisée. La robustesse des résultats produits devrait leur permettre de servir de référence pour les études des processus hydrologiques et énergétiques dans cette région. La modélisation ainsi construite présente un potentiel évident pour des études prospectives, relatives notamment au changement climatique ou à une évolution des pratiques agricoles. / The Sahel region is particularly exposed to the variability of the West African Monsoon, which may lead to dramatic socio-economical consequences. This region also has one of the highest demographic growth rates, resulting in an ever-increasing pressure on the scarce natural resources and fragile environment. In this context, a major challenge lies in our ability to provide appropriate tools for the monitoring of hydrological and vegetation resources. These tools should also be suitable for the prediction of climatic and anthropogenic impacts in the medium term. This requires a better understanding of energy and matter transfer processes at the earth-atmosphere interface. Indeed, the latter both play a role in the regulation of the monsoon and also drive the local hydrological cycle and vegetation development. The present research follows such a framework and consists specifically in analyzing the water and energy cycles in the Sahel region under the combined effects of climate and human activity. This is undertaken by developing a methodology combining the use of in situ observations and physically-based modelling. The study was conducted in the central Sahel, where traditional agricultural systems are formed by the association of pastoralism and rain-fed crops in rotation with fallow cycles. This study was based on the network of eco-hydrological and energy data acquired continuously during 7 years (2005-2012) by the South-West Niger AMMA-CATCH Observatory. Quality and consistency of these observations allowed analyzing the main features of the eco-hydrological functioning of the two main land-covers in the region: millet and fallow savannah. However, observations alone were not sufficient to compute comprehensive water and energy budgets at all the different time scales of interest (sub-daily to inter-annual). A detailed modelling of coupled water and energy cycles was therefore undertaken for these two land-covers, using the soil-vegetation-atmosphere transfer model SiSPAT. The model was first calibrated on a 2-year period, and further validated on the remaining 5-year observations, by constraining model parameters to physically realistic values. This multi-year modelling was in good agreement with the observations, and provided a precious analysis tool that integrated the relevance, richness and consistency of the dataset. Thanks to the representativeness of the studied period, results served at the different temporal scales to (1) analyze the impact of climatic variability on water and energy budgets and (2) produce a preliminary climatology for the water and energy fluxes and storages at the soil-vegetation-atmosphere interface. Similarities and differences in eco-hydrological and energy functioning between ecosystems were evidenced. For instance, evapotranspiration represented more than 80% of annual precipitations and close to half of the global radiation at the heart of the monsoon for both sites. Seasonal distribution and partitioning of evapotranspiration between soil evaporation and plants transpiration differed between the two ecosystems, as well as the runoff, and the drainage below the root zone which appeared significant for the millet field but not for the fallow site. A sensitivity analysis of the energy and water budgets to soil and vegetation characteristics was conducted. Robustness of the produced results should enable them to serve as reference for studies of water and energy processes in this region. The resulting calibrated model showed an obvious potential for prospective studies, such as those on climate change or on the evolution of agricultural practices.

The diploma thesis deals with a new growth strategy of the company Škoda Auto a.s., which aims to increase sales to over 1.5 mil. cars a year by the year 2018. This growth strategy is based on four pillars: sales over 1.5 million vehicles targeting on EU and RIC-markets, profitability and financial strength, strategic "spearhead" focused on price/value, practicality and spaciousness and eventually top employer with global talent pool. The goal is to analyze the whole growth strategy. The work is divided into three chapters. The introductory chapter focuses on an automotive history. The second chapter deals with the current situation of the automotive industry and the last part analyzes the particular pillars of the new growth strategy.

The content of the thesis is the modeling and implementation of the CNC control algorithm. This master thesis contains the description of issues of computer-controlled machines, the research of interpolation algorithms for control CNC machines and the modeling of the selected control algorithm with motor S-curve shaped speed profiles and simulation of chosen algorithms with S-shaped speed profiles in Matlab & Simulink.

Automated Test Generation (ATG) has been successfully applied in many domains. For the modeling and simulation language Simulink, there has been research on developing tools for ATG with promising results. However, most tools developed as part of academic research and are not publicly available, or severely limited in their ability to be integrated into an industrial workflow. There are commercial ATG tools for Simulink, with Simulink Design Verifier (SLDV) as the de-facto standard tool. For this thesis, we perform an empirical comparison of manual tests to those generated by SLDV. For the comparison, we used 180 components from the propulsion control software developed by our industry partner. All except two components are compatible for test generation to some extent. The majority of components are partially compatible, requiring block replacement or stubbing. Approximation of floating-point numbers is the primary reason for block replacement, which can be performed automatically by SLDV. Two components were incompatible, and 14 required full stubbing of blocks. Using a pre-processing step, the generated tests achieve similar coverage as the manual tests. We performed a Mann–Whitney U test with the hypothesis that the generated tests achieve higher coverage than the manual tests. There are no statistically significant differences for either decision coverage (0.0719), or condition coverage (0.8357). However, for Modified Condition/Decision Coverage, the generated tests achieve higher coverage, and the difference is significant (0.0027). The limitations of ATG were explored by looking at the cases where the generated tests achieved lower coverage than the manual test. We found that the use of floating-point arithmetic and temporal logic increases the time required for test generation, and causes the analysis to hit the time limit. The test generation does not support all custom S-functions and perform stubbing of these blocks. This made the tool unable to reason about persistent storage. Configuration constants have limited support, which was the reason for the coverage difference in three cases. We have concluded that while much effort is required for custom tooling and initial setup, ATG can prove useful for early fault detection in an industrial workflow. ATG would prove especially useful in an automated continuous integration workflow for integration-level conformance testing.

In today’s increasingly digital society, the rampant creation and spread of misinformation and disinformation poses a critical problem in our lives. As a society, we are suffering heightened panic facing Information Disorder (ID). This is especially true in the context of Indonesia, a highly Internet-penetrated country with low levels of literacy. A prominent solution to the problem at hand is to develop Media and Information Literacy skills (MIL). To gain in-depth understanding of the context and phenomenon at hand, three things need to be explored; conceptions of the problem, conceptions of the solution, and conceptions of possible issues with the solution. This study aims to explore conceptions and experiences of ID, MIL and discussions of possible issues with advancing MIL skills in Indonesia across a variety of stakeholders. This extensive insight will give an opportunity to reflect upon current efforts and help design sustainable and adept solutions. In order to undertake the aim of collecting and analyzing conceptions and experiences of a variety of stakeholders, a theoretical approach of phenomenography is taken using semi-structured qualitative interviews as a method of empirical data collection.  The varied conceptions and experiences of stakeholders paints a picture of how Indonesian society conceives ID, MIL skills and possible issues with the solution. A solution broadly encouraged by stakeholders is for all stakeholders to work together to create comprehensive, context-relevant, and sustainable solutions.