Log in

Relevant bibliographies by topics / Lamula

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Lamula'

Author: Grafiati

Published: 4 June 2021

Last updated: 4 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Lamula.'

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.

Journal articles on the topic "Lamula"

1

Tieni, Lucas Arruda, Julio César Pigozzo, Wilson Wesley Wutzow, Leonardo Martins e. Silva, and André Luis Christoforo. "Análise experimental e numérica de uma grelha lamelar plana de madeira." HOLOS 7 (December 31, 2020): 1–13. http://dx.doi.org/10.15628/holos.2020.8986.

Full text

Abstract:

A grelha lamelar em madeira permite a construção de grandes vãos com uso de madeira serrada em dimensões comerciais. O sistema é caracterizado pela geometria das barras, em que cada nó reúne o centro de uma barra (contínua ou não) com as extremidades de duas outras, cada uma destas barras representando uma lamela. Dependendo da concepção das ligações definidas entre as lamelas, a transmissão dos momentos de torção pode ou não ser levada em consideração, e tal condição pode impactar significativamente no desempenho mecânico da estrutura lamelar a ser projetada (maior ou menor rigidez frente à ação das cargas). O objetivo deste trabalho é analisar modelos numéricos de estruturas de grelha lamelar variando a vinculação entre as barras, contribuindo assim para o desenvolvimento de projetos estruturais baseados em simulações mais realistas de estruturas lamelares de madeira. Os elementos de barra podem ou não transmitir momentos de torção em suas extremidades. Portanto, são comparados os resultados de modelos numéricos à evidências experimentais, oriundas de um protótipo de grelha lamelar plana feito com madeira de Pinus spp. A variável utilizada para as comparações é o deslocamento vertical em vários pontos da estrutura. O modelo numérico é elaborado e analisado no software SAP2000. Mantém-se a estrutura em condições tais que não ultrapassem o estado limite de utilização. As ligações entre as lamelas foram feitas com chapas metálicas que envolvem lateralmente a lamela, fixadas às barras de madeira por parafusos auto atarraxantes. Pelos resultados obtidos, o modelo considerando articulação perfeita forneceu deslocamentos nodais mais próximos dos deslocamentos obtidos experimentalmente, indicando ser pequena a torção transmitida entre as barras.

APA, Harvard, Vancouver, ISO, and other styles

2

Limb, Peter, and Paul La Hausse de Lalouviere. "Restless Identities: Signatures of Nationalism, Zulu Ethnicity and History in the Lives of Petros Lamula (c. 1881-1948) and Lymon Moling (1889-c. 1936)." Canadian Journal of African Studies / Revue Canadienne des Études Africaines 37, no. 1 (2003): 171. http://dx.doi.org/10.2307/4107386.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Carton, Benedict, and Paul la Hausse de Lalouviere. "Restless Identities: Signatures of Nationalism, Zulu Ethnicity and History in the Lives of Petros Lamula (c. 1881-1948) and Lymon Maling (1889-c.1936)." International Journal of African Historical Studies 34, no. 1 (2001): 161. http://dx.doi.org/10.2307/3097303.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Crais, Clifton, and Paul la Hausse de Lalouviere. "Restless Identities: Signatures of Nationalism, Zulu Ethnicity and History in the Lives of Petros Lamula (c. 1881-1948) and Lymon Maling (1889-c. 1936)." International Journal of African Historical Studies 35, no. 2/3 (2002): 513. http://dx.doi.org/10.2307/3097649.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mufuka, Kenneth N. "Restless Identities: Signatures of Nationalism, Zulu Ethnicity and History in the Lives of Petros Lamula (c. 1881–1948) and Lymon Maling (1889-c. 1936)." History: Reviews of New Books 30, no. 2 (January 2002): 77–78. http://dx.doi.org/10.1080/03612759.2002.10526066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Cantanhêde, S. M., A. M. Medeiros, F. S. Ferreira, J. R. C. Ferreira, L. M. C. Alves, M. V. J. Cutrim, and D. M. S. Santos. "Uso de biomarcador histopatológico em brânquias de Centropomus undecimalis (Bloch, 1972) na avaliação da qualidade da água do Parque Ecológico Laguna da Jansen, São Luís - MA." Arquivo Brasileiro de Medicina Veterinária e Zootecnia 66, no. 2 (April 2014): 593–601. http://dx.doi.org/10.1590/1678-41626348.

