Tesis:

1

Lescat, Laury. "Caractérisation et étude du rôle de lamp2a chez les poissons". Thesis, Pau, 2019. http://www.theses.fr/2019PAUU3014.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

L’Autophagie médiée par les protéines chaperonnes (ou CMA pour Chaperone-Mediated Autophagy) est une voie majeure du catabolisme lysosomal considérée aujourd’hui comme un acteur central de contrôle de nombreuses fonctions cellulaires, et dont les défauts sont associés à plusieurs pathologies humaines, dont des maladies neurodégénératives, des cancers et des troubles du système immunitaire. Selon l’idée actuellement admise, cette fonction cellulaire n’existerait que chez les mammifères ou les oiseaux, qui seraient les seuls à exprimer la protéine LAMP2A, une protéine nécessaire au fonctionnement de la CMA. Or, récemment, nous avons pu mettre en évidence l’existence de séquences exprimées présentant une forte homologie avec LAMP2A de mammifères chez plusieurs espèces de poissons, remettant ainsi en question ce point de vue et suggérant que la CMA soit apparue beaucoup plus tôt au cours de l'évolution qu'on ne l'avait initialement cru. Dans cette thèse, nous retraçons l’histoire évolutive du gène LAMP2 chez les vertébrés. Nous démontrons que ce gène est apparu après la seconde duplication complète du génome survenue chez l'ancêtre commun des vertébrés il y a environ 500 millions d'années. En outre, en adaptant une méthode récemment décrite pour mesurer l’activité de la CMA dans des cellules de mammifères à une lignée de fibroblastes de medaka (Oryzias latipes), nous apportons la preuve de l’existence de cette fonction cellulaire chez cette espèce de poisson. Enfin, afin de caractériser le rôle physiologique de cette fonction chez les poissons, nous avons procédé à l’invalidation par crispR-cas9 de lamp2a chez le medaka. Les poissons générés présentaient de sévères perturbations du métabolisme intermédiaire, comme précédemment décrit chez des souris dont LAMP2A a été invalidée dans le foie. Dans l’ensemble, ces résultats démontrent clairement, et pour la toute première fois, qu’il existe bien une activité CMA fonctionnelle chez les poissons, et apportent ainsi de nouvelles perspectives dans ce domaine de recherche, notamment en autorisant l'utilisation de modèles génétiques complémentaires, tels que le poisson zèbre ou le medaka, pour faire avancer nos connaissances sur les mécanismes régissant cette fonction cellulaire
Chaperone-Mediated Autophagy (CMA) is a major pathway of lysosomal proteolysis recognized as a key player in the control of numerous cellular functions, and whose defects have been associated to several human pathologies, including neurodegenerative diseases, cancers and immune disorders. To date, this cellular function was presumed to be restricted to mammals and birds, due to the absence of an identifiable lysosome-associated membrane protein 2A (LAMP2A), a limiting and essential protein for CMA, in non-tetrapod species. However, we recently identified the existence of expressed sequences displaying high homology with the mammalian LAMP2A in several fish species, challenging that view and suggesting that CMA appeared much earlier during evolution than initially thought. In the present thesis, we first present new evidences about the evolutionary history of the gene LAMP2 in vertebrates. We demonstrate that LAMP2 appeared after the second whole genome duplication that occurred at the root of the vertebrate lineage approximately 500 million years ago. By using a fluorescent reporter previously used to track CMA in mammalian cells, we then revealed the existence of a CMA-like pathway in a fibroblast cell line of the fish medaka (Oryzias latipes). Finally, to address the physiological role of Lamp2a in fish, we generated, medaka knockout for the splice variant lamp2a, and found severe alterations in the intermediary metabolism, as previously demonstrated in mice deficient for CMA in liver. Altogether, our data provide the first evidence for a CMA-like pathway in fish and bring new perspectives on the use of complementary genetic models, such as zebrafish or medaka, for studying CMA in an evolutionary perspective

2

Ramos, dos Santos Ligia. "Évaluation de la contribution de la fonction du facteur de transcription de la parkine dans la régulation de l'alpha-synucléine dans la maladie de Parkinson". Electronic Thesis or Diss., Université Côte d'Azur, 2023. http://theses.univ-cotedazur.fr/2023COAZ6012.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

La maladie de Parkinson (MP) est une affection neurodégénérative liée à l'âge qui touche plus de 8 millions de personnes dans le monde. Elle peut être d'origine génétique ou sporadique. Elle se caractérise au niveau histopathologique par la présence de corps de Lewy et la perte de neurones dopaminergiques au niveau de la substantia nigra par compacta. Au fil des décennies, les traitements pharmacologiques ont contribué à une amélioration de la qualité de vie des patients, mais n'ont pas permis de les guérir. Pour établir un traitement curatif potentiel, il est important de comprendre les mécanismes moléculaires qui sous-tendent le dysfonctionnement des protéines clés liées à la MP, comme l'α-synucléine (α-syn) et la parkine. L'objectif principal de cette étude était donc d'examiner les mécanismes directs ou indirects de régulation de l'α-syn par la parkine dans la MP. Les objectifs spécifiques étaient les suivants : étudier l'impact de la parkine sur les régulations transcriptionnelles des gènes codant pour l'α-syn (SNCA) et la glucocérébrosidase 1 (GBA1) ; inspecter le rôle de la parkine sur le contrôle de la CMA («chaperonne-mediated autophagy»); évaluer la contribution de la GBA1 dans le contrôle de l'α-syn et de l'CMA par la parkine ; établir la capacité de la parkine à réguler l'α-syn, la GBA1 et la CMA in vivo et dans les cerveaux humains. Nos résultats montrent que la parkine contrôle la transcription des gènes SNCA et GBA1. Nous montrons que cette régulation transcriptionnelle est médiée par l'interaction de la parkine avec les promoteurs des gènes SNCA et GBA1. Nous démontrons que la parkine contrôle l'CMA par l'intermédiaire de GBA1. Des études in vivo basées sur le traitement au paraquat de souris témoins et knock-out pour la parkine corroborent l'interaction moléculaire entre la parkine et l'α-syn dans la MP sporadique. Enfin, l'analyse des nécropsies humaines indique une corrélation entre les niveaux de parkine et d'α-syn phosphorylée, ce qui renforce les données obtenues in vitro, ex-vivo et in vivo.En conclusion, nos résultats corroborent non seulement l'idée que la parkine est une protéine neuroprotectrice, mais délimitent également une nouvelle voie moléculaire dans laquelle le contrôle transcriptionnel de l'α-synucléine et du GBA1 par la parkine a un impact sur la réponse à l'AMC. En outre, nos données ont fourni des informations importantes sur la régulation d'un acteur pathologique clé de la maladie de Parkinson et, par conséquent, peuvent conduire à une meilleure gestion thérapeutique et diagnostique de la maladie à l'avenir
Parkinson's disease (PD) is an age-related neurodegenerative disorder that affects more than 8 million people worldwide. It may be of a genetic or sporadic origin. It is characterized at histopathological level by the presence of Lewy bodies and the loss of dopaminergic neurons at substantia nigra par compacta. Over decades, pharmacological treatments and physical therapies have contributed to an amelioration of health quality of life of patients, but did not allow the cure of the patients. To stablish a potential curative treatment, it is important to understand the molecular mechanisms underlying the dysfunction of key PD causative proteins, as α-synuclein (α -syn) and parkin. Thus, the main objective of this study was to examine the direct or indirect mechanisms of regulation of α-syn by parkin in PD. The specific objectives were to investigate the impact of parkin on the transcriptional regulations of the genes coding for α-syn (SNCA) and glucocerebrosidase 1 (GBA1); to inspect CMA control by parkin; evaluate the contribution of GBA1 in parkin-mediated α-syn and CMA control; to establish parkin capacity of regulating α-syn, GBA1 and CMA in vivo and human brains. Our results show that parkin controls the transcription of SNCA and GBA1 genes. We show that this transcriptional regulation is mediated by the interaction of parkin with the SNCA and GBA1 promoters. We demonstrate that parkin controls CMA via GBA1. In vivo studies based on paraquat treatment of control and parkin knockout mice, corroborate the interplay between parkin and α-syn in sporadic PD. Finally, the analysis of human PD necropsies indicates a correlation between parkin and phosphorylated α-syn levels reinforcing the data obtained in vitro, ex-vivo and in vivo. In conclusion, our results not only corroborate the notion that parkin is a neuroprotective protein, but also delineate a new molecular pathway in which parkin transcriptional control of α-synuclein and GBA1 impacts CMA response. Moreover, our data provided important insights on the regulation of a key pathological player in PD and by consequence may lead to a better therapeutic and diagnostic management of the disease in the future

