• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 843
  • 261
  • 209
  • 72
  • 66
  • 49
  • 32
  • 26
  • 18
  • 12
  • 7
  • 6
  • 5
  • 5
  • 5
  • Tagged with
  • 1778
  • 670
  • 364
  • 288
  • 267
  • 253
  • 211
  • 190
  • 167
  • 164
  • 157
  • 154
  • 152
  • 150
  • 146
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1011

Biophysical studies of membrane interacting peptides derived from viral and Prion proteins

Oglęcka, Kamila January 2007 (has links)
This thesis focuses on peptides derived from the Prion, Doppel and Influenza haemagglutinin proteins in the context of bilayer interactions with model membranes and live cells. The studies involve spectroscopic techniques like fluorescence, fluorescence correlation spectroscopy (FCS), circular and linear dichroism (CD and LD), confocal fluorescence microscopy and NMR. The peptides derived from the Prion and Doppel proteins combined with their subsequent nuclear localization-like sequences, makes them resemble cell-penetrating peptides (CPPs). mPrPp(1-28), corresponding to the first 28 amino acids of the mouse PrP, was shown to translocate across cell membranes, concomitantly causing cell toxicity. Its bovine counterpart bPrPp(1-30) was demonstrated to enter live cells, with and without cargo, mainly via macropinocytosis. The mPrPp(23-50) peptide sequence overlaps with mPrPp(1-28) sharing the KKRPKP sequence believed to encompass the driving force behind translocation. mPrPp(23-50) was however found unable to cross over cell membranes and had virtually no perturbing effects on membranes. mDplp(1-30), corresponding of the first 30 N-terminal amino acids of the Doppel protein, was demonstrated to be almost as membrane perturbing as melittin. NMR experiments in bicelles implied a transmembrane configuration of its alpha-helix, which was corroborated by LD in vesicle bilayers. The positioning of the induced alpha-helix in transportan was found to be more parallel to the bilayer surface in the same model system. Positioning of the native Influenza derived fusion peptide in bilayers showed no pH dependence. The glutamic acid enriched variant however, changed its insertion angle from 70 deg to a magic angle alignment relative the membrane normal upon a pH drop from 7.4 to 5.0. Concomitantly, the alpha-helical content dramatically rose from 18% to 52% in partly anionic membranes, while the native peptide’s helicity increased only from 39% to 44% in the same conditions.
1012

Experimental Study of Flow Past a Circular Cylinder with a Flexible Splitter Plate