Full text

Abstract:

Com o objetivo de analisar a intensidade das alterações histológicas em brânquias de Centropomus undecimalis para avaliar a qualidade da água do Parque Ecológico Laguna da Jansen, em São Luís, Estado do Maranhão, coletaram-se exemplares de peixes no período chuvoso de 2012 e amostras de água nos períodos seco de 2011 e chuvoso de 2012 para análises físico-química e bacteriológica. Os resultados mostraram que a maioria dos parâmetros físico-químicos e bacteriológicos estava de acordo com os valores estabelecidos pela Resolução do CONAMA nº 357 de 2005. As alterações histológicas observadas foram: elevação do epitélio lamelar; proliferação excessiva de células dos epitélios filamentar e lamelar causando fusão total ou parcial das lamelas; alteração da estrutura das lamelas; hiperplasia das células mucosas; ruptura do epitélio lamelar; espessamento descontrolado do tecido proliferativo filamentar e lamelar e aneurismas de vários tamanhos. Também foi observada a presença de parasito em alguns exemplares. O Índice de Alteração Histológica (IAH) por indivíduo variou de 2 a 114. O valor médio do IAH obtido foi de 40,3, demonstrando que as brânquias dos indivíduos amostrados da espécie C. undecimalis apresentaram alterações de moderadas para severas no tecido. As alterações histológicas encontradas indicam que esses indivíduos desenvolveram mecanismos de defesa contra a ação de estressores presentes na água da laguna e a um provável desequilíbrio parasito-hospedeiro-ambiente associado à baixa qualidade do ambiente.

APA, Harvard, Vancouver, ISO, and other styles

7

Natale, William, Renato de Mello Prado, and Fabíola Vitti Môro. "Alterações anatômicas induzidas pelo cálcio na parede celular de frutos de goiabeira." Pesquisa Agropecuária Brasileira 40, no. 12 (December 2005): 1239–42. http://dx.doi.org/10.1590/s0100-204x2005001200012.

Full text

Abstract:

O objetivo deste trabalho foi avaliar modificações na parede celular de goiaba, em frutos de plantas submetidas à aplicação de cálcio (Ca). Frutos de goiabeira cultivar Paluma foram colhidos em área sem aplicação de calcário e com aplicação de corretivo. Os frutos que receberam aplicação de Ca tiveram as paredes celulares e as lamelas médias bem definidas e estruturadas; nos frutos sem aplicação de cálcio, as paredes celulares estavam desestruturadas e com desorganização da lamela média. A aplicação de Ca é efetiva na organização subcelular de frutos de goiabeira e aumenta sua vida de prateleira.

APA, Harvard, Vancouver, ISO, and other styles

8

Garcia-Santos, S., S. M. Monteiro, J. Carrola, and A. Fontainhas-Fernandes. "Alterações histológicas em brânquias de tilápia nilotica Oreochromis niloticus causadas pelo cádmio." Arquivo Brasileiro de Medicina Veterinária e Zootecnia 59, no. 2 (April 2007): 376–81. http://dx.doi.org/10.1590/s0102-09352007000200017.

Full text

Abstract:

Os efeitos histopatológicos do cádmio nas brânquias de tilápia Oreochromis niloticus foram estudados por microscopia óptica, usando 25mgl-1 de CdCl2 durante quatro dias, com o objetivo de identificar seus efeitos agudos na estrutura das brânquias. A morfologia geral das brânquias de O. niloticus é idêntica à de outros teleósteos, apresentando quatro pares de arcos branquiais com filamentos bem desenvolvidos. Situadas lateralmente, encontram-se as lamelas provenientes do eixo central dos filamentos. No epitélio filamentar foi possível identificar células de cloro, pavimentosas e mucosas. Os peixes expostos ao cádmio mostraram sinais de lesões epiteliais; edema intersticial, vasodilatação das lamelas, destacamento do epitélio lamelar e proliferação do epitélio filamentar. As alterações observadas também incluíram fusão nas lamelas como resultado de hiperplasia e hipertrofia epitelial, ruptura do sistema de células pilar, aneurismas e necroses.