3

Engquist, Elin. "BOEL-lampan : Utveckling av en lampa för visualisering av elförbrukning i hemmet". Thesis, Mälardalen University, School of Innovation, Design and Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7442.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Den här rapporten behandlar det examensarbete som har utförts på avancerad nivå av Elin Engquist på utbildningen Innovation och produktdesign vid Mälardalens högtskola. Arbetet har utförts under våren 2009 i samarbete med Interactive Institute's avdelning Energy Design i Eskilstuna. Examensarbetet har avsett produktutveckling av en artefakt för visualisering av elförbrukning i hemmet med anledning av den ständigt ökande konsumtionen av hushållsel. Artefakten har under arbetets gång döpts till BOEL-lampan och framtagandet av denna har skett som en del av forskningsprojektet Visuale som utförts vid Interactive Institue. Forskningsprojektet syftade till att göra konsumeter mer medvetna om sin elförbrukning och som en del av projektet behövde en forskningsstudie genomföras. I forskningsstudien var målet att ta reda på om konsumenters beteende gällande elanvändning kunde påverkas med hjälp av ett tävlingsmoment grannar emellan där en webbsida fanns tillgänglig med en personlig profil och en artefakt (BOEL-lampan) som placerad i fönstret kunde visa olika interaktiva färger. Färgerna som implementerades i tävlingen var rött för tappad placering, gult för samma placering och grönt för högre placering. Några av de krav som ställdes på BOEL-lampan var att den skulle kunna visa de olika färgerna och att den skulle kunna uppdateras en gång om dagen då tävlingsmomentet byggde på en procentuell ökning eller minskning av föregående dags elförbrukning, vilket avgjorde tävlingsplaceringen för deltagarna nästkommande dag. Vidare behövde ändringen av färg på BOEL-lampan kunna ske trådlöst för att inget intrång i hushållen skulle behöva göras under tävlingens gång. Det fanns även krav på att lampan skulle vara så energieffektiv som möjligt, ha så liten miljöpåverkan som möjligt, samt att priset inte skulle vara allt för högt. En helhetsbild innehållande alla dessa delar behövdes och där kommersialisering i framtiden fanns i åtanke.

Utvecklingsarbetet med lampan delades in fyra olika delar: trådlös kommunikation, ljuskälla, material samt färg och form. Konceptframtagning skedde för de olika delarna där möjliga alternativ utvecklades och utvärderades. Slutligen skedde ett konceptval inom respektive del och utifrån detta togs lämpligaste tillverkningsmetod fram. För den trådlösa kommunikationen valdes ZigBee/XBee teknik då detta var det bästa alternativet med avseende på pris, energieffektivitet samt möjlighet till uppstartande av nätverk. Till ljuskälla valdes LED-dioder av RGB variant där varje BOEL-lampa innehöll tre RGB-dioder. Materialet som användes för kroppen på lampan var silikon med anledning av ljusspridning och formbarhet, och för toppen på lampan användes plast av formbarhetsskäl. Formen på BOEL-lampan var inspirerad av en droppe och gav lampan en avlång topp och ett runt klot till underdel. Färgen på toppen, och likaså sladden, vart svart då detta var en diskret färg som gick bra ihop med silikonets genomskinliga men något gulaktiga ton.

BOEL-lampan tillverkades manuellt i sex exemplar för forskningsstudien i verkstaden på Mälardalens högskola. Lamporna fungerade på så sätt som tänkt och kunde efter tillverkning sättas upp i testhushållen som medverkade i forskningsstudien. Då lamporna tillverkats upptäcktes vissa aspekter som skulle behöva ändras för framtiden. Silikonet var tungt och färgen på lampan syntes nästan inte alls dagtid, så valet av material och ljuskälla behöver ses över. Vidare är tillverkningsmetoden inte anpassad för serietillverkning, så nytt underlag för detta behöver tas fram. Det finns även utrymme för kostnadsminskningar och en mer noggrann analys av ingående delar behövs.

4

Johansson, Emma. "Tre lampor och ett ben : produktserie för Gotlands Lampfabrik". Thesis, Gotland University, School of the Humanities and Social Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:hgo:diva-413.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Gotlands Lampfabrik är en nystartad verksamhet (2009) som drivs av Jonas Kling och Jane Odell centralt på Gotland. De producerar stilrena lampskärmar i ett ljust polymermaterial med papp på båda sidorna.

Produktionen är liten och görs för hand på plats i den egna fabriken i Väskinde.

Sortimentet består av 33 lampskärmar och i nuläget producerar inte Gotlands Lampfabrik sina egna lampben eller upphängningar utan köper in dem från fristående parter vilket medför att sortimentet kan uppfattas som spretigt och osammanhängande. Dagens sortiment saknar även vägglampor och ljuskällorna som används är glödlampor som från och med 2009 håller på att urfasas från den Europeiska marknaden efter ett beslut från EU.

Möjligheten att kunna välja lampor från samma serie till sitt hem är både efterfrågat samt kan ge en känsla av sammanhållen och genomtänkt interiör. Genom att göra en produktserie med tillhörande upphängning samt lampben skulle verksamheten kunna profilera sig bättre och få en mer tydlig produktidentitet.

I ett nära samarbete med Jonas på Gotlands Lampfabrik kom vi gemensamt överens om att skapa en ny produktserie med tydligt släktskap till varandra. I produktserien skulle en taklampa, en golvlampa samt en bordslampa ingå men efter undersökningar tog vi beslutet att byta ut bordslampan till en vägglampa då Gotlands Lampfabrik saknade denna armatur helt. För att tydligare visa på produktseriens tillhörighet till varandra valde jag även att utveckla ett ben till golvlampan. Då vi arbetat bort bordslampan och den möjliga tillhörande lampbenet fann jag det omöjligt att skapa en upphängning för vägglampan som synligt tillhörde resten av produktserien.

Projektet började med förstudier då jag gjorde en enkätundersökning, marknadsundersökning, trendspaning samt samlade in fakta som sedan legat till grund för arbetet. Efter sammanställning av fakta togs skisser och enklare modeller fram i papper för att presentera mina konceptförslag. Tillsammans med Jonas på Gotlands Lampfabrik diskuterade vi fram ett favoritförslag som resulterade i ytterligare ett koncept som vi båda kände oss nöjda med och sedan producerade jag serien i fabriken. Projektet resulterade i tre lampskärmar, en tak-, en vägg- och en golvlampa med tillhörande lampben för golvlampan. Lampbenet består av ett modulsystem med utbytbara delar där kunden själv får välja vilken form och material som just deras lampben ska ha. Samtliga lampor är försedda med tvinnad textilsladd för en mer exklusiv känsla och är framtagna i det vita plastlaminatet som Gotlands Lampfabrik redan använder. De har även en liten märkning på sladden som visar att den kommer från Gotlands Lampfabrik. Ljuskällan med överlägsna fördelar för projektet blev Philips MasterLED 7W vilket ger en behaglig belysning.

Gotlands Lampfabrik is a new business (2009) run by Jonas Kling and Jane Odell on Gotland in Sweden. They produce stylish lampshades in a bright polymer material with paper on both sides. Their production is small and made by hand in their own workshop in Väskinde with a current collection consisting of 33 lamps.

Gotlands Lampfabrik currently does not produce their own lamp fixtures or suspensions but instead buys them from other companies, as a result making the collection seem unclear and incoherent.

The current collection also lacks wall lamps and the light sources are outdated light-bulbs that are slowly being taken off the market after a decision from the EU.

The possibility to select well designed lamps from a series for your home are both in high-demand and can provide a sense of coherency and well though-out interior design for the consumer.

By making a new, carefully put together product series and lamp-foot, branding for Gotlands Lampfabrik would be easier and help their lamps have a more clear product identity.