Shukla, Sanjay Kumar January 2017 (has links) (PDF)
A circular cylinder is a geometrically simple bluff body that occurs in various practical applications. As with any bluff body, it exhibits large drag forces and a strong fluctuating lift force, both related to the strong shedding of vortices from the body, which is commonly referred to as the Karman Street. Rigid splitter plates in the wake of the cylinder are known to suppress shedding from the body, and thereby result in reduced drag and fluctuating lift forces, the latter being important to reduce flow-induced vibrations of the body. In the present work, the flow past a cylinder with a downstream flexible splitter plate/flap is studied, the length (L) and flexural rigidity (EI) of the flap being the main parameters besides the flow speed (U). Two flaps length to cylinder diameter ratios (L/D), namely, a short (L/D = 2) and a long (L/D = 5) flaps have been studied, the shorter one being smaller than the recirculation zone, while the larger is longer than the recirculation zone. In both these cases, the flexural rigidity (EI) and the flow speed are systematically varied. In all cases, the flaps motion are directly visualized, the lift and drag forces are measured with a force balance, and the wake velocity field is measured using PIV. In both the long and short flaps cases, the flexural rigidity (EI) of the flexible flap has been varied over a large range of values, and it has been found that the results for flaps tip motion and forces collapse well when plotted with a non-dimensional bending stiffness (K∗), which is defined as K∗ = EI/(1/2ρU2L3). This collapse occurs across flexible flaps with different values of EI, as long as Re > 5000. The collapse is not found to be good for Re < 5000. This difference appears to be related to the large reduction in fluctuating lift for a bare cylinder in the Re range between approximately 1600 and 5000 discussed by Norberg[41]. In the long flap case, the existence of two types of periodic modes is found within the range of K∗ values from 5 × 10−6 to 1 × 10−1 studied. The first one corresponds to a local peak in amplitude at K∗ ≈ 1.5 × 10−3 that is referred to as mode I, and the second that occurs at low values of K∗ (K∗ < 3 × 10−5) that is referred to as mode II. The fluctuating lift is found to be minimum for the mode I oscillation. The mean drag is also found to reach a broad minimum that starts at K∗ corresponding to mode I and continues to be at the same low level of approximately 65% of the bare cylinder drag for all higher K∗ values, representing an approximately 35% decrease in mean drag of the cylinder. The wake measurements also show significant changes with K∗. The formation length (lf /D) obtained from the closure point of the mean separation bubble is found to continuously increase with K∗, reaching values of approximately 2.6 at mode I and thereafter only small increases are seen as K∗ is increased to large values corresponding to the rigid splitter plate case, consistent with the observed variations in the mean drag. The stream wise and cross-stream turbulent intensities and the Reynolds shear stress are all found to be strikingly lower in the mode I case compared to the bare cylinder case, and more importantly, these values are even lower than the rigid splitter plate case. This is consistent with the shedding of weaker vortices and with the minimum in fluctuating lift found in the mode I case. The results for this flap length show that the mode I flap oscillation, corresponding to K∗ ≈ 1.5 × 10−3, may be useful to reduce lift, drag, velocity fluctuations in the wake and the strength of the shed vortices. In particular, the wake fluctuations corresponding to this mode are found to be significantly lower than the rigid splitter plate case. In the short flap case (L/D = 2), it is found that there exists a richer set of flapping modes compared to the long flap, with these modes being dependent on K∗. At low K∗ values, the flap exhibits large amplitude symmetric flap motion that is referred to as mode A, while clearly asymmetric flaps motion are seen at higher K∗ values corresponding to modes B and C. Mode B corresponds to asymmetric large amplitude flapping motion, while mode C is also asymmetric with the flap clearly deflected off to one side, but having small oscillation amplitudes. At even higher K∗ values, corresponding to mode D, symmetric flaps motion are again seen with the amplitudes being smaller than in mode A. Apart from the flap tip amplitude, the non-dimensional frequency of flap tip motion also changes as the flap changes modes. In this case, there is a minimum in the fluctuating lift corresponding to mode B and C oscillation. The mean drag is found to reach a minimum again corresponding to mode C, which corresponds to an approximately 35% decrease in mean drag of the cylinder. In this case, there is a large increase in fluctuating lift (approximately 150% of the bare cylinder case) at higher values of K∗ that appears to correspond to a “resonant” condition between the structural natural frequency of the flexible splitter plate/flap and the wake shedding frequency of the bare cylinder. The wake measurements show that the formation length (lf /D) is the largest for mode C (deflected flap state), which is consistent with the observed minimum in mean drag observed for this mode. The stream wise and cross-stream turbulent intensities and the Reynolds shear stress are all found to be strikingly lower in the mode C case compared to the bare cylinder case, with the values for the Reynolds shear stress being lower than the rigid splitter plate case. This is again consistent with the minimum in fluctuating lift found in the mode C case. The results for this flap length show that the mode C flap oscillation, corresponding to K∗ ≈ 5 × 10−2 that correspond to a deflected flap state with very small oscillation may be useful to reduce lift, drag, velocity fluctuations in the wake and the strength of the shed vortices. The results from the present study show that the flexible flap/splitter plate down-stream of the cylinder exhibits a variety of mode shapes depending on the effective bending rigidity of the flap K∗ for both the long and short flaps cases. The forces and the wake are also found to be strongly dependent on this parameter K∗ with the wake fluctuations, lift fluctuations and the drag being very effectively suppressed at an intermediate value of K∗ that is found to be dependent on the plate/flap length.
1013

Circular coloring and acyclic choosability of graphs / Coloration circulaire et coloration acyclique par listes de graphes

Roussel, Nicolas 14 December 2009 (has links)
Dans cette thèse, nous nous intéressons à la coloration circulaire des graphes planaires. Des bornes supérieures ont été données pour des graphes avec degré maximum borné, avec girth, la longueur de son plus petit cycle, bornée, avec des cycles manquants, etc. Ici nous donnerons de nouvelles bornes pour les graphes avec degré moyen maximum borné. Nous étudions également la coloration totale et la coloration (d,1)-totale de plusieurs familles infinies de graphes. Nous décrivons le nouveau concept de coloration (d,1)-totale circulaire. Enfin, nous discutons les conditions nécessaires pour qu'un graphe planaire admette une coloration acyclique par listes de taille 4. / In this thesis, we study the circular coloring of planar graphs. Upper bounds have been given for graphs with bounded maximum degree, with bounded girth, that is the length of its smallest cycle, with missing cycles, and so on. It has also been studied for graphs with bounded maximum average degree. Here we give new upper bounds for that latter case. We also study the total coloring and ($d,1$)-total labeling of a few infinite families of graphs and describe the new concept of circular ($d,1$)-total labeling of graphs. In the last part, we will discuss conditions for a planar graph to be acyclically $4$-choosable.
1014

