1,553 research outputs found
OO-Correspondence as Cumulativity
No full textBoth Sympathy constraints and OO-correspondence constraints are types of correspondence constraints, and both can induce opaque phenomena. Yet, Sympathetic constraint interaction is mediated by a special type of correspondence constraints (cumulativity constraints), while OO-correspondence is mediated by ordinary correspondence constraints. This paper argues that cumulative constraints can also be used in OO-correspondence. It is also argued that this is desirable for two reasons: (i) It unifies these two kinds of non-IO-correspondence. (ii) Certain types of OO-correspondence induced opacity that are possible with ordinary correspondence constraints, are excluded if cumulative constraints are used. Cumulative OO-correspondence constraints therefore result in a more restrictive theory.The definitive version of this paper was published in Carpenter, A., Coetzee, A., and de Lacy, P. (Eds.). University of Massachusetts Occasional Papers 26, Papers in Optimality Theory II (2003), pp. 27-57
Multiple typhoid perforations and typhoid psychosis a rare presentation of typhoid fever
No full textNo Abstract
Coq Implementation of OO Verification Framework VeriJ
No full textWe implement an OO specification and verification framework VeriJ in the proof assistant Coq. This framework covers the main OO features like encapsulation, inheritance and polymorphism. It can modularly specify and verify programs, while only one specification per method is necessary. In this paper, we introduce the framework VeriJ, our tool in Coq, and an example to illustrate how to specify/verify the program in a modular and abstract way.EICPCI-S(ISTP)[email protected]; [email protected]
Does OO sync with the way we think?
No full textGiven that corrective-maintenance costs already dominate the software life cycle and look set to increase significantly, reliability in the form of reducing such costs should be the most important software improvement goal. Yet the results are not promising when we review recent corrective-maintenance data for big systems in general and for OO in particular-possibly because of mismatches between the OO paradigm and how we think
ROVIBRONIC BANDS OF THE TRANSITION OF CHOO and CDOO DETECTED WITH CAVITY RINGDOWN NEAR 1.2 M
No full textAuthor Institution: Department of Chemistry, National Tsing Hua University, Hsinchu 30013, Taiwan; Department of Applied Chemistry and Institute of Molecular Science, National Chiao Tung University, Hsinchu 30010, Taiwan and Institute of Atomic and Molecular Sciences, Academia Sinica, Taipei 10617, TaiwanWe have recorded several rovibronic bands of the transition of CHOO and CDOO near 1.2 m with the cavity ringdown technique. The light source was a Raman-shifted beam from a dye laser pumped with a frequency-doubled Nd:YAG laser. The band shows partially resolved rovibronic lines which, when coupled with rotational parameters of the lower state determined recently by Endo and coworkers, can be fitted to yield spectral parameters of the upper states: = 8269.6 0.5 cm, A = 1.526 cm, B = 0.388 cm, and C = 0.323 cm for CHOO, and = 8195.5 0.5 cm, A = 1.169 cm, B = 0.329 cm, and C = 0.28 cm for CDOO. The vibrational spacing of 886.8 cm for the mode of CHOO is more precise than a previous report of 896 9 cm using conventional absorption spectroscopy; this mode is associated with the CO stretching mode rather than the OO stretching mode assigned previously. Two additional vibronic bands of CDOO were also detected for the first time; tentatively identified vibrational wave numbers of the state of CDOO are 953 ( and 970 ( cm, consistent with quantum-chemical calculations. Hot bands associated with excitation of the torsional mode were also observed
Paediatric Gastrointestinal Endoscopy in a Nigerian Tertiary Hospital
No full textBackground: Gastrointestinal endoscopy is a very useful tool in the diagnosis and treatment of gastrointestinal disorders. Gastrointestinal endoscopy in paediatric practice is still evolving in Nigeria.
Objective: To determine the common indications for paediatric endoscopy in a Nigerian tertiary hospital.
Method: This was a retrospective study of all gastrointestinal endoscopic procedures performed for children aged 0 -18 years between January 2021 and March 2022. The hospital records of the children were retrieved, and data were extracted for analysis.
Results: Thirty-seven endoscopic procedures were performed on 32 children with two subjects having repeated procedures while one had both upper and lower gastrointestinal endoscopic studies. The mean age of the children was 11 ± 5.4 years with those aged between 10 and 14 years constituting the majority (40.6%). Most indications were diagnostic and the commonest indication for endoscopy was upper abdominal pain (40.6%) which was followed by upper gastrointestinal bleeding (37.6%). The endoscopic findings were mainly gastritis (56.8%), hiatus hernia (32.4%) and duodenitis (18.9%). The commonest therapeutic indication for gastrointestinal endoscopy was variceal banding.
Conclusion: Paediatric gastrointestinal endoscopy is useful for the diagnosis and treatment of paediatric gastrointestinal disorders. Upper abdominal pain and upper gastrointestinal bleeding are the leading indications for paediatric gastrointestinal endoscopy in Nigeria
Intussusception pendant la grossesse : Un compte rendu
No full textIntussusception in pregnancy is rare and making a preoperative
diagnosis is extremely difficult. The objective of this paper is to
report a case of intussusception in a pregnant woman and to review the
literature on the subject with a view to highlighting the peculiarities
of this condition. The case file of a 26 year old Gravida 3, Para 0+2
lady who had appendectomy 5 years earlier and now presented at 33 weeks
of gestation with features of intestinal obstruction was evaluated.
Ultrasound scan showed dilated bowel loops suggestive of intestinal
obstruction. At operation, an ileo-ileal intussusception was found
without a lead point. Histology of the resected bowel segment showed
haemorrhagic infarction without evidence of malignancy. Even though
bands and adhesions are the commonest causes of intestinal obstruction
in a patient that has had a previous abdominal surgery, possibility of
other aetiological factors should always be considered (Afr J Reprod
Health 2010; 14[1]:145-148).L’intussusception dans pendant la est peu commun et la diagnostic
préopératif est extrêmement difficile. Cet article a
pour but de rapporter un cas d’intussusception chez une femme
enceinte et de passer en revue la littérature sur le sujet en vue
de mettre l’accent sur les particularités de cet état.
Nous avons évalué le dossier d’une jeune femme de 26
ans (gravide 3, nullipare 0 + 2) qui a su l’appendicectomie cinq
ans plus tôt et qui maintenant présente après 33
semaines de gestation, les traits de l’occlusion intestinale. Au
cours de l’intervention chirurgicale on a découvert une
intussusception iléo-iléale sans point de dérivation.
L’histologie du segment de l’intestin réséque a
montré l’infarctus hémorragique sans
l’évidence de la malignité. Bien que les brides et les
adhésions constituent les causes les plus communes de
l’occlusion intestinale chez une patiente qui ont déjà
subi une intervention chirurgicale, il faut considérer la
possibilité d’autres facteurs étiologiques (Afr J
Reprod Health 2010; 14[1]:145-148)
Conflict-Related Sexual Violence in Myanmar: The Role of the State
No full textThe prevention of Conflict-related Sexual Violence (CRSV) often relies on states to lead prevention and response mechanisms at the domestic level. However, state actors, such as the military, are frequently responsible for this violence. Can states play an effective role in preventing and responding to CRSV?
Conflict-Related Sexual Violence in Myanmar: The Role of the State provides a deeper understanding of the state's role as a prevention actor and explains why strategies aimed at preventing CRSV often fail and can sometimes even result in more harm.
Myanmar is a politically complex state that has experienced several decades of armed conflict, persistent military regimes, and a high prevalence of CRSV incidents committed by the state armed forces, the Tatmadaw. The book offers unique insights into CRSV prevention efforts in Myanmar, tracing the implementation process of the Joint Communiqué (JC), an agreement signed between the Myanmar government and the United Nations to effectively prevent and respond to CRSV.
This book is based on a comprehensive qualitative analysis of internal and public documents, and interviews with multiple stakeholders over a two-year period. It reveals how the gendered power structure and formal and informal practices of Myanmar’s state institutions constantly impeded the implementation process of the JC and offered a very limited political opportunity structure for local women’s CSOs to be involved in the JC implementation. A significant portion of the data in this book was collected in 2021 following the military coup in Myanmar. The author describes her experiences as a local researcher in solidarity with the local research participants experiencing the brutality of the military crackdown and conducting data collection in a particularly challenging context.No Full Tex
Intussusception pendant la grossesse : Un compte rendu
No full textIntussusception in pregnancy is rare and making a preoperative
diagnosis is extremely difficult. The objective of this paper is to
report a case of intussusception in a pregnant woman and to review the
literature on the subject with a view to highlighting the peculiarities
of this condition. The case file of a 26 year old Gravida 3, Para 0+2
lady who had appendectomy 5 years earlier and now presented at 33 weeks
of gestation with features of intestinal obstruction was evaluated.
Ultrasound scan showed dilated bowel loops suggestive of intestinal
obstruction. At operation, an ileo-ileal intussusception was found
without a lead point. Histology of the resected bowel segment showed
haemorrhagic infarction without evidence of malignancy. Even though
bands and adhesions are the commonest causes of intestinal obstruction
in a patient that has had a previous abdominal surgery, possibility of
other aetiological factors should always be considered (Afr J Reprod
Health 2010; 14[1]:145-148).L’intussusception dans pendant la est peu commun et la diagnostic
préopératif est extrêmement difficile. Cet article a
pour but de rapporter un cas d’intussusception chez une femme
enceinte et de passer en revue la littérature sur le sujet en vue
de mettre l’accent sur les particularités de cet état.
Nous avons évalué le dossier d’une jeune femme de 26
ans (gravide 3, nullipare 0 + 2) qui a su l’appendicectomie cinq
ans plus tôt et qui maintenant présente après 33
semaines de gestation, les traits de l’occlusion intestinale. Au
cours de l’intervention chirurgicale on a découvert une
intussusception iléo-iléale sans point de dérivation.
L’histologie du segment de l’intestin réséque a
montré l’infarctus hémorragique sans
l’évidence de la malignité. Bien que les brides et les
adhésions constituent les causes les plus communes de
l’occlusion intestinale chez une patiente qui ont déjà
subi une intervention chirurgicale, il faut considérer la
possibilité d’autres facteurs étiologiques (Afr J
Reprod Health 2010; 14[1]:145-148)
UV SPECTRUM AND PHOTOCHEMISTRY OF THE SIMPLEST CRIEGEE INTERMEDIATE CHOO
No full textAuthor Institution: Department of Chemsitry, University of Pennsylvania, Philadelphia, PA 19104-6323In the troposphere, ozonolysis of ethene as well as other terminal alkenes, such as isoprene, results in formation of the simplest Criegee intermediate, CHOO, which gives rise to many products of atmospheric significance. In the laboratory, CHOO is prepared in a quartz capillary tube reactor using a new synthetic route, 204 (2012).} based on 248 nm photolysis of CHI and subsequent reaction with O. The CHOO and other products undergo supersonic expansion, and are detected using fixed frequency VUV ionization (118 nm) with mass (m/z=46) and isomer selectivity. Spectroscopic studies of CHOO are carried out by UV laser excitation on the B A-X A transition prior to photoionization, which results in significant depletion of the ion signal (approaching 100\%) near the peak of a broad absorption profile centered at 335 nm., 20045 (2012).} The large depletion and broad absorption are indicative of rapid dissociation, consistent with the repulsive B A state potential in the O-O coordinate that has been computed theoretically. The experimental spectrum is in very good agreement with the absorption spectrum calculated using the one-dimensional reflection principle. The atmospheric lifetime of CHOO due to solar photolysis at midday is estimated to be 1 s. These findings provide a UV spectral signature of the strong - transition associated with the four electrons on the carbonyl oxide group in CHOO. Extensions of this work to methyl substituted Criegee intermediates reveal similar absorption features arising from the COO -system
- …