In a close collaboration with Jonas we both agreed that I would create a new product series for Gotlands Lampfabrik with a distinct design relationship within the new series. The product series would include a hanging lamp, a floor lamp and a table lamp but after some discussion and studies we took the decision to replace the table lamp with a wall lamp since Gotlands Lampfabrik lacked this fixture in their collection.

The project started with a pilot study where I did market research, a survey and investigated trends within lighting and lamps. After I compiled these facts I made sketches and models and presented them for Gotlands Lampfabrik. Together with Jonas we discussed and picked our favourite concepts which was developed further. The final concept we both agreed on was produced by me in their workshop. The project resulted in three lamps and a modular system for the floor lamp fixture where consumers can select the shape and materials by themselves. All lamps are equipped with a textile cord for a more exclusive feel and are designed in the white plastic laminate that Gotlands Lampfabrik already use in production. The lamps also have a small label on the cord which shows that it comes from Gotlands Lampfabrik. The light source that had most benefits, and was well suited for this project was Philips MasterLED 7W.

5

Upsal, Isaac. "Global Polarization of the Lamba/Anti-Lambda System in the STAR BES". The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu152345697657853.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Hermanns, Marcus Heinrich. "Licht und Lampen im westgriechischen Alltag Beleuchtungsgerät des 6.-3. Jhs. v. Chr. in Selinunt /". Rahden/Westf. : Leidorf, 2004. http://catalog.hathitrust.org/api/volumes/oclc/60520545.html.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Forssman, Niklas. "Monte Carlo simulation study of the e+e- →Lambda Lamba-Bar reaction with the BESIII experiment". Thesis, Uppsala universitet, Kärnfysik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297851.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Studying the reactions where electrons and positrons collide and annihilate so that hadrons can be formed from their energy is an excellent tool when we try to improve our understanding of the standard model. Hadrons are composite quark systems held together by the strong force. By doing precise measurements of the, so called, cross section of the hadron production that was generated during the annihilation one can obtain information about the electromagnetic form factors, GE and GM, which describe the inner electromagnetic structure of hadrons. This will give us a better understanding of the strong force and the standard model.During my bachelor degree project I have been using data from the BESIII detector located at the Beijing Electron-Positron Collider (BEPC-II) in China. Uppsala university has several scientists working with the BESIII experiment. My task was to do a quality assurance of previous results for the reaction e+e-→ Lambda Lambda-Bar at a center of mass energy of 2.396 GeV. During a major part of the project I have been working with Monte Carlo data. Generating the reactions was done with two generators, ConExc and PHSP. The generators was used for different means. I have analyzed the simulated data to find a method of filtering out the background noise in order to extract a clean signal. Dr Cui Li at the hadron physics group at Uppsala university have worked with several selection criteria to extract these signals. The total efficiency of Cui Li's analysis was 14%. For my analysis I also obtained total efficiency of 14%. This gave me confidence that my analysis have been implemented in a correct fashion and that my analysis now can be transferred over to real data. It is also reassuring for Cui Li and the rest of the group that her analysis has been verified by and independently implemented selection algorithm.
Att studera vad som händer vid reaktioner där elektroner och positroner kolliderar och annihilerar så att hadroner kan bildas ur energin kan vara till stor hjälp när vi vill förstå standardmodellen och dess krafter, i synnerhet den starka kraften, som kan studeras i sådana reaktioner. Genom att utföra precisa mätningar av tvärsnitt för hadronproduktion får man fram de elektromagnetiska formfaktorerna GE och GM som beskriver hadronernas inre struktur. Hadroner är sammansatta system av kvarkar och den starka kraften binder dessa kvarkar.\\Under mitt examensarbete har jag använt mig av data från detektorn BESIII som finns vid BEPC-II (Beijing Electron-Positron Collider) i Kina. Uppsala universitet har flera forskare som jobbar med BESIII experimentet. Målet var att kvalitetssäkra den tidigare analys som gjorts för reaktionen e+e- → Lambda Lambda-Bar vid 2.396 GeV. Jag började med att göra Monte Carlo-simuleringar. Reaktionerna har genererats med två olika generatorer, ConExc och PHSP. Dessa generatorer har använts till olika ändamål. De genererade partiklarnas färd genom detektorn har sedan simulerats. Då bildas data av samma typ som dem man får från experiment. Jag har analyserat dessa simulerade data för att hitta en metod som kan filtrera bort bakgrundsstörningar samtidigt som intressanta data sparas. Kriterier utarbetade av Dr. Cui Li har använts för att skapa denna metod. Min algortim gav en total effektivitet på 14%, vilket stämmer bra med den tidigare algoritmen som Cui Li skapade, även där var effektiviteten 14%. Detta ger förtroende för min algortim och den stärker även Cui Lis resultat.

8

Puliyambalath, Naushad Pasha. "Lambda designs for lambda less than 60". The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1253556251.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Weisz, Iván. "Lambda-Designs with Small Lambda are Type-1 /". The Ohio State University, 1995. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487929230740028.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Burkhardt, Mario. "Cykel Lampa : Processbeskrivning för mitt kandidatexamensarbete". Thesis, Linnéuniversitetet, Institutionen för design (DE), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-36687.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Med examensarbetet vill jag undersöka med ett holistiskt synsätt på hela livscykeln av ljuset vilka krav en modern användare har av ett cykelljus och hur dessa anspråk kan åstadkommas.  För att skapa ett cykelljus som fungerar för en modern cykelanvändare utifrån deras krav och behov samt tar hänsyn till alla stakeholders förväntningar. Först gör jag en grundlig research på historiska cykelbelysningar och vad som finns idag, jag kommer att skapa ett ITK och göra Trendanalyser samt Brain- storming, Scenario och Personas. Sedan kommer jag att laborera med Ljust- ester innan jag går över till formgivningen där jag kommer att använda mig av 3D Modeller. Under hela processen kommer jag att skriva och uppdatera min Workbook.

11

Čajan, Tomáš. "Technologie výroby plastového stínítka lampičky". Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2016. http://www.nusl.cz/ntk/nusl-254411.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

This master thesis deals with design of injection molding technology for plastic lamp shade made of polycarbonate labelled Lexan 925. The injection is performed into injection mold with hot runner system. Initially there is a general study related to plastic materials and injection molding technology. Further the study continues with technological solution of production of the lamp shade. The designed injection mold is two-plate, double cavity mold with two hot nozzles and is equipped with a thread-unscrewing machine. This thesis contains part of the documentation and item list of the injection mold, along with technical-economical evaluation of the developed solution.

12

Vilalta, Cea Raul. "Research on the Best Market Applications for LightLab Energy-Saving Lamps". Thesis, Linköpings universitet, Energisystem, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-59499.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Nowadays, lighting represents 20% of the global electricity consumption. Light can be produced using different technologies but more than 100 years after its invention, the incandescent bulb is still the most sold and one of the more used light sources. Of the total energy input in an incandescent bulb more than 90% is lost as heat while less than 10% is converted into visible light. However, there are alternative technologies which use up to 85% less energy for conventional lighting and there are even more efficient light sources for other purposes that if they replace completely all incandescent lamps over the world could reduce dramatically the global electricity consumption and greenhouse gases emissions. One may identify these alternative technologies mainly as LEDs and discharge lamps, but are they the unique alternatives? This thesis is focused on a new lighting technology whose name is LightLab and which is based on the field emission and cathodoluminescence concepts. This technology is under the research and development stage but prototypes have already achieved energy savings over 85% compared to incandescent lamps with a great color performance and with the advantage that it does not use mercury or other hazardous substances compared with discharge lamps. Thus, in the first part of the project all technologies and last improvements are studied while the second part analyses the market applications possibilities for the LightLab lamp considering the environmental perspective regulations and comparing the lamp with the other light sources. The result is that despite there are still some unknown parameters that need to be developed or improved, the lamp has a great potential for different applications fields.

13

Zhang, Xu. "Basal lamina genes affected in leiomyomatosis and congenital muscular dystrophy : structure and mutation analyses of the collagen COL4A6 and laminin LAMA2 genes". Stockholm, 1997. http://diss.kib.ki.se/1997/91-628-2780-4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Berg, Ingrid. "3Cu". Thesis, Högskolan i Borås, Institutionen Textilhögskolan, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-17095.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Hedenskog, Hannes y Karl-Philip Swensson. "Xlight-Retro : En lampa för offentliga inomhusmiljöer". Thesis, Högskolan i Halmstad, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-28593.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Malafová, Martina. "Instalace hybridních lamp v ČR". Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-73589.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