Os processos circulares como instrumento para a investigação dos elementos que contribuem para a relação harmoniosa entre professor e aluno

Nalzira Medalha dos Santos 23 April 2015 (has links)
This work is related to a research about teacher-student relationship developed with seventeen teachers from a public school, from a country town in São Paulo State. The aims are: from the educator point of view, investigate which elements contribute to a harmonious relationship between teacher and student and inquire, from the same point of view, which are the obstacles that challenge the current teacher-student relationship. For that, the circular process technique was used as a methodology, where some questions related to the teacher and student relationship were proposed, they were recorded and then transcribed for further analysis, according to the model of Bardin. The theoretical basis was mainly from Vygotsky concerning to: the close relation between cognition and affectivity, to the importance of the environment as a source for the individual development, and still considering the relation between thinking and language, the meaning of words, being all this together with the concept of perezhivanie, fundamental inputs for this research. According to the analysis of the collected answers, reported by the subjects of the research about their emotional experiences relating to the memories of the elements that characterize the good relationship between teacher and student, it was observed that the subjects value the human and emotional aspects, but do not stop to consider the aspects of technical and pedagogical character, which also represent the appreciation and respect of teachers by students, resulting in personal appreciation that enables to create affective bonds. As for the difficulties and challenges of teacher-student relationship today, a large percentage of answers showed factors outside the school (lack of values in the family and society) as the main responsible. These responses encourage a reflection on how to solve this problem. In the view of the surveyed teachers, the found alternatives take again the importance of human and affective aspects. It is believed that this work will contribute to the reflection on the harmonious coexistence between teachers and students, as this relationship becomes a key factor in the educational process. / Este trabalho diz respeito a uma pesquisa sobre a relação professor-aluno realizada com dezessete professores de uma escola municipal de uma cidade do interior paulista. Os objetivos são: investigar, segundo o ponto de vista docente, quais elementos contribuem para uma relação harmoniosa entre professor e aluno e inquirir, segundo o mesmo ponto de vista, as dificuldades que caracterizam os desafios da atual relação professor-aluno. Para tanto, utilizou-se como metodologia a técnica do Processo Circular em que foram propostas algumas questões referentes à relação professor-aluno, as quais foram gravadas e posteriormente transcritas, a fim de serem analisadas segundo os constructos da análise de conteúdo de Bardin. A fundamentação teórica apoiou-se sobretudo em Vygotsky no que diz respeito à indissociação entre cognição e afetividade, ao papel do ambiente como fonte de desenvolvimento, abordando ainda a relação entre pensamento e linguagem, o sentido da palavra, sendo estes, juntamente com o conceito de perezhivanie, aportes fundamentais para esta pesquisa. De acordo com a análise das respostas colhidas a partir do relato das experiências emocionais dos sujeitos de pesquisa referentes às memórias acerca dos elementos que caracterizam a boa relação entre professor-aluno, foi possível observar que os sujeitos valorizam os aspectos humanos e afetivos, mas não deixam de considerar os aspectos de caráter técnico-pedagógico, os quais também representam o apreço e o respeito do professor pelo aluno, traduzindo-se em valorização pessoal, capaz de criar vínculos afetivos. Quanto às dificuldades e desafios da relação professor-aluno nos dias atuais, um grande percentual de respostas apresentou os fatores externos à escola (falta de valores na família e na sociedade) como os principais responsáveis. Essas respostas incentivam uma reflexão acerca de como resolver essa problemática. Na visão dos professores pesquisados, as alternativas encontradas retomam a importância de aspectos humanos e afetivos. Acredita-se que esse trabalho poderá contribuir para a reflexão sobre a convivência harmoniosa entre professores e alunos, uma vez que tal relação torna-se um fator fundamental no processo educativo.
1015

O conjunto excepcional do problema de Goldbach

