HW1 CIV

Abstract: The use of formal methods, based on rigorous mathematical foundations, is essential for system specification and proof, especially for safety critical systems. On the other hand, Model-driven Engineering (MDE) is emerging as new approach to software development based on the systematic use of models as primary artifacts throughout the engineering life-cycle by combining domain-specific modeling languages (DSMLs) with model transformers, analyzers, and generators. This paper presents our position and ...

This volume examines interdisciplinary boundaries, and includes texts focusing on material culture, philological analysis and historical research. What they all have in common are zones that lie in between, not treated as mere barriers, but also places of exchange in the early Middle Ages.

This article explores the speculative short stories of Egyptian writers Alifa Rifaat (Alīfah Rifaʿat, 1930-1996) and Mansoura Ez-Eldin (Mansūrah ʿIzz al-Dīn, b. 1976) in conversation with scholarship from the anthropology of Islam, Islamic feminism, and queer theory. Rifaat's 1974 "ʿĀlamī al-Majhūl" ("My World of the Unknown") and Ez-Eldin's 2010 "Jinniyyāt al-Nīl" ("Faeries of the Nile") both stage queer encounters between women and jinn (sentient spirit-beings within Islamic cosmology) who provide spiritual actualization as well as sexual fulfillment. I argue that their emphasis on sensuous forms of piety-largely through Sufi mystical philosophy and poetic imagery-models a queer ethics of being and knowing. Addressing the polarized critical receptions of Rifaat and Ez-Eldin among both the Arabic literary establishment and Anglophone reading publics, the article further exposes the secular sensibilities of the "world republic of letters," in which feminist and queer modes of reading are often uncoupled from spiritual, and particularly Muslim, epistemes.

The role of enzyme engineering in biotechnology, biological and pharmaceutical process cannot be over emphasized. This study compared the adsorption of digestives enzymes; amylase, protease and lipase on to Zn-ferrite (ZnFe2O4). The metal ferrite was synthesized via a sol-gel technique and characterized with scanning electron microscopy (SEM), X-ray diffraction (XRD), Electron paramagnetic resonance (EPR) and Fourier transform infrared spectroscopy (FTIR). The adsorption was studied in a batch process and the data were subjected to kinetics and isotherm models. Characterization shows that the particle has a nanoporous structure, with pore sizes of about 5.4 nm and good magnetic properties. The FTIR data showed the presence of M-O bond, which is a characteristic of metal ferrites. The adsorption of the amylase, lipase and protease on ZnFe2O4 follow first-order kinetic model with rate constants increasing with concentration. The maximum adsorption capacities as revealed by the general...

Tertiary magmatic activities in Iran are the main magmatic events responsible for porphyry copper deposit occurrences. The Urumieh-Dokhtar magmatic belt (UDMB), the Ahar-Arasbaran, the Taleghan-Tarom, the Kavir-Sabzevar zones, and the Lut Block contain the greatest volume of the Tertiary magmatic rocks in Iran. Many porphyry copper deposit indications have been found, especially in the south-east and north-west of the UDMB in the Kerman and the Ahar-Arasbaran zones, respectively. New porphyry copper mineralisation found in central parts of the UDMB and the East Iran magmatic belt (the Lut Block), in Tertiary rocks, have made these areas more interesting for porphyry copper prospecting, where before that they were not noteworthy. In this paper, we used the combination of upward continuation and edge enhancement filters to find and predict the pattern of distribution of porphyry copper deposits in the Tertiary magmatic belts. The results show the high correlation between magnetic lith...

Wish to take your basic skills in Maya to a new height? Select Arena Animation for your Maya institute in Sonipat, as it meets all the requirements of its students to learn and work like a pro. To take advantage of learning Maya from the industry-certified trainers, dial +91-9996991779 immediately and know everything about the course, fee, and more. Visit Us - https://arenasonipat.com/