The aim of the paper "Instalace hybridních lamp v České republice" is to reflect on the worldwide phenomenon of renewable energy and its usage in everyday life in the form of a street lighting. Hybrid lamps are particular for the combination of the wind and solar power they generate thanks to the wind turbine and photovoltaic panels they carry. In order to evaluate their possible installation in the Czech Republic the business plan is viewed from four different perspectives - technological, economic, ecological and legal.

17

Kang, Donghee. "Longitudinal lambda and anti-lambda polarization at the COMPASS experiment". [S.l. : s.n.], 2007.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Nebel, Frank. "Nominal lambda calculus". Thesis, University of Leicester, 2015. http://hdl.handle.net/2381/31396.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Since their introduction, nominal techniques have been widely applied in computer science to reason about syntax of formal systems involving name-binding operators. The work in this thesis is in the area of “nominal" type theory, or more precisely the study of “nominal" simple types. We take Nominal Equational Logic (NEL), which augments equational logic with freshness judgements, as our starting point to introduce the Nominal Lambda Calculus (NLC), a typed lambda calculus that provides a simple form of name-dependent function types. This is a key feature of NLC, which allows us to encode freshness in a novel way. We establish meta-theoretic properties of NLC and introduce a sound model theoretic semantics. Further, we introduce NLC[A], an extension of NLC that captures name abstraction and concretion, and provide pure NLC[A] with a strongly normalising and confluent βη-reduction system. A property that has not yet been studied for “nominal" typed lambda calculi is completeness of βη-conversion for a nominal analogue of full set-theoretic hierarchies. Aiming towards such a result, we analyse known proof techniques and identify various issues. As an interesting precursor, we introduce full nominal hierarchies and demonstrate that completeness holds for βη-conversion of the ordinary typed lambda calculus. The notion of FM-categories was developed by Ranald Clouston to demonstrate that FM-categories correspond precisely to NEL-theories. We augment FM-categories with equivariant exponentials and show that they soundly model NLC-theories. We then outline why NLC is not complete for such categories, and discuss in detail an approach towards extending NLC which yields a promising framework from which we aim to develop a future (sound and complete) categorical semantics and a categorical type theory correspondence. Moreover, in pursuit of a categorical conservative extension result, we study (enriched/ internal) Yoneda isomorphisms for “nominal" categories and some form of “nominal" gluing.

19

Bialas, Sabrina. "Lambda-orthogonal photoresists". Thesis, Queensland University of Technology, 2021. https://eprints.qut.edu.au/212724/1/Sabrina%20Bialas%20Thesis.pdf.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Light-driven additive manufacturing spans applications from materials technology to the field of medicine. The success of light-based fabrication techniques is founded on the spatiotemporal control over light-induced reactions, allowing to control when and where a material is made. Since different molecules absorb different colours of light, selecting a precise colour of light allows to execute one specific reaction from complex mixtures, while all other molecules remain untouched (a concept called lambda-orthogonality). By embedding such lambda-orthogonal groups into photoresists, it becomes possible to control not only when and where, but also which material is made – all from one photoresist.

20

Goyet, Alexis. "The [lambda lambda-bar]-calculus : a dual calculus for unconstrained strategies". Paris 7, 2013. http://www.theses.fr/2013PA077281.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Nous présentons un calcul qui combine une représentation simple, à la CCS, des comportements finis. Pour cela nous utilisons deux lieurs duaux: lambda et lambda-bar. Les comportements infinis sont obtenus grâce à un opérateur de point fixe, qui est en particulier utilisé pour donner une traduction des lambda termes. La dualité du calcul rend symétriques les rôles d'une fonction et de son environnement. Comme à l'accoutumé, l'environnement est autorisé à appeler une fonction à n'importe quel moment, à chaque fois avec un argument différent. De manière duale, la fonction est autorisée à répondre à n'importe quel appel, avec à chaque fois un comportement différent. Ceci donne aux termes de notre langage le pouvoir des références fonctionnelles. L'inspiration de ce langage provient de la Sémantique des Jeux. En effet, les formes normales donnent une syntaxe concrète simple pour les stratégies finies, qui sont de façon inhérentes non innocentes. Cette correspondance très directe nous permet de décrire, de manière syntaxique, un certain nombre de traits de la Sémantique des Jeux. L'expansion du point fixe dans un lambda terme traduit corresponds à la génération de parties infinies à partir des vues finies d'une stratégie innocente. La dualité syntaxique entre termes et co-termes corresponds à la dualité entre le Joueur et l'Opposant. Cette dualité donne aussi lieu à un lemme de type Bôhm-out
We present a calculus which combines a simple, CCS-like representation of finite behaviors, with two dual binders lambda and lambda. Infinite behaviors are obtained through a syntactical fixed-point operator, which is used to give a translation of lambda-terms. The duality of the calculus makes the roles of a function and its environment symmetrical. As usual, the environment is allowed to call a function at any given point, each time with a different argument. Dually, the function is allowed to answer any given call, each time with a different behavior. This grants terms in our language the power of functional references. The inspiration for this language cornes from Game Semantics. Indeed, its normal forms give a simple concrete syntax for finite strategies, which are inherently non-innocent. This very direct correspondence allows us to describe, in syntactical terms, a number of features from Game Semantics. The fixed-point expansion of translated lambda-terms corresponds to the generation of infinite plays from the finite views of an innocent strategy. The syntactical duality between ternis and co-ternis corresponds to the duality between Player and Opponent. This duality also gives vise to a Biihm-out lemma

21

Straková, Kateřina. "Design biolampy". Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2018. http://www.nusl.cz/ntk/nusl-382618.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

This master thesis deals with the design of biolamp. First, the product undergoes historical, technical and designer analysis. Based on the findings of these analyzes is to propose a new version of this device meets the ergonomic, technical, aesthetic and social aspects.

22

Blanc, Kirby Andrea. "Planta de clasificación y biometanización RSU Lampa, Chile". Tesis, Universidad de Chile, 2006. http://repositorio.uchile.cl/handle/2250/100827.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

En la región Metropolitana las necesidades de ubicar un relleno sanitario se hacen cada vez más reiterativas, producto de que la gran masa poblacional metropolitana, genera un volumen diario enorme, siendo el mayor del país, situación que se grafica en los informes de la CONAMA donde se establece que la Región Metropolitana concentra el 60.1 % de la producción nacional de residuos con una generación de 1 Kg.de basura diaria por persona. En conclusión, la inserción de estos tratamientos con los beneficios que estos conllevan viene a solucionar problemáticas de contaminación mayor, aminorando los volúmenes de residuos que se depositan en los rellenos y educando a la ciudadanía en una conciencia ecológica. Situación que posiciona a Chile más cerca del modelo de desarrollo sustentable que aspira.

23