Dalpizol, Luiz Gustavo January 2018 (has links)
Seja E(X) a cardinalidade dos números pares menores ou iguais a X que não podem ser escritos como soma de dois primos. O objetivo central desta dissertação é apresentar uma demonstração de uma estimativa para E(X) dada por Hugh L. Montgomery e Robert C. Vaughan em [22]. Mais precisamente, estabeleceremos a existência de uma constante positiva (efetivamente computável) tal que E(X) X1 ; para todo X su cientemente grande. / Let E(X) the cardinality of even numbers not exceeding X which cannot be written as a sum of two primes. The main goal of this dissertation is to present a proof of an estimate for E(X) given by Hugh L. Montgomery e Robert C. Vaughan in [22]. More precisely, we will establish the existence of a positive constant (e ectively computable) such that E(X) X1 for all su ciently large X:
1016

Produktion av bakteriell cellulose genom användning av det symbiotiska förhållandet mellan bakterier och jäst som används vid Kombuchatillverkning / Bacterial cellulose production using the symbiotic relationship of bacteria and yeast found in Kombucha production

Johansson, Matilda January 2019 (has links)
Different factors such as growing environmental awareness due to the increasing negative impact of persistent plastic wastes, the uncontrollable price variations of the raw material and the rapid depletion of  reserves have increased the interest in research regarding polymers derived from renewable sources to replace petroleum-based materials. One of the earth’s most abundant macromolecules is cellulose. The production of cellulose from another resource replaces and reduces the demand from plants, the other resource being cellulose from a bacterial system. Bcaterial cellulose film were produced by fermenting apple waste (apple pomace) from cider production donated by Herrljunga Cider in Herrljunga, Sweden and expired fruit juice, produced by LoveJuice Indonesia, containing a mixture of fruits, mainly apple. As inoculum for the fermentations two different Kombucha cultures were used. To optimize the fermentation conditions, factors such as nitrogen source, sugar content, temperature, pH, surface area, sterilization of the substrate, culture condition and fermentation time was varied to obtain the desired result. The bacterial cellulose films were dried at 50-70 °C in an oven, air-dried or freeze-dried to evaluate the impact of drying technique on the final material. The behavior of the microorganism during fermentation was monitored by sampling and observation. The consumption rate of carbohydrates was analyzed using high performance liquid chromatography (HPLC). The properties of the obtained biofilms were analyzed using thermogravimetric analysis (TGA), tensile testing and determination of cellulose content in the obtained biofilms. Two different sugar concentrations (35 g/l and 70 g/l) and three different caffeine concentrations (0 g/l, 150 g/l and 225 g/l) as nitrogen source were investigated to determine the best condition. A control batch of conventional (black tea and 70 g/l table sugar) Kombucha was used as reference. The highest tensile strength (50 MPa) and thermal stability was observed in the biofilms with the highest yield that had been dried in oven. The biofilms obtained by fermenting apple pomace from the cider industry showed the highest tensile strength and highest thermal stability in comparison to fermenting expired fruit juice. The biofilm obtained by fermenting apple waste(sugar concentration 70 g/l) in combination with sterilizing the substrate without adding any nitrogen source, dried in an oven and purified using 0,1 M NaOH resulted in the highest tensile strength, highest thermal stability and the purest biofilm from a visual aspect. The highest yield was observed in the fermentation of apple pomace (sugar concentration 70 g/l) from the cider industry without sterilization of the initial media with an addition of nitrogen of approximately 450 mg/l). The optimal fermentation period was observed to be 14-15 days, at 25-28 °C under static conditions using a glass vessel with a diameter of 20 cm and an initial pH of 5,5.
1017

Circular Economy, the future economy model for retailers : A qualitative study on retailers understanding of Circular Economy and their sustainability work progress.

Brodersen, Pauline, Håkansson, Johanna, Pombal Rodrigues Coelho, Viktor January 2020 (has links)
This thesis is about Circular Economy and sustainability through a retailer’s perspective. There has also been a focus on researching and trying to find out if the size of the retailer matters in a sustainability perspective and to achieve a Circular Economy. The research that has been made is done with a deductive approach and a qualitative method. Interviews have been held over a timeframe of a week in May 2020. Because of the pandemic, Covid-19, all of the interviews were held over telephone or email to ensure safety for all respondents, including the safety for the authors. The theory chapter has been conducted through peer-reviewed articles and literature. This chapter has then been divided into smaller parts chapters, as Circular Economy, Sustainability and Supply chain, and Triple bottom line. After the theory chapter the method in how the research have been done and why specific methods have been preferred over others. Following chapter is the empirical findings bundled together with analysis, each interview comes first separately and divided in the same way as the theory and are then compared in an analysis. The conclusion is that retailers need to continue working to become more sustainable. A way for retailers to present their work towards Circular Economy and sustainability is to be transparent and will reach consumers’ which can lead to higher reliability. There is a difference between larger and smaller retailers, it is in how the larger retailers have worked more towards incorporate Circular Economy model and sustainability in comparison to the smaller retailers.
1018