APA, Harvard, Vancouver, ISO, and other styles

9

Almeida, Alison Van Der Linden de, Marcelo Metri Corrêa, José Romualdo de Sousa Lima, Eduardo Soares de Souza, Kleber Régis Santoro, and Antonio Celso Dantas Antonino. "Atributos Físicos, Macro e Micromorfológicos de Neossolos Regolíticos no Agreste Meridional de Pernambuco." Revista Brasileira de Ciência do Solo 39, no. 5 (October 2015): 1235–46. http://dx.doi.org/10.1590/01000683rbcs20140757.

Full text

Abstract:

RESUMO Neossolos Regolíticos no Agreste Meridional de Pernambuco são utilizados para diversas atividades agrícolas, com destaque para a produção de feijão. Há uma variação expressiva na produção dessa cultura, possivelmente associada à presença de lamelas, que conferem comportamento hídrico distinto entre esses solos. Objetivou-se analisar as características macromorfológicas, micromorfológicas e físicas de Neossolos Regolíticos localizados no Agreste Meridional de Pernambuco, com a finalidade de se entender o comportamento hídrico desses solos. Foram coletados e analisados dois perfis de solos localizados nos municípios de Paranatama (P1 - sem lamela) e de São João (P2 - com lamela). Os resultados mostraram que nos atributos morfológicos (cor, textura, estrutura e consistência) não foram observadas diferenças expressivas entre os dois perfis de solos; os atributos físicos (teor de argila, macroporosidade, microporosidade, capacidade de campo e ponto de murcha permanente) apresentaram diferença significativa entre os horizontes dos perfis estudados; a micromorfologia indicou que a maior retenção de água no P2 é consequência da presença de zonas com empacotamento mais denso de seus componentes (empacotamento aglomerático) e expressividade das pontes de argila; e sugere-se adoção do termo “lamélico” pelo atual Sistema Brasileiro de Classificação de Solos (em 4º nível categórico) para diferenciação dos perfis estudados.

APA, Harvard, Vancouver, ISO, and other styles

10

James, D. "Restless Identities: Signatures of nationalism, Zulu ethnicity and history in the lives of Petros Lamula (c.1881-1948) and Lymon Maling (1889-c.1936), by Paul la Hausse de Lalouviere. Pietermaritzburg: University of Natal Press, 2000. 317 pp. R195 18.95. ISBN 1-85065-589-8 (paperback)." African Affairs 102, no. 408 (July 1, 2003): 526–28. http://dx.doi.org/10.1093/afraf/adg059.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Lamula"

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

APA, Harvard, Vancouver, ISO, and other styles

2

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 text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

3

Anunciação, Adriana Raquel de Almeida da. "Aspectos do desenvolvimento morfológico, morfométrico e ultraestrutural do aparelho ungueal do cavalo Baixadeiro." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/10/10132/tde-25052016-142032/.

Full text

Abstract:

O cavalo Baixadeiro é encontrado na Baixada Maranhense, região caracterizada por planície, podendo permanecer alagada por até seis meses. Ainda que diante destas condições, o cavalo Baixadeiro pode viver sem apresentar doenças da úngula, tais como, a laminite. Assim, propôs-se identificar elementos morfológicos da úngula desta raça específica de cavalo com o intuito de explicar tal resistência à umidade. Foram utilizadas amostras de úngula provenientes de 4 cavalos Baixadeiros (N=16) e de 4 cavalos Puro Sangue Inglês (N=16). Todas as úngulas foram analisadas por macroscopia, morfometria e por microscopia eletrônica de varredura e de luz. Macroscopicamente, a úngula do cavalo Baixadeiro era cuneiforme, com comprimento médio de 10.22 ± 1.3 cm, largura de 9.83 ± 1.01 cm e comprimento da parede medial de 5.67 ± 0.76 cm. A úngula do cavalo Puro Sangue Inglês teve um comprimento médio de 13.47 ± 0.8 cm, largura de 12.54 ± 0.49 cm e comprimento da parede medial de 7.77 ± 0.54 cm. Na microscopia de luz da camada interna, o tecido que conecta as lamelas epidérmicas primárias às secundárias e ao estrato médio foi visualmente mais espesso no Baixadeiro. Além disso, a região distal das lamelas era mais compacta do que as da região proximal, enquanto que no Puro Sangue Inglês não foram observadas diferenças. Na microscopia eletrônica de varredura, o espaço intertubular do estrato médio foi visualmente maior. A partir desta arquitetura nós sugerimos que existe maior adesão da cápsula da úngula à falange distal no cavalo Baixadeiro, provavelmente diminuindo a incidência de rotação da falange distal e, consequentemente, diminuindo a laminite
The Baixadeiro horse is found in Baixada Maranhense, region is characterized by a flat land that can be flooded during six months per year. In this region the Baixadeiro horse can live without ungula diseases, such as, laminitis. Thus, was proposed to identify morphological elements of the ungula from this specific breed to indicate this resistance to humidity. We used ungula samples from four Baixadeiro horse (N=16) and from four Thoroughbred horse (N=16). All ungulas were analyzed macroscopically, morphometrically and by light and scanning electronic microscopy. Macroscopically, the ungula of Baixadeiro horse was cuneiform, with average length 10.22 ± 1.3 cm, width of 9.83 ± 1.01 cm and medial wall lenght of 5.67 ± 0.76 cm. While the Thoroughbred horse ungula had average length 13.47 ± 0.8 cm, width 12.54 ± 0.49 cm and medial wall length 7.77 ± 0.54 cm. Under light microscopy, in the internal layer, the tissue that connects primary to secondary epidermal lamella and to middle stratum was visually thicker in the Baixadeiro. In addition, the distal region of lamellae was more compact than the proximal region, while in Thoroughbred no differences were observed. By scanning electron microscopy, the intertubular space of the middle stratum was visually bigger. From this architecture we suggested that there are greater adhesion of ugula capsule to distal phalanx in the Baixadeiro horse, probably decreasing incidence of distal phalanx rotation and consequently diminishing laminitis

APA, Harvard, Vancouver, ISO, and other styles

4

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

APA, Harvard, Vancouver, ISO, and other styles

5

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

APA, Harvard, Vancouver, ISO, and other styles

6

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

9

Vincour, Jan. "Aquapark." Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2014. http://www.nusl.cz/ntk/nusl-226897.

Full text

Abstract:

Object of Diploma thesis is the structural design of a load bearing structure of the aquapark in the Brno area. The main structure is designed as lamella arch on the cylindrical surface with one curvature with 30 m span and 4.5 m camber. The structural material is glue-laminated timber with inner steel plate joints.

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Lamula"

1

Restless identities: Signatures of nationalism, Zulu ethnicity, and history in the lives of Petros Lamula (c. 1881-1948) and Lymon Maling (1889-c. 1936). Pietermaritzburg: University of Natal Press, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Damaschin, Mircea. Lamura: Versuri. [Bucharest]: Cartea Românească, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kisielewski, Stefan. Z literackiego lamusa. 2nd ed. Kraków: Wydawn. ISKRY, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Huldār, ʼAbdulfātāh. Lamlam. ʼAdis ʼAbabā: [s.n.], 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Spain), Estudio Lamela (Madrid, and Fundación Arquitectura COAM, eds. Legado Estudio Lamela, 1954-1999. Madrid]: Fundación Arquitectura COAM, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Gelzer, Thomas, Michael Lurje, and Christoph Schäublin. Lamella Bernensis. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-12207-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lambda-rings. Singapore: World Scientific, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

M, Abd Muttalib. Lamuru selayang pandang. [Ujung Pandang]: Kantor Suaka Peninggalan Sejarah dan Purbakala Wilayah Propinsi Sulawesi Selatan, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Dewald, Lee Samuel. [Lambda]-Laplace processes. Monterey, Calif: Naval Postgraduate School, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

The Lambda conspiracy. Chicago: Moody Press, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Lamula"

1

Gooch, Jan W. "Lambda Zero ($$\lambda $$o)." In Encyclopedic Dictionary of Polymers, 418. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_6750.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bährle-Rapp, Marina. "Lamella." In Springer Lexikon Kosmetik und Körperpflege, 309. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71095-0_5787.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gooch, Jan W. "Lamina." In Encyclopedic Dictionary of Polymers, 418. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_6757.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Miller, Laura T., Lionel Stange, Charles MacVean, Jorge R. Rey, J. H. Frank, R. F. Mizell, John B. Heppner, et al. "Lamella." In Encyclopedia of Entomology, 2133. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-6359-6_1950.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Gelzer, Thomas, Michael Lurje, and Christoph Schäublin. "Beschreibung der Amulette." In Lamella Bernensis, 1–38. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-12207-4_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Gelzer, Thomas, Michael Lurje, and Christoph Schäublin. "Lamella Bernensis." In Lamella Bernensis, 39–59. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-12207-4_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Gelzer, Thomas, Michael Lurje, and Christoph Schäublin. "Kommentar." In Lamella Bernensis, 61–128. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-12207-4_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Gelzer, Thomas, Michael Lurje, and Christoph Schäublin. "Die Komposition der Amulette und ihre Vorlagen." In Lamella Bernensis, 129–60. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-12207-4_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Baldi, Mario, and Yoram Ofek. "Lambda and Sub-Lambda Switching." In Handbook of Computer Networks, 767–82. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2011. http://dx.doi.org/10.1002/9781118256053.ch48.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Miranda, Guilherme Henrique Santos, Alexsandro Oliveira Alexandrino, Carla Negri Lintzmayer, and Zanoni Dias. "Sorting $$\lambda $$-Permutations by $$\lambda $$-Operations." In Advances in Bioinformatics and Computational Biology, 1–13. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-01722-4_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Lamula"

1

Parisi, Erica Isabella, and Jakub Tyc. "MULTI-SCALE AND MULTI-DOMAIN APPROACHES FOR CULTURAL TERRACED LANDSCAPES." In ARQUEOLÓGICA 2.0 - 9th International Congress & 3rd GEORES - GEOmatics and pREServation. Editorial Universitat Politécnica de Valéncia: Editorial Universitat Politécnica de Valéncia, 2021. http://dx.doi.org/10.4995/arqueologica9.2021.12144.

Full text

Abstract:

This contribution reports the activities carried out by LamoLab, a non-governmental organization for multi-domain and multi-scale research applied to cultural terraced landscapes. Terracing and dry-stone walling have been internationally recognized as carriers of cultural values and traditional knowledge. Lamole in Chianti (Italy) has served as a primary case study of terraced vineyards, where interdisciplinary research has been converging for almost a decade. The evolution of multi-sensor data acquisition in different spectral ranges, data-driven modelling and multi-scalar approaches performed over the years are mentioned, with specific attention to the evaluation of microclimate variations induced by dry-stone walls and how they affect plant growth, ripening, and production. The results already obtained from data processing and analysis are described, although the work is still progressing. The ongoing research and future projects of LamoLab are reported for developing methodologies to understand the parameters that are critical for the effective restoration and functioning of the dry-stone walled vineyards and construct performance-oriented design strategies to enable knowledge-based design processes.

APA, Harvard, Vancouver, ISO, and other styles

2

