Search results for "types"

Linear Types for Higher Order Processes with First Class Directed Channels

1995

Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.

Russian Propaganda Machine: New Dimension

2015

Diskriminierung von Senioren – Fakten über und Wege für das würdige altern

2018

Obecne stulecie przedstawiane jest często jako wiek starzenia się. Nieproporcjonalne zwiększanie się grupy ludzi starych, do prawie jednej czwartej społeczeństwa niesie ze sobą nie tylko dumę z osiągnięć medycyny przedłużającej życie, lecz także negatywne trendy społeczne. Postępujące procesy, które zostały już określone jako „desolidaryzacja międzygeneracyjna”, znajdują swój wyraz także w bardzo negatywnych zjawiskach, wśród których na znaczenia nabiera dyskryminacja osób starszych. Bazujące na stereotypach i uprzedzeniach negatywne nastawienie do najstarszej części społeczeństwa budzi niepokój i domaga się poszukiwania dróg wyjścia. W niniejszym opracowaniu na podstawie analizy polskojęzy…

Radiographic Assessment of Tibiofibular Syndesmosis Injury with Different Durations and Types of Fixation

2022

Introduction: There is no consensus among orthopedic surgeons on the number of cortical layers (tricortical or quadricortical fixation) involved or the duration of syndesmotic fixation after a tibiofibular syndesmosis (TFSD)-injury treatment. The purpose of this study was to assess radiographic parameters following the treatment of TFSD injuries, with various time-windows of syndesmotic screw removal and numbers of cortical layers involved. Materials and Methods: Fifty-five patients, aged from 25 to 75 years, were included in the study. The follow-up period ranged from 2 years to 4 years and 2 months. The patients were subdivided into groups based on the duration of the syndesmotic fixation…

Determinants of the interannual relationships between remote sensed photosynthetic activity and rainfall in tropical Africa

2007

International audience; The response of photosynthetic activity to interannual rainfall variations in Africa South of the Sahara is examined using 20 years (1981-2000) of Normalised Difference Vegetation Index (NDVI) AVHRR data. Linear correlations and regressions were computed between annual NDVI and annual rainfall at a 0.5° latitude/longitude resolution, based on two gridded precipitation datasets (Climate Prediction Center Merged Analysis of Precipitation [CMAP] and Climatic Research Unit [CRU]). The spatial patterns were then examined to detect how they relate to the mean annual rainfall amounts, land-cover types as from the Global Land Cover 2000 data set, soil properties and soil typ…

Enterobacter cloacae administration induces hepatic damage and subcutaneous fat accumulation in high-fat diet fed mice.

2018

Accumulating evidence indicates that gut microbiota plays a significant role in obesity, insulin resistance and associated liver disorders. Family Enterobacteriaceae and especially Enterobacter cloacae strain B29 have been previously linked to obesity and hepatic damage. The underlying mechanisms, however, remain unclear. Therefore, we comprehensively examined the effects of E. cloacae subsp. cloacae (ATCC® 13047™) administration on host metabolism of mice fed with high-fat diet (HFD). C57BL/6N mice were randomly divided into HFD control, chow control, and E. cloacae treatment groups. The E. cloacae treatment group received live bacterial cells in PBS intragastrically twice a week, every ot…

Nieru audzēju klīniski morfoloģiskais raksturojums

2020

Saslimstība ar ļaundabīgajiem nieru audzējiem palielinās katru gadu, visizteiktāk tas vērojams pasaules attīstītajās valstīs, kā arī Latvijā. Nieru šūnu karcinoma ir viens no visbiežākajiem ļaundabīgajiem nieru audzējiem. Agrīnajās stadijās nieru šūnu karcinomai nav raksturīga kāda konkrēta simptomātika un lielākajā daļā gadījumu, tā tiek diagnosticēta netīši- veicot izmeklējumus kādas citas saslimšanas gadījumā. Pēc tam, kad audzējs ir ticis diagnosticēts, ir būtiski izvērtēt pacienta vispārējo stāvokli un riska faktorus, no kā ir atkarīga pacientu kopējā dzīvildze un recidīva risks. Ja iespējams, noteikt histoloģisko nieru šūnu karcinomas subtipu un ņemot vērā šos faktorus, izvēlēties pie…

The Warriors' Cult : representations of masculinity on the subreddit /r/TheRedPill

2018

Internet on yksi arkemme merkittävimmistä informaation lähteistä ja kantaa sisällään paljon mielenkiintoista sisältöä. Reddit on moniaiheinen internet- ja keskustelusivusto, jonka yksi kiehtovimmista yhteisöistä (subredditeistä) on /r/TheRedPill. Yhteisö kuvailee itseään seuraavasti: “The Red Pill: Keskustelua seksuaalisesta strategiasta kulttuurissa, jossa on vähenevissä määrin positiivisia identiteettejä miehille”. Vuosien 2017 ja 2018 aikana mediassa on keskusteltu paljon miehistä ja huomattavan usein heitä on kritisoitu esimerkiksi epäsopivasta seksuaalikäyttäytymisestä. Halusin omassa tutkimuksessani sukeltaa sisälle yhteisöön, joka pyrkii voimaannuttamaan miehiä yhteiskunnallisen kesk…

Ciència i literatura. Ja han acabat les guerres entre les dues cultures?

2014

Des que l’alquímia va començar a desafiar l’autoritat de l’Església, l’estatus del coneixement científic especialitzat i de l’alta cultura, sempre relatiu, ha estat molt qu?estionat. Durant segles, els escriptors, com a adalils de la cultura, han atacat les pretensions de la ciència ridiculitzant els seus practicants bé com a éssers malvats, obsessius i fins i tot alienats o bé com a ximples i ineptes inventors els experiments dels quals fallen irremissiblement. Discutirem exemples d’ambdós models en el seu context històric. A les acaballes del segle XX apareix un nou gènere, conegut com a «literatura de laboratori» (lab-lit). Els científics s’hi veuen retratats no segons els estereotips si…

Zrównoważona konsumpcja: istota - formy - nabywcy

2016

Multidimensional in esse the act of consumption, if the buyer takes into account the principles of sustainable development, become a challenge - also social and political. The patterns of strong and weak sustainable consumption fulfill in different degree the ethical warrant of intergenerational justice, then their effectiveness depends on the scalę of lifestyles change. Previous studies of sustainable consumption forms and consumers segments reveal polarization of purchasing decisions: proecologically or socially motivated, and an „intention-behavior gap”, hindering the prediction of market behavior. This problem can be reduced by the segmentation based on the single act of purchase analys…