Mothers of Pipelines

AbstractWe present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally into a large number of simple subgoals. This theorem reduces proving the correctness of a given pipelined implementation of the ISA to verifying that each of its transitions can be modeled as a sequence of MOP state transitions

The importance of real time ultrasound elastography in the assessment of morphologic kidney parenchymal variations in patients with chronic kidney diseases

Hronična bolest bubrega (HBB) obuhvata svaki stepen smanjene bubrežne funkcije, od postojanja rizika za oštećenje bubrega, kroz blagu, umerenu i tešku bubrežnu insuficijenciju. Bolest bubrega spada medju deset vodećih uzroka smrti kod nas. Ultrazvučni elastografski pregled u realnom vremenu je imidžing modalitet kojim kvalitativno i kvantitativno merimo elastičnost tkiva tokom ultrazvučnog pregleda. CILJEVI ISTRAŽIVANJA Određivanje elastografskih parametara parenhima bubrega u kontrolnoj grupi osoba kod kojih nije dijagnostički potvđeno postojanje hronične bolesti bubrega. Određivanje elastografskih parametara parenhima bubrega u grupi osoba sa klinički potvrđenim hroničnim bolestima bubrega, uključujući i postojanje dugogodišnjeg dijabetes melitusa, odnosno dugogodišnje loše regulisane arterijske hipertenzije. Određivanje korelacije dobijenih elastografskih parametara parenhima bubrega sa morfološkim karakteristikama parenhima bubrega u “B” modu i dopler parametrima uz procenu kliničke upotrebljivosti ultrazvučne elastografije u realnom vremenu u pacijenata sa hroničnim bolestima bubrega. MATERIJAL I METODE U studiju istaživanja uključene su dve grupe ispitanika, kontrolna grupa pacijenata (72 osobe) i grupa pacijenata sa različitim stepenom hronične bolesti bubrega (151 osoba). Metode je bila uvedena krajem 2014. godine, a sa istraživanjem se nastavilo tokom tri godine. Ultrazvučni pregledi su obavljani u Službi radiološke dijagnostike, KBC „Dr Dragiša Mišović – Dedinje“, na dva ultrazvučna aparata firme Toshiba, tip Aplio 300 i Aplio XG. sa softverskom verzijom za izvođenje pregleda elastografijom naprezanja spoljnom kompresijom i elastografijom naprezanja uz korišćenje ARFI, obe u realnom vremenu, uz dobijanje kolor skale organa koja prezentuje različite zone krutosti tkiva, kao i odredjivanjem relativnih vrednosti odnosa naprezanja korteksa i medule parenhima. Statistička metodologija obuhvatala je SPSS softverski paket. Statističke hipoteze su testirane na nivou statističke značajnosti od 0,05. Značaj ultrazvučne elastografije u proceni morfološke izmenjenosti parenhima bubrega pacijenata sa hroničnim bolestima bubrega učinjena je ROC analizom...ranging from the risk of renal damage, to mild, moderate and severe renal impairment. Kidney disease is one of the top 10 causes of death in our country. Ultrasound elastographic examination in real time is an image modulation that enables quantitative and qualitative measurement of the tissue elasticity during ultrasound examination. GOALS OF RESEARCH 1. Determination of kidney parenchyma elastographic parameters of in the control group of people, with no chronic kidney disease. 2. Determination of kidney parenchyma elastographic parameters in the group of people with chronic kidney disease, with either long-standing diabetes mellitus or long-term poorly regulated arterial hypertension. 3. Correlation of the obtained renal parenchyma elastographic parameters with the renal parenchyma morphological characteristics in "B" mode and dopler parameters, including an assessment of the clinical utility of real time ultrasound elastography in patients with chronic kidney disease. MATERIAL AND METHODS The study included two groups of patients: a control group of 72 people and a group of 151 patients with different degrees of chronic kidney disease. The research project started in late 2014th and was conducted over a period of three years. Ultrasound examinations were carried out at the Radiological Diagnostics Service, KBC "Dr Dragiša Mišović - Dedinje", on two ultrasound devices from Toshiba, type Aplio 300 and Aplio XG. The software version enabled: 1) registration of stress elastography by external compression and strain elastography using ARFI in real time, 2) registration of the kidney colour scale that presents different stiffness tissue areas, 3) possibility to determine the relative values of the parenchymal cortex and medulla stress ratio. Statistical methodology was based on SPSS software package. Statistical hypotheses were tested at the level of statistical significance of 0.05. The final assessment of ultrasound elastography importance in patients with CKD was conducted by ROC analysis..

