A new version of J2TADD - a translator from Java to automatons- is described, which adds support for a translation of Markov processes with non-dcterministic players, that can form coalitions, which in turn strive for different aims. In order to ease the definition of a probabilistic game using a plain Java application, several new constructs, and also a special library, are supported within the input language.
Ranges on variables or on expressions can be defined, what helps in checking the self-consistency of a model, and can also make the solving of the model faster.
The article discusses the point of interconnection between historical policy and international human rights law standards on the example of a so-called decommunisation Act enacted in Poland in 2016 that reduces retirement pensions and other benefits to individuals who were employed or in service in selected state formations and institutions in 1944-1990, amending the Act adopted in 2009. The Act of 16 December 2016 is analyzed in the light of the standards of the European Convention on Human Rights (ECHR), including relevant standards on coming to terms with the past as an element of transitional justice. The examination concludes that there is a discrepancy between the rationale for adopting this legislation in Poland, namely to reckon with the communist past and as such increase social trust in state institutions, and the legal solutions contained in the 2016 Act.
Iterative Learning Control (ILC) is a well-known method for control of systems performing repetitive jobs with high precision. This paper presents Constrained Output ILC (COILC) for non-linear state space constrained systems. In the existing literature there is no general solution for applying ILC to such systems. This novel method is based on the Bounded Error Algorithm (BEA) and resolves the transient growth error problem, which is a major obstacle in applying ILC to non-linear systems. Another advantage of COILC is that this method can be applied to constrained output systems. Unlike other ILC methods the COILC method employs an algorithm that stops the iteration before the occurrence of a violation in any of the state space constraints. This way COILC resolves both the hard constraints in the non-linear state space and the transient growth problem. The convergence of the proposed numerical procedure is proved in this paper. The performance of the method is evaluated through a computer simulation and the obtained results are compared to the BEA method for controlling non-linear systems. The numerical experiments demonstrate that COILC is more computationally effective and provides better overall performance. The robustness and convergence of the method make it suitable for solving constrained state space problems of non-linear systems in robotics.
The present study aimed to test how common workaholism is and which groups are most targeted in the workplace among Jordanian employees. Additionally, the roles of positive and negative perfectionism in workaholism were investigated. The sample consisted of 686 employees. All of them completed the study instruments. The results showed that the mean of workaholism was around the mean of the cut -off. Additionally, multivariate tests showed that the results of post hoc differences for positive perfectionism were in favor of males, subordinates, those with a bachelor’s degree, those with less than 5 years of experience, and those aged less than 30 years. Furthermore, the differences for negative perfectionism were in favor of those with a bachelor’s degree and subordinates. For workaholism, the differences were in favor of subordinates, public sector employees, married persons, and those with a diploma degree. Finally, the results of hierarchical regression analysis found that positive and negative perfectionism and some demographic variables predicted 12.9% of the variability in workaholism, and the typical hierarchical regression model included positive and negative perfectionism without other demographic variables.
This paper analyses the use of Polish achievements with durative expressions of godzinę (in an hour) and przez godzinę (for an hour) – types, their use in the progressive and finally a possible relationship between this use and the terminative recategorisation of imperfective achievements. In the analysis we have accounted for a number of linguistic and contextual factors that influence the possibility of the progressive use of achievements. This has allowed us to propose several subclasses of achievements that may undergo recategorisation under specific conditions set in the concluding section.
The present paper focuses on the changing interpretations of the English gerund. Since no method can accurately and uniformly account for the meanings of all instances of existing -ing forms, previous studies have offered approximate characterizations based on small samples. This study looks at the numbers of -ing derivations denoting institutionalized activities, on the assumption that these represent non-eventive readings. The derivations in question are arranged chronologically in terms of their time of coinage to compare changing productivity levels of this process relative to -ry derivations. This count shows that -ing suffi xations outnumber other nominalization processes and this trend has increased in the last two centuries.
The historic municipal park located in Zduńska Wola is covered in the central and northern part by conservator protection through an entry in the register of monuments and on the basis of an entry in the local spatial development plan. In terms of nature, the area has significant values due to old trees and the water system, which consists of two ponds fed by the Pichna River. As part of the preparatory work for the revalorization of the park, several studies and analyses were carried out, including assessment of the sanitary state of waters of Pichna River that supplies reservoirs. Degree of the river pollution made it impossible to restore the water system, the most important element of the park, while further supplying the ponds with river water. In order to ensure a satisfactory degree of purity and transparency of water in ponds, a decision was made to apply complex and modern technological solutions enabling the renovation of the water system. Project documentation was developed in 2015. After two years, they began to implement the project. Banks of both ponds were formed more gently, and the basins were deepened. Selection of vegetation around the reservoir and in the reservoir itself was based on the principle of biocenotic assumptions. The designed system is equipped with a circulation pump, skimmers, bottom drains, mechanical-mineral filter, swamp filter. This was to ensure adequate purification of water in ponds, based on natural processes, stimulated by the use of new, pro-ecological technologies.
Twenty-eight two-, three-, four-, and five-component amine mixtures have been evaluated as possible activators of CO2 absorption into aqueous carbonate/bicarbonate solutions. Measurements were per- formed using a pressure autoclave with a sparger at conditions close to industrial ones. On the basis of these results, a formula for a new, more efficient amine activator named INS13 was developed. The activator was tested both in a pilot plant and on an industrial scale in an ammonia plant producing 300 tons/day of ammonia. Activator INS13 was applied in a number of ammonia plants in Poland and abroad.
Heavy metals like cadmium (Cd) and lead (Pb) are pollutants that are toxic, difficult to decompose and accumulate in biota. One of the biota that lives in the waters is mullet fish. This fish is demersal, has a relatively long life period, has a specific tolerance to the aquatic environment and highly consumable in Indonesia. Therefore need to know the metal content of Cd and Pb in water, sediments and mullet fish and their relationship in Indonesia. The study used a survey method with purposive random sampling at four stations, three replications. The study was conducted from June to November 2019. Analysis of data was descriptive, F-test and correlation. The results showed that the heavy metal content of Cd and Pb between stations in the water media, sediment and in mullet fish there was a significant difference. The highest Cd and Pb were showed in station III, coming from the oil industry, domestic waste and transportation activities. The heavy metal content of Cd and Pb in water, sediment and mullet fish (Planiliza subviridis) in the Donan River, Cilacap shows results exceeding the allowed threshold and danger to human health.
The objective of this study was to evaluate the effect of a second prostaglandin F2α (PGF2α) treatment during Ovsynch on luteal regression and fertility in dairy cows, compared with standard Ovsynch. The study was conducted on 111 Holstein Friesian multiparous cows on commercial dairy farm. The cows in the experimental group (n=48) received two treatments of PGF2α 24 hours apart during Ovsynch. The cows in the control group (n=63) were synchronized with standard Ovsynch. To assess the progesterone (P4) concentration blood samples were collected at the day of PGF2α treatment and at the 2nd GnRH treatment. Pregnancy was evaluated by ultrasound examination 37-40 days after timed artificial insemination (TAI) by ultrasound. Cows diagnosed pregnant were re-examined between days 70-80 after TAI. The percentage of cows with complete corpus luteum (CL) regression (P4<0.5 ng/ml at the time of the 2nd GnRH treatment) was 89.6 % after two PGF2α treatments and 88.9 % after one PGF2α treatment. There were no statistically significant differences (p>0.05) in the pregnancies per artificial insemination (P/AI) between the experimental and control group (P/AI). However, the pregnancy loss rate was lower in cows receiving two PGF2α treatments than in the control animals (0.0 % vs. 6.4 %; p<0.05). In conclusion, the second PGF2α treatment during Ovsynch protocol had no significant effect on CL regression and P/AI in dairy cows. The pregnancy losses until days 75-80 after TAI were significantly lower after two PGF2α treatments than after one PGF2α treatment.
The aim of the study was to develop a reliable and cost-effective method for detection of nonsense mutation in APAF1 gene causing lethal effect called HH1 (Holstein Haplotype1) and to evaluate its prevalence in a sample of Polish Holstein-Friesian bulls. One hundred seventy eight bulls born between 1996 and 2017 were included in the analysis. They were kept in four artificial insemination centers and have in the pedigree the known carrier of HH1. All bulls were diagnosed by novel PCR-SSCP technique. Specific amplicons of 261 bp APAF1 gene fragment were used to detect changes in single stranded conformation (SSCP) caused by nonsense mutation C/T responsible for HH1. Each new carrier was used to trace another potential carriers among their offspring available in Polish Holstein Bull Repository Database. Among 178 bulls, 85 HH1 carriers were found. Our results show that nonsense mutation in APAF1 gene is already transmitted and segregating in Polish Holstein-Friesian cattle and its frequency may increase if no action will be undertaken against actual carriers.
Reflection on the process of defining and redefining the notion of Polishness after 1918, and thus, an attempt to answer the questions: ‘What is Polishness?’; ‘Is it possible to talk about its single, monolithic, well-defined form in relation to a specific point in history as well as at present?’ – were the main topics of an international conference organised by the Centre for Historical Research on 21st–22nd June 2018 and held at the glamourous Louise-Schroeder-Saal of the Rotes Rathaus (Red Town Hall) in Berlin. Held on the occasion of the centenary of Poland’s regained independence, the event was simultaneously a festive farewell to Professor Robert Traba, the founder and Director of the Berlin-based Centre for Historical Research, Polish Academy of Sciences. The attendees included researchers from Poland as well as scholars from Germany and France, representing various fields of science: history, literature, sociology, political science, law, Slavic studies, Polish studies, and art history. A total of twenty-seven papers and comments, in Polish and/or German, were submitted. The conference ended with a panel discussion (lasting over two hours) on ‘Individual identities in the face of collective ideas of Polishness’ (now available on the CHR website: http://www.cbh.pan.pl/de/fotobericht-und-film-zur-konferenz-derunvollendete-krieg).