To see the other types of publications on this topic, follow the link: Lambas.
Dissertations / Theses on the topic 'Lambas'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Lambas.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
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.
Full text
2
Águeda, Abílio Afonso da. "O fotógrafo Lambe-Lambe: guardião da memória e cronista visual de uma comunidade." Universidade do Estado do Rio de Janeiro, 2008. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=1482.
Full textAbstract:
Trabalhando nas ruas, praças, parques e jardins públicos das cidades brasileiras ao longo de todo o século XX, o fotógrafo Lambe-Lambe pode ser considerado um importante agente responsável pela democratização e pela popularização do retrato fotográfico entre as classes menos privilegiadas de nossa sociedade, produzindo uma documentação visual que preserva e transmite a memória coletiva de grupos comunitários e familiares. Este trabalho analisa os usos sociais das imagens produzidas por estes profissionais, e reflete sobre o papel social dos fotógrafos Lambe-Lambes, representantes de uma prática profissional que foi registrada como patrimônio cultural imaterial carioca. Nesse sentido, o enfoque de abordagem foi estruturado sobre três vertentes: as inter-relações entre fotografia e memória, as possibilidades de aproximações críticas e epistemológicas entre os retratos de família e as fotografias de Lambe-Lambes, e a atuação do campo antropológico na definição de políticas públicas de preservação e salvaguarda do patrimônio cultural.Working on the streets, squares, parks and public gardens of Brazilian cities throughout the twentieth century, the photographer Lambe-Lambe can be considered an important agent responsible for democratisation and popularization of portrait photography among the less privileged classes of our society, producing a visual documentation that preserves and transmits the collective memory of family and community groups. This work examines the social uses of the images produced by these professionals, and reflects on the social role of photographers Lambe-Lambes, representatives of a professional practice that was recorded as intangible cultural heritage of the Rio de Janeiro city. In that sense, the focus of approach was structured on three issues: the inter-relationship between photography and memory, the possibilities of criticism and epistemological approaches between the portraits of family and pictures of Lambe-Lambes, and the participation of the anthropological field in the definition of public policies of preservation and safeguarding of cultural heritage.
3
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.
Full textAbstract:
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.
4
Leventis, Thomas. "Lambdas-théories probabilistes." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM4085/document.
Full textAbstract:
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéresserons à certaines variantes non déterministes, et nous nous pencherons plus particulièrement sur le cas probabiliste.L'étude du lambda-calcul probabiliste n'est pas nouvelle, mais les travaux précédents considéraient le comportement probabiliste comme un effet de bord. Notre objectif est de présenter ce calcul d'une manière plus équationnelle, en intégrant le comportement probabiliste à la réduction.Tout d'abord nous définissons une sémantique opérationnelle déterministe et contextuelle pour le lambda-calcul probabiliste en appel par nom. Afin de traduire la signification de la somme nous définissons une équivalence syntaxique dans notre calcul, dont nous démontrons qu'il ne déforme pas la réduction: considérer une réduction modulo équivalence revient à considérer simplement le résultat du calcul modulo équivalence. Nous prouvons également un résultat de standardisation.Dans ce cadre nous définissons une notion de théorie équationnelle pour le lambda-calcul probabiliste. Nous étendons certaines notions usuelles, et en particulier celle de bon sens. Cette dernière se formalise facilement dans un cadre déterministe mais est bien plus complexe dans le cas probabiliste.Pour finir nous prouvons une correspondance entre l'équivalence observationnelle, l'égalité des arbres de Böhm et la théorie cohérente sensée maximale. Nous définissons une notion d'arbres de Böhm probabilistes dont nous prouvons qu'elle forme un modèle. Nous démontrons ensuite un résultat de séparabilité disant que deux termes avec des arbres de Böhm distincts ne sont pas observationnellement équivalentsThe lambda-calculus is a way to formalize the notion of computation. In this thesis we will be interested in some of these variants introducing non deterministim, and we will focus mostly on a probabilistic calculus.The probabilistic lambda-calculus has been studied for some time, but the probabilistic behaviour has always been treated as a side effect. Our purpose is to give a more equational representation of this calculus, by handling the probabilities inside the reduction rather than as a side effect.To begin with we give a deterministic and contextual operational semantics for the call-by-name probabilistic lambda-calculus. To express the probabilistic behaviour of the sum we introduce a syntactic equivalence in our calculus, and we show it has little consequence on the calculus: reducing modulo equivalence amount to reducing and then looking at the result modulo equivalence. We also prove a standardization theorem.Then using this operational semantics we define a notion of equational theories for the probabilistic lambda-calculus. We extend some usual notions to this setting, and in particular the sensibility of a theory. This notion is quite simple in a deterministic setting but becomes more complicated when we have a probabilistic computation.Finally we prove a generalization of the equality between the observational equivalence, the Böhm tree equality and the maximal coherent sensible lambda-theory. We give a notion of probabilistic Böhm trees, and prove that this forms a model of the probabilistic lambda-calculus. Then we prove a separability result stating that two terms with different Böhm trees are separable, i.e. are not observationally equivalent
5
Grube, Laura Katherine. "The Effects of Sex, Breed, and Slaughter Weight on Growth, Carcass, and Sensory Characteristics of Lamb." Thesis, North Dakota State University, 2018. https://hdl.handle.net/10365/29216.
Full textAbstract:
American lambs are often over-finished and lack consistent quality. It has been suggested that the use of intact ram lambs can decrease USDA YG and improve growth efficiency. However, ram lamb carcasses are underutilized because of potential issues, the most crucial being off-flavor development. Our hypothesis for this study is that U.S. producers can take advantage of intact ram lamb growth and performance with no detriment to product quality, as long as lambs are slaughtered before the attainment of puberty. Three breeds (Hampshire, Dorset, and Columbia), three slaughter weights (light, medium, and heavy) and two sexes (rams and wethers) were evaluated. Results indicate that ram lambs can provide a satisfactory eating experience, however, in one of our studies compounding of maturity and slaughtering intact rams increased incidence of off-flavors. It remains undetermined whether the small differences in sensory characteristics would be detectable by everyday consumers.
6
Stohrer, Rena M. "Urea transporter-B expression in ruminants." Laramie, Wyo. : University of Wyoming, 2007. http://proquest.umi.com/pqdweb?did=1456289141&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full text
7
Berkane, Emir. "Étude de l'interaction entre GpJ, une protéine du bactériophage Lambda et LamB, une protéine de la membrane externe des bactéries gram-négatives." Toulouse 3, 2005. http://www.theses.fr/2005TOU30005.
Full textAbstract:
La fixation du bactériophage Lambdasur son récepteur cellulaire, LamB, est dûe à une protéine de sa queue appelée gpJ. Le but des travaux est d'étudier l'interaction entre le bacteriophage lambda et LamB à travers l'étude du complexe entre LamB et gpJ exprimée en protéine de fusion. La formation d'un complexe entre la partie C-terminale de gpJ et LamB sauvage, ainsi que de mutants a pu être confirmée non seulement au travers de travaux de BLM, une technique d'électrophysiologie, mais également de SDS-PAGE et d'immunodétection. Ces travaux montrent également que des résidus présents sur les boucles extracellulaires L4, L6 et L9 ne sont pas nécessaires à la fixation de gpJ alors qu'ils le sont pour celle du bacteriophage LambdaThe bacteriophage lambda is a virus which infects bacteria carrying the LamB protein in their outer membrane. GpJ, a protein of the tail of the phage, is involved in the binding to LamB. The study of the interaction between gpJ expressed as fusion protein and LamB was performed in order to investigate the interaction between the bacteriophage Lambda and LamB. The interaction between the C-terminal extremity of gpJ and LamB was also demonstrated on planar lipid bilayer experiments, an electroph-ysiological technic, and on SDS-PAGE and immunodetection. Furthermore, the use of variants of LamB allowed to demontrate that the C-terminal fragment of gpJ does not bind to residues on the outer loops L4, L6 and L9 that are necessary for the interaction with the bacteriophage Lambda
8
Sprinkle, Jim. "Feeding Management for Show Lambs." College of Agriculture and Life Sciences, University of Arizona (Tucson, AZ), 2009. http://hdl.handle.net/10150/144707.
Full textAbstract:
9 pp.As a general rule, lambs are not purchased until they are at least 8 weeks old and exceed 40lbs. in weight. The lamb should gain an average of .5 to .8 lbs. a day. This publication discusses how to feed a show lamb according to its nutrient needs.
9
Puliyambalath, Naushad Pasha. "Lambda designs for lambda less than 60." The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1253556251.
Full text
10
Dawacairen. "Xizang huo fo de zheng zhi jiao se ji qi li shi bian qian = The political role of living Buddha in Tibet and their historical transformations /." click here to view the abstract and table of contents, 2000. http://net3.hkbu.edu.hk/~libres/cgi-bin/thesisab.pl?pdf=b15722636a.pdf.
Full text
11
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.
Full text
12
Hamad, A.-W. R. "Factors affecting nitrogen retention in lambs." Thesis, University of Oxford, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371514.
Full text
13
Strain, Samuel Alexander James. "Immunity to abomasal parasites in lambs." Thesis, University of Glasgow, 2001. http://theses.gla.ac.uk/5435/.
Full textAbstract:
The parasitic nematodes Teladorsagia (Ostertagia) circumcincta and Haemmonchus contortus are two of the most important pathogens of sheep and goats worldwide. The purpose of the work described in this thesis was to identify the mechanism of resistance to these parasites in young lambs. Lambs infected with T. circumcincta are incapable of controlling their worm burdens. However, it appears that some are capable of controlling the growth and therefore the fecundity of adult female worms. Work described in chapter three shows that the most important mechanism controlling the growth and fecundity of this parasite is the local IgA response. 933 lambs were studied over 5 years. Faecal egg counts were performed on these lambs and 485 of these lambs were slaughtered and the average female worm lengths determined. Analysis showed a highly significant effect of parasite specific IgA on worm length. Those lambs with higher IgA response to fourth-stage larvae had on average shorter worms. This response was heritable. Thus genetic resistance to T. circumcincta acts by reducing worm fecundity and works through a parasite-specific IgA response. In addition, this response is sex related with male lambs having the poorest response and females the best. Not only is the quantity of IgA important in determining host resistance, but also the specificity. Chapter four details work done in investigating the antigen specificity of the IgA response to T. circumcincta.
14
Oppong-Anane, Kwame. "The following (walking) ability of the neonatal lamb." Title page, table of contents and abstract only, 1991. http://web4.library.adelaide.edu.au/theses/09PH/09pho62.pdf.
Full textAbstract:
Includes bibliographical references (leaves 276-2970. Investigations presented involve 18 hour to 5 day old South Australian merino lambs. Some twin lambs were available for comparative studies. Examines the relationship between the strength of ewe-lamb bond and the lamb's ability to follow the mother, the energy availability and usage in the lamb, particularly for locomotion, and the metabolic and cardiorespiratory responses to locomotion.
15
Valdivia, Alatrista Carla Marlene. "Una mirada territorial en la planificación sostenible de las ciudades urbano-rurales. Caso: el territorio de Lamas, región de San Martín." Pontificia Universidad Católica del Perú, 2019. http://hdl.handle.net/20.500.12404/16927.
Full textAbstract:
La presente investigación analiza el proceso de planificación del territorio y la aplicación de sus instrumentos. Actualmente existen desarticulaciones territoriales que afectan a la población urbano-rural, debido a que no se ha logrado resolver eficazmente la exclusión en su interior. De esta manera, es importante identificar aquellos aspectos propios de una localidad, en este caso en el distrito de Lamas del departamento de San Martín, que configuran un territorio habitado y ocupado a partir del cotidiano de la población.
Para entender e identificar cuáles son estos aspectos propios de una localidad que configuran un territorio, se tomó como base teórica el enfoque de territorialidad. Su aplicación en las comunidades nativas que se ubican en el distrito de Lamas permite ir desde lo local, identificando sus principales características como ejes de planificación.
Un paso metodológico es realizar un análisis crítico al Plan de Desarrollo Urbano de la ciudad de Lamas. Se trata de identificar las incongruencias que en él se plantean frente al enfoque de la territorialidad. Una de ellas, por ejemplo, el enfoque netamente urbano en las ciudades menores principales como Lamas, cuya característica principal es la estrecha relación con su ámbito rural.
El trabajo desarrolla una primera aproximación sobre la estructura territorial, identificada a partir de la multiescalaridad y la multidimensionalidad, las cuales se dan a partir de la organización, relaciones y recorridos en el territorio.Trabajo de investigación
16
Atkinson, Rebecca L. "Endogenous nitrogen recycling in the forage-fed ruminant." Laramie, Wyo. : University of Wyoming, 2006. http://proquest.umi.com/pqdweb?did=1225132591&sid=2&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full text
17
Condon, Joey A. Londré Felicia Hardison. "An examination into the history and present interrelationship between the church and the theatre exemplified by the Manhattan Church of the Nazarene, the Lambs Club, and the Lamb's Theatre Company as a possible paradigm." Diss., UMK access, 2007.
Find full textAbstract:
Thesis (M.A.)--Dept. of Theatre. University of Missouri--Kansas City, 2007."A thesis in theatre." Typescript. Advisor: Felicia Hardison Londré. Vita. Title from "catalog record" of the print edition Description based on contents viewed Jan. 24, 2008. Includes bibliographical references (leaves 179-195). Online version of the print edition.
18
Haan, Harmen Hendrik de. "Fetal asphyxia a study in preterm lambs /." Maastricht : Maastricht : Rijksuniversiteit Limburg ; University Library, Maastricht University [Host], 1994. http://arno.unimaas.nl/show.cgi?fid=6746.
Full text
19
Wood, Graham N. "Recognition and assessment of pain in lambs." Thesis, University of Edinburgh, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.531866.
Full textAbstract:
Local anaesthetic administered epidurally at the base of the tail, and infiltrated into the testes, spermatic cords and neck of the scrotum eliminated the behavioural and plasma cortisol responses associated with castration and tail-docking, confirming that the pain observed was dependent on afferent activity from the affected areas. Having established the neural basis of the responses seen, attempts were made to modify the intensity of pain experienced so that measurement of the changes in behaviour and plasma cortisol concentration could be used to determine the usefulness of the behavioural and physiological indices adopted for the recognition and assessment of pain. Pretreatment with intravenous naloxone 0.2mg/kg I/V), which was anticipated to antagonise an endogenous opioid antinociceptive system activated following castration and tail-docking, provided limited evidence for an increase in pain intensity. 6 procedures which were proposed to represent a range of intensities and duration of noxious stimulation based on the amount and type of tissue involved were ranked in the expected order using the physiological and behavioural indices selected. A study was undertaken to determine if morphine (16mg) etorphine (10nmol) or xylaziantne (50g) by either the epidural or intrathecal route could provide a method by which pain intensity could be reduced in a dose dependent manner, to further improve the indices used for recognising and assessing pain. The results of these studies suggested that the pain produced by castration or castration and tail-docking cannot be eliminated by the doses of the drugs tested and the routes used. To confirm these results preliminary experiments were performed, morphine or xylazine was administered intrathecally to demonstrate active drug gained access to, and had the expected effect on the Sural-semitendinosus reflex in the lamb. Morphine failed to suppress the semitendinosus reflex which is consistent with the results obtained. The suppression of the semitendinosus reflex by xylazine is not consistent with the absence of analgesia in lambs to which either epidural or intrathecal xylazine (50g) had been administered prior to castration or castration and tail-docking, as the general view is that reflex suppression is highly correlated with the level of analgesia. The results of this study present data which shows physiological and behavioural indices can be used to recognise and assess a range of pain intensities in this age of lamb originating from the scrotum, testes and tail.
20
Davies, Mina C. G. "Factors affecting embryo mortality in ewe lambs." Thesis, Aberystwyth University, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.340852.
Full text
21
Tadich, N. A. "Studies on immunisation of ewes and lambs." Thesis, University of Liverpool, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370843.
Full text
22
Gallo, C. B. "Studies in the rearing of triplet lambs." Thesis, University of Liverpool, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370846.
Full text
23
Christofor-Ganev, Yvonne. "Charles und Mary Lambs "Tales from Shakespeare" /." Frankfurt am Main : P. Lang, 1995. http://catalogue.bnf.fr/ark:/12148/cb37702970p.
Full text
24
Ichpas, Adauto Heber, Gutiérrez Diego Regalado, Vanegas Lina Cuéllar, and Andrés Sandro Sánchez. "Planeamiento estratégico para la Provincia de Lamas." Master's thesis, Pontificia Universidad Católica del Perú, 2017. http://tesis.pucp.edu.pe/repositorio/handle/123456789/9635.
Full textAbstract:
El presente estudio tiene como objetivo el desarrollo de un plan estratégico para la
provincia de Lamas con una visión hacia el año 2030, donde se presentan las estrategias y
objetivos necesarios para incrementar su nivel de competitividad, dando valor al recurso
humano, y tomando como pilares de su desarrollo a la educación, la salud y la reformulación
de sus principales actividades económicas para incrementar su capacidad de generación de
riqueza mediante su actuación sobre toda la cadena productiva.
La implementación de las estrategias propuestas busca el desarrollo de la provincia
con la finalidad de transformarla en un referente en producción, transformación y exportación
de cacao fino de aroma y el turismo rural comunitario. Estas estrategias se formularon
considerando las competencias y responsabilidades del gobierno provincial. En los resultados
obtenidos se evidencia que a pesar de las adversidades del entorno externo e interno, la
provincia de Lamas tiene potencial suficiente para ser una de las provincias más competitivas
del Perú, a través de la transformación de sus ventajas comparativas en ventajas competitivasThe present study aims to develop a strategic plan for the province of Lamas with a vision board for 2030, which presents the strategies and objectives needed to increase its level of competitiveness, giving value to the human resource, and taking the education, health and main economic activities reformulation as pillars of development for increase the ability to generate benefits through taking action on the entire productive chain. The implementation of the proposed strategies looking for the development of the province in order to become a reference in production, manufacturing and export of fine aroma cocoa and community rural tourism. These strategies were formulated considering the competencies and responsibilities of the provincial government. The results show that despite the external and internal environment adversity, the province of Lamas has sufficient potential to be one of the most competitive provinces of Peru, through the change from the comparative advantages to competitive advantages
Tesis
25
Burnett, Fiona Ann. "The nutrition of lambs offered forage brassicas." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/27590.
Full text
26
Dorjkhaidav, Orlokh Stone Sheldon. "Upper limit for electron-positron decaying to neutral Lambda(baryon)-antineutral Lamba(baryon) cross section and R in the center-of-mass energy range from 11.230 to 11.382 GeV." Related electronic resource: Current Research at SU : database of SU dissertations, recent titles available full text, 2004. http://wwwlib.umi.com/cr/syr/main.
Full text
27
Kang, Donghee. "Longitudinal lambda and anti-lambda polarization at the COMPASS experiment." [S.l. : s.n.], 2007.
Find full text
28
Testelin, Sylvie. "La reconstruction muqueuse oro-pharyngee : lambeau cutane versus lambeau digestif." Amiens, 1992. http://www.theses.fr/1992AMIEM051.
Full text
29
Arnall, Jennifer K. "Susceptibily of colostrum-deprived lambs and lambs receiving colostrum to the cervid adenovirus that causes hemorrhagic disease in deer." Laramie, Wyo. : University of Wyoming, 2007. http://proquest.umi.com/pqdweb?did=1495962561&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full text
30
Chayña, Santa Cruz Karol Katherine. "Evaluación y análisis de las relaciones ecológicas, sociales y culturales de los árboles y palmeras con la población de la ciudad de Lamas – San Martín." Master's thesis, Pontificia Universidad Católica del Perú, 2020. http://hdl.handle.net/20.500.12404/16911.
Full textAbstract:
La Provincia de Lamas, ubicada al noreste del Departamento y Región de San Martín, cuenta con un acervo pluricultural de gran riqueza. En los bordes como dentro de la ciudad de Lamas, se encuentran barrancos y manantiales, que solían ser lugares de encuentro social. Actualmente, tanto los manantiales como los barrancos, se están viendo amenazados por la contaminación ambiental producida por la ciudad debido a la pérdida de su reconocimiento como lugar común. El Plan de Desarrollo Urbano (PDU) de la Municipalidad de Lamas del año 2017, resalta este problema ambiental y propone una serie de acciones de recuperación de estos espacios, además de un plan de reforestación para la ciudad. El presente estudio busca aportar al Plan de Desarrollo para lo cual analiza, desde un enfoque biocultural, las relaciones sociales, culturales y ecológicas entre la población usuaria y las especies de árboles y palmeras de la ciudad, que se encuentran en barrancos, manantiales, calles, plazas, jardines, huertas privadas y alrededores rurales. Se concluye que los árboles y palmeras brindan servicios ecosistémicos, sociales y económicos a la población, así como son parte importante de la cultura e historia de la ciudad. Sin embargo, la presencia de especies nativas de árboles y palmeras se ve amenazada por un fenómeno de aculturación de la población y la disminución del tamaño de las huertas, espacios que suelen albergar una diversidad de estas especies. A partir de estos hallazgos, se recomiendan consideraciones a seguir para la posterior puesta en práctica de planes de intervención en las áreas verdes de la ciudad por parte del gobierno local.Trabajo de investigación
31
Nebel, Frank. "Nominal lambda calculus." Thesis, University of Leicester, 2015. http://hdl.handle.net/2381/31396.
Full textAbstract:
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.
32
Goyet, Alexis. "The [lambda lambda-bar]-calculus : a dual calculus for unconstrained strategies." Paris 7, 2013. http://www.theses.fr/2013PA077281.
Full textAbstract:
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-outWe 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
33
Janse, van Rensburg Dené. "The Lamb's Wrath : Cannibalism, Divinity, and Apocalypse in Hannibal." Diss., University of Pretoria, 2019. http://hdl.handle.net/2263/81922.
Full textAbstract:
This study proposes that the television series Hannibal (Fuller 2013-2015), with its aesthetic and thematic emphasis on Christian motifs and imagery, is a contemporary apocalyptic fiction. Specifically, this study argues that Hannibal provides a new typology: the metamythic apocalypse narrative. To posit these arguments, I approach the analysis of the television text from four of the stronger concepts that surface in the reading of Hannibal, which are the relationship between cannibalism and divinity, the God-Devil opposition, the We(i)ndigo figure as a symbol of the Holy Trinity, and the Apocalyptic narrative. The first three concepts inform the typology of apocalyptic narrative that the series follows and are essential in establishing the criteria for this new typology.
Insofar as existing television tropes and conventions go, the first two seasons of Hannibal remain in the vicinity of investigative police procedure, building and perfecting its mythos around the passive- aggressive relationship between Lecter and his prodigy, FBI profiling consultant Will Graham. The procedural formalities are set aside in season three, to focus on and amplify an already ambivalent relationship with religion, providing a wealth of apocalyptic symbolism that calls the rest of the series into the new framework of apocalyptic fiction.
This study establishes that Hannibal provides a new apocalyptic narrative typology that challenges the two typologies identified by Conrad Ostwalt (2011:365-356) – the traditional apocalypse and the secular apocalypse. The traditional apocalypse allows for fictionalized events, but includes elements of supernatural (or divine) revelation. The secular apocalypse borrows symbols and themes from the traditional apocalypse, but contemporizes evil and does not adhere to the criterion of a divine agency, positing human heroism as the anthropocentric replacement for God and averting punishment and destruction. Hannibal’s (Fuller 2013-2015) particular symbolic visual vocabulary and the apocalyptic narrative typologies outlined by Ostwalt (2011) allows me to theorise the notion of the metamythic apocalypse narrative.
In establishing this new form of apocalypse narrative, I interrogate the role of the We(i)ndigo figure as Hannibal’s reconstitution of the Christian Holy Trinity and demonstrate visually how these three characters constitute this trinity – Dr Hannibal Lecter (Holy Father), Will Graham (Holy Son), and Abigail Hobbs (Holy Spirit). This metamythic apocalypse narrative engages the current secular scientific concern for the end of the world, which remains haunted by religious prophecy. The metamythic apocalypse proposes a return to the symbolic and the archetypal in answering questions about the future amidst the anxieties about the end of the world, as well as the possibility of the post- apocalyptic.
Keywords: Hannibal; cannibalism; We(i)ndigo; apocalypse narrative; metamythic apocalypse; symbolism; Holy TrinityDissertation (MA (Drama and Film Studies))--University of Pretoria, 2019.
Drama
MA (Drama and Film Studies)
Unrestricted
34
Le, Roux Marize. "Specialized creep feeding for lambs to optimize performance." Thesis, Stellenbosch : Stellenbosch University, 2011. http://hdl.handle.net/10019.1/17974.
Full textAbstract:
Thesis (MScAgric)--Stellenbosch University, 2011.ENGLISH ABSTRACT: The following study is to determine if a creep feed balanced for limiting essential amino acids (EAA) at a certain non structural carbohydrate (NSC) level will elicit greater responses than lambs reared on a commercial creep feed. Lysine, Threonine, Methionine, Isoleucine, Phenylalanine and Leucine were determined as the limiting amino acids for nursing lambs. These amino acids were incorporated into the creep feed treatments CF1 and CF2 representing 157 g CP/kg, 477 g NSC/kg and 179 g CP/kg, 508 g NSC/kg, respectively. A commercial creep feed with no optimisation for EAA is represented as CFC with 139 g CP/kg and 455 g NSC/kg. A negative control (CON) treatment represents lambs receiving no creep feed but with ad libitum access to suckle their dams while feeding on kikuyu pasture. A growth trial was conducted on Merino x Döhne-Merino cross twin lambs averaging a birth weight of 4.42 kg ± 0.11 for 60 days following with a digestibility trial towards the end of the trial. Half of the lamb crop was slaughtered at an average live weight of 23.6 kg ± 0.56. The M. longissimus dorsi was removed on both the left and right half of the carcass between the 2nd - 3rd last thoracic vertebrae and the 4th - 5th lumbar vertebrae. A sample from the rumen wall was taken at the rumino-reticular fold to determine development characteristics. Results indicate that the feed conversion ratio for the CFC lambs were better than CF1 (P = 0.052) but not more than CF2 (P = 0.307). The FCR was 0.88, 1.19 and 1.01 (kilogram feed required to gain 1 kg in bodyweight) for CFC, CF1 and CF2, respectively. Dressing percentage was higher for CF2 than for both CFC (P = 0.012) and CF1 (P = 0.077). Along with BUN data it was concluded that the high CP level of CF2 resulted in the higher fat deposition. The optimised creep feeds had higher nitrogen and energy balances than the commercial CFC, this implicates that the optimised creep feeds were more efficiently utilised. Optimised creep feed treatments had longer papillae than CON (P < 0.0001). Papillae of creep feed 2 was longer than CFC (P = 0.0537). Papillae width decreased as the NSC level increased thus it is surmised that higher NSC levels resulted in longer but thinner papillae. Rumen muscularization was equally developed between all the treatments and was ascribed to the lambs’ access to course roughage. Meat quality in terms of physical and chemical characteristics was found to be in range with that expected for lambs at higher slaughter weights (40 kg). In conclusion, the balancing of the limiting EAA increases the benefits of creep feeding while simultaneously being more efficiently utilised. Intensive sheep production systems may benefit from the feeding of such creep feeds provided it fits economically into their farming system.
AFRIKAANSE OPSOMMING: Die volgende studie is om te bepaal of 'n kruipvoer wat gebalanseerd is vir beperkende essensiële aminosure (EAA) by 'n vasgestelde nie-strukturele koolhidraat (NSK) vlak verbeterde groei sal ontlok teenoor lammers wat grootgemaak word op 'n kommersiële kruipvoer. Lisien, Treonien, Metionien, Isoleusien, Fenylalanien en Leusien is bepaal as die beperkende aminosure vir suipende lammers. Hierdie aminosure is opgeneem in die geoptimiseerde kruipvoer behandelings CF1 en CF2 wat 157 g RP/kg, 477 g NSK/kg en 179 g RP/kg, 508 g NSK/kg onderskeidelik verteenwoordig. 'n Kommersiële kruipvoer met geen optimalisering vir EAA is verteenwoordig as CFC met 139 g RP/kg en 455 g NSK/kg. 'n Negatiewe kontrole (CON) behandeling is verteenwoordig deur lammers wat geen kruipvoer ontvang het nie, maar wat ad libitum toegang tot hul ooi gehad het om te soog terwyl die ooi op ‘n kikoejoeveld wei. 'n Groei proef is uitgevoer met Merino x Döhne-Merino kruis tweelinglammers met ‘n gemiddelde geboorte gewig van 4,42 ± 0,11 kg vir 60 dae en 'n verteerbaarheids proef is na aan die einde van die studie uitgevoer. Helfte van die lam kudde is geslag by die lewende gewig van 23,6 ± 0, 56 kg. Die M. longissimus dorsi was op beide die linker-en regter helfte van die karkas tussen die 2de - 3de laaste torakale werwels en die 4de - 5de lumbale werwels verwyder. 'n Monster van die rumen wand is geneem langs die rumino retikulêre vou sodat die rumen ontwikkeling eienskappe daarmee bepaal kon word. Resultate dui daarop aan dat die voeromsetverhouding (VOV) vir CFC lammers beter was as vir CF1 (P = 0,052), maar nie meer as vir CF2 (P = 0,307) nie. Die VOV was 0,88 , 1,19 en 1,01 (kilogram voer wat nodig is om 1 kg liggaamsmassa aan te sit) vir CFC, CF1 en CF2 onderskeidelik. Uitslag persentasie vir CF2 was hoër as beide CFC (P = 0,012) en CF1 (P = 0,077). Saam met die bloed, urea en stikstofbalans data is daar tot die gevolgtrekking gekom dat die hoë RP inhoud van CF2 gelei het tot ‘n hoër vetneerlegging. Die geoptimaliseerde kruipvoere het ‘n hoër stikstof- en energiebalans gehad teenoor die kommersiële CFC behandeling wat dus impliseer dat die optimale kruipvoere doeltreffender benut was. Die geoptimaliseerde kruipvoer behandelings het langer papillae gehad as CON (P < 0,0001). Papillae lengte van die CF2 behandeling is langer as die van CFC (P = 0,0537). Papillae breedte het dunner geraak soos wat die NSK-vlak gestyg het dus word vermoed dat hoër NSK-vlakke langer maar dunner papillae tot gevolg het. Rumen bespiering is ewe ontwikkeld tussen al die behandelings en word toegeskryf aan die lammers se toegang tot growwe ruvoer. Vleis kwaliteit in terme van fisiese- en chemiese eienskappe was inlyn met wat verwag kan word vir lammers by hoër slaggewigte (40 kg). Ten slotte, die balansering van beperkende aminosure verhoog die voordele van kruipvoeding en word terselfdertyd doeltreffender benut. Intensiewe skaap produksie stelsels kan dus voordeel trek uit die voeding van sodanige kruipvoere mits dit ekonomies pas in die boerdery stelsel.
35
Oddy, V. H. "Muscle protein metabolism : Measurement and manipulation in lambs." Thesis, University of Cambridge, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.382662.
Full text
36
Castro, Elias Fonseca de. "Produção de pellet feed a partir de lamas." Universidade Federal de Minas Gerais, 2012. http://hdl.handle.net/1843/BUOS-96CFL9.
Full textAbstract:
This study investigated the possibility of producing an iron concentrate meeting thespecifications of Samarcos pellet feed from a representative sample of the 101.6mm (4 inches) cyclone overflow of Concentrator I. This sample, designated as plant slimes, containing 49.65% iron, d50 equal to 5m and percentage of slimes (fraction passing 10m) equal to 71.22%. The technological tests involved the following steps: classification (in microdesliming drum), determination of the dispersion degree, and flotation. Microdesliming proved to be an efficient method of classification. The results showed that the dispersants sodium hydroxide, sodium hexametaphosphate, and sodium polyacrylate achieved similar levels of dispersion and also that the dispersants sodium hexametaphosphate and sodium polyacrylate are the most effective reagents to promote dispersion of the alumina and phosphorus bearing minerals. Flotation tests, following the factorial design of experiments (DOE), showed that the factor etheramines dosage was the most significant among the factors investigated for the response variables silica content in the concentrate and metallurgical recovery. Flotation tests with addition of the dispersants sodium hexametaphosphate and sodium polyacrylate presented increased metallurgical recovery concurrently with increased silica content in the
concentrate. The flotation kinetics test proved the need of increasing the flotation time to achieve a silica content in the concentrate meeting the specification of Samarcos direct reduction pellet feed (SiO2 <1.13%).Este trabalho investigou a possibilidade de se produzir um concentrado de minério de ferro com especificações compatíveis com o pellet feed Samarco a partir de uma amostra representativa do overflow dos ciclones de 101,6mm (4 polegadas) de diâmetro do Concentrador I. Essa amostra, denominada lama usina, continha 49,65% de ferro, d50 igual a 5µm e percentual de lama (fração menor que 10µm) igual a 71,22%. Os ensaios tecnológicos envolveram as seguintes etapas: classificação granulométrica (microdeslamagem em tambor), determinação do grau de dispersão e flotação. A microdeslamagem mostrou ser um método eficiente de classificação. Os ensaios de dispersão mostraram que os dispersantes hidróxido de sódio, hexametafosfato de sódio e poliacrilato de sódio alcançaram os mesmos níveis de dispersão e que os dispersantes hexametafosfato de sódio e poliacrilato de sódio são os mais eficientes para promover a dispersão dos minerais portadores de alumina e fósforo, respectivamente. Os ensaios de flotação, seguindo o planejamento fatorial de experimentos (DOE), mostraram que o fator dosagem de eteramina foi o mais significante dentre os fatores estudados para as variáveis resposta teor de sílica no concentrado e recuperação metálica. Os ensaios de flotação com adição dos dispersantes hexametafosfato de sódio e poliacrilato de sódio aumentaram o teor de sílica no concentrado concomitantemente com o aumento da recuperação metálica. O ensaio de cinética de flotação mostrou ser necessário aumentar o tempo de flotação para alcançar um teor de sílica no concentrado compatível com a especificação do pellet feed redução direta Samarco (SiO2 < 1,13%).
37
Macedo, Sónia Ribeiro Veiga de. "Efeito hiperbárico na hidrólise enzimática das lamas primárias." Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/9759.
Full textAbstract:
Mestrado em Engenharia QuímicaNo decurso da procura activa pela rentabilidade de resíduos sólidos, provenientes das etapas de produção da indústria de pasta e papel, surge a perspectiva para a valorização energética da fracção celulósica de lamas primárias, para a produção de biocombustíveis de segunda geração. Com efeito, a partir deste trabalho pretendeu estudar-se o desempenho da hidrólise enzimática nas lamas primárias e, aplicando um pré-tratamento hiperbárico, averiguar a influência real do mesmo no desenrolar dos parâmetros em avaliação. Foi utilizada a endo celulase (EC 3.2.1.4) comercial de tipo 1,4-(1,3:1,4)-β-D-glucano 4-glucano-hidrolase produzida pelo fungo Tricoderma virido. Metodologicamente, este estudo foi efectuado em três etapas: a primeira correspondeu à caracterização global da matéria-prima; na segunda etapa submeteu-se a amostra a duas sequências de pré-tratamento de lavagens ácida (com ácido sulfúrico e ácido clorídrico), para avaliar o efeito nas propriedades químicas das lamas primárias; a terceira etapa foi caracterizada por sequências combinadas de pressão e tempo de pressurização da amostra que demonstrou melhores resultados na etapa anterior, portanto, dois ensaios a 400 MPa e um outro a 500 MPa, durante 15 minutos (na íntegra e outro por ciclos de 5) e 10 minutos, respectivamente. A amostra referente à lavagem com ácido clorídrico demonstrou os melhores resultados na caracterização química, sendo utilizada nos ensaios posteriores como a amostra referência de lamas primárias. A partir desta última etapa, inferiu-se acerca do efeito hiperbárico sobre a hidrólise enzimática, através da quantificação de açúcares redutores formados. Constatou-se que em todos os ensaios realizados, este efeito foi significativo e de elevada contribuição, traduzindo-se também num impacto positivo na velocidade e extensão da hidrólise. A sequência realizada a 400 MPa durante 15 minutos revelou os resultados mais promissores, registando-se uma melhoria na ordem de 43% no acréscimo da quantidade de açúcares redutores e um aumento na velocidade inicial de reacção em 25%, comparativamente ao estudo de amostras sem pressurização prévia.
During the active search for the profitability of solid waste from the production stages of pulp and paper, there is the prospect for energy recovery from the cellulosic fraction of primary sludge, in order to produce second generation biofuels. Indeed, this work intended to study the performance of the enzymatic hydrolysis in the primary sludge and, applying a high pressure pre-treatment, ascertain its real influence through the assessment of determined parameters. It was used a commercial endo cellulase enzyme (EC 3.2.1.4) of type 1,4-(1,3:1,4)-β-D-glucan 4-glucan hydrolase produced by the fungus Tricoderma virido. Attending to its methodology, this study was carried out through three major stages: the first one attended to an overall characterization of raw material; at a second stage, primary sludge was submitted throughout a two sequences of an acid pre- treatment wash (with sulphuric acid and chloridric acid), in order to assess its effect on chemical properties of primary sludge; the third and last stage was characterized by a combined sequences of pressure and pressurization time, that were applied to the sample which revealed the finest results during the previous stage. Those combined sequences involved two treatments at 400 MPa, during 15 minutes (one of them at cycles of 5 minutes each) and another treatment at 500 MPa, during 10 minutes. The sample submitted to acid chloridric wash showed better outcomes, referring to chemical characterization, so that it was distinguish as a reference sample of primary sludge, performing the subsequent study. The influence of high pressure treatment over enzymatic hydrolysis was evaluated by the amount of reducing sugars formed. It was able to verify in every trial that the quoted influence was decidedly effective, increasing the amount of reducing sugars formed and promoting an affirmative impact on reaction velocity as well as in its extension. The stage of treatment at 400 MPa during 15 minutes was considered as the preeminent one, regarding its results with an improvement of 43% related to the amount of reducing sugars formed, as well as an improvement of 25% of its initial velocity of reaction, in opposition to the sample without high pressure pre-treatment.
38
António, Dina Maria Rodrigues. "Estabilização química de lamas de suinicultura com cal." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/1975.
Full textAbstract:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de
Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia
SanitáriaNo panorama nacional, a problemática do tratamento dos resíduos produzidos nas suiniculturas é real, sendo importante, então, o aperfeiçoamento dos tratamentos existentes. Esta dissertação teve como primeiro objectivo avaliar o processo de calagem, na inactivação do microrganismo patogénico Escherichia Coli em lamas de suinicultura, com vista à sua aplicação ao solo. O segundo objectivo deste trabalho corresponde à validação das premissas para a estabilização química, propostas no Working Document on Sludge – 3rd Draft. Usou-se a cal viva (CaO) como desinfectante químico em concentrações de 2%, 8%, 12%, 16%, 24/25% e 37% e, posteriormente, realizaram-se análises ao pH, temperatura, Escherichia Coli e aos parâmetros de controlo, condutividade, humidade e sólidos voláteis. O processo de calagem mostrou-se eficiente devido fundamentalmente ao efeito de pH≥12 sem real efeito ao nível da temperatura. Através dos resultados obtidos, pode-se concluir que a premissa para o tratamento químico em três meses é a mais vantajosa e equilibrada, para uma concentração, de pelo menos, 24%, a premissa é validada levando à inactivação da Escherichia Coli.
39
Salzwedel, Jai. "Lambda femtoscopy in √sNN = 2.76 TeV Pb-Pb collisions at ALICE." The Ohio State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=osu1483568167792529.
Full text
40
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.
Full textAbstract:
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 noirMinoan 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
41
Aubert, Hugues. "Etude expérimentale chez le chien d'un nouveau type de lambeau en parodontologie : le double lambeau ou lambeau de double épaisseur." Bordeaux 2, 1992. http://www.theses.fr/1992BOR20003.
Full text
42
Blum, William. "The safe lambda calculus." Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:537d45e0-01ac-4645-8aba-ce284ca02673.
Full textAbstract:
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.
43
Cuti, Filippo. "The finite lambda calculus." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8203/.
Full text
44
Moggi, Eugenio. "The partial lambda calculus." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/419.
Full textAbstract:
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.
45
Régnier, Laurent. "Lambda-calcul et reseaux." Paris 7, 1992. http://www.theses.fr/1992PA077165.
Full textAbstract:
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
46
Brisset, Pascal. "Compilation de lambda-prolog." Rennes 1, 1992. http://www.theses.fr/1992REN10032.
Full textAbstract:
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
47
Freeman, Nicholas. "The segregated lambda-coalescent." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:fb162fbf-2fa2-40d7-af84-c6e3744e35c1.
Full textAbstract:
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.
48
Linsky, Anta. "Evaluation of the small ruminant nutrition system model using growth data of South African mutton merino and dorper lambs." Diss., University of Pretoria, 2013. http://hdl.handle.net/2263/41022.
Full textAbstract:
The aim of this study was to evaluate the Small Ruminant Nutrition System (SRNS) model’s
performance predictions for lambs under South African conditions using growth and body composition
data of early- (Dorper) and late-maturing (South African Mutton Merino), indigenous sheep breeds. The
Cornell Net Carbohydrate and Protein System (CNCPS) biological model has consistently been
modified to include recent information. This has led to the development of the SRNS model, but up to
now the SRNS model has only been validated with European sheep breeds under European
conditions.
Thirty two Dorper, 16 male and 16 female lambs, and 36 South African Mutton Merino, 18 male and 18
female lambs, were fed a grower diet for the experimental period of 60 days. Three groups of lambs of
each breed were slaughtered as the lambs reached pre-determined target weights. The first group of
24 animals (slaughter group 1) was slaughtered at the onset of the experiment at a live weight of 20 kg.
With the second group (slaughter group 2) the South African Mutton Merinos were slaughtered at an
average weight of 35 kg and the Dorpers at an average weight of 30 kg. The last group (slaughter
group 3) had an average weight of 50 kg for the South African Mutton Merinos and 40 kg for the Dorpers at slaughter. Using the data from this trial, predictions of the average daily gain (ADG), feed intake (DMI), empty
body gain and the composition of the empty body gain were used to evaluate the model. The animals
were divided into three slaughter groups, based on growth stage, for the determination of body
composition data. Energy value of gain (EVG), fat and protein content on a shrunk and empty body
weight basis were compared with the corresponding values predicted by the SRNS. Growth
composition of the lambs was determined by dividing them into two growth periods. Average daily gain
and DMI were evaluated in the experiment, and results compared to the mean ADG and DMI
predictions obtained from the SNRS model.
Two different equations were compared to estimate EVG and two sets of coefficients were also
compared for the EVG. Five different equations were compared to estimate the efficiency of conversion
of metabolisable energy (ME) to net energy (NE) for gain, kg. The correction factor to adjust for the
increase in the size of the visceral organs as nutrient intake increases and the coefficient for the effect
of gender on maintenance requirements were tested for relevance of use in the SRNS. Overall, based
on these evaluations it appears that the original SRNS model gave the best predictions when compared
to any of the modifications tested.
With regards to ADG the model over-predicts the requirements of the lambs in the early growth stage
and under-predicts the requirements of the lambs in the later growth stage. The DMI predictions that
were made using the original SRNS were accurate. The evaluation of the SNRS predictions in relation
to the composition of gain indicated that this model over-predicted both the fat and the protein content
of gain. The predictions were accurate, however the precision was low. The low precision was probably
due to the lack of variation in the measured range of fat and protein content of gain.
Before field application further studies and adjustments to the SRNS model is required, especially with
regard to predictions on the fat and protein content of gain and over or under predictions of ADG during
different growth stages of Dorper and South African Mutton Merino lambs.Dissertation (MSc)--University of Pretoria, 2013.
gm2014
Animal and Wildlife Sciences
unrestricted
49
Spencer, Herbert M. "The use of allusions in Charles Lamb's Essays of Elia." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ52735.pdf.
Full text
50
Hull, Simon P. "'Making many unto himself' : Charles Lamb's 'Elia' and metropolitan ontology." Thesis, University of Bristol, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432773.
Full text