3,226 research outputs found
Marko Kuol
No full textabstract: After Marko Kuol’s village was bombed, he walked with his older nephew to Ethiopia at the age of seven.
“Lost Boys Found” is an ongoing, interdisciplinary project that is collecting, recording and archiving the oral histories of the Lost Boys/Girls of Sudan. The collection is a work-in-progress, seeking to record the oral history of as many Lost Boys/Girls as are willing, and will be used in a future book.Age: 25Region: Upper NileThis picture and bio was donated to the Lost Boys Found oral history project from The Arizona Lost Boys Cente
A complete proof of the safety of Nöcker's strictness analysis
No full textThis paper proves correctness of Nöcker's method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work of Clark, Hankin and Hunt did on the correctness of the abstract reduction rules. Our method fully considers the cycle detection rules, which are the main strength of Nöcker's strictness analysis. Our algorithm SAL is a reformulation of Nöcker's strictness analysis algorithm in a higher-order call-by-need lambda-calculus with case, constructors, letrec, and seq, extended by set constants like Top or Inf, denoting sets of expressions. It is also possible to define new set constants by recursive equations with a greatest fixpoint semantics. The operational semantics is a small-step semantics. Equality of expressions is defined by a contextual semantics that observes termination of expressions. Basically, SAL is a non-termination checker. The proof of its correctness and hence of Nöcker's strictness analysis is based mainly on an exact analysis of the lengths of normal order reduction sequences. The main measure being the number of 'essential' reductions in a normal order reduction sequence. Our tools and results provide new insights into call-by-need lambda-calculi, the role of sharing in functional programming languages, and into strictness analysis in general. The correctness result provides a foundation for Nöcker's strictness analysis in Clean, and also for its use in Haskell
On the safety of Nöcker's strictness analysis
No full textThis paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work of Clark, Hankin and Hunt, which addresses correctness of the abstract reduction rules. Our method also addresses the cycle detection rules, which are the main strength of Nocker s strictness analysis. We reformulate Nocker s strictness analysis algorithm in a higherorder lambda-calculus with case, constructors, letrec, and a nondeterministic choice operator used as a union operator. Furthermore, the calculus is expressive enough to represent abstract constants like Top or Inf. The operational semantics is a small-step semantics and equality of expressions is defined by a contextual semantics that observes termination of expressions. The correctness of several reductions is proved using a context lemma and complete sets of forking and commuting diagrams. The proof is based mainly on an exact analysis of the lengths of normal order reductions. However, there remains a small gap: Currently, the proof for correctness of strictness analysis requires the conjecture that our behavioral preorder is contained in the contextual preorder. The proof is valid without referring to the conjecture, if no abstract constants are used in the analysis
Control and physical intelligence
No full textChapter 5 focuses on biological and synthetic control/intelligence. This chapter of the 2nd edition includes discussion of deep learning, do-it-yourself (DIY) robotic projects, popular microcontrollers, contributed by Marko Popovic as well as material contributed by new co-author Mihailo Lazarevic on fractional PID control approach. All these are quite relevant in the context of biomechatronics research
Control and physical intelligence
No full textChapter 5 focuses on biological and synthetic control/intelligence. This chapter of the 2nd edition includes discussion of deep learning, do-it-yourself (DIY) robotic projects, popular microcontrollers, contributed by Marko Popovic as well as material contributed by new co-author Mihailo Lazarevic on fractional PID control approach. All these are quite relevant in the context of biomechatronics research
Five Years of Constitutional Jurisprudence in Bosnia and Herzegovina: A First Balance. EDAP 7/2004
No full textThe article reflects the experiences of the author after having served as one of the three international judges of the Constitutional Court of BiH from 1997 to 2002. Based on the relevant case-law of the Constitutional Court it gives a basic overview of the constitutional structure of BiH and analyses the position of the Court vis-à-vis other institutions established under the Dayton-Agreement and the powers of judicial review and human rights protection based on its appellate jurisdiction. Moreover means of interpretation and the elements of constitutional doctrine elaborated through case-law as well as organisational and procedural matters such as the role of dissenting opinions are discussed. In conclusion the article reflects the role of the Constitutional Court in transition from an ethnically divided and war-torn society to democracy and the effective protection of human and minority rights
Lost Battle or Defeat? The Negative Myth of Caporetto in Italy and Abroad
No full textIl mito negativo di Caporetto, una battaglia persa che gli stessi italiani chiamarono disfatta; come tale, Caporetto fu rapidamente assunta da nemici e alleati di allora quale battaglia emblematica della partecipazione italiana alla Prima Guerra Mondiale
Uloga boje u gradnji glazbenog oblika u odabranim djelima Marka Ruždjaka / Sound Spaces: The Role of Timbre in Building Musical Form Within a Selection of Marko Ruždjak's Work
No full textSome of the most successful works in the opus of Marko Ruždjak would have been impossible to conceive without the clarinet, the composer’s favourite instrument, as well as wit- hout the guitar, percussion, and voice (soprano, baritone or choir). The author researches how the composer’s choice of instrumental timbres and the voicing of the instruments as solo part or part of a larger sound aggregates (or units) is guided by a singular idea, which can be defi- ned as sound space. The timbre in this context is not conceived just as an element of a two- dimensional unit (building contrasts or overflowing and fusion in the temporal flow), rather it participates in the building of the spatial (and emotional) perspective. It contributes to a building of a specific musical form and expression. Ruždjak’s works have been analyzed through the categories that are linked to the Klangkomposition aesthetics of the Sixties. In the first part of the text, the formal function of individual parameters such as dynamic and regi- ster in the works Passamezzo, Tentatio, Canto peregrino, Versus, Ricercar is analyzed. In the se- cond part of the text, the analysis of Odrazi, Andantino, Notturno is developed through the more complex dimensions such as "static immobile surfaces", "surfaces in movement", "globally static surfaces, flecked with internal movement". They have been deduced from the published and unpublished texts by Györgi Ligeti. The theoretical background for the analysis of the sound's formal functions in the works of Ruždjak is part of the Klangkomposition's aesthetic. Together with the analysis of harmonic and motivic dimensions of the composer's language, they conduct to the possibility of a deeper understanding of the synthesis between various stylistic trajectories that are characteristic for the musical path of Marko Ruždjak
Christological viewpoints of Marko Marulić
No full textThe Croatian poet, theological writer and scholar of Bible Marko Ma-
rulić (1450—1524) was engaged in Christological subject matter. He
wrote De humilitate et gloria Christi — About humility and glory of
Christ. The author explains in his article of Marulić Christological view-
points and significance of his works
Score of Rhythm in Marko Cheremshyna’s Prose
No full textУ статті на матеріалі прози Марка Черемшини різних років з'ясовано роль ритму у формуванні концептуальних ідей, гедоністичної настроєвості, енергетичної спрямованості творів письменника. Ритм новелістики письменника вибудуваний на засадах українського фольклору, що увиразнює національну самобутність доробку прозаїка.The paper focuses on the rhythm in Marko Cheremshyna’s prose of different periods. The author explains the role of rhythm in the formation of concepts, hedonistic mood, and emotional direction of the writer's work. The rhythm of Marko Cheremshyna’s short stories is based on Ukrainian folklore what makes national peculiarities of the writer’s works quite evident
- …