Dynamical circular inference in the general population and the psychosis spectrum : insights from perceptual decision making / Inférence circulaire dynamique en population générale et dans le spectre psychotique : apports de la prise de décision perceptive

Leptourgos, Pantelis 14 November 2018 (has links)
Nous évoluons dans un monde incertain. De ce fait, notre survie dépend de notre capacité à prendre rapidement des décisions, et ce de manière fiable et adaptative. Il est possible de mieux comprendre cette capacité en considérant la perception comme un processus d’inférence probabiliste au cours duquel les informations sensorielles sont combinées à nos attentes pour produire une interprétation plausible de notre environnement. Les théories récentes de psychiatrie computationnelle suggèrent par ailleurs que la grande variabilité des troubles psychiatriques, au rang desquelles figure la schizophrénie, pourrait résulter d’une altération de ces mêmes processifs prédictifs. L’Inférence Circulaire est l’une de ces théories. Ce cadre de pensée stipule qu’une propagation incontrôlée d’information dans la hiérarchie corticale pourrait générer des percepts ou des croyances aberrantes. Afin d’explorer le rôle joué par l’Inférence Circulaire en condition normale ou pathologique, ce travail de thèse s’est appuyé sur des tâches de prise de décision en conditions perceptives ambigües. Dans une première partie, nous nous sommes intéressés au rôle joué par la circularité dans la perception bistable. Le phénomène de bistabilité survient lorsque deux interprétations se succèdent à intervalle régulier pour un même percept. Nous présentons les résultats d’une tâche conduite en population saine où nous avons manipulé les informations sensorielles et à priori utilisées par les participants lors de la visualisation d’un cube de Necker (article 1). Nous avons pu montrer un effet propre à chaque manipulation, mais également une interaction entre ces deux sources d’information, incompatible avec une intégration Bayésienne optimale. Résultat confirmé par la comparaison de divers modèles computationnels ajustés aux données, qui a pu mettre en évidence la supériorité de l’Inférence Circulaire sur les modèles Bayésiens classiques. Nous avons ensuite voulu tester un modèle fonctionnel de la bistabilité (article 2). Nous avons donc dérivé la dynamique du modèle et montré que la présence de boucles descendantes dans la hiérarchie corticale, transformait ce qui était jusque là un intégrateur imparfait du bruit sensoriel en modèle à attracteur bistable. Ce modèle ne reproduit pas seulement le phénomène de bistabilité, mais également l’ensemble de ces caractéristiques phénoménologiques. Dans un 3ème article, nous avons testé une prédiction, notamment en cas de présentation discontinue d’un stimulus bistable. Deux expériences complémentaires utilisant un paradigme de présentation intermittente du cube de Necker ont donc été conduites en population générale. Nos résultats étaient compatible avec les prédictions faites par le modèle de l’Inférence Circulaire Dynamique, suggérant que la circularité puisse être un mécanisme générique à l’origine de notre façon de voir le monde. Dans la seconde partie de ce travail, nous avons étudié l’Inférence Circulaire en condition pathologique, notamment lors d’expériences psychotiques (schizophrénie, psychédéliques). Nous avons utilisé la perception bistable pour explorer les mécanismes computationnels à l’œuvre dans la schizophrénie (article 4,5). Nous avons comparé les performances de patients présentant des symptômes psychotiques à des témoins sains appariés lors d’une tâche de perception bistable. Nous avons pu montrer chez les patients une amplification des informations sensorielles combinée à une surestimation de la volatilité environnementale. Enfin nous terminons ce travail en proposant une approche transversale de l’effet des psychédéliques (article 6), sur la base des résultats précédents et de la spécificité clinique de ces expériences sensorielles cross-modales, afin de relier l’échelle macroscopique (i.e., comportement et phénoménologie), mésoscopique (i.e., les boucles inférentielles) et microscopique (i.e., les différents neurotransmetteurs impliqués aboutissant à un microcircuit canonique). / We live in an uncertain world, yet our survival depends on how quickly and accurately we can make decisions and act upon them. To address this problem, modern neuroscience reconceptualised perception as an inference process, in which the brain combines sensory inputs and prior expectations to reconstruct a plausible image of the world. In addition to that, influential theories in the emerging field of computational psychiatry suggest that various psychiatric disorders, including schizophrenia, could be the outcome of impaired predictive processing. Among those theories, the circular inference framework suggests that an unconstrained propagation of information in the cortex, underlain by an excitatory to inhibitory imbalance, can generate false percepts and beliefs, similar to those exhibited by schizophrenia patients. In the present thesis, we probed the role of circular inference from normal to pathological brain functioning, gaining insights from perceptual decision making in the presence of high ambiguity. In the first part of the thesis, we focused on the role of circularity in bistable perception in the general population. Bistability occurs when two mutually exclusive interpretations compete and switch as dominant percepts every few seconds. In a 1st article, we manipulated sensory evidence and priors in a Necker cube task, asking how the brain combines low-level and high-level information to form perceptual interpretations. We found a significant effect of each manipulation but also an interaction between the two, a finding incompatible with Bayes optimal integration. Bayesian model comparison further supported this observation, showing that a circular inference model outperformed purely Bayesian models. Having established a link between circular inference and bistable perception, we then put forward a functional theory of bistability, based on circularity (2nd article). In particular, we derived the dynamics of a dynamical circular inference model, showing that descending loops (i.e. a form of circularity resulting in aberrant amplification of the priors) transform what is normally a leaky integration of noisy evidence into a bistable attractor with two highly trusted stable states. Importantly, this model can explain both the existence and the phenomenological properties of bistable perception, making a number of testable predictions. Finally, in a 3rd article, we tested one of the model’s predictions, namely the perceptual behaviour when the stimulus is presented discontinuously. We ran two Necker cube experiments using a novel intermittent-presentation methodology, and we calculated the stabilisation curves (i.e. persistence as a function of blank durations). We found that participants’ behaviour was compatible with the model’s prediction for a system with descending loops, suggesting that circularity constitutes a general mechanism that shapes the way healthy individuals perceive the world. In the second part, we studied circular inference in pathological conditions related to psychosis. We notably focused on two varieties of the psychotic experience, namely schizophrenia-related psychosis and drug-induced psychosis. After discussing the links between behaviour, aberrant message-passing and the corresponding neural networks (4th article), we used bistable perception to probe the computational mechanisms underlying schizophrenia in a 5th article. We compared patients with prominent positive symptoms with matched healthy controls in two bistable perception tasks. Our results suggest an enhanced amplification of sensory inputs in patients, combined with an overestimation of the environmental volatility. In the last article (6th), we delineated a multiscale account of psychedelics, ultimately linking the macroscale (i.e. phenomenological considerations such as the crossmodal character of the psychedelics experience), the mesoscale (i.e. loops) and the microscale (i.e. neuromodulators and canonical microcircuits).
1019