Determination of specific antibodies titre to salmonella enteritidis by elisa technique in several selected flocks of laying hens

In this paper, the antibody titre to Salmonella enteritidis (SE) was examined by the ELISA method in two flocks of laying hens, where during routine bacteriological investigations Salmonellae was never isolated, and in one flock where Colysepticemia was diagnosed and Salmonella isolated accidentally. In the flocks were Salmonellae were not isolated, a titre with a high level of specific antibodies to SE was discovered (15 and 45%), while the flock with accidental findings of SE was poorly positive (5%). These results point to the necessity of introducing serological monitoring to SE so that the infection of salmonella may be discovered early and the prevalence in the flock determined, and also for the purpose of applying adequate measures that could reduce the possibility of secretion of SE through eggs

Hydrogeothermal resources in spa areas of Serbia: Main properties and possible improvement of use

Geological complexity of the territory of Serbia is a world curiosity: six main geo-tectonic regions and tens sub-regions are delineated in a small area of 88,000 km2. Geologic origin and regional structure of some areas has long been the subject of discussion. Notable magmatism and associated tectonic events in the Earth's crust provided for a fairly large hydrogeothermal resource potential, which is manifested in more than 250 warm (mainly mineral) springs and more than 100 hydrothermal wells. Thermal springs and wells together discharge some 5 m3/s. This potential is used in part for balneal therapy (waters differ in temperature and chemical composition) in the spa areas of Serbia. The amounts of thermal water unused therapeutically or the amounts of heat energy from unused geo-thermal water may be used in almost all spas for space heating/cooling and thus increase the efficiency of the thermal water energy utilization. This also will be cost-effective, reduce emission of noxious gases, and improve the environmental-health image of the resorts. The hydrogeothermal resources are described for 29 spas with 700 l/s total discharge capacity of water temperature between 25°C and 96ºC, or an overall heat energy of 78.40 MWt. Feasibility of additional energy utilization of thermal water in spas is generally considered

Organic Lamb Meat Production in Serbia Based on Autochthonous Zackel Breed: Opportunities and Challenges

The global growing tendency of lamb and mutton meat production has been emphasized. The fastest growing meat production industry on a global level is lamb and mutton meat production. Lamb meat production increase is primarily based on genetic improvement of sheep breeds, reproduction management and disease reduction. The new Strategy for Agriculture and Rural Development in Serbia from 2014 to 2024 defines goals and priorities for further development of agriculture. One of priority topics is the promotion of organic production. Organic lamb production is a great opportunity for rural regions development. Botanical composition analyses, as well as plants nutrition value, have shown that natural resources of regions in Serbia have great potentials for organic lamb production. Basic principles of organic production promote well adapted, autochthonous breeds. Various types of Zackel sheep are important genetic resources, evolutionary adapted on specific conditions and extreme climate. The study evaluated the value of various types of Zackel sheep populations in the regions where they are traditionally reared with special emphasis on some traits such as health status and robustness, important for organic production. Disease frequency analysis in different Zackel type populations has shown that gastrointestinal parasitic infections represent the main health problem in sheep farming. The introduction of veterinary medicine standards in organic sheep production is a great challenge. Considering that conventional prevention and medication are forbidden in organic production, veterinary control of parasitic infections is not satisfying. Our investigations are focused on preventive measure and genetic resistance/tolerance to parasitic infections of various types of Zackel sheep as very important for organic lamb production

Is hail suppression useful in Serbia? – General review and new results

Anthropogenic influence on weather has been increasingly published and discussed in the last decades. Climate changes caused by inadvertent anthropogenic influence are well underway. Hail suppression, which has been proven to have no influence on weather, will be considered in the article. Even though hail suppression as scientifically ungrounded activity seemed to promise certain success several decades ago, it has spread over the whole territory of the Republic of Serbia after abundant experience, when many developed countries have given up on this activity. Reasons will be presented for the senselessness of hail suppression based on the latest research. By processing all hail data from the territory of Serbia in the period from 1967 to 2010, it was found out that the hail trend is rising which is in contrary to expectations and previous claims that hail suppression decreases hail frequency

