1,721,655 research outputs found
Haha
Get PDFEntre Essaouira au Nord et Agadir au Sud, s’étend le vaste pays haha peuplé de Berbères en partie arabisés. Cette région voit s’affaisser les dernières pentes du Haut Atlas occidental qui tombe assez brusquement dans l’Océan, entre le cap Ghir et les hauteurs qui dominent le port d’Agadir. Le pays haha est un vaste plateau qui verrouille au Sud-Ouest le Haouz* de Marrakech. Il est partout profondément raviné par des oueds généralement à sec ou qui écoulent rapidement les eaux de pluie qui n’o..
Coq Support in HAHA
Get PDFHAHA is a tool that helps in teaching and learning Hoare logic. It is targeted at an introductory course on software verification. We present a set of new features of the HAHA verification environment that exploit Coq. These features are (1) generation of verification conditions in Coq so that they can be explored and proved interactively and (2) compilation of HAHA programs into CompCert certified compilation tool-chain.
With the interactive Coq proving support we obtain an interesting functionality that makes it possible to carefully examine step-by-step verification conditions and systematically discover flaws in their formulation. As a result Coq back-end serves as a kind of specification debugger
“哈哈(haha)” in WeChat Chinese Conversations
Get PDFFew studies have considered the micro-analysis of written laughter in the digital world in its sequential context (beyond frequency and distribution). The present study fills this gap by examining “transcribed” laughter “哈哈(haha)” in Chinese conversations on WeChat from a conversation analytic perspective. A line-by-line analysis was conducted to identify how speakers use “哈哈(haha)” in different sequences to perform different social actions. This study has shown that the sequential environments of the laughter “哈哈(haha)” in WeChat Chinese conversations can be classified into three types: TCU-initial “哈哈(haha),” TCU-end “哈哈(haha)” and stand-alone “哈哈(haha).” These three types of “哈哈(haha)” perform the actions of mitigating disalignment, managing failure or misconduct, and displaying minimal engagement, respectively. The findings expand the current conversation analysis literature on laughter by describing the use of written laughter in a previously unexamined context and help both native and non-native speakers better navigate informal Chinese digital communication and avoid misunderstandings. 
Owen-haha/FINRISK2002_microbiomeGWAS_codes: metaGWAS
No full textHere are essential codes of FINRISK2002 microbiome genome-wide association study (GWAS) project.
The corresponding pre-print can be found at https://doi.org/10.1101/2020.09.12.20193045 (Combined effects of host genetics and diet on human gut microbiota and incident disease in a single population cohort).
We published the essential codes of the work here to help others to review or replicate our findings
The Attic Archive Alphabetic Script Map 2021-2024
No full textThis digital image (exhibited as part of History/Reality: An Attic Archive Installation, Matthew Gallery, April 2024) was created in 2024 from a drawing that annotates a series of oral history interviews Bodor conducted in May-June 2021 at the Scottish Oral History Centre, Edinburgh, with haha, who emerged as the latest character of the Attic Archive, an old man in his 70s on 1.1.2020. The interviews explored the entire history of the Attic Archive from 1975 as told from today's perspective by haha. Bodor used a type-written ‘alphabetical script’ with input from the artist as a guide to avoiding chronological storytelling. The drawing on top of the type-written script records the conversations as they emerge, mapping the connection between people and artworks created across decades by different characters. The Map became a key navigation tool helping research across archives in the new research network project 'Curating The Digital Attic Archive' (2024-2025), funded by the Royal Society of Edinburgh Research Network Award. The digital image has been exhibited at the DJCAD Research EXPO 2024 and later as part of History/Reality: An Attic Archive Installation
STUDI PENDAPATAN GAHARU (Aqularia sp) OLEH MASYARAKAT KAMPUNG HAHA DISTRIK SEREMUK KABUPATEN SORONG SELATAN
Get PDFPenelitian ini bertujuan untuk mengetahui tingkat pendapatan masyarakat dari hasil penjualan kayu gaharu dan  kualitas kayu gaharu yang dihasilkan oleh masyarakat di Kampung Haha Distrik Seremuk Kabupaten Sorong Selatan. Dari hasil penelitian bahwa tingkat pendapatan masyarakat dari hasil penjualan kayu gaharu di Kampung Haha Distrik Seremuk Kabupaten Sorong Selatan dengan pendapatan total bersih sebesar Rp. 30.887.000/bln dan pendapatan rata-rata sebesar Rp. 3.088.700/bln. Tingkat kualitas kayu gaharu yang dihasilkan oleh masyarakat Kampung Haha Distrik Seremuk Kabupaten Sorong Selatan ada 7 yaitu kayu gaharu kelas super satu, super kelas dua, saba,medan batu, AB satu, AB dua dan kacang kruk
The Attic Archive Alphabetic Script Map 2021-2024
No full textThis digital image (exhibited as part of History/Reality: An Attic Archive Installation, Matthew Gallery, April 2024) was created in 2024 from a drawing that annotates a series of oral history interviews Bodor conducted in May-June 2021 at the Scottish Oral History Centre, Edinburgh, with haha, who emerged as the latest character of the Attic Archive, an old man in his 70s on 1.1.2020. The interviews explored the entire history of the Attic Archive from 1975 as told from today's perspective by haha. Bodor used a type-written ‘alphabetical script’ with input from the artist as a guide to avoiding chronological storytelling. The drawing on top of the type-written script records the conversations as they emerge, mapping the connection between people and artworks created across decades by different characters. The Map became a key navigation tool helping research across archives in the new research network project 'Curating The Digital Attic Archive' (2024-2025), funded by the Royal Society of Edinburgh Research Network Award. The digital image has been exhibited at the DJCAD Research EXPO 2024 and later as part of History/Reality: An Attic Archive Installation
Oily Types. "The Haha Man" by Sandy McCutcheon. [review]
No full text"The Haha Man" by Sandy McCutcheon is a rollicking good read that highlights the refugee plight without a whiff of the lecture hall.Australia Council, La Trobe University, National Library of Australia, Holding Redlich, Arts Victori
L’exploitation du bois-énergie dans les arganeraies : entre soutenabilité et dégradation (région des Haha, Haut-Atlas Occidental, Maroc)
Get PDFComme les autres régions du Maroc, l’arganeraie de la région des Haha subit depuis plusieurs décennies les conséquences des sécheresses cycliques, de l’explosion démographique et du développement de la pauvreté. En effet, les périodes de sécheresse des années 1970-1980-1990 ont exacerbé la pauvreté des Haha. Ceci a poussé l’essentiel de la population à développer des mécanismes de survie, comme l’exploitation du bois-énergie, dont les conséquences sur l’écosystème arganier, déjà fragilisé, sont énormes.As other regions of Morocco, the argan forests of Haha country undergoes for several decades the consequences of the cyclic droughts, the population boom and the development of the poverty. Indeed, the periods of drought of the years 1970-1980-1990 aggravated the poverty of Haha people. This urged the main part of the population to develop mechanisms of survival, as the exploitation of the wood energy, the consequences of which on the argan ecosystem, already weakened, are enormous.Como otras regiones de Marruecos, la arganeria de Haha sufre desde varias décadas las consecuencias de las sequedades cíclicas, de la explosión demográfica y del desarrollo de la pobreza. En efecto, los períodos de sequedad de los años 1970-1980-1990 exacerbaran la pobreza de los Haha. Esto empujó lo esencial de la población a desarrollar mecanismos de supervivencia, como la explotación de la lena (madera-energía), cuyas consecuencias sobre el ecosistema del arganeria, ya debilitado, son enormes
Min mamma haha : om japanska släktskapsord
No full textThis paper aims to clarify the use of Japanese kinship terms. A survey was carried out to identify factors influencing the choice of term for 'mother' in a given situation. The listener is one factor, for example when it comes to the term of reference haha. The results of the survey indicates that surrounding people, gender and place of birth may also affect the choice of kinship term
- …
