State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model checking research into data abstraction as a way of mitigating state explosion has become more and more important. Data abstractions aim to reduce the effect of large input ranges. This work focuses on a static program analysis technique called dead variable analysis. The goal of dead variable analysis is to discover variable assignments that are not used. When applied to model checking, this allows us to ignore the entire input range of dead variables and thus reduce the size of the explored state space. Prior research into dead variable analysis for model checking does not make full use of dynamic run-time information that is present during model checking. We present an algorithm for intraprocedural dead variable analysis that uses dynamic run-time information to find more dead variables on-the-fly and further reduce the size of the explored state space. We introduce a definition for the maximal state space reduction possible through an on-the-fly dead variable analysis and then show that our algorithm produces a maximal reduction in the absence of non-determinism.

Tesis por compendio / [ES] Esta tesis englobada dentro del programa de doctorado en ingeniería de la construcción sigue la línea de investigación en sostenibilidad y gestión de la construcción. Las investigaciones se han centrado en el desarrollo de cementos de activación alcalina (CAA) obtenidos a partir de residuos con el fin de reducir tanto el coste económico como medioambiental. Este hecho implicaría la reducción en el uso tanto de materias primas, en el caso de los precursores, como de reactivos químicos en el caso de los activadores. La tesis doctoral que se presenta estudia el uso de diferentes mezclas de residuos como precursores: cerámica sanitaria, catalizador gastado de craqueo catalítico, escoria de alto horno y ceniza volante de central térmica en la preparación de morteros. Así mismo, utiliza también CAA, obtenidos a partir de residuos en la estabilización de suelos. En este último caso también se han usado residuos en la preparación de activadores como son las cenizas obtenidas en la combustión de biomasa. Los resultados obtenidos ponen de manifiesto la viabilidad en el uso de residuos para la preparación de CAA, y la posibilidad incluso de ser usados en contextos de subdesarrollo. / [CA] Aquesta tesi englobada dins del programa de doctorat en enginyeria de la construcció segueix la línia d'investigació en sostenibilitat i gestió de la construcció. Les investigacions s'han centrat en el desenvolupament de ciments d'activació alcalina (CAA) obtinguts a partir de residus amb la finalitat de reduir tant el cost econòmic com mediambiental. Aquest fet implicaria la reducció en l'ús tant de matèries primeres, en el cas dels precursors, com de reactius químics en el cas dels activadors. La tesi doctoral que es presenta estudia l'ús de diferents mescles de residus com a precursors: ceràmica sanitària, catalitzador gastat de craqueig catalític, escòria d'alt forn i cendra volant de central tèrmica en la preparació de morters. Així mateix, utilitza també CAA, obtinguts a partir de residus en l'estabilització de sòls. En aquest últim cas també s'han usat residus en la preparació d'activadors com són les cendres obtingudes en la combustió de biomassa. Els resultats obtinguts posen de manifest la viabilitat en l'ús de residus per a la preparació de CAA, i la possibilitat de ser usats fins i tot en contextos de subdesenvolupament. / [EN] This doctoral thesis encompassed within the doctoral program in construction engineering follows the research line in sustainability and construction management. The research has focused on the development of alkaline activated cements (AAC) obtained from waste to reduce the economic and environmental cost. This fact would imply a reduction in the use of raw materials in the case of precursors, and chemical reagents in the case of activators. The doctoral thesis that is presented studies the use of different waste mixtures as precursors: sanitary ceramics, spent fluid cracking catalyst, blast furnace slag and fly ash from thermal power plants in the preparation of mortars. Likewise, also is used CAA obtained from residues in soil stabilization. In the latter case, residues have also been used in the activators preparation, such as the ashes obtained in the combustion of biomass. The results obtained show the viability in the use of residues for CAA preparation, and the possibility of being used even in underdeveloped contexts. / Agradecer al Ministerio de Ciencia e Innovación por el soporte a mi investigación, mediante los fondos del proyecto APLIGEO BIA2015-70107-R y los fondos FEDER. También a las empresas: Ideal Standard por suministrar residuos de cerámica sanitaria, Omya Clariana S.A. por suministrar catalizador gastado del craqueo catalítico, a Balalva S.L. por suministrar cenizas volantes, a Cementval por suministrar escorias de alto horno, a Heineken España S.A. por el suministro de residuo del filtrado de cerveza (tierras diatomeas), a DACSA GROUP por la ceniza de cáscara de arroz, y a PAVASAL por suministrar suelo de tipo dolomítico. Támbien al servicio de Microscopía electrónica y al Instituto de Ciencia y Técnología del Hormigón de la Universitat Politècnica de València. / Cosa Martínez, J. (2022). Utilización de mezclas de residuos para la obtención de cementos de activación alcalina: aplicación en morteros y suelos estabilizados [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/185221 / TESIS / Compendio

Background: We live in a world where not everyone is employed; numerous people havelost their jobs due to several factors where one of them is the economic crisis. This has hada huge impact on Sweden and the unemployment rate. Previous research has shown thatinflation, unemployment, and high interest rates represent risks to consumer welfare. We all consume daily, or on occasions, but how do unemployed consumers consume, what do they consume and why? In this area, the authors have found a knowledge gap in literature; therefore exploring this phenomenon is of interest.   Purpose: The purpose of this study is to explore and illustrate how consumers who have experienced a life transition, from employment to unemployment, are affected by this and how it has an impact on their consumption.   Method: This is an exploratory study performed with a qualitative and an abductive approach, where the authors used primary data collection through semi-structured in-depth interviews in Swedish with 16 unemployed consumers. These unemployed consumers were selected at Arbetsförmedlingen, the public employment service, in Jönköping.   Results: By living in unemployment the consumers have been affected psychologically, physically, financially and socially. Their identity has changed for each of them since they have to adapt to the new circumstances in their life. The new life situation has had an impact on the consumer’s well-being where depression, anxiety, and a feeling of being the underdog in the society is present. Their new life situation has implied a change in their consumption behavior since they nowadays have to prioritize the basic needs. Many of the respondents used explicit and implicit shopping-list in order to reduce their impulse buying. The contribution that the authors have done to the theory of resistance is a fourth category called ‘Everyday life resistance’ which explains the behavior of people who live in unemployment, i.e. they always have to think about resisting temptations, wants, desires, and avoiding situations where the result may be unnecessary consumption. The consumers in this study are highly involved in their consumption behavior, which the authors have chosen to call ‘reversed habitual decision making’. This kind of involvement is very high despite the high- or low risk category of the product. Their new life situation has made them more aware of product alternatives, market supply, prices, and also knowledge about their own resistance in the marketplace. / Bakgrund: Vi lever i en värld där inte alla har en anställning, en omfattande andel av befolkningen har förlorat sitt jobb på grund av flera faktorer, där en av dem är den ekonomiska krisen. Detta har haft en stor påverkan på Sverige och dess arbetslöshet. Föregående studier har visat att inflation, arbetslöshet och hög räntesats representerar risk för konsumentens välbefinnande. Vi alla konsumerar dagligen eller vid speciella tillfällen, men hur konsumerar en arbetslös konsument, vad konsumerar dem och varför? Inom detta område har författarna funnit ett kunskaps gap i litteraturen, därav är en undersökning av detta fenomen av intresse.   Syfte: Syftet med denna studie är att utforska och illustrera hur konsumenter som har genomgått en livsförändring, från att ha varit anställd till att vara arbetslös, är påverkade av detta och hur detta har inverkat på deras konsumtion.   Metod: Detta är en explorativ studie genomförd med en kvalitativ och abduktiv tillvägagångssätt där författarna har använt sig av primär information samlad genom, till viss del, strukturerade djupgående intervjuer på svenska med 16 arbetslösa konsumenter. Dessa var utvalda vid Arbetsförmedlingen i Jönköping.   Resultat: Att leva som arbetslös har påverkat konsumenterna psykologiskt, fysiskt, finansiellt och socialt. Deras identitet har förändrats då de måste anpassa sig till den nya livssituationen. Den nya situationen har påverkat konsumenternas hälsa då de känner av depression, ängslan och känner sig mindre värda i samhället. Deras nya livssituation har inneburit en det förändringar i deras konsument beteende eftersom de numera måste prioritera sina primära behov. Många av studiens deltagare använde sig av explicita och implicita inköpslistor för att minimera spontanköp. Författarnas bidrag till teorin om motstånd är en fjärde kategori kallad ‘Vardagligt motstånd’ vilket förklarar beteendet hos arbetslösa personer dvs. de måste hela tiden tänka på att motstå frestelser, begär och försöka undvika situationer där onödiga inköp kan uppstå. Konsumenterna i denna studie är synnerligen involverade i sitt konsument beteende, detta har författarna valt att benämna ’omvänt rutin besluts genomförande’. Denna typ av involvering är väldigt hög oavsett om produktkategorin innebär hög- eller låg risk. Deras nya livssituation har gjort dem mer medvetna om alternativa produkter, marknadens utbud, priser och ny kunskap om deras egna motstånd inom konsumtionssamhället.

<p><strong>Background:</strong> We live in a world where not everyone is employed; numerous people havelost their jobs due to several factors where one of them is the economic crisis. This has hada huge impact on Sweden and the unemployment rate. Previous research has shown thatinflation, unemployment, and high interest rates represent risks to consumer welfare. We all consume daily, or on occasions, but how do unemployed consumers consume, what do they consume and why? In this area, the authors have found a knowledge gap in literature; therefore exploring this phenomenon is of interest.</p><p> </p><p><strong>Purpose:</strong> The purpose of this study is to explore and illustrate how consumers who have experienced a life transition, from employment to unemployment, are affected by this and how it has an impact on their consumption.</p><p> </p><p><strong>Method:</strong> This is an exploratory study performed with a qualitative and an abductive approach, where the authors used primary data collection through semi-structured in-depth interviews in Swedish with 16 unemployed consumers. These unemployed consumers were selected at Arbetsförmedlingen, the public employment service, in Jönköping.</p><p> </p><p><strong>Results:</strong> By living in unemployment the consumers have been affected psychologically, physically, financially and socially. Their identity has changed for each of them since they have to adapt to the new circumstances in their life. The new life situation has had an impact on the consumer’s well-being where depression, anxiety, and a feeling of being the underdog in the society is present. Their new life situation has implied a change in their consumption behavior since they nowadays have to prioritize the basic needs. Many of the respondents used explicit and implicit shopping-list in order to reduce their impulse buying. The contribution that the authors have done to the theory of resistance is a fourth category called ‘Everyday life resistance’ which explains the behavior of people who live in unemployment, i.e. they always have to think about resisting temptations, wants, desires, and avoiding situations where the result may be unnecessary consumption. The consumers in this study are highly involved in their consumption behavior, which the authors have chosen to call ‘reversed habitual decision making’. This kind of involvement is very high despite the high- or low risk category of the product. Their new life situation has made them more aware of product alternatives, market supply, prices, and also knowledge about their own resistance in the marketplace.</p> / <p><strong>Bakgrund:</strong> Vi lever i en värld där inte alla har en anställning, en omfattande andel av befolkningen har förlorat sitt jobb på grund av flera faktorer, där en av dem är den ekonomiska krisen. Detta har haft en stor påverkan på Sverige och dess arbetslöshet. Föregående studier har visat att inflation, arbetslöshet och hög räntesats representerar risk för konsumentens välbefinnande. Vi alla konsumerar dagligen eller vid speciella tillfällen, men hur konsumerar en arbetslös konsument, vad konsumerar dem och varför? Inom detta område har författarna funnit ett kunskaps gap i litteraturen, därav är en undersökning av detta fenomen av intresse.</p><p> </p><p><strong>Syfte:</strong> Syftet med denna studie är att utforska och illustrera hur konsumenter som har genomgått en livsförändring, från att ha varit anställd till att vara arbetslös, är påverkade av detta och hur detta har inverkat på deras konsumtion.</p><p> </p><p><strong>Metod:</strong> Detta är en explorativ studie genomförd med en kvalitativ och abduktiv tillvägagångssätt där författarna har använt sig av primär information samlad genom, till viss del, strukturerade djupgående intervjuer på svenska med 16 arbetslösa konsumenter. Dessa var utvalda vid Arbetsförmedlingen i Jönköping.</p><p> </p><p><strong>Resultat:</strong> Att leva som arbetslös har påverkat konsumenterna psykologiskt, fysiskt, finansiellt och socialt. Deras identitet har förändrats då de måste anpassa sig till den nya livssituationen. Den nya situationen har påverkat konsumenternas hälsa då de känner av depression, ängslan och känner sig mindre värda i samhället. Deras nya livssituation har inneburit en det förändringar i deras konsument beteende eftersom de numera måste prioritera sina primära behov. Många av studiens deltagare använde sig av explicita och implicita inköpslistor för att minimera spontanköp. Författarnas bidrag till teorin om motstånd är en fjärde kategori kallad ‘Vardagligt motstånd’ vilket förklarar beteendet hos arbetslösa personer dvs. de måste hela tiden tänka på att motstå frestelser, begär och försöka undvika situationer där onödiga inköp kan uppstå. Konsumenterna i denna studie är synnerligen involverade i sitt konsument beteende, detta har författarna valt att benämna ’omvänt rutin besluts genomförande’. Denna typ av involvering är väldigt hög oavsett om produktkategorin innebär hög- eller låg risk. Deras nya livssituation har gjort dem mer medvetna om alternativa produkter, marknadens utbud, priser och ny kunskap om deras egna motstånd inom konsumtionssamhället.</p>

The topic of my master's thesis is a study of the vegetation of areas near "Úštěk", which is locale in north of Bohemia. Specifically location: Stráň mezi Dolními Řepčicemi a Záhořany/Stráň u Velkého Újezdu, Stráně u Drahobuzi, Stráně u Svářenic/U Malešova, Stráň u Vědlic, les Na Černčí, Bílé stráně u Litoměřic and V kuksu. The main objective was compare to the locations where the species formerly occured to locations with simultaneous concurrent and classify current plant communities and prepare relevés. It was also investigated the dependence of occurrence of the species O. insectifera on the following factors: the type of habitat, elevation, slope and exposure. It demonstrated the positive correlation species on slope was proved. Most exemplar (in 2015) occurred on a location Stráň Svářenic/U Malešova ( 140) and at least in location of Kuks ( 11). The output are maps of locations localizations incidence of the species. The current resultrs were compared with the surveys from previous years.

Durch die Nutzung des fischfutterbedingten Nährstoffeintrags für die kombinierte Produktion von Fischen und Pflanzen können Aquaponiksysteme eine nachhaltige Erweiterung von Kreislaufanlagen der Aquakultur (RAS) darstellen. Herkömmliche Aquakulturfutter zielen jedoch auf Fischproduktion mit geringer Umweltbelastung ab und sind somit nicht für die Aquaponik optimiert. Daher weist RAS-Wasser häufig Mängel im Profil gelöster anorganischer Pflanzennährstoffe auf. So war es Ziel dieser Arbeit, die Auswirkungen unterschiedlicher Proteinquellen auf die Nährstoffdynamik in RAS durch Fütterungsversuche mit Afrikanischem Raubwels und Nil-Tilapia zu untersuchen, bei denen Wachstum, gelöste anorganische Nährstoffkonzentrationen im RAS-Wasser und die Ausscheidung von Nährstoffen über den Kot verfolgt wurden. Der Fokus lag auf nachhaltigen alternativen Proteinquellen zu marinem Fischmehl und terrestrischen Pflanzenproteinen: Larvenmehl der Schwarzen Soldatenfliege (BSFM), Welsschlachtabfallmehl (CM), Geflügelschlachtabfallmehl (PM) und Geflügelblutmehl (PBM). Experimentalfutter, die phosphorreiches PM und CM enthielten, förderten erhöhte Ausscheidung von löslichem reaktivem Phosphor, erzeugten die besten gelösten N:P-Verhältnisse im RAS-Wasser verglichen mit einer Hydroponik-Nährlösung und ermöglichten in Kombination mit PBM besseres Wachstum beim Wels als ein vergleichbares kommerzielles Futter. In Futtern basierend auf einer einzigen Proteinquelle führte PM bei Wels und insbesondere bei Tilapia zu ähnlichem Wachstum verglichen mit marinem Fischmehl, wohingegen BSFM und PBM bei beiden Arten Wachstumsleistung beeinträchtigte. Meta-Analysen aller Versuche legen nahe, dass höherer Phosphor-, Kalium- und Magnesiumgehalt im Futter erhöhte Ausscheidung dieser Elemente in gelöster Form bedingt, was sie zu Zielnährstoffen in Aquaponikfuttern macht, während die Optimierung des Protein zu Energie-Verhältnisses im Futter die gelösten N:P- und N:K-Verhältnisse im RAS-Wasser verbessern kann. / By using the nutrient input from fish feeds for the combined production of fish and plants, aquaponic systems can be a sustainable extension of recirculating aquaculture systems (RAS). However, conventional aquaculture feeds are optimized for fish production and reduced environmental impact rather than aquaponics. Hence, RAS water is often characterized by deficiencies regarding its dissolved inorganic plant nutrient profile. Therefore, this thesis aimed to explore the effect of purposeful dietary protein choice on nutrient dynamics in RAS through four systematic feeding trials involving African catfish and Nile tilapia in which growth performance, dissolved inorganic nutrient concentrations in RAS water and solid fecal nutrient excretion were tracked. Focus was on sustainable alternative protein sources to marine fish meal and terrestrial plant proteins: black soldier fly larvae meal (BSFM), catfish by-product meal (CM), poultry by-product meal (PM) and poultry blood meal (PBM). Experimental diets including phosphorus-rich PM and CM supported increased excretion of soluble reactive phosphorus, produced the most favorable dissolved N:P ratios in RAS water when compared to a renowned hydroponic nutrient solution, and, combined with PBM, enabled better growth performance in African catfish than a comparable commercial diet. In single protein source diets, PM produced similar growth performance in African catfish and particularly Nile tilapia versus marine fish meal, whereas BSFM and PBM impaired growth performance in both species. Meta-analyses covering all trials suggest that higher dietary phosphorus, potassium and magnesium content leads to their increased excretion in dissolved form, making them target nutrients for aquaponic feed formulation, while the optimization of the dietary protein to energy ratio can further improve dissolved N:P and N:K ratios in RAS water.