On the infinitary proof theory of logics with fixed points / Théorie de la preuve infinitaire pour les logiques à points fixes

Doumane, Amina 27 June 2017 (has links)
Cette thèse traite de la theorie de la preuve pour les logiques a points fixes, telles que le μ-calcul, lalogique lineaire a points fixes, etc. ces logiques sont souvent munies de systèmes de preuves finitairesavec des règles d’induction à la Park. Il existe néanmoins d’autres sytèmes de preuves pour leslogiques à points fixes, qui reposent sur la notion de preuve infinitaire, mais qui sont beaucoupmoins developpés dans la litterature. L’objectif de cette thèse est de pallier à cette lacune dansl’état de l’art, en developpant la théorie de la preuve infnitaire pour les logiques a points fixes,avec deux domaines d’application en vue: les langages de programmation avec types de données(co)inductifs et la vérification des systèmes réactifs.Cette thèse contient trois partie. Dans la première, on rappelle les deux principales approchespour obtenir des systèmes de preuves pour les logiques à points fixes: les systèmes finitaires avecrègle explicite d’induction et les systèmes finitaires, puis on montre comment les deux approchesse relient. Dans la deuxième partie, on argumente que les preuves infinitaires ont effectivement unréel statut preuve-theorique, en montrant que la logique lineaire additive multiplicative avec pointsfixes admet les propriétés d’élimination des coupures et de focalisation. Dans la troisième partie,on utilise nos developpements sur les preuves infinitaires pour monter de manière constructive lacomplétude du μ-calcul lineaire relativement à l’axiomatisation de Kozen. / The subject of this thesis is the proof theory of logics with fixed points, such as the μ-calculus,linear-logic with fixed points, etc. These logics are usually equipped with finitary deductive systemsthat rely on Park’s rules for induction. other proof systems for these logics exist, which relyon infinitary proofs, but they are much less developped. This thesis contributes to reduce thisdeficiency by developing the infinitary proof-theory of logics with fixed points, with two domainsof application in mind: programming languages with (co)inductive data types and verification ofreactive systems.This thesis contains three parts. In the first part, we recall the two main approaches to theproof theory for logics with fixed points: the finitary and the infinitary one, then we show theirrelationships. In the second part, we argue that infinitary proofs have a true proof-theoreticalstatus by showing that the multiplicative additive linear-logic with fixed points admits focalizationand cut-elimination. In the third part, we apply our proof-theoretical investigations to obtain aconstructive proof of completeness for the linear-time μ-calculus w.r.t. Kozen’s axiomatization.
1020