En La arqueología del saber, Michel Foucault sugiere que todo enunciado emerge en tres dominios simultáneos: la memoria, la concomitancia y la intervención. El presente artículo propone una "forma de leer" esa pluralidad de tiempos históricos en algunas canciones incluidas en el primer LP del grupo VIRUS: Wadu wadu, publicado en el año 1981, a fin de interpretar -empleando una perspectiva que articula el análisis del discurso con la semiótica y el análisis auditivo de la música-, la posición ideológica de este grupo de rock argentino en relación con la memoria discursiva y la coyun-tura sociocultural.

The foundation is the element that receives the forces from the building construction above and channels them to the subsoil, where they function to support the building so that there is no failure of the structure from the bottom. Driven Piles are deep foundations that are precast or finished in the factory to certain specifications. Piles have a long and direct shape with the aim of transmitting structural loads to deeper soil. Bored piles are the foundation for channeling structural loads to great depths. Drilled piles are directly printed in the field (cast in the field) with pre-drilled holes and immediately reinforced in situ. Of these three foundations, they are analyzed and designed in such a way as to be able to support a 2-story house with soil conditions that are former paddy fields. Then, after completing the design, the results are analyzed in terms of price to find out which one is cheaper when using the foundation for a two-story house. The total cost of the pile is R...

We investigate machine learning models that identify COVID-19 positive patients and estimate the mortality risk based on routinely acquired blood tests in a hospital setting. However, during pandemics or new outbreaks, disease and testing characteristics change, thus we face domain shifts. Domain shifts can be caused, e.g., by changes in the disease prevalence (spreading or tested population), by refined RT-PCR testing procedures (taking samples, laboratory), or by virus mutations. Therefore, machine learning models for diagnosing COVID-19 or other diseases may not be reliable and degrade in performance over time. To countermand this effect, we propose methods that first identify domain shifts and then reverse their negative effects on the model performance. Frequent re-training and reassessment, as well as stronger weighting of more recent samples, keeps model performance and credibility at a high level over time. Our diagnosis models are constructed and tested on large-scale data ...

„Kertész Mór (1873-1920): lakatos. A Tanácsköztársaság alatt Csepel direktóriumának, majd forradalmi törvényszékének elnöke. A bukás után kivégezték.” A fenti szűkszavú ismertetés fogadja az utcanevek gyűjteményében az olvasót, ha annak próbál utánajárni, kinek a nevét viselte a rendszerváltozás előtt a csepeli Gál ispán utca. Felvet azonban ez a rövid summázat néhány kérdést az 1919 utáni megtorló perekkel foglalkozó történészben, mindenekelőtt azt: miért ítélték Kertész Mórt (és társait) halálra? Az ellenforradalmi rendszer vélt és valós kommunisták fölött ítélkező bírói tanácsairól kétségtelenül sok mindent el lehet mondani, de a halálbüntetést – és különösen a ténylegesen végre is hajtott halálbüntetést – nem „osztogatták” játszi könnyedséggel. Kertész és társai nem voltak sem a kommün fő vezetői között, sem a rettegett Lenin-fiúk között; mit követtek el, hogy a főbenjáró ítélettel sújtották őket? Tanulmányomban először röviden bemutatom a Tanácsköztársaságot követő kommunistaperes büntetőeljárásokat, azt követően az úgynevezett forradalmi törvényszéki rendszert, a ráckevei ellenforradalmi eseményeket és megtorlásukat, majd pedig részletesen elemzem a Kertész Mór és társai ellen gyilkosság bűntette, valamint más bűntettek és vétségek miatt indított büntetőpert. Amikor önálló műhelytanulmányt írtam Kispestnek a proletárdiktatúra alatti életéről, egy bekezdésnyi terjedelemben lakonikus tömörséggel összefoglaltam benne Kertészék perét. Érdemes azonban sorra venni az ügy hátterében álló 1919-es eseményeket, az érintett személyeket, valamint a bírói tanácsnak az ítélethez fűzött indokolását is, hogy megismerjük annak a pernek a történetét, amely végső soron az államszocializmus saját fehérterror-mitológiájának is szignifikáns eleme volt. Jelen írás a Tanácsköztársaság utáni legális igényű megtorlást a Pestvidéki Királyi Törvényszék iratanyagán keresztül feltárni szándékozó doktori disszertációs kutatás része.