439 results on '"Gacek P"'
Search Results
2. Specific Personality Traits and Psychosocial Adjustment in People with Intellectual Disability
- Author
-
Michal Gacek and Lukasz Krzywoszanski
- Abstract
In this study we examined how specific personality traits are related to psychosocial adjustment in people with intellectual disability. We studied 73 students with mild intellectual disability and 25 students with moderate intellectual disability who attended special schools in Poland. Personality traits were assessed with the Revised Edward Zigler-Yale Questionnaire (EZPQ-16R) and to assess adjustment we used a total-difficulties score in Strengths and Difficulties Questionnaire (SDQ). We hypothesized a predictive relationship between the specific personality traits and adjustment. The relation between personality and adjustment was stronger in people with moderate intellectual disability than in people with mild intellectual disability. In students with moderate intellectual disability the relation between personality and adjustment was significant for each of the studied traits and in students with mild intellectual disability it was significant for negative-reaction tendency, and assignment alacrity. Obtained results indicate that specific traits are important to adjustment of people with intellectual disability.
- Published
- 2024
- Full Text
- View/download PDF
3. CODAG: Characterizing and Optimizing Decompression Algorithms for GPUs
- Author
-
Park, Jeongmin, Qureshi, Zaid, Mailthody, Vikram, Gacek, Andrew, Shao, Shunfan, AlMasri, Mohammad, Gelado, Isaac, Xiong, Jinjun, Newburn, Chris, Chung, I-hsin, Garland, Michael, Sakharnykh, Nikolay, and Hwu, Wen-mei
- Subjects
Computer Science - Distributed, Parallel, and Cluster Computing - Abstract
Data compression and decompression have become vital components of big-data applications to manage the exponential growth in the amount of data collected and stored. Furthermore, big-data applications have increasingly adopted GPUs due to their high compute throughput and memory bandwidth. Prior works presume that decompression is memory-bound and have dedicated most of the GPU's threads to data movement and adopted complex software techniques to hide memory latency for reading compressed data and writing uncompressed data. This paper shows that these techniques lead to poor GPU resource utilization as most threads end up waiting for the few decoding threads, exposing compute and synchronization latencies. Based on this observation, we propose CODAG, a novel and simple kernel architecture for high throughput decompression on GPUs. CODAG eliminates the use of specialized groups of threads, frees up compute resources to increase the number of parallel decompression streams, and leverages the ample compute activities and the GPU's hardware scheduler to tolerate synchronization, compute, and memory latencies. Furthermore, CODAG provides a framework for users to easily incorporate new decompression algorithms without being burdened with implementing complex optimizations to hide memory latency. We validate our proposed architecture with three different encoding techniques, RLE v1, RLE v2, and Deflate, and a wide range of large datasets from different domains. We show that CODAG provides 13.46x, 5.69x, and 1.18x speed up for RLE v1, RLE v2, and Deflate, respectively, when compared to the state-of-the-art decompressors from NVIDIA RAPIDS.
- Published
- 2023
4. Effects of School-Based Neurofeedback Training on Attention in Students with Autism and Intellectual Disabilities
- Author
-
Gacek, Michał, Smoleń, Tomasz, Krzywoszański, Łukasz, Bartecka-Śmietana, Agnieszka, Kulasek-Filip, Beata, Piotrowska, Maja, Sepielak, Dominika, and Supernak, Katarzyna
- Published
- 2024
- Full Text
- View/download PDF
5. Can Social Dialogue be Transformational in a Socially Polarised Brazil? Labour Relations under the Third Lula Administration
- Author
-
Jana Silverman and Stanley `Gacek
- Subjects
Social Sciences - Abstract
Faced with a heterogeneous governing coalition and an unstable geopolitical scenario, the new Lula government is confronting many challenges to successfully enacting the social, economic and political reforms it promised during the 2022 presidential campaign. On the labour front, the current government has already made strides in rolling back some of the most regressive policies implemented during the Temer and Bolsonaro administrations that negated the possibility of real minimum wage increases and hobbled labour inspectors combatting modern-day slave labour. However, due to conflicting class interests, it will be more difficult to revoke key elements of the regressive 2017 labour law reform, which introduced new forms of precarious contracting, restricted access to the labour justice system, and curtailed union financing. This article will present a balance to date of the tripartite efforts to build and enact a pro-worker labour relations reform. We argue that the employers’ group’s path-dependent expectations to maintain many aspects of the previous labour law reform, together with labour’s diffuse support in the legislative branch, makes a more thorough-going reform that is advantageous for workers less likely to be implemented in the current conjuncture.
- Published
- 2024
6. Effects of different microalgae Botrycoccus sp. Beads concentrations on the growth and nutrients uptake in kitchen wastewater
- Author
-
N.A.R. Shaari, N.M. Apandi, N.M. Sunar, R. Nagarajah, K. Cheong, S.S.M. Ahia, Khairul Anwar Abdul Halim, M. Gacek, and Wan Mastura Wan Ibrahim
- Subjects
microalgae ,immobilized ,botryococcus sp. ,kitchen wastewater ,Mining engineering. Metallurgy ,TN1-997 ,Materials of engineering and construction. Mechanics of materials ,TA401-492 - Abstract
The present study is aimed to access the growth rates, biomass productivity and nutrient removal in different concentrations of microalgae Botryococcus sp. beads using kitchen wastewater as a media. Verhulst logistic kinetic model was used to measure the optimal concentrations of microalgae Botryococcus sp. in kitchen wastewater in terms of cell growth rate kinetics and biomass productivity. The study verified that the maximum productivity was recorded with 1×106 cell/ml of the initial concentration of Botryococcus sp. with 42.64 mg/l/day and the highest removal of tp and ammonia was obtained (78.14% and 60.53% respectively). The highest specific growth rate of biomass at 0.2896 μmax/d compare to other concentrations, while the lowest occurred at concentrations of 105 cells/ml at 0.0412 μmax/d. The present study shows the different concentrations of Botryococcus sp. in alginate beads culturing in kitchen wastewater influence the cells growth of biomass and nutrient uptake with optimum concentration (106 cells/ml) of Botryococcus sp. which is suggested for wastewater treatment purposes. The result of scanning electron microscopy (sem) shows differences in morphology in terms of surface; smoother and cleaner (before the experiment), cracks and rough surface with black/white spots (after the experiment). These findings seemly can be applied efficiently in kitchen wastewater treatment as well as a production medium for microalgae biomass.
- Published
- 2023
- Full Text
- View/download PDF
7. O jednym odczytaniu Song of Solomon
- Author
-
Elżbieta Binczycka-Gacek
- Subjects
postkolonializm ,flying africans ,toni morrison ,nostalgia ,powrót do domu ,Language and Literature - Abstract
Przedmiotem analizy w niniejszym artykule będą dwa powiązane z sobą teksty: wydana w 1977 roku powieść Toni Morrison Song of Solomon i poświęcony jej artykuł Ewy Łuczak zatytułowany Powrót do domu w „Pieśni Salomonowej”: nostalgia a budowanie tożsamości. Część moich rozważań chciałabym poświęcić przyjrzeniu się tekstowi Łuczak, dla którego punktem wyjścia są obecne w powieści konteksty polityczne i społeczne. Song of Solomon zostaje w nim zanalizowana w kontekście „dyskursu domu” obecnego w twórczości Morrison, oraz poprzez kategorię nostalgii. W moim artykule chciałabym zwrócić uwagę na inne możliwe interpretacje tekstu noblistki, uzupełniając tym samym interpretację, którą proponuje Ewa Łuczak o nowe konteksty. Kategorię nostalgii proponuję zastąpić odczytaniem Song of Solomon w świetle jednego z najważniejszych mitów diaspory afrykańskiej, wokół którego ustrukturyzowana jest cała powieść – mitu Flying Africans, któremu w tekście Łuczak poświęcone zostało zaledwie jedno zdanie. Mimo iż niniejszy artykuł zawiera pewne elementy polemiczne, chciałabym, aby stanowił przede wszystkim interesujący punkt wyjścia do szerszej dyskusji na temat kulturowej hegemonii zachodnich odczytań tekstów z kręgu literatury postkolonialnej.
- Published
- 2023
- Full Text
- View/download PDF
8. Selected Determinants of Diet Health Quality among Female Athletes Practising Team Sports
- Author
-
Maria Gacek, Agnieszka Wojtowicz, and Marlena Banasik
- Subjects
nutrition of athletes ,team sports ,health locus of control ,self-efficacy ,personality traits ,age ,Nutrition. Foods and food supply ,TX341-641 - Abstract
This study’s aim was an analysis regarding selected determinants of diet health quality in a group of elite Polish female team sport players. Relationships were assessed between age, sport experience, personal resources and personality traits with regard to the Big Five model and the pro-Health (pHDI-10) and non-Healthy (nHDI-14) Diet Indices. This study was conducted among 181 women (median age—25 years; sport experience—7 years) with the use of the Beliefs and Eating Habits Questionnaire (KomPAN), Generalised Self-Efficacy Scale (GSES), Multidimensional Health Locus of Control Scale (MHLC-B) and NEO-PI-R personality inventory. Statistical analysis was carried out via the Wilcoxon signed-rank test, Kruskal–Wallis’s ANOVA, Spearman’s rank correlation coefficient and forward stepwise regression at a significance level of α = 0.05. Multivariate regression analysis indicated that the value of the pro-Health Diet Index (pHDI-10) was positively explained by professional experience and extraversion, while negatively by openness to experiences (12% of the pHDI-10 variance). In turn, a higher value of the non-Healthy Diet Index (nHDI-14) was associated with the discipline of basketball (2% of the nHDI-14 variance). In summary, the demonstrated diet health quality was low and the predictive significance of competitive experience as well as type of discipline and selected personality traits was exhibited for diet quality among female team sport players.
- Published
- 2024
- Full Text
- View/download PDF
9. Sense of generalised self-efficacy and body mass index, diet health quality and pro-health behaviours of nursing students and active professional nurses
- Author
-
Maria Gacek, Grażyna Kosiba, and Agnieszka Wojtowicz
- Subjects
nutritional status ,diet ,nurses ,personal resources ,professional status ,selected aspects of lifestyle ,Public aspects of medicine ,RA1-1270 - Abstract
Background Personal resources are one of the determinants of lifestyle and health. The aim of the research was to analyze the relationship between sense of generalized self-efficacy, and body mass index (BMI), diet health quality and health behaviors of female nursing students and active professional nurses. The analyzed variables in the group of students and nurses were also compared. Material and Methods The study was conducted among a group of 269 women (174 students and 95 nurses working at hospitals), using: the Beliefs and Eating Habits Questionnaire (KomPAN), Juczyński’s Health Behavior Inventory (HBI) and the Generalized Self-Efficacy Scale (GSES). The BMI was assessed on the basis of anthropometric measurements. Statistical calculations were performed using analysis of variance, the Student’s t-test, multivariable regression analysis and Pearson’s correlation as well as moderation analysis, with the adopted level of statistical significance at α = 0.05. Results Professionally active nurses achieved higher BMI levels (25.95 vs. 22.31 kg/m 2 , p 0.05). Conclusions Nurses with a higher sense of self-efficacy declared a higher diet health quality and healthier behaviors, and their BMI was related to diet quality and health behaviors. Med Pr Work Health Saf. 2023;74(4):251–61.
- Published
- 2023
- Full Text
- View/download PDF
10. Analysis of the Possibility of Elimination of Threats Resulting from the Modification of Bullet Trajectory after Hitting the Target in Garrison Shooting Ranges
- Author
-
Józef GACEK, Wojciech KOPERSKI, Bronisław MARCINIAK, Ryszard WOŹNIAK, Dariusz TYMIŃSKI, Ewa MORZYK, Konrad SUSKA, Przemysław SIDELNIK, and Przemysław LEWANDOWSKI
- Subjects
ballistics ,shooting range ,ricochet ,Electronics ,TK7800-8360 ,Chemical engineering ,TP155-156 - Abstract
. During shooting operations in garrison shooting ranges, a phenomenon of random deflection of the bullet flight path was noticed which may cause secondary reflections from accidentally hit technical and ballistic shooting range elements and the ground of the actual plane of the shooting range (ricochets posing a threat to people and property within the shooting range and safety zones). Minimisation of this phenomenon must be considered during the design and operation of the shooting ranges. In 20202022 the Military Institute of Armament Technology (Zielonka, Poland) carried out tests with the aim of determining the impact of the shooting target or military target material or design (hereinafter referred to as the targets) on the risk of occurrence of modifications of bullet trajectory that cause the bullets to leave the shooting zone. The paper presents example results of these tests that show, but are not limited to, that the reasons to modify the direction of the bullet path after target penetration and any ricochets include: target material (flat or corrugated sheet metal, cardboard, plywood, etc.), target wooden legs, and even metal elements fixing the legs to the target. On the basis of the test it was shown that the metal targets prohibited on intermediate lines may cause significant deflections of the bullet flight path after penetration and dangerous ricochets. Due to the reason presented above, the metal targets are placed on the last line of targets before the main bullet trap only where the technical and ballistic parameters of the bullet trap ensure that any ricochets are captured. It was stated that the contact targets used on intermediate target lines and provided with wooden legs may cause bullet trajectory changes comparable to or even greater than in the case of the prohibited metal targets. To this end it is advisable to establish legal framework covering the ballistic inspection of the target materials to be used in garrison shooting ranges.
- Published
- 2023
- Full Text
- View/download PDF
11. Selected personal resources and nutritional behaviours of Polish handball players
- Author
-
Maria Gacek
- Subjects
nutritional behaviours ,handball players ,feeling of generalised self-efficacy ,dispositional optimism ,satisfaction with life ,Nutrition. Foods and food supply ,TX341-641 ,Industrial medicine. Industrial hygiene ,RC963-969 ,Public aspects of medicine ,RA1-1270 - Abstract
Background. Diet, as one of the factors influencing exercise capacity depends, among others, on individual conditions. Objective. The aim of the study was to analyse the nutritional behaviours of Polish handball players depending on their level of generalised self-efficacy as well as disposable optimism and satisfaction with life. Material and methods. The study was carried out among a group of 142 men, aged 20-34, professionally training handball, using the author’s original nutritional behaviour questionnaire and the Generalised Self-Efficacy Scale (GSES), the Life Orientation Scale (LOT-R) and Satisfaction with Life Scale (SWLS). Statistical analysis of the results was conducted by estimating Spearman’s signed rank correlation coefficients, assuming the significance level of p
- Published
- 2023
- Full Text
- View/download PDF
12. Body mass index, functional fitness and nutritional behaviours of senior women from the Kraków population
- Author
-
Maria Gacek, Agnieszka Wojtowicz, Grażyna Kosiba, Magdalena Majer, and Joanna Gradek
- Subjects
bmi ,functional fitness ,diet ,senior women ,Nutrition. Foods and food supply ,TX341-641 ,Industrial medicine. Industrial hygiene ,RC963-969 ,Public aspects of medicine ,RA1-1270 - Abstract
Background. Body Mass Index (BMI) is dependent on, among others, diet and level of physical activity. Seniors are more prone to nutritional disorders than other population groups. Objective. The aim of the study was to analyse the relationship between BMI and nutritional behaviours as well as the functional fitness level of senior women. Materials and methods. The research was carried out among a group of 120 women aged 60-84, using the TANITA SC-330ST body composition analyser, the HOLTAIN anthropometer, the Fullerton Functional Fitness Test and the authordesigned nutritional behaviour questionnaire for seniors. Statistical analyses were conducted using the IBM SPSS 21 statistical package, applying the Kruskal-Wallis ANOVA tests with comparisons of z tests at the significance level p
- Published
- 2023
- Full Text
- View/download PDF
13. Decision-Making in People with Mild Intellectual Disability: Relations with Intelligence and a Measure of Executive Functioning
- Author
-
Fusinska-Korpik, Agnieszka and Gacek, Michal
- Abstract
Background: In this study we aimed to explore how intelligence and executive functioning are related to decision-making regarding social situations in persons with mild ID. Method: We studied 80 vocational school students with mild ID; the controls were 80 students of a similar age. We assessed decision-making ability with the Important Life Decisions Task. Intelligence was assessed with the Wechsler Adult Intelligence Scale -- Revised (WAIS-R), and executive functioning with the Wisconsin Card Sorting Test (WCST). Results: The WAIS-R Verbal Comprehension and the Memory/Freedom From Distractibility factors predicted the decision-making score. Executive functioning was not related to decision-making. There was no interaction between the group and other variables. Conclusions: Verbal intellectual abilities and abilities related to short-term memory and attention play an important role in decision-making regarding social situations. The difference in performance between persons with ID and the control group should be regarded as quantitative and not qualitative.
- Published
- 2022
- Full Text
- View/download PDF
14. Tajwan w piśmiennictwie Romana M. Sławińskiego
- Author
-
Łukasz Gacek and Ewa Trojnar
- Subjects
Law ,Political science - Published
- 2023
15. Dyplomacja klimatyczna Tajwanu – w drodze do neutralności klimatycznej
- Author
-
Łukasz Gacek
- Subjects
dyplomacja klimatyczna ,Tajwan ,Tsai Ing-wen ,Taiwan Can Help ,transformacja energetyczna ,Ramowa konwencja Narodów Zjednoczonych w sprawie zmian klimatu ,Law ,Political science - Abstract
TAIWAN’S CLIMATE DIPLOMACY: ON THE WAY TO CLIMATE NEUTRALITY The aim of this paper is to present the Taiwan’s policies and actions relating to climate change. Despite the exclusion from the United Nations Framework Convention on Climate Change (UNFCCC), Taiwan has voluntarily ratified global climate conventions and has implemented a number of legislative, technical and organizational measures to reduce the emissions of greenhouse gasses and reach net zero carbon emissions by 2050. Tackling both climate change and minimizing its effects is a priority for Taiwan. In order to achieve the sustainable development goals Taiwan treats renewable energy as a critical solution in combating climate change and ensuring energy security by adding diversity to an overall electricity mix.
- Published
- 2023
- Full Text
- View/download PDF
16. SAFE ML: Surrogate Assisted Feature Extraction for Model Learning
- Author
-
Gosiewska, Alicja, Gacek, Aleksandra, Lubon, Piotr, and Biecek, Przemyslaw
- Subjects
Computer Science - Machine Learning ,Statistics - Methodology ,Statistics - Machine Learning ,I.2.0 ,G.3 - Abstract
Complex black-box predictive models may have high accuracy, but opacity causes problems like lack of trust, lack of stability, sensitivity to concept drift. On the other hand, interpretable models require more work related to feature engineering, which is very time consuming. Can we train interpretable and accurate models, without timeless feature engineering? In this article, we show a method that uses elastic black-boxes as surrogate models to create a simpler, less opaque, yet still accurate and interpretable glass-box models. New models are created on newly engineered features extracted/learned with the help of a surrogate model. We show applications of this method for model level explanations and possible extensions for instance level explanations. We also present an example implementation in Python and benchmark this method on a number of tabular data sets., Comment: 10 pages, 4 figures
- Published
- 2019
17. Personality Determinants Related to the Use of Selective and Effective Dietary Supplements by Elite Polish Team Sport Athletes
- Author
-
Maria Gacek, Agnieszka Wojtowicz, and Adam Popek
- Subjects
Big Five personality model ,ergogenic aids ,athletes ,team sports ,Sports ,GV557-1198.995 - Abstract
Introduction: The purpose of this research was to analyse relationships between personality traits and the use of selected dietary supplements among Polish athletes training in team sports. This subject matter has not been explored in prior research. Material and Methods: This research was carried out among a group of 213 athletes (men) in the 18–36 age range, with the implementation of a proprietary validated questionnaire for the use of dietary supplements and the NEO-PI-R inventory (Neuroticism–Extraversion–Openness Personality Inventory—Revised). Statistical analyses were performed with the Kruskal–Wallis and Mann–Whitney tests, assuming the following level of significance: α = 0.05. Results: It was shown that athletes who periodically and regularly consumed isotonic drinks, as well as energy bars and gels, were characterised by a lower level of neuroticism than those who did not consume them. Athletes who periodically took multivitamin preparations were characterised by a lower level of extraversion and openness, and those periodically using multimineral preparations were characterised by a higher level of agreeableness than those who did not use these agents. Athletes not taking creatine were characterised by the lowest level of conscientiousness among the study participants. The use of protein nutrients, probiotics and caffeine was not associated with any personality traits in the athletes. Conclusions: Further relationships of the Big Five personality traits were demonstrated with the use of effective dietary supplements by athletes; the most unambiguous correlations were described for neuroticism and conscientiousness in such a way that the use of isotonic drinks, as well as energy bars and gels, was connected with a low level of neuroticism, while the use of creatine was connected with high conscientiousness.
- Published
- 2024
- Full Text
- View/download PDF
18. Time Series Reconstruction and Classification: A Comprehensive Comparative Study
- Author
-
Li, Jinbo, Pedrycz, Witold, and Gacek, Adam
- Published
- 2022
- Full Text
- View/download PDF
19. Trapezoidal Generalization over Linear Constraints
- Author
-
Greve, David and Gacek, Andrew
- Subjects
Computer Science - Logic in Computer Science - Abstract
We are developing a model-based fuzzing framework that employs mathematical models of system behavior to guide the fuzzing process. Whereas traditional fuzzing frameworks generate tests randomly, a model-based framework can deduce tests from a behavioral model using a constraint solver. Because the state space being explored by the fuzzer is often large, the rapid generation of test vectors is crucial. The need to generate tests quickly, however, is antithetical to the use of a constraint solver. Our solution to this problem is to use the constraint solver to generate an initial solution, to generalize that solution relative to the system model, and then to perform rapid, repeated, randomized sampling of the generalized solution space to generate fuzzing tests. Crucial to the success of this endeavor is a generalization procedure with reasonable size and performance costs that produces generalized solution spaces that can be sampled efficiently. This paper describes a generalization technique for logical formulae expressed in terms of Boolean combinations of linear constraints that meets the unique performance requirements of model-based fuzzing. The technique represents generalizations using trapezoidal solution sets consisting of ordered, hierarchical conjunctions of linear constraints that are more expressive than simple intervals but are more efficient to manipulate and sample than generic polytopes. Supporting materials contain an ACL2 proof that verifies the correctness of a low-level implementation of the generalization algorithm against a specification of generalization correctness. Finally a post-processing procedure is described that results in a restricted trapezoidal solution that can be sampled (solved) rapidly and efficiently without backtracking, even for integer domains. While informal correctness arguments are provided, a formal proof of the correctness of the restriction algorithm remains as future work., Comment: In Proceedings ACL2 2018, arXiv:1810.03762
- Published
- 2018
- Full Text
- View/download PDF
20. The JKind Model Checker
- Author
-
Gacek, Andrew, Backes, John, Whalen, Mike, Wagner, Lucas, and Ghassabani, Elaheh
- Subjects
Computer Science - Logic in Computer Science - Abstract
JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications., Comment: CAV 2018
- Published
- 2017
21. Sense of self-efficacy and the content of energy and nutrients in the diet of elite Polish basketball players
- Author
-
Maria Gacek
- Subjects
athletes basketball training ,sense of self-efficacy ,quantitative nutrition evaluation ,Nutrition. Foods and food supply ,TX341-641 ,Industrial medicine. Industrial hygiene ,RC963-969 ,Public aspects of medicine ,RA1-1270 - Abstract
Background. In research on the subject, the predictive importance of personal resources is indicated for diet quality. Objective. The aim of the study was quantitative assessment of diet depending on the level of generalised self- efficacy among elite Polish basketball players. Material and Methods. Food diaries (2 training days and 1 no training day) of 48 basketball players were analysed. Further assessed were 144 food rations based on the Diet 6.0 program, and the results were compared to the current Polish nutritional standards. The Generalised Self-Efficacy Scale (GSES) was also used. Statistical analyses were performed by estimating Spearman's rank correlation coefficients (p
- Published
- 2022
- Full Text
- View/download PDF
22. The revised Edward Zigler Yale-Personality Questionnaire (EZPQ) for persons with intellectual disability: A new four-factor structure in confirmatory factor analysis
- Author
-
Gacek, Michal, Krzywoszanski, Lukasz, and Fusinska-Korpik, Agnieszka
- Published
- 2022
- Full Text
- View/download PDF
23. Evaluation of a Novel Method of Fuze Programming Based on the Number of Projectile Own Revolutions
- Author
-
Wojciech FURMANEK, Józef GACEK, and Grzegorz JĄCZEK
- Subjects
mechanical engineering and operation ,ballistics ,programmable fuze ,revolution counting fuze ,Electronics ,TK7800-8360 ,Chemical engineering ,TP155-156 - Abstract
This paper presents an innovative method of programming fuses for airburst munitions based on the principle of counting the number of revolutions a projectile makes around its centre line along the flight trajectory in order to determine the distance travelled by the projectile. The proposed innovative method of fuse programming was compared to other known methods of fuse programming based on the results of a computer simulation of firing a 40 mm grenade launcher under near-real conditions. For this purpose, a methodology was developed for external ballistic calculations using a mathematical model of the three-dimensional motion of a non-deformable flying object considered to be a rigid body with six degrees of freedom in an ISO 1151 coordinate system. Simulations were carried out taking into account actual firing conditions for 40 mm grenade launcher ammunition armed with fuses programmed by each of the methods evaluated. Targets located at various distances were fired upon and the level of scatter of actual fuse ignition points relative to the expected fuse ignition point was evaluated for each programming method. It was concluded that the method of determining the distance travelled by the projectile with the principle of counting the projectile’s revolutions under real conditions resulted in a scatter of the fuse ignition points greater than with the time delay-based methods. In conclusion it was observed that the method of determination for the revolving projectile based on counting the projectile’s rotations along the flight trajectory did not guarantee the required precision of the fuse ignition point locations. This means that the application of the methods to determine the distance of projectile burst along the flight trajectory did not increase the effectiveness of airburst fragmentation munitions.
- Published
- 2022
- Full Text
- View/download PDF
24. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
- Author
-
Katis, Andreas, Fedyukovich, Grigory, Guo, Huajun, Gacek, Andrew, Backes, John, Gurfinkel, Arie, and Whalen, Michael W.
- Subjects
Computer Science - Software Engineering - Abstract
Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from proposi- tional specifications towards specifications over rich theories. We propose a novel, completely automated approach to program synthesis which reduces the problem to deciding the validity of a set of forall-exists formulas. In spirit of IC3 / PDR, our problem space is recursively refined by blocking out regions of unsafe states, aiming to discover a fixpoint that describes safe reactions. If such a fixpoint is found, we construct a witness that is directly translated into an implementation. We implemented the algorithm on top of the JKind model checker, and exercised it against contracts written using the Lustre specification language. Experimental results show how the new algorithm outperforms JKinds already existing synthesis procedure based on k-induction and addresses soundness issues in the k-inductive approach with respect to unrealizable results., Comment: 18 pages, 5 figures, 2 tables
- Published
- 2017
25. Zwolnienie policjanta ze służby na podstawie art. 41 ust. 2 pkt 4 ustawy o Policji a zasada równego traktowania w zatrudnieniu
- Author
-
Paweł Gacek
- Subjects
Police officer ,dismissal from service in the Police ,administrative decision (personal command) ,discrimination ,principle of equal treatment in employment ,Law ,Political institutions and public administration (General) ,JF20-2112 - Abstract
The article is entirely devoted to the issues related to dismissing an officer from service in the Police based on the Article 41(2)(4) of the Act on the Police. This provision conditions dismissal of a police officer on their acquiring the right to a pension after completing 30 years of service. It lays down that a decision in this respect is discretionary. Thus, it must take into account both the public interest and the legitimate interest of the party. At the same time, this article looks into whether the decision to dismiss an officer from Police service based on Article 41(2)(4) of the Act on the Police, issued within the boundary of administrative discretion, does not violate the principle of equal treatment in employment, i.e. whether it is in fact a symptom of discrimination based on the age of the officer. The European Union provides relevant regulations which the Republic of Poland, as a member of the EU, is obliged to respect. Therefore, individual provisions of the Council Directive 2000/78/EC of 27 November 2000 establishing a general framework for equal treatment in employment and occupation are analysed here. The conclusion is that dismissal under Article 41(2)(4) of the Act on the Police is not a symptom of their unequal and discriminatory treatment due to his or her age if this dismissal aims to protect the legal interest of the service.
- Published
- 2023
- Full Text
- View/download PDF
26. Green aspects in the procedure of detection ketamine, flunitrazepam, and diazepam in drinks based on dried sample spot analysis
- Author
-
Paweł Stelmaszczyk, Ewa Gacek, and Renata Wietecha-Posłuszny
- Subjects
Beverages ,Dried sample spot method ,Drugs analysis ,Date-rape drugs ,Green analytical chemistry ,WAC methods ,Analytical chemistry ,QD71-142 - Abstract
A new methodology for the detection of ketamine, flunitrazepam, and diazepam in beverage samples by the dried sample spot method was developed. The method is characterized by very low LODs in all tested types of beverages (100 ng/mL for ketamine, 25 ng/mL for flunitrazepam and diazepam) and great precision at the concentration of 100 ng/mL for all analytes. The significant advantages of this method are the consumption of fewer amount of samples and the possibility of securing the beverage samples on DBS cards at room temperature. The proposed method was evaluated by the innovative WAC approach according to Green Analytical Chemistry. The results of the evaluation indicate the best results of this method in terms of analytical quality compared to the other methods from the literature, however other aspects such as green chemistry and economical are also good. The DBS/MAE/LC-MS method could be used for qualitative analysis for drugs detection in cases of date-rape drugs analysis.
- Published
- 2022
- Full Text
- View/download PDF
27. Recenzja książki: Krzysztof Łęcki (2021) 'Stadiony świata. Pomiędzy Gemeinschaft i Gesellschaft'. Katowice: Wydawnictwo Uniwersytetu Śląskiego
- Author
-
Marcin Gacek
- Subjects
Ethnology. Social and cultural anthropology ,GN301-674 ,Sociology (General) ,HM401-1281 - Published
- 2021
- Full Text
- View/download PDF
28. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability
- Author
-
Katis, Andreas, Fedyukovich, Grigory, Gacek, Andrew, Backes, John, Gurfinkel, Arie, and Whalen, Michael W.
- Subjects
Computer Science - Software Engineering ,Computer Science - Logic in Computer Science - Abstract
The realizability problem in requirements engineering is to determine the existence of an implementation that meets the given formal requirements. A step forward after realizability is proven, is to construct such an implementation automatically, and thus solve the problem of program synthesis. In this paper, we propose a novel approach to pro- gram synthesis guided by k-inductive proofs of realizability of assume- guarantee contracts constructed from safety properties. The proof of re- alizability is performed over a set of forall-exists formulas, and synthesis is per- formed by extracting Skolem functions witnessing the existential quan- tification. These Skolem functions can then be combined into an imple- mentation. Our approach is implemented in the JSyn tool which con- structs Skolem functions from a contract written in a variant of the Lus- tre programming language and then compiles the Skolem functions into a C language implementation. For a variety of benchmark models that already contained hand-written implementations, we are able to identify the usability and effectiveness of the synthesized counterparts, assuming a component-based verification framework., Comment: 18 pages, 3 figures
- Published
- 2016
29. On Implementing Real-time Specification Patterns Using Observers
- Author
-
Backes, John D., Whalen, Michael W., Gacek, Andrew, and Komp, John
- Subjects
Computer Science - Software Engineering ,Computer Science - Logic in Computer Science - Abstract
English language requirements are often used to specify the behavior of complex cyber-physical systems. The process of transforming these requirements to a formal specification language is often challenging, especially if the specification language does not contain constructs analogous to those used in the original requirements. For example, requirements often contain real-time constraints, but many specification languages for model checkers have discrete time semantics. Work in specification patterns helps to bridge these gaps, allowing straightforward expression of common requirements patterns in formal languages. In this work we demonstrate how we support real-time specification patterns in the Assume Guarantee Reasoning Environment (AGREE) using observers. We demonstrate that there are subtle challenges, not mentioned in previous literature, to express real-time patterns accurately using observers. We then demonstrate that these patterns are sufficient to model real-time requirements for a real-world avionics system., Comment: In the proceedings of the NASA Formal Methods Symposium 2016
- Published
- 2016
30. Reasoning about Algebraic Data Types with Abstractions
- Author
-
Pham, Tuan-Hung, Gacek, Andrew, and Whalen, Michael W.
- Subjects
Computer Science - Logic in Computer Science ,Computer Science - Programming Languages - Abstract
Reasoning about functions that operate over algebraic data types is an important problem for a large variety of applications. One application of particular interest is network applications that manipulate or reason about complex message structures, such as XML messages. This paper presents a decision procedure for reasoning about algebraic data types using abstractions that are provided by catamorphisms: fold functions that map instances of algebraic data types to values in a decidable domain. We show that the procedure is sound and complete for a class of catamorphisms that satisfy a generalized sufficient surjectivity condition. Our work extends a previous decision procedure that unrolls catamorphism functions until a solution is found. We use the generalized sufficient surjectivity condition to address an incompleteness in the previous unrolling algorithm (and associated proof). We then propose the categories of monotonic and associative catamorphisms, which we argue provide a more intuitive inclusion test than the generalized sufficient surjectivity condition. We use these notions to address two open problems from previous work: (1) we provide a bound, with respect to formula size, on the number of unrollings necessary for completeness, showing that it is linear for monotonic catamorphisms and exponentially small for associative catamorphisms, and (2) we demonstrate that associative catamorphisms can be combined within a formula while preserving completeness. Our combination results extend the set of problems that can be reasoned about using the catamorphism-based approach. We also describe an implementation of the approach, called RADA, which accepts formulas in an extended version of the SMT-LIB 2.0 syntax. The procedure is quite general and is central to the reasoning infrastructure for Guardol, a domain-specific language for reasoning about network guards., Comment: To appear in Journal of Automated Reasoning
- Published
- 2016
31. Efficient Generation of Inductive Validity Cores for Safety Properties
- Author
-
Ghassabani, Elaheh, Gacek, Andrew, and Whalen, Michael W.
- Subjects
Computer Science - Software Engineering - Abstract
Symbolic model checkers can construct proofs of properties over very complex models. However, the results reported by the tool when a proof succeeds do not generally provide much insight to the user. It is often useful for users to have traceability information related to the proof: which portions of the model were necessary to construct it. This traceability information can be used to diagnose a variety of modeling problems such as overconstrained axioms and underconstrained properties, and can also be used to measure completeness of a set of requirements over a model. In this paper, we present a new algorithm to efficiently compute the inductive validity core (IVC) within a model necessary for inductive proofs of safety properties for sequential systems. The algorithm is based on the UNSAT core support built into current SMT solvers and a novel encoding of the inductive problem to try to generate a minimal inductive validity core. We prove our algorithm is correct, and describe its implementation in the JKind model checker for Lustre models. We then present an experiment in which we benchmark the algorithm in terms of speed, diversity of produced cores, and minimality, with promising results., Comment: appears in FSE2016: ACM Sigsoft International Symposium on the Foundations of Software Engineering, Seattle, WA, November 13-19, 2016
- Published
- 2016
- Full Text
- View/download PDF
32. From Design Contracts to Component Requirements Verification
- Author
-
Liu, Jing, Backes, John D., Cofer, Darren, and Gacek, Andrew
- Subjects
Computer Science - Software Engineering ,D.2.4 - Abstract
During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a result, there may be manual steps to translate requirements between these different environments. This paper presents a tool-supported export technique that translates high-level requirements from the software architecture modeling environment into observers of requirements that can be used for verification in the software component environment. This allows efficient verification that the component designs comply with their high-level requirements. It also provides an automated tool chain supporting formal verification from system requirements down to low-level software requirements that is consistent with certification guidance for avionics systems. The effectiveness of the technique has been evaluated and demonstrated on a medical infusion pump and an aircraft wheel braking system., Comment: 15 pages, 2 figures, conference submission
- Published
- 2016
33. Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report
- Author
-
Katis, Andreas, Whalen, Michael W., and Gacek, Andrew
- Subjects
Computer Science - Software Engineering - Abstract
In previous work, we have introduced a contract-based real- izability checking algorithm for assume-guarantee contracts involving infinite theories, such as linear integer/real arith- metic and uninterpreted functions over infinite domains. This algorithm can determine whether or not it is possible to con- struct a realization (i.e. an implementation) of an assume- guarantee contract. The algorithm is similar to k-induction model checking, but involves the use of quantifiers to deter- mine implementability. While our work on realizability is inherently useful for vir- tual integration in determining whether it is possible for sup- pliers to build software that meets a contract, it also provides the foundations to solving the more challenging problem of component synthesis. In this paper, we provide an initial synthesis algorithm for assume-guarantee contracts involv- ing infinite theories. To do so, we take advantage of our realizability checking procedure and a skolemization solver for forall-exists formulas, called AE-VAL. We show that it is possible to immediately adapt our existing algorithm towards syn- thesis by using this solver, using a demonstration example. We then discuss challenges towards creating a more robust synthesis algorithm., Comment: 6 pages, 1 figure
- Published
- 2016
34. Through-thickness regional variation in the mechanical characteristics of the lumbar facet capsular ligament
- Author
-
Gacek, Elizabeth, Bermel, Emily A., Ellingson, Arin M., and Barocas, Victor H.
- Published
- 2021
- Full Text
- View/download PDF
35. A Hybrid Microstructural-Continuum Multiscale Approach for Modeling Hyperelastic Fibrous Soft Tissue
- Author
-
Nikpasand, Maryam, Mahutga, Ryan R., Bersie-Larson, Lauren M., Gacek, Elizabeth, and Barocas, Victor H.
- Published
- 2021
- Full Text
- View/download PDF
36. Setting a Gold Standard: Review of Yuliya Zabyelina and Daan van Uhm’s (2020) Illegal Mining: Organized Crime, Corruption, and Ecocide in a Resource-Scarce World. Palgrave Macmillan
- Author
-
Gacek, James
- Published
- 2021
- Full Text
- View/download PDF
37. Glosa do wyroku Naczelnego Sądu Administracyjnego z 15 czerwca 2020 r., sygn. I OSK 2233/19
- Author
-
Paweł Gacek
- Subjects
administrative decision ,service of an administrative decision ,period for filing an appeal ,an application to reconsider the matter ,a statement on waiving the right of appeal ,Public law ,K3150 - Abstract
The judgment commented on here concerned the issue connected with the period for filing an appeal. The view was shared that the period for lodging an appeal begins on the day on which the administrative decision is served upon the party (com- municated orally to the party) and it is at this moment that the period commences, although the day on which an administrative decision is served is not counted when calculating this time limit. Therefore, on the very day on which an adminis- trative decision is served, the party may submit an appeal against it, an application to reconsider the matter or waive the right of appeal. An appeal, an application to reconsider the matter or a statement on waiving the right of appeal are legally effective, because they are submitted during period for the filing an appeal. not content of Art. 57 (1) of The Code of Administrative Proceedings, which regulates the way of calculating the time limit in days. Given the content of this provision, it cannot be assumed that the period for lodging an appeal commences on the day following the one on which the administrative decision is served.
- Published
- 2022
- Full Text
- View/download PDF
38. Security-aware selection of Web Services for Reliable Composition
- Author
-
Khani, Shahedeh, Gacek, Cristina, and Popov, Peter
- Subjects
Computer Science - Distributed, Parallel, and Cluster Computing ,Computer Science - Cryptography and Security ,Computer Science - Information Theory ,Computer Science - Software Engineering - Abstract
Dependability is an important characteristic that a trustworthy computer system should have. It is a measure of Availability, Reliability, Maintainability, Safety and Security. The focus of our research is on security of web services. Web services enable the composition of independent services with complementary functionalities to produce value-added services, which allows organizations to implement their core business only and outsource other service components over the Internet, either pre-selected or on-the-fly. The selected third party web services may have security vulnerabilities. Vulnerable web services are of limited practical use. We propose to use an intrusion-tolerant composite web service for each functionality that should be fulfilled by a third party web service. The third party services employed in this approach should be selected based on their security vulnerabilities in addition to their performance. The security vulnerabilities of the third party services are assessed using a penetration testing tool. In this paper we present our preliminary research work., Comment: Yann Busnel. 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France. 2015, Proceedings of Student Forum - EDCC 2015
- Published
- 2015
39. Towards Realizability Checking of Contracts using Theories
- Author
-
Gacek, Andrew, Katis, Andreas, Whalen, Michael W., Backes, John, and Cofer, Darren
- Subjects
Computer Science - Software Engineering - Abstract
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descriptions and compositional reasoning rules, these techniques can be used to prove important safety properties about the architecture prior to system construction. Such proofs build from "leaf-level" assume/guarantee component contracts through architectural layers towards top-level safety properties. The proofs are built upon the premise that each leaf-level component contract is realizable; i.e., it is possible to construct a component such that for any input allowed by the contract assumptions, there is some output value that the component can produce that satisfies the contract guarantees. Without engineering support it is all too easy to write leaf-level components that can't be realized. Realizability checking for propositional contracts has been well-studied for many years, both for component synthesis and checking correctness of temporal logic requirements. However, checking realizability for contracts involving infinite theories is still an open problem. In this paper, we describe a new approach for checking realizability of contracts involving theories and demonstrate its usefulness on several examples., Comment: 15 pages, to appear in NASA Formal Methods (NFM) 2015
- Published
- 2015
40. Machine-Checked Proofs For Realizability Checking Algorithms
- Author
-
Katis, Andreas, Gacek, Andrew, and Whalen, Michael W.
- Subjects
Computer Science - Software Engineering - Abstract
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descriptions, assume/guarantee contracts, and compositional reasoning rules, these techniques can be used to prove important safety properties about the architecture prior to system construction. For these proofs to be meaningful, each leaf-level component contract must be realizable; i.e., it is possible to construct a component such that for any input allowed by the contract assumptions, there is some output value that the component can produce that satisfies the contract guarantees. We have recently proposed (in [1]) a contract-based realizability checking algorithm for assume/guarantee contracts over infinite theories supported by SMT solvers such as linear integer/real arithmetic and uninterpreted functions. In that work, we used an SMT solver and an algorithm similar to k-induction to establish the realizability of a contract, and justified our approach via a hand proof. Given the central importance of realizability to our virtual integration approach, we wanted additional confidence that our approach was sound. This paper describes a complete formalization of the approach in the Coq proof and specification language. During formalization, we found several small mistakes and missing assumptions in our reasoning. Although these did not compromise the correctness of the algorithm used in the checking tools, they point to the value of machine-checked formalization. In addition, we believe this is the first machine-checked formalization for a realizability algorithm., Comment: 14 pages, 1 figure
- Published
- 2015
41. Optical Properties of Intraocular Implants Coated with Silver Nanoparticles
- Author
-
K. Jeż, M. Gacek, M. Nabiałek, L. Toth, and M. Pike-Biegunski
- Subjects
uv-vis spectroscopy ,intraocular lenses ,silver nanoparticles ,Mining engineering. Metallurgy ,TN1-997 ,Materials of engineering and construction. Mechanics of materials ,TA401-492 - Abstract
Prolonged exposure to UV radiation, and ever-increasing life expectancy, mean that an increasing proportion of the population suffers from clouding of the intraocular lens. Nowadays, the performance of intraocular implantation procedures is commonplace. Unfortunately, with the increasing number of operations, the number of postoperative complications is also increasing. One way to avoid complications may be to use an intraocular implant that has been immersed in a solution containing silver nanoparticles. As part of the study, four selected intraocular implants – that are available on the ophthalmic market – were tested. In order to investigate the effect of silver particles on the optical properties of the implants, tests were carried out using a UV-VIS spectrophotometer. Two series of implants were tested: before and after immersion in a silver solution. The implants were immersed for a period of 7 days. It was found that the presence of silver particles does not have a negative impact on the translucency of the implants.
- Published
- 2021
- Full Text
- View/download PDF
42. Selected aspects of communication with an oncological patient
- Author
-
Edyta Gacek
- Subjects
cancer ,communication in oncology ,doctor – patient rela-tionship ,Medicine (General) ,R5-920 - Abstract
Introduction and aim The skills of communication with a patient is of particular importance in the case of oncological diseases, when the doctor is faced with the necessity to provide the patient with unfavourable information, and to cope with the patient‘s emotions that accompany this situation. The aim of this study was to present the selected aspects of communication with an oncological patient and their impact on the quality of the doctor-patient relationship Brief description of the state of knowledge Proper communication at the doctor-patient level can alleviate anxiety and stress associated with the disease and help with its acceptance. Therefore, it is important to be able to show empathy, acceptance, understanding and kindness to the patient which, in turn, is determined by the doctor‘s communication skills. In contact with the patient, it is important to build a friendly atmosphere and to show understanding and acceptance of the patient‘s emotions, which gives the patient a sense of support and security. In the process of communication with an oncological patient, non-verbal communication is of great importance, which becomes particularly important when the patient has the impression that the doctor is not being completely honest. The ability to read verbal and non-verbal communication allows the selection of a method of conducting a dialogue which is adequate to the situation. Summary Satisfactory communication can contribute to the optimisation of the treatment process, reduction of stress and ability to cope better with the disease, while inappropriate communication can negatively affect the patient‘s quality of life.
- Published
- 2021
- Full Text
- View/download PDF
43. Statistical Multivariate Methods for the Selection of High-Yielding Rapeseed Lines with Varied Seed Coat Color
- Author
-
Agnieszka Łopatyńska, Joanna Wolko, Jan Bocianowski, Adrian Cyplik, and Katarzyna Gacek
- Subjects
Brassica napus ,multivariate methods ,thousand-seed weight ,yellow-seeded rapeseed ,Agriculture (General) ,S1-972 - Abstract
A crucial aim for rapeseed breeders is increasing the seed yield through improving yield- and silique-related traits. In this research, traits including the number of seeds per silique, silique length, silique width, and thousand-seed weight combined with seed coat color were investigated. Yellow-seeded lines of oilseed rape have a thinner seed coat, lower fiber content, and higher protein and oil content than traditional varieties. Hybrids of yellow- and black-seeded Brassica napus, which combine the advantages of both types of seeds, are tested for their suitability in breeding. Therefore, the aim of this study was to assess a population of 78 doubled haploid lines with different seed coat colors to select genotypes connecting a light color of seeds with good yielding characteristics. Multivariate methods such as analysis of variance, correlation analysis, regression analysis, canonical variate analysis, Mahalanobis distances, and estimation of gene effects were used. The results showed that all tested genotypes were significantly different regarding all five studied traits. The multidimensional analyses gave an accurate overview of the relationship between the examined features. The color and weight of seeds were considered the most important for breeding rapeseed with better seed properties. Although a negative correlation between these two characteristics occurs quite commonly, it was not present in our plant material, which allowed us to select lines with a-light seed color and high thousand-seed weight, which is a significant achievement. As a result, two doubled haploid lines were chosen as valuable breeding material for creating oilseed rape varieties with improved biochemical characteristics of seeds.
- Published
- 2023
- Full Text
- View/download PDF
44. The Challenges for Muslim Women in Prison and Post-Release.
- Author
-
Gacek, James and Asfari, Amin
- Subjects
MUSLIM women ,PRISON release ,WOMEN prisoners - Abstract
Research in the fields of criminology, sociology, and psychology on prison and gender that focuses particularly on women has certainly grown, yet very limited attention has specifically focused upon Muslim women,1 and very few have mentioned their experiences.2 This research lacunae provides us a unique opportunity to examine existing literature to understand the relationship between Muslim women and the prison experience more broadly. Indeed, given the intersections of marginalisation, greater attention must be paid towards this specific population and their gendered experiences. [ABSTRACT FROM AUTHOR]
- Published
- 2024
45. Resolute: An Assurance Case Language for Architecture Models
- Author
-
Gacek, Andrew, Backes, John, Cofer, Darren, Slind, Konrad, and Whalen, Mike
- Subjects
Computer Science - Software Engineering - Abstract
Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represented with a graphical interface, that presents and supports claims about a system's behavior. The argument may combine different kinds of evidence to justify its top level claim. While assurance cases deliver some level of guarantee of a system's correctness, they lack the rigor that proofs from formal methods typically provide. Furthermore, changes in the structure of a model during development may result in inconsistencies between a design and its assurance case. Our solution is a framework for automatically generating assurance cases based on 1) a system model specified in an architectural design language, 2) a set of logical rules expressed in a domain specific language that we have developed, and 3) the results of other formal analyses that have been run on the model. We argue that the rigor of these automatically generated assurance cases exceeds those of traditional assurance case arguments because of their more formal logical foundation and direct connection to the architectural model., Comment: 9 pages, accepted to HILT 2014
- Published
- 2014
46. Frequency of consuming selected product groups among Polish and Spanish physical education students
- Author
-
Maria Gacek, Grażyna Kosiba, and Agnieszka Wojtowicz
- Subjects
frequency of food consumption ,conditioning of food choices ,physical education students ,Nutrition. Foods and food supply ,TX341-641 ,Industrial medicine. Industrial hygiene ,RC963-969 ,Public aspects of medicine ,RA1-1270 - Abstract
Background. Nutritional behaviours are determined by numerous individual and environmental factors. Objective. The aim of the study was to analyse the frequency of consuming selected food product groups (with potentially beneficial and potentially detrimental effects on health) among physical education students depending on gender and home country. Materials and methods. The study was conducted among 219 Polish and 280 Spanish physical education students, using a standardised questionnaire for obtaining information on views and eating habits for people aged 16-65 (Kom-PAN). In the statistical analysis, the Mann-Whitney U test and t-test with independent estimation of variance were incorporated,the significance level at α = 0.05. Results. Among Polish and Spanish students, significant differences in the frequency of consuming certain product groups depending on home country were noted, with Polish students significantly more frequently consuming recommended products (fruit, vegetables, whole-grains, milk, fromage frais, and poultry), but also those non-recommended (purified cereals, cheeses with high fat content, butter, fried foods, sweets and alcoholic beverages). Spanish students significantly more often consumed recommended meals including legume seeds and sea fish, but also non-recommended products (red meat, fast food, sweets and energy drinks). Moreover, significant differences in the frequency of consuming selected product groups depending on sex were observed, with an indication of the tendency for less rational food choices among male students than female students, especially regarding the consumption of: high-milled cereal products, processed and red meat, fatty cheeses, fried foods, lard, sweets and energy drinks. On the other hand, women consumed sweets significantly more often than men, and less often legume seeds and fish. Conclusions. A limited prevalence of rational dietary choices among Polish and Spanish physical education students and their diversity depending on gender and home country have been demonstrated.
- Published
- 2020
- Full Text
- View/download PDF
47. Preparation of Teachers and of Teaching Specialisation Students for the Implementation of School Health Education – a Review of Research
- Author
-
Grażyna Kosiba, Maria Gacek, and Agnieszka Wojtowicz
- Subjects
health education ,teachers ,students of teaching specialisations ,professional competences. ,Education - Abstract
Shaping health awareness is one of the basic tasks of education, hence, creating healthy attitudes of children and young people should occupy an important place among the goals of education. In Poland, the role of a teacher as a health educator has been validated in key documents related to education and upbringing: general educational curriculum and education standards preparing for the teaching profession. The implementation of health education requires extensive subject-related and pedagogical competences from teachers. The aim of this work was to review a research in the field of preparing teachers and students of teaching specialisations for the implementation of school health education, particularly concerning: knowledge about health determinants, the position of vital values (health, physical condition and well-being) in the hierarchy of values, the scale of healthy behaviours in lifestyle and readiness to change as an important element of behaviour modification (also in the dimension of health culture). A review of the analysed studies showed a limited amount of knowledge in the field of health determinants and threats, low position of vital values in the hierarchy of values, prevalence of anti-health behaviours in lifestyle, and limited readiness of teachers and students of teaching faculties for a change regarding health-promoting behaviours
- Published
- 2020
- Full Text
- View/download PDF
48. Corporate Greenwashing and Canada Goose: Exploring the Legitimacy–Aesthetic Nexus
- Author
-
James Gacek
- Subjects
corporate green-washing ,green criminology ,business ethics ,canada goose ,Social Sciences ,Social pathology. Social and public welfare. Criminology ,HV1-9960 - Abstract
Public discourse on environmental responsibility and sustainability continues to pressure corporations, especially those that have been portrayed as key contributors of environmental harm. Greenwashing is a strategy that companies adopt to engage in symbolic communications with environmental issues without substantially addressing them in actions. This paper aims to raise awareness of corporate greenwashing, drawing attention to issues that progress the trend of individualized responsibility and consumption, while concealing the social and (eco)systemic issues in the process. By drawing on the case study of winter apparel company Canada Goose, this paper questions whether businesses can ‘go green’ in good faith, if corporate responsibility and environmental responsibility can ever be reconciled, and if there is considerable need to clarify the intended effects and unintended consequences of corporate greenwashing.
- Published
- 2020
- Full Text
- View/download PDF
49. Dietary mistakes of Polish athletes in relation to the frequency of consuming foods recommended in the Swiss food pyramid for active people
- Author
-
Barbara Frączek, Maria Gacek, Aleksandra Pięta, Florentyna Tyrała, Paulina Mazur-Kurach, and Ewa Karpęcka
- Subjects
athletes ,nutritional behaviours ,dietary conditions ,gender ,sport level ,nature of sport ,Nutrition. Foods and food supply ,TX341-641 ,Industrial medicine. Industrial hygiene ,RC963-969 ,Public aspects of medicine ,RA1-1270 - Abstract
Background. Mistakes in dietary choices and an unbalanced diet reduce the exercise capacity of athletes. Nutritional behaviours are conditioned by environmental and individual factors. Objective. The aim of the study was to assess the scale of improper eating behaviours among high-performance Polish athletes depending on gender, sports level and type of discipline. Material and methods. The study was conducted among 610 athletes (391 men and 219 women). The group consisted of 289 athletes of individual disciplines and 321 team sports athletes representing the championship sports class (282 individuals) as well as the first and second classes (328 subjects). The authors’ validated nutritional behaviour questionnaire was used, referring to the recommendation of the Swiss nutrition pyramid for athletes. In statistical analysis, the Chi2 test was applied (α=0.05). Results. Athletes most often demonstrated improper behaviours regarding: insufficient frequency of consuming vegetable fats (61.78%), fruits (59.89%), wholegrain products (59.90%), vegetables (53.62%) and dairy products (52.09%), and not limiting the intake of energy drinks (59.89%). Compared to women, men, to a larger extent, did not include the following in their daily diet: raw vegetables (p
- Published
- 2020
- Full Text
- View/download PDF
50. Results of Wear Evident in the Gun Barrel Bore of the Leopard 2A4 Main Battle Tank
- Author
-
Aleksander J. WASILEWSKI, Ryszard B. WOŹNIAK, Janusz WEISS, and Józef GACEK
- Subjects
artillery system ,testing of barrels ,exploitation of artillery ,Electronics ,TK7800-8360 ,Chemical engineering ,TP155-156 - Abstract
Dynamic Testing Centre of Military Institute of Armament Technology (MIAT, Zielonka, Poland) runs dynamic tests and research for many years. Tests are conducted for armament industry, Polish Army and for scientific purposes. The influence of construction, exploitation, technology factors for 120 mm Rh-120 L44 durability is one of the area of interest of MIAT. 120 mm Rh-120 L44 cannon is a primary weapon of Leopard 2A4 and 2A5 tanks. These tanks in total number of 247 (142 - Leopard 2A4 and 105 Leopard 2A5) are in use of Polish Army since 2002. In the paper analysis of Leopard 2A4 L44 cannon barrel’s bore wearing out using Polish and foreign production ammunition was presented. The analysis was made basing on document TDv18 which is specifying the conditions affecting on taking out of a service decision. These conditions are: boundary of wearing out barrel material and specifying the number of shoots after exceeding, the fatigue of material will achieve critical value.
- Published
- 2020
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.