Forging a New World Order? Interdisciplinary Perspectives on the Management of Metalworking and Ideological Change in the Late Bronze Age Carpathian Basin

The Carpathian Basin was a highly influential centre of metalworking in the 2nd mil. BC. Nevertheless, despite the abundance of metal objects from the Late Bronze Age, the scarcity of contextually associated metalworking remains representing distinct phases of the metalworking cycle from this region is striking. Here, we explore Late Bronze Age metalworking through the lens of a uniquely complete metalworking assemblage from the site of Șagu from contexts spanning the sixteenth to early thirteenth century BC. This material provides insights into changes in craft organisation following socio-political change after the collapse of Middle Bronze Age tell-centred communities. Our approach combines analytical and experimental data together with contextual analysis of technical ceramics (crucible, mould, and furnace fragments) to reconstruct the metalworking chaîne opératoire and place Șagu in its broader cultural context. Analyses demonstrate clear technological choices in ceramic paste recipes and strong interlinkages between metallurgy and other crafts practised on site, from domestic pottery production to building structures. Experimental replications reveal important intrinsic and experiential aspects of metallurgical activities at Șagu. Evidence on the spatial organisation of metallurgical workflows (routine sequence of actions and decisions) suggests they incorporated a high degree of visibility, which marks a distinct change in the use of craft space compared to the context of densely occupied Middle Bronze Age tells nearby. Combined, our archaeometric, experimental, and contextual results illustrate how changes in metalworking activities in the Late Bronze Age Carpathian Basin were deeply embedded in an ideological shift in the aftermath of the breakdown of Middle Bronze Age tells and the emergence of new social structures

Tims and maldi tof of endohedral 99mTc@C60 metallofullerene

Mass spectral studies (both TIMS – thermal ionization and MALDI TOF – matrixassisted laser desorption time-of-flight mass spectrometry) of the endohedral metallofullerenes, 99mTc@C60 and 99mTc@C70, provided detailed structural and reactivity information about these unusual species. MS experiment revealed that both fullerenes and endohedral metallofullerenes fragment by multiple C2 loss. However, a difference in the terminal fragmentation products was observed for metallofullerene relative to C60, suggesting that the encapsulation metal strongly impacts the fragmentation product. Singly charged cations of the metallofullerenes (M@Cn + ) were completely unreactive in the gas phase with oxygenated compounds such as ethylene oxide: however, the corresponding neutral species appear to react readily with oxygenated species. Collisional dissociation of the ionized endohedral fullerenes listed above revealed multiple C2 loss (either as sequential C2 loss or larger C2n eliminations) to generate similar terminal fragmentation products, which might be predicted due to the similar ionic radii of the encapsulated metals. The observed ionization energies of endohedral molecules were, 5.1 ± 0.1 eV and 5.3 ± 0.1 eV, respectively.Physical chemistry 2006 : 8th international conference on fundamental and applied aspects of physical chemistry; Belgrade (Serbia); 26-29 September 200

Preliminary geosite assessment model (gam) and its application on Fruška gora mountain, potential geotourism destination of Serbia

This paper presents a preliminary geosite physical assessment model which has the potential to assist in the sustainable planning and management of natural heritage locations and their transformation into tourism destination. The methodology is based on several existing models and presented through two groups of values – main and additional, which are further divided into indicators and subindicators respectively. The resultant model is a graph that consists of nine fields, into which geosites can be classified as fitting into nine general areas of suitability for tourism in terms of their main (scientific/educational, aesthetic/scenic and protection as market appeal and conservation) and additional values (functional and tourism use as current stage of development). This could prove to be of great help to natural heritage protection and tourism managers, as they could assess the current state of a geosite and thence propose a future path for it

Novel asymmetric polyethersulfone membranes for ultrafiltration application

Ultrafiltration has recently become popular as a promising separation method in many industrial processes covering fractionation and concentration steps in the food, pharmaceutical and biotechnology industries as much as in water and wastewater treatments. This paper presents the synthesis of novel asymmetric polyethersulfone membranes containing an interpenetrating network of poly(glycidyl methacrylate) (PGMA). In order to improve the properties and application range of membranes, the epoxy groups from PGMA are converted to amine groups by ring opening under alkaline conditions. Membranes before and after functionalization are characterized by FTIR-ATR, elememtal analysis and water permeability