Cirkulär ekonomi : Vilka krav ställs på ett textilföretag för att produktutveckla efter en cirkulär modell / Circular economy : What are the requirements for a textile business in order to manage product development by a circular modell

Larsson, Jakob January 2019 (has links)
Textilindustrin utgör idag 37% av den totala industrin i Europa, en industri som klassas som en utav de mest miljöförstörande av alla industrier där den år 2015 släppte ut 1.2 miljarder ton koldioxid. En utav anledningarna till detta är de många miljöfarliga processer som ingår i den textila värdekedjan från en jungfruresurs till ett färdigt plagg. Dessa processer består av en extrem vattenanvändning som gör att 50% av det vattnet som använts inte kan återanvändas, utvinning och upptagning av olja, transporter världen över med båt, bilar och flygplan samt användning av ej förnybar energi i produktion. Trender kommer och går snabbare än vanligt i dagens modebransch och konsumenterna önskar att haka på dessa trender och shoppar allt mer. Att ett plagg då går igenom alla dessa miljöförstörande processer som skadar vår miljö för att användas en kort tid av en konsument och sen kasseras för att en ny trend har vuxit fram och nya plagg skall inhandlas. Textilföretag idag har insett att en förändring i hur de produktutvecklar måste ske för att minska miljöpåverkan som textilindustrin gör idag. Detta arbete består av en litteraturstudie samt en observation av ett fallföretaget. Litteraturstudien behandlar ämnet cirkulär ekonomi och dess sub-koncept. Observationen av fallföretaget består av intervjuer med utvalda personer i nyckelroller hos fallföretaget samt en undersökning av fallföretagets designunderlag. Resultatet visar hur fallföretaget produktutvecklar idag som senare jämförs i diskussionen där även de åtgärder som fallföretaget bör göra för att produktutveckla efter en cirkulär modell presenteras. / The textile industry today accounts for 37% of the total industry in Europe, an industry which is classified as one of the most environmentally damaging of all industries where in 2015 it released 1.2 billion tonnes of carbon dioxide. One of the reasons for this is the many environmentally hazardous processes that are part of the textile value chain from a maiden resource to a finished garment. These processes consist of an extreme use of water which means that 50% of the water used cannot be reused, extraction and uptake of oil, transports worldwide by boat, cars and aircraft and the use of non-renewable energy in production. Trends come and go faster than usual in today's fashion industry and consumers want to follow these trends and as a result, shop ever more. That a garment then goes through all these environmentally destructive processes that damage our environment for being used for a short time by a consumer and then discarded for a new trend has emerged and new garments have to be purchased. Textile companies today have realized that a change in how they develop products must be done to reduce the environmental impact that the textile industry is doing today. This work consists of a literature study and an observation of a case company. The literature study deals with the topic of circular economy and its sub-concept. The observation of the case company consists of interviews with selected persons in key roles of the case company and an examination of the case company´s tech-packs. The result shows how the case company is developing products today, which are later compared in the discussion where also the measures that the case company should take to product develop by a circular model.

Page generated in 0.0944 seconds