Rueff, Bastien. "De la lampe à l'éclairage en Crète minoenne (3200 - 1100 av. J.-C.)". Thesis, Paris 1, 2020. http://www.theses.fr/2020PA01H006.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Les lampes minoennes sont les seules sources de lumière artificielle à ne pas avoir été étudiées comme telles mais plutôt comme marqueurs chronologiques et régionaux. Ce travail de recherche propose une analyse fonctionnelle de ces objets, depuis la mèche jusqu’à la lumière produite et enquête, par ce prisme, sur le rythme des activités et l’espace vécu des Minoens. À cet effet, une approche interdisciplinaire a été mise en œuvre. Une analyse typo-techno-fonctionnelle a été appliquée à 543 lampes et objets ayant pu avoir un lien avec l’éclairage. Ce corpus est issu de sept sites dont la séquence chronologique couvre l’ensemble de l’âge du Bronze ; il autorise une analyse diachronique des techniques d’éclairage dans l’habitat. Le fonctionnement des lampes a été étudié dans le cadre d’un programme expérimental. Fondé sur la reconstitution du répertoire des formes, des combustibles et des mèches disponibles dans l’environnement des Minoens, il a jeté un éclairage nouveau sur les aspects techniques de leur utilisation (transport, durée de combustion, fumées, odeurs, lumière). Dans ce cadre, un référentiel de dépôts de suie a été élaboré. La forme et la texture de ces dépôts varie selon la nature des combustibles utilisés. Des enregistrements photométriques expérimentaux ont, par ailleurs, montré que les ambiances lumineuses diffèrent en fonction des combustibles utilisés. Le référentiel a donc non seulement permis d’identifier les combustibles des lampes minoennes (huiles végétales, graisses animales, cire d’abeille) mais aussi la couleur et l’intensité de leurs flammes, à partir desquels de premiers modèles en trois dimensions ont été réalisés. Une analyse spatiale des lampes dans leur contexte archéologique a, enfin, contribué à préciser le rôle de la lumière dans le rythme et la localisation des activités quotidiennes en s’appuyant, par moments, sur des analogies ethnographiques. C’est l’image d’une société préindustrielle qu’il faut avoir en tête : la journée de travail commence à l’aube et se termine au crépuscule. Son rythme et son intensité varient en fonction des saisons, de la météo et de l’altitude. Les lampes éclairaient, le soir venu, et parfois en journée, des activités collectives et individuelles, à l’extérieur ou à l’intérieur. Mais leurs flammes ne permettaient pas de voir à plus d’un mètre, ce qui suggère que l’on se déplaçait régulièrement dans le noir
Minoan lamps remain the only artificial light sources that have not yet been studied as lighting devices but rather as chronological and regional markers. This research proposes a functional analysis of these objects, entailing from the wick to the light, and investigates, through this prism, the rhythm of activities and the Minoans’ lived space. To this end, an interdisciplinary approach was developed. A typo-techno-functional analysis has been applied to 543 lamps and objects that could have a link with lighting. This corpus comes from seven settlements in a chronological sequence covering the whole Bronze Age, thus permitting a diachronic analysis of lighting techniques within the sites. The function of lamps has been studied through an experimental approach. Based on the reconstruction of shapes, fuels and wicks available in the Minoans’ environment, it has shed light on technical aspects of their utilization (transport, burning length, smokes, smells, light). In this frame, a reference database of soot deposits has been designed. These deposits’ shape and texture vary according to the fuels used. Experimental photometric recordings have, besides, showcased that light ambiances differ according to the fuels. Consequently, the reference database not only helped identifying the fuels of minoan lamps (vegetal oils, animal fats, beeswax) but also their flames’ colour and intensity, based on which some first three-dimensions models have been built. A spatial analysis of lamps in their archaeological context, eventually, contributed to define the role of light on the rhythm and the localization of activities from the daily life, sometimes thanks to ethnographic analogies. This is the picture of a preindustrial society that one shall keep in mind: work starts at dawn and ends at dusk. Its rhythm and intensity vary according to seasons, weather and altitude. Lamps lighted, from the evening onwards, and sometimes during daytime, collective and individual activities, inside and outside. However, their flames didn’t permit to see beyond one meter far, suggesting that moving in the dark was common

24

Espinoza, Francisco. "Plaza de espectáculo y cultura: un espacio para el desarrollo de la identidad : comuna de Lampa, Región Metropolitana". Tesis, Universidad de Chile, 2016. http://repositorio.uchile.cl/handle/2250/143820.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Blum, William. "The safe lambda calculus". Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:537d45e0-01ac-4645-8aba-ce284ca02673.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

We consider a syntactic restriction for higher-order grammars called safety that constrains occurrences of variables in the production rules according to their type-theoretic order. We transpose and generalize this restriction to the setting of the simply-typed lambda calculus, giving rise to what we call the safe lambda calculus. We analyze its expressivity and obtain a result in the same vein as Schwichtenberg's 1976 characterization of the simply-typed lambda calculus: the numeric functions representable in the safe lambda calculus are exactly the multivariate polynomials; thus conditional is not definable. We also give a similar characterization for representable word functions. We then examine the complexity of deciding beta-eta equality of two safe simply-typed terms and show that this problem is PSPACE-hard. The safety restriction is then extended to other applied lambda calculi featuring recursion and references such as PCF and Idealized Algol (IA for short). The next contribution concerns game semantics. We introduce a new concrete presentation of this semantics using the theory of traversals. It is shown that the revealed game denotation of a term can be computed by traversing some souped-up version of the term's abstract syntax tree using adequately defined traversal rules. Based on this presentation and via syntactic reasoning we obtain a game-semantic interpretation of safety: the strategy denotations of safe lambda-terms satisfy a property called P-incremental justification which says that the player's moves are always justified by the last pending opponent's move of greater order occurring in the player's view. Next we look at models of the safe lambda calculus. We show that these are precisely captured by Incremental Closed Categories. A game model is constructed and is shown to be fully abstract for safe IA. Further, it is effectively presentable: two terms are equivalent just if they have the same set of complete O-incrementally justified plays---where O-incremental justification is defined as the dual of P-incremental justification. Finally we study safety from the point of view of algorithmic game semantics. We observe that in the third-order fragment of IA, the addition of unsafe contexts is conservative for observational equivalence. This implies that all the upper complexity bounds known for the lower-order fragments of IA also hold for the safe fragment; we show that the lower-bounds remain the same as well. At order 4, observational equivalence is known to be undecidable for IA. We conjecture that for the order-4 safe fragment of IA, the problem is reducible to the DPDA-equivalence problem and is thus decidable.

26

Moggi, Eugenio. "The partial lambda calculus". Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/419.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

This thesis investigates various formal systems for reasoning about partial functions or partial elements, with particular emphasis on lambda calculi for partial functions. Beeson's (intuitionistic) logic of partial terms (LPT) is taken as the basic formal system and some of its metamathematical properties are established (for later application). Three different flavours of Scott's logic of partial elements (LPE) are considered and it is shown that they are conservative extensions of LPT. This result, we argue, corroborates the choice of LPT as the basic formal system. Variants of LPT are introduced for reasoning about partial terms with a restriction operator ↾, monotonic partial functions (monLPT), lambda-terms λ_p-calculus) and λY-terms λ_pμY-calculus). The expressive powers of some (in)equational fragments are compared in LPT and its variants. Two equational formal systems are related to some of the logics above: Obtulowicz's p-equational logic is related to LPT+↾ and Plotkin's λ_v-calculus is related to one flavour of LPE. The deductive powers of LPT and its variants are compared, using various techniques (among them logical relations). The main conclusion drawn from this comparison is that there are four different lambda calculi for partial functions: intuitionistic or classical, partial or monotonic partial functions. An (in)equational presentation of the intuitionistic lambda calculus for (monotonic) partial functions is given as an extension of p-equational logic. We conjecture that there is no equational presentation of the classical λ_p-calculus. Via a special kind of diamond property, the (in)equational formal system is characterized in terms of β-reduction for partial functions and some decidability problems are solved.

27

Régnier, Laurent. "Lambda-calcul et reseaux". Paris 7, 1992. http://www.theses.fr/1992PA077165.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Les liens etroits qu'entretient le lambda-calcul de church avec la logique et en particulier avec la theorie de la demonstration, en font un outil abstrait particulierement adequat a l'etude de l'execution des programmes. Le propos de la these est de developper une nouvelle theorie de l'execution des lambda-termes basee sur la notion geometrique de trace. Cette alternative a la notion habituelle de calcul, la beta-reduction, est issue des travaux de girard sur les reseaux et la geometrie de l'interaction, et a ete introduite par danos dans sa these (paris 7, 1990). Elle correspond a une decomposition de la beta-reduction en operations locales et est donc un pas important vers une definition d'une execution partagee des lambda-termes. La these est en quatre parties. Les deux premieres introduisent le lambda-calcul et les reseaux. On montre que la syntaxe des reseaux code correctement les lambda-termes, et que les reseaux sont dotes d'une bonne structure geometrique. Les deux parties suivantes developpent les bases d'une theorie des traces et de l'execution

28