Goyet, Alexis. "The Lambda Lambda-Bar calculus." In the 40th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2429069.2429089.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Nolen, David. "Lambda." In Applicative 2015. New York, New York, USA: ACM Press, 2015. http://dx.doi.org/10.1145/2742580.2742822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Edwards, Alistair D. N., Heather McCartney, and Flavio Fogarolo. "Lambda:." In the 8th international ACM SIGACCESS conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1168987.1168997.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Blume, Matthias, and Andrew W. Appel. "Lambda-splitting." In the second ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/258948.258960.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Danvy, Olivier, and Ulrik P. Schultz. "Lambda-dropping." In the 1997 ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/258993.259007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ferrero, A. "LAMBDA ASYMMETRIES." In Transversity 2005. WORLD SCIENTIFIC, 2006. http://dx.doi.org/10.1142/9789812773272_0008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Czajkowski, Michael. "Lambda Vision." In SPIE Defense + Security, edited by Matthew F. Pellechia, Kannappan Palaniappan, Shiloh L. Dockstader, Peter J. Doucette, and Donnie Self. SPIE, 2014. http://dx.doi.org/10.1117/12.2049997.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Takubo, Hideki, Takahiro Umeno, and Hideki Goto. "New Lambda - Lambda Air-Fuel Ratio Feedback Control." In SAE World Congress & Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2007. http://dx.doi.org/10.4271/2007-01-1340.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Tsukishima, Y., A. Hirano, N. Nagatsu, W. Imajuku, M. Jinno, Y. Hibino, Y. Takigawa, et al. "Lambda sharing demonstration via traffic-driven lambda-on-demand." In 33rd European Conference and Exhibition on Optical Communication - ECOC 2007. IEE, 2007. http://dx.doi.org/10.1049/ic:20070237.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Lamula"

1

Matsumura, Akihiko. Spectroscopy of 28Al(Lambda), 12B(Lambda), 7He(Lambda) by the (e,e'K+) Reaction. Office of Scientific and Technical Information (OSTI), January 2009. http://dx.doi.org/10.2172/992499.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

MacKay, Waldo, Steve Peggs, Chris Saltmarsh, Todd Satogata, Fady Harfoush, Jim Holt, Leo Michelotti, et al. Lambda Manual. Office of Scientific and Technical Information (OSTI), October 1993. http://dx.doi.org/10.2172/1119409.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Jessop, Colin P. lambda anti-lambda Production in Two-Photon Interactions at CLEO. Office of Scientific and Technical Information (OSTI), May 2003. http://dx.doi.org/10.2172/813097.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Bodmer, A. R., Q. N. Usmani, and M. Sami. {Lambda} single-particle energies. Office of Scientific and Technical Information (OSTI), August 1995. http://dx.doi.org/10.2172/166465.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Gourlay, Stephen Alan. Inclusive Production and Polarization of Lambda / anti-Lambda in Hadron Proton Interactions. Office of Scientific and Technical Information (OSTI), January 1985. http://dx.doi.org/10.2172/1433244.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Heredia-De La Cruz, Ivan. Measurement of the $\Lambda^0_b$ lifetime in the exclusive decay $\Lambda^0_b \rightarrow J/\psi \Lambda^0$ with the \D0~detector. Office of Scientific and Technical Information (OSTI), June 2012. http://dx.doi.org/10.2172/1209535.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Artemov, S. N. Proof Polynomials vs. lambda-terms. Fort Belvoir, VA: Defense Technical Information Center, March 1998. http://dx.doi.org/10.21236/ada344395.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Leros, Nicolas. Search for CP Violation in Hyperon Decay: $\Xi^- / \bar{\Xi}^+$ and $\Lambda / \bar{\Lambda}$. Office of Scientific and Technical Information (OSTI), June 2001. http://dx.doi.org/10.2172/1420968.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Tkaczyk, S. {Lambda}{sub b} results from CDF. Office of Scientific and Technical Information (OSTI), September 1996. http://dx.doi.org/10.2172/371178.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Petersen, Priscilla Cushman. The Sigma - Lambda Transition Magnetic Moment. Office of Scientific and Technical Information (OSTI), October 1985. http://dx.doi.org/10.2172/1375750.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!