Brisset, Pascal. "Compilation de lambda-prolog". Rennes 1, 1992. http://www.theses.fr/1992REN10032.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Cette these presente une solution de compilation pour prolog. Prolog est une extension double de prolog. D'une part deux nouveaux connecteurs, l'implication et le quantificateur universel, permettent d'ecrire des buts non permis en prolog. D'autre part, les termes du premier ordre de prolog sont remplaces par des termes types. La mise en uvre de prolog pose des problemes originaux. Contrairement au cas de prolog, l'unificateur de termes types est non-deterministe et les termes sont types. De plus, la regle de equivalence doit etre prise en compte et les termes doivent etre mis sous forme normale. La quantification universelle necessite de manipuler une signature explicite. L'implication oblige a une modification dynamique de la base de clauses. Apres definition du langage et une specification denotationnelle executable, la compilation de prolog puis celle de prolog sont presentees. L'implantation proposee utilise la machine mali, memoire specialisee pour les langages de programmation logique, au-dessus de laquelle est definie une machine virtuelle inspiree de la wam. Ce travail a ete valide par une realisation. Les performances obtenues, comparees a celles des systemes existants, sont excellentes tant du point de vue du temps que de la memoire

29

Freeman, Nicholas. "The segregated lambda-coalescent". Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:fb162fbf-2fa2-40d7-af84-c6e3744e35c1.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

We study a natural generalization of the Λ-coalescent to a spatial continuum. We introduce the process, which is known as the Segregated Λ-coalescent, via its connections to the (non-spatial) Λ-coalescent and the Spatial Λ-Fleming-Viot process. The main new results contained in this thesis are as follows. The Segregated Λ-coalescent has a non-trivial construction which we present here in terms of stochastic flows. We describe the qualitative behaviour of the Segregated Λ-coalescent and compare it to the behaviour of the Λ-coalescent, showing in particular that the Segregated Λ-coalescent has an extra phase transition which is directly related to the introduction of space. We finish with some results concerning the rate at which the Segregated Λ-coalescent comes down from infinity.

30

Cuti, Filippo. "The finite lambda calculus". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8203/.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Schulz, Florian [Verfasser]. "Präzisionsmessung der Lambda-Separationsenergie von Lambda-vier-H am Mainzer Mikrotron / Florian Schulz". Mainz : Universitätsbibliothek Mainz, 2016. http://d-nb.info/1112151761/34.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Melin, David y Simon Wretblad. "Utveckling av elektronik och solpanel till portabel solcellsdriven lampa". Thesis, KTH, Maskinkonstruktion (Inst.), 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-49766.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Syftet med detta projekt har varit att utveckla en solpanel och elektroniken till en portabel solcellsdriven lampa. Huvuddelarna i systemet är en solpanel, en ljuskälla, ett batteri och ett USB-uttag för att användaren ska kunna ladda t.ex. en mobiltelefon. Målet har varit att leverera produktionsunderlag för en färdig slutprodukt. En solcell är en halvledare som direkt omvandlar solljusets energi till elektrisk energi i form av likström. Den spänning och ström som alstras av en solcell är beroende av ljusinstrålningen, temperaturen, cellens effektivitet och belastning. Solcellen har en punkt, som beror av dessa parametrar, vid vilken den maximala effekten erhålls. Eftersom solceller har en mycket låg utspänning (cirka 0,5 V) är de vanligen seriekopplade för att anpassas till laddningselektroniken.För att utnyttja så mycket energi som möjligt från solcellerna krävs någon form av reglering. Den effektivaste men också den mest komplicerade lösningen, är den med en så kallad ”maximum power-point tracker”. I detta projekt har en enklare metod använts som bara kontrollerar spänningen över solpanelen. För en viss celltemperatur är spänningen vid den maximala effekten ungefär densamma oavsett instrålning.Batteriet som används i projektet är ett encelligt Litiumpolymer-batteri. Avsaknaden av minneseffekt är en mycket viktig egenskap i denna applikation eftersom batteriet laddas så snart det finns tillgång till solljus.Ljuskällan i produkten är en 1 W Power LED. För att se till att ljusutbytet inte varierar regleras strömmen genom lysdioden. Genom att kunna variera strömmen erhålles två olika ljusintensiteter. Med fulladdat batteri kan lysdioden vara tänd med fullt ljus nästan 10 timmar och vid halvljus ca 22 timmar. Resultatet av projektet är förutom produktionsunderlag en testserie bestående av kretskort och solpanel.
The aim of this project has been to develop a solar panel and the electronics for a portable solar powered lamp. The system mainly consists of a solar panel, a light source, a battery and an USB outlet for the user to be able to charge e.g. a mobile phone. The goal has been to deliver production material for a final product.A solar cell is a semiconductor device that directly transforms the energy in sunlight to electric energy in form of direct current. The voltage and current generated by a solar cell are dependent of the irradiance, temperature, cell efficiency and work load. The solar cell has a point, depending on these parameters, at which maximum power is generated, called the maximum power point.To harvest as much energy as possible from the solar cells some sort of control is needed. A technique called maximum power-point tracking is the most effective but also the most complicated solution. In this project a more simple method was used that only controls the voltage across the solar panel. For a specific cell temperature, the voltage at the maximum power point is roughly the same regardless of irradiance.The battery used in this project is a single cell Lithium-Polymer battery. The lack of memory effect is a very important feature since the battery will be charged as soon as there is sunlight available.The light source in this product is a 1 W Power LED. To make sure that the light exchange doesn’t vary the current through the LED is controlled. By having two different values of the current, two different light intensities are achieved. A solar panel and a printed circuit board with components has been manufactured and tested. On a fully charged battery the LED could be turned on at full light nearly 10 hours and at half light 22 hours.

33

Jungström, Pierre. "Framtagning av en belysningsarmatur anpassad för badrumsmiljö". Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Produktutveckling, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-31886.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Within the lighting industry, major focus on rules and restrictions must be followed when developing luminaires. To be able to place a lighting luminaire in a wet room certain requirements must be fulfilled. These requirements are something that must be taken into account and be followed early in the product development process. The study was conducted in collaboration with the company Bsweden Belysningsbolaget AB (Bsweden). Bsweden expressed a desire to receive one or more proposals for products that would expand or strengthen their product variety. The product would be included in the segment “lighting luminaries that can withstand water and are suitable for bathrooms”. The purpose of this study was therefore to develop a proposal of a lighting luminaire that could withstand water and that are suitable for bathrooms. The methods used were literature study, case study, competitor analysis and a design process. Literature study was carried out in the following areas; lighting theory, light sources, choice of material, electrical safety and theory about the design process. The case study consisted of document study and interviews with Bsweden and with the company Intertek Semko AB. A competitor analysis of Bsweden’s nearest competitors was also conducted. All the gathered information was then used during the design process where a design requirement specification and functional analysis was created. These were used as a guideline during the design process and to develop the result of the study. The result contains of a product proposal consisting a stripped and timeless lighting luminaire, adapted for bathrooms. The product proposal meets Bswedens’ requirements and the requirements in the design specification and the functional analysis; therefore the purpose of the study is fulfilled. Because of the existing conditions, the proposed product could not be tested in reality. If a prototype of the product would been manufactured and sent to testing, the requirements for the product could be tested and the results could therefore become more reliable.
Inom belysningsbranschen är det stort fokus på regler och restriktioner som måste efterföljas vid framtagning av armaturer. För att en belysningsarmatur ska få placeras i ett våtrum måste den uppfylla vissa krav. Dessa krav är något som det måste tas hänsyn till och efterföljas tidigt i en produktframtagningsprocess. Studien har utförts i samarbete med företaget Bsweden belysningsbolaget AB (Bsweden). Bsweden uttryckte en önskan om att få ett eller flera förslag på produkter som skulle kunna utöka och stärka deras sortiment. Produkten skulle ingå i segmentet belysningsarmaturer som är anpassade för badrum. Syftet med studien har därför varit att ta fram ett förslag på en belysningsarmatur som är våtrumsanpassad för badrum. De metoder som användes var litteraturstudie, fallstudie, konkurrentanalys och designprocess. Litteraturstudie genomfördes inom områdena belysningsteori, ljus-källor, materialval, elsäkerhet samt designprocess. Fallstudien bestod av dokument-studier och intervjuer med uppdragsgivaren Bsweden samt med företaget Intertek. Dessutom utfördes en konkurrentanalys av Bswedens närmsta konkurrenter. All insamlad information användes sedan under designprocessen där en designkravspeci-fikation och funktionsanalys skapades. Dessa användes som vägvisare under designprocessen för att leda fram till studiens resultat. Resultatet består av ett produktförslag på en avskalad och tidlös belysningsarmatur, anpassad för badrum. Produktförslaget uppfyller de krav som Bsweden ställt samt kraven i designkravspecifikationen. Därmed anses det att studiens frågeställningar har besvarats och således har studiens syfte uppfyllts. Utifrån de förutsättningar som fanns kunde inte produktförslaget testas i verkligheten. Om en prototyp av produktförslaget hade tillverkats och skickats iväg på testning kunde kraven för produkten testats och resultatet hade således blivit mer tillförlitligt.

34

Hübinger, Ulrich. "Die archaischen Lampen aus Olympia Entwurf für eine systematische Darstellung der Formen griechischer Lampen /". [S.l. : s.n.], 2003. http://www.diss.fu-berlin.de/2005/258/index.html.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Harland, Nicholas. "The iterated Carmichael lambda function". Thesis, University of British Columbia, 2012. http://hdl.handle.net/2429/43537.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

The arithmetic function λ(n) is the exponent of the cyclic group (Z/nZ)^x. The k-th iterate of λ(n) is denoted by λk(n) In this work we will show the normal order for log(n/λk(n)) is (loglog n)k⁻¹}(logloglog n)/(k-1)! . Second, we establish a similar normal order for other iterate involving a combination of λ(n) and Φ(n). Lastly, define L(n) to be the smallest k such that λ_k(n)=1. We determine new upper and lower bounds for L(n) and conjecture a normal order.

36

He, Fanny. "The atomic lambda-mu calculus". Thesis, University of Bath, 2018. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.761031.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

A cornerstone of theoretical computer science is the Curry-Howard correspondence where formulas are types, proofs are programs, and proof normalization is computation. In this framework we introduce the atomic λμ-calculus, an interpretation of a classical deep inference proof system. It is based on two extensions of the λ-calculus, the λμ-calculus and the atomic λ-calculus. The former interprets classical logic, featuring continuation-like constructs, while the latter interprets intuitionistic deep inference, featuring explicit sharing operators. The main property of the atomic λ-calculus is reduction on individual constructors, derived from atomicity in deep inference. We thus work on open deduction, a deep inference formalism, allowing composition with connectives and with derivations, and using the medial rule to obtain atomicity. One challenge is to find a suitable formulation for deriving a computational interpretation of classical natural deduction. A second design challenge leads us to work on a variant of the λμ-calculus, the ΛμS-calculus, adding streams and dropping names. We show that our calculus has preservation of strong normalization (PSN), confluence, fully-lazy sharing, and subject reduction in the typed case. There are two challenges with PSN. First, we need to show that sharing reductions strongly normalize, underlining that only β, μ-reductions create divergence. Our proof is new and follows a graphical approach to terms close to the idea of sharing. Second, infinite reductions of the atomic calculus can appear in weakenings, creating infinite atomic paths corresponding to finite ΛμS-paths. Our solution is to separate the proof into two parts, isolating the problem of sharing from that of weakening. We first translate into anintermediate weakening calculus, which unfolds shared terms while keeping weakened ones, and preserves infinite reductions. We then design a reduction strategy preventing infinite paths from falling into weakenings.

37

Even, Christian. "Autour du lambda-calcul partiel". Lille 1, 1993. http://www.theses.fr/1993LIL10045.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Cette thèse a pour objet l'étude des aspects syntaxiques, algébriques et catégoriques du lambda-calcul partiel, qui est un outil théorique pour étudier l'équivalence de programmes exécutées selon un mécanisme d'appel par valeur. En appliquant des techniques éprouvées dans le lambda-calcul pur et en les adaptant à ce calcul on a ainsi obtenu: 1) une preuve de la confluence pour un lambda-calcul partiel simplifie; 2) la caractérisation d'une classe de termes fortement normalisables par un système de types simples; 3) la caractérisation des termes égalisables à une valeur dans le lambda-calcul partiel comme conséquence de celle obtenue par un système de types dans le lambda-calcul par valeur, calcul antérieur et de même vocation que le précédent, mais moins expressif; 4) l'élaboration d'une notion d'algèbre combinatoire répondant à celle de modèle du lambda-calcul partiel et de la relation de cette notion avec la donnée d'une catégorie cartesienne fermée partielle munie d'un objet réflexif

38

Fu, Peng. "Lambda encodings in type theory". Diss., University of Iowa, 2014. https://ir.uiowa.edu/etd/1318.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Lambda encodings (such as Church encoding, Scott encoding and Parigot encoding) are methods to represent data in lambda calculus. Curry-Howard correspondence relates the formulas and proofs in intuitionistic logics to the types and programs in typed functional programming languages. Roughly speaking, Type theory (Intuitionistic Type Theory) formulates the intuitionistic logic in the style of typed functional programming language. This dissertation investigates the mechanisms to support lambda encodings in type theory. Type theory, for example, Calculus of Constructions(CC) does not directly support inductive data because the induction principle for the inductive data is proven to be not derivable. Thus inductive data together with inductive principle are added as primitive to CC, leading to several nontrivial extensions, e.g. Calculus of Inductive Constructions. In this dissertation, we explore alternatives to incorporate inductive data in type theory. We propose to consider adding an abstraction construct to the intuitionistic type to support lambda-encoded data, while still be able to derive the corresponding induction principle. The main benefit of this approach is that we obtain relatively simple systems, which are easier to analyze and implement.

39

Chen, Yun-Liang. "Cloning and expression of sperm antigens from a human testis lambda (#lambda#) gt11 cDNA library". Thesis, Queen Mary, University of London, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325529.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Bourdieu, Catherine. "Synthèse et propriétés des dihydro-1,2 lambda³-azaphosphinines-1,2 première synthèse de lambda³-azaphosphinine-1,2 /". Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37603333w.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Morgenstern, Roy [Verfasser], Thomas [Akademischer Betreuer] Lampke, Thomas [Gutachter] Lampke y Thomas [Gutachter] Schwarz. "Anodische Oxidation von kupferhaltigen Aluminiumlegierungen / Roy Morgenstern ; Gutachter: Thomas Lampke, Thomas Schwarz ; Betreuer: Thomas Lampke". Chemnitz : Technische Universität Chemnitz, 2019. http://d-nb.info/1219582271/34.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

張廣揚 y Kong-yeung Thomas Cheung. "Lamma Archaeological Centre". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1995. http://hub.hku.hk/bib/B31982335.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Cheung, Kong-yeung Thomas. "Lamma Archaeological Centre". Hong Kong : University of Hong Kong, 1995. http://sunzi.lib.hku.hk/hkuto/record.jsp?B25949299.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Lämsä, Karri. "GABAA receptor-mediated excitation in the hippocampus of adult and newborn rats". Helsinki : University of Helsinki, 2000. http://ethesis.helsinki.fi/julkaisut/mat/bioti/vk/lamsa/.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Panebianco, Gabriele. "Introduzione al modello cosmologico Lambda-CDM". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19139/.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Il modello Lambda-CDM è il modello della cosmologia attualmente utilizzato per la descrizione dell'universo e che meglio interpreta i dati osservativi disponibili. Questi dati sono utilizzati per capire quali siano gli elementi che compongono l'universo e in quale misura contribuiscano alla sua evoluzione; essi suggeriscono l'esistenza, oltre alla materia ordinaria e alla radiazione, della costante cosmologica Lambda e della materia oscura (o CDM, cold dark matter) che forniscono il nome al modello. Stabiliti i parametri tipici delle componenti, il modello prevede l'andamento del fattore di scala, una grandezza in evoluzione temporale determinante nel calcolo delle distanze. Lo scopo della presente trattazione è quello di esporre le principali caratteristiche del modello Lambda-CDM. Verrà pertanto effettuata una introduzione alla relatività generale e alla cosmologia soffermandosi su quali principi si basino, quali siano le grandezze fisiche tipiche di queste teorie e quali equazioni utilizzino. In seguito verranno introdotte la costante cosmologica e la materia oscura: si capirà qual è il loro effetto nell'universo e quali sono le evidenze sperimentali che hanno condotto al loro utilizzo. Infine verranno presentati i più semplici modelli cosmologici con lo scopo di capire come le varie componenti dell'universo contribuiscano all'evoluzione dell'universo e interagiscano tra di loro; la trattazione culminerà nell'esposizione del modello Lambda-CDM.

46

Manzonetto, Giulio. "Models and theories of lambda calculus". Phd thesis, Université Paris-Diderot - Paris VII, 2008. http://tel.archives-ouvertes.fr/tel-00715207.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Dans cette thèse on s'intéresse surtout aux sémantiques principales du λ-calcul (c'est- a-dire la sémantique continue de Scott, la sémantique stable, et la sémantique fortement stable) mais on introduit et étudie aussi deux nouvelles sémantiques : la sémantique relationnelle et la sémantique indécomposable. Les modèles du λ-calcul pur peuvent être définis soit comme des objets réflexifs dans des catégories Cartésiennes fermées (modèles catégoriques) soit comme des algèbres combinatoires satisfaisant les cinq axiomes de Curry et l'axiome de Meyer-Scott ( λ-modèles). En ce qui concerne les modèles catégoriques, on montre que tout modèle catégorique peut être présenté comme un λ-modèle, même si la ccc (catégorie Cartésienne fermée) sous-jacente n'a pas assez de points, et on donne des conditions su santes pour qu'un modèle catégorique vivant dans une ccc \cpo-enriched" arbitraire ait H pour théorie équationnelle. On construit un modèle catégorique qui vit dans une ccc d'ensembles et relations (sémantique relationnelle) et qui satisfait ces conditions. De plus, on montre que le λ-modèle associe possède des propriétés algébriques qui le rendent apte a modéliser des extensions non-déterministes du -calcul. En ce qui concerne les algèbres combinatoires, on montre qu'elles satisfont une généralisation du Théorème de Représentation de Stone qui dit que toute algèbre combinatoire est isomorphe a un produit Booléen faible d'algèbres combinatoires directement indécomposables. On étudie la sémantique du λ-calcul dont les modèles sont directement indécomposable comme algèbres combinatoires (sémantique indécomposable); on prouve en particulier que cette sémantique est assez générale pour inclure d'une part les trois sémantiques principales et d'autre part les modèles de termes de toutes les λ-théories semi-sensibles. Par contre, on montre aussi qu'elle est largement incomplète. Finalement, on étudie la question de l'existence d'un modèle non-syntaxique du λ-calcul appartenant aux sémantiques principales et ayant une théorie équationnelle ou inéquationnelle r.e. (récursivement énumérable). Cette question est une généralisation naturelle du problème de Honsell et Ronchi Della Rocca (ouvert depuis plus que vingt ans) concernant l'existence d'un modèle continu de λβ ou λβη. On introduit une notion adéquate de modèles effectifs du λ-calcul, qui couvre en particulier tous les modèles qui ont été introduits individuellement en littérature, et on prouve que la théorie inéquationnelle d'un modèle effectif n'est jamais r.e. ; en conséquence sa théorie équationnelle ne peut pas être λβ ou λβη. On montre aussi que la théorie équationnelle d'un modèle effectif vivant dans la sémantique stable ou fortement stable n'est jamais r.e. En ce qui concerne la sémantique continue de Scott, on démontre que la théorie in équationnelle d'un modèle de graphe n'est jamais r.e. et qu'il existe beaucoup de modèles de graphes effectifs qui ont une théorie équationnelle qui n'est pas r.e.

47

Bertini, Yves. "La notion d'indéfini en lambda calcul". Phd thesis, Chambéry, 2005. http://tel.archives-ouvertes.fr/tel-00415825.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

La facilité compte parmi les notions les plus fines de l'indéfini en lambda-calcul. Un terme est dit facile s'il peut être identifié à tout autre terme clos arbitraire sans soulever de contradiction. Introduite en 1975 par Jacopini, elle fait depuis l'objet de recherches qui visent à caractériser la forme des termes faciles. Aujourd'hui, de tous les travaux entrepris il se dégage qu'un tel terme doit posséder une périodicité. Être périodique, c'est être équivalent à un sous-terme propre de l'un de ses réduits. Ici, la périodicité apparaîtra sous les traits de l'auto-similarité. Sont auto-similaires les termes dont l'arbre de Berarducci réapparaît comme sous-arbre propre à lui-même. La facilité de tels termes demeure un mystère. À ce jour, nous n'en connaissons que peu d'exemples. Le terme "Y omega_3" constitue un exemple typique dont la question de la facilité reste ouverte. Dans cette thèse, nous étendrons la connaissance de l'ensemble des termes m identiables à Y Omega_3. Nous montrerons que dans un cas critique où lambda-beta +{Y Omega_3 = m} implique m = delta_3, sous certaines hypothèses, m est lui-même auto-similaire. Ils s'en suit une description possible de toutes les équations dérivées de {Y Omega_3= m} sous la forme de classes confinantes.

48

Yang, Liqun. "Logical relation categories and lambda calculi". Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9876.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

An aspect of programming languages is the study of the operational semantics, which, in the case of a lambda calculus, is based on a directed form of equational reasoning called reduction. In computer science terminology, reduction may be regarded as a form of symbolic evaluation. It models a sequential computation process step by step. The crucial properties for a rewriting system are confluence, also called the Church-Rosser property and termination, the (Strong) normalization property, respectively. These are studied in depth in Chapter 2 and 6. The problem whether all $\lambda$-terms satisfy termination corresponds to the halting problem. From a different point of view, studying the problem of both Church-Rosser and strong normalization corresponds to, in a particular field, studying the word problem. The notion of categories is familiar to mathematicians as a branch of algebra. It has been developed quite rapidly in less than 40 years. In particular, recently more and more computer scientists are using categories for their own purposes. It is the connection between categories and $\lambda$-calculi that interests computer scientists. This connection is a thread that goes through the whole thesis. (Abstract shortened by UMI.)

49

Diepenveen, Emily. "Relational models of the lambda calculus". Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/27679.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

In [7], Ehrhard et al. present a model of the untyped lambda calculus built from an object without enough points in a cartesian closed category MRel. This thesis presents the background needed to construct and understand this model. In particular we describe what it means for models to have enough points and exhibit connections between MRel with various categorical models of lambda calculus in the literature. In particular, we are able to relate the graph model to MRel. We also describe connections with various kinds of Kleisli categories arising from comonads and their associated theory.

50

Madet, Antoine. "Complexité Implicite de Lambda-Calculs Concurrents". Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00794977.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Resumen

Contrôler la consommation en ressources des programmes informatiques est d'importance capitale, non seulement pour des raisons de performance, mais aussi pour des questions de sécurité quand par exemple certains systèmes mobiles ou embarqués disposent de quantités limitées de ressources. Dans cette thèse, nous développons des critères statiques pour contrôler la consommation en ressources de programmes concurrents d'ordre supérieur. Nous prenons comme point de départ le cadre des Logiques Light qui a été étudié afin de contrôler la complexité de programmes fonctionnels d'ordre supérieur au moyen de la correspondance preuves-programmes. La contribution de cette thèse est d'étendre ce cadre aux programmes concurrents d'ordre supérieur. Plus généralement, cette thèse s'inscrit dans le domaine de la complexité implicite qui cherche à caractériser des classes de complexité par des principes logiques ou des restrictions de langage. Les critères que nous proposons sont purement syntaxiques et sont développés graduellement afin de contrôler le temps de calcul des programmes de plus en plus finement: dans un premier temps nous montrons comment garantir la terminaison des programmes (temps fini), puis nous montrons comment garantir la terminaison des programmes en temps élémentaire, et enfin nous montrons comment garantir la terminaison des programmes en temps polynomial. Nous introduisons également des systèmes de types tels que les programmes bien typés terminent en temps borné et retournent des valeurs. Enfin, nous montrons que ces systèmes de types capturent des programmes concurrents intéressants qui itèrent des fonctions produisant des effets de bord sur des structures de données inductives. Dans la dernière partie, nous étudions une méthode sémantique alternative afin de contrôler la consommation en ressources de programmes impératifs d'ordre supérieur. Cette méthode est basée sur la réalisabilité quantitative de Dal Lago et Hofmann et permet d'obtenir plusieurs bornes de complexité de manière uniforme. Cette dernière partie est un travail en collaboration avec Aloïs Brunel.

Tesis sobre el tema "LAMP2a"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros