Functorial ML

1998 ◽  
Vol 8 (6) ◽  
pp. 573-619 ◽  
Author(s):  
C. B. JAY ◽  
G. BELLÈ ◽  
E. MOGGI
Keyword(s):  
Type System ◽  
Uniform Method ◽  
Type Inference ◽  
Shape Theory ◽  
A Value ◽  
The Relationship

We present an extension of the Hindley–Milner type system that supports a generous class of type constructors called functors, and provide a parametrically polymorphic algorithm for their mapping, i.e. for applying a function to each datum appearing in a value of constructed type. The algorithm comes from shape theory, which provides a uniform method for locating data within a shape. The resulting system is Church–Rosser and strongly normalizing, and supports type inference. Several different semantics are possible, which affects the choice of constants in the language, and are used to illustrate the relationship to polytypic programming.

Relation Between Metacognitive Ability with Science Process Skills on Grade 8th Students in MTs Negeri 3 Parigi

2020 ◽  
Vol 3 (1) ◽  
pp. 8-13
Author(s):  
Moch. Munir ◽  
Amiruddin Kade ◽  
Muslimin Muslimin
Keyword(s):  
Research Result ◽  
Reverse Direction ◽  
Process Skills ◽  
Science Process Skills ◽  
A Value ◽  
Regression Test ◽  
Feasibility Test ◽  
Relationship Of ◽  
The Relationship ◽  
Academic Year

This study aims to determine the relations between metacognitive to science process skills on grade VIII students MTs Negeri 3 Parigi. This research is descriptive, the approach used is a quantitative approach, manifested in the form of numbers analyzed by statistics and the results are described. The population is students of MTs Negeri 3 Parigi Academic Year 2017-2018 with a population of three classes, with a sample of 30 students. The instrument used is a metacognitive questionnaire consisting of 50 questions and an essay about science process skills 6 questions test. The result of the prerequisite test of the research result is all metacognitive indicators of normal and linear distributed and based on the regression feasibility test show that all data is feasible for regression test. The result of the regression test and test of determination to obtain a value which is not significant. Based on the results of the research analysis it can be concluded that the relationship of each metacognitive indicator to science process skills was not significant even there were metacognitive indicators that reverse direction significantly. The magnitude of the relationship of each metacognitive indicator with science process skills maximum 15.3%.  

scholarly journals Assigning a Value to Volunteering in Requests for Proposals

SAGE Open ◽  
2021 ◽  
Vol 11 (2) ◽  
pp. 215824402110095
Author(s):  
Jakub Dostál
Keyword(s):  
Czech Republic ◽  
Theoretical Basis ◽  
Economic Value ◽  
European Economic Area ◽  
The Czech Republic ◽  
A Value ◽  
Economic Area ◽  
Different Types ◽  
The Relationship ◽  
Volunteer Time

The economic value of volunteering is an increasingly important part of volunteering management. It has become part of public policies. Some requests for proposals (RFP) enable nonprofits to include the value of volunteer time in compulsory co-financing. These RFP include the European Economic Area (EEA) Grants and Norway Grants. This article addresses the relationship in the value of volunteering, also called in-kind volunteering contributions. The research includes two case studies of finances from EEA and Norway Grants in the Czech Republic: the Czech NGO Programme, responsible for allocating grants between 2009 and 2014, and the Active Citizens Fund, responsible for allocating grants between 2014 and 2021. They share elements through the EEA and Norway Grants rules. However, they use different types of specialist replacement wages. The article summarizes the arguments for including in-kind volunteering contributions. It presents the possible values of these contributions in the selected cases, including the relationship between the type of volunteering and the number of hours necessary to achieve these values. The article defines the theoretical basis for calculating the value of in-kind volunteer contributions and illustrates this with real examples of allocations from EEA and Norway Grants.

Medullary lateral tegmental field: control of respiratory rate and vagal lung inflation afferent influences on sympathetic nerve discharge

2005 ◽  
Vol 288 (5) ◽  
pp. R1396-R1410 ◽  
Author(s):  
Shaun W. Phillips ◽  
Gerard L. Gebber ◽  
Susan M. Barman
Keyword(s):  
Respiratory Rate ◽  
Sympathetic Nerve ◽  
Artificial Ventilation ◽  
Critical Role ◽  
Lung Inflation ◽  
Chemical Inactivation ◽  
A Value ◽  
Relationship Of ◽  
The Relationship ◽  
Nerve Discharge

We used spectral analysis and event-triggered averaging to determine the effects of chemical inactivation of the medullary lateral tegmental field (LTF) on 1) the relationship of intratracheal pressure (ITP, an index of vagal lung inflation afferent activity) to sympathetic nerve discharge (SND) and phrenic nerve activity (PNA) and 2) central respiratory rate in paralyzed, artificially ventilated dial-urethane-anesthetized cats. ITP-SND coherence value at the frequency of artificial ventilation was significantly ( P < 0.05; n = 18) reduced from 0.73 ± 0.04 (mean ± SE) to 0.24 ± 0.04 after bilateral microinjection of muscimol into the LTF. Central respiratory rate was unexpectedly increased in 12 of these experiments (0.28 ± 0.03 vs. 0.95 ± 0.25 Hz). The ITP-PNA coherence value was variably affected by chemical inactivation of the LTF. It was unchanged when central respiratory rate was also not altered, decreased when respiratory rate was increased above the rate of artificial ventilation, and increased when respiratory rate was raised from a value below the rate of artificial ventilation to the same frequency as the ventilator. Chemical inactivation of the LTF increased central respiratory rate in four of six vagotomized cats but did not significantly affect the PNA-SND coherence value. These data demonstrate that the LTF 1) plays a critical role in mediating the effects of vagal lung inflation afferents on SND but not PNA, 2) helps maintain central respiratory rate in the physiological range, but 3) is not involved in the coupling of central respiratory and sympathetic circuits.

Euphoria Versus Sufferings: Revolutionary Rolpa in Post Conflict Context

2011 ◽  
Vol 1 (1) ◽  
pp. 101-114
Author(s):  
Sachin Ghimire
Keyword(s):  
Deep Level ◽  
Political Commitment ◽  
Critical Approach ◽  
Individual Level ◽  
Left Behind ◽  
Post Conflict ◽  
A Value ◽  
Pain And Suffering ◽  
Social Separation ◽  
The Relationship

Armed conflict has left behind a legacy of social separation, physical loss of human lives and a population suffering from many kinds of physical and mental morbidities. In the post-conflict context, a lengthy political transition, coterie politics and the absence of a stable government are severely hindering the realisation of people's aspirations. Such hindrances have fostered a deep level of political frustration and promoted a culture of depoliticization. In Rolpa, lack of political commitment has meant people's health has become an overlooked agenda and has forced people to lose hope for change and survive with silent sufferings. Through the lens of a value-critical approach, this paper attempts to explore the relationship between politics of exclusion and its reflection on individual level pain and suffering in Rolpa.

scholarly journals Iron ore tailings in the production of cement tiles: a value analysis on building sustainability

2018 ◽  
Vol 18 (4) ◽  
pp. 395-412 ◽  
Author(s):  
Wanna Carvalho Fontes ◽  
Giovanni Gonçalves Fontes ◽  
Ellen Cristine Pinto Costa ◽  
Julia Castro Mendes ◽  
Guilherme Jorge Brigolini Silva ◽  
...  
Keyword(s):  
Iron Ore ◽  
Construction Material ◽  
Local Identity ◽  
Value Analysis ◽  
Social And Emotional ◽  
A Value ◽  
Iron Ore Tailings ◽  
Dissolution Tests ◽  
Technical Evaluation ◽  
The Relationship

Abstract The present work discloses the development of a sustainable cement tile (SCT) produced with Iron Ore Tailings from tailings dams (IOT). Initially, technical evaluation and environmental analysis of IOT were performed through physical, chemical and morphological characterisation, leaching and dissolution tests. Its feasibility as a pigment was also investigated. Subsequently, the value analysis was performed, starting from an empathy map to a study on environmental, social and emotional values in the relationship between people and product. As result, the IOT presented fine, crystalline particles, no toxicity, and is technically feasible to be employed as filler, aggregate and pigment in the production of SCT. The colour layer of the SCT presented more homogeneous colour and less pores than conventional ones. Therefore, the design of the SCT was developed, incorporating intangible values such as: environmental ideology, local identity and social expression. In this sense, the present work seeks to assist in the decision-making process involving IOT as construction material.

Interaction between loop of Henle flow and arterial pressure as determinants of glomerular pressure

1989 ◽  
Vol 256 (3) ◽  
pp. F421-F429 ◽  
Author(s):  
J. Schnermann ◽  
J. P. Briggs
Keyword(s):  
Arterial Pressure ◽  
Pressure Range ◽  
Loop Of Henle ◽  
Half Maximum ◽  
Perfusion Rate ◽  
A Value ◽  
Regulatory Input ◽  
Flow Pressure ◽  
The Relationship ◽  
Stop Flow

Experiments were performed in anesthetized rats to study the relationship between loop of Henle perfusion rate, arterial pressure, and stop-flow pressure (SFP) as an index of glomerular capillary pressure. In one set of experiments we measured the SFP feedback response to changes in loop perfusion at three levels of arterial pressure. The maximum SFP response fell significantly from 13.1 +/- 1.44 to 8.14 +/- 1.72 and 3.13 +/- 0.76 mmHg when arterial pressure was reduced from 118.1 +/- 1.27 to 98.8 +/- 0.51 and 78.8 +/- 1.72 mmHg. In other experiments arterial pressure was altered while loop perfusion rate was fixed at one of three levels. Without loop perfusion SFP changed with a slope of 0.27 +/- 0.04 mmHg/mmHg in the arterial pressure range between 80 and 130 mmHg. During perfusion at the flow rate at which response is half maximum, the slope was significantly reduced to 0.12 +/- 0.04. During perfusion at 45 nl/min, it was 0.03 +/- 0.05, a value not significantly different from zero. During dopamine administration (70 micrograms/kg min) SFP was pressure-dependent even during loop perfusion at 45 nl/min. These results show that arterial pressure determines TGF responsiveness and that the TGF signal determines the range of a regulatory input that is directly dependent on arterial pressure.

scholarly journals Correlation Between Age, Work Period, Knowledge, and Attitude’s Workers With Behavior on The Use of PPE

2021 ◽  
Vol 7 (2) ◽  
pp. 134
Author(s):  
Cynthia Widyawati ◽  
Indriati Paskarini
Keyword(s):  
Protective Equipment ◽  
White Crystal ◽  
Cross Sectional ◽  
Work Period ◽  
East Indies ◽  
Worker Attitudes ◽  
A Value ◽  
Work Area ◽  
Work Accidents ◽  
The Relationship

PG. Poerwodadie is one of the white crystal sugar factories left by the Dutch East Indies. In the production process with a fairly high risk of work accidents, the company provides Personal Protective Equipment (PPE). However, most workers have not complied with the use of PPE in the work area. Therefore, it is necessary to research factors related to non-compliance with the use of PPE. The purpose of the study was to determine the relationship between age, years of service, education, and attitudes with workers who were not obedient in using PPE. This research uses quantitative with the cross-sectional approach. The population in this study were all workers at the PG. Poerwodadie manufacturing station totals 80 people. The study concludes that there was a relationship between the age of workers and non-compliance with the use of PPE with the value of Phi and Cramer's V = 0.337. There was a relationship between the working period and non-compliance with the use of PPE with a value of 0.329. There was a relationship between worker knowledge and non-compliance with the use of PPE with the value = 0.279. There was no relationship between worker attitudes and non-compliance with the use of PPE

scholarly journals Anemia berhubungan dengan Perdarahan Post Partum

2021 ◽  
Vol 6 (1) ◽  
pp. 13-18
Author(s):  
Zakiyah Yasin ◽  
Mujib Hannan ◽  
Erlyn Wahyuni
Keyword(s):  
Statistical Tests ◽  
Post Partum ◽  
Sampling Technique ◽  
Total Sample ◽  
Chi Square ◽  
Post Partum Hemorrhage ◽  
A Value ◽  
Anemia During Pregnancy ◽  
Independent Variable ◽  
The Relationship

Pregnant women who experience anemia and untreated until the end of pregnancy will have an effect at the time of delivery, so that it can cause post partum hemorrhage which results in death in the mother. This study aims to analyze the relationship between anemia and the incidence of post partum hemorrhage in Puskesmas Lenteng, Lenteng District, Sumenep Regency. The study design was analytic with a retrospective approach, the total population was 35 mothers, the total sample was 29 mothers, the sampling technique used random sampling. The independent variable is anemia, the dependent variable is the incidence of post partum hemorrhage. Collecting data using a checklist, data analysis using the chi square statistical test, the value of a = 0.05. The results showed that of the 29 women who gave birth, most of them experienced anemia (HB level <11 g%) during pregnancy, as many as 19 mothers gave birth (65.5%), and of the 29 mothers gave birth, most of them experienced post partum hemorrhage as much as 17 mothers gave birth (59%). The result of statistical tests using chi square with a value of a = 0.05, the resulting value (ρ) = 0.000, so that the value (ρ) <a (0.000 <0.05), which means that H0 is rejected and H1 is accepted, i.e. the relationship between anemia and the incidence of post partum hemorrhage at the Lenteng Public Health Center, Lenteng District, Sumenep Regency in 2020 In order to reduce the incidence of post partum hemorrhage, it is hoped that the mother in labor can prevent anemia during pregnancy, namely by consuming foods that contain lots of protein such as meat, liver, eggs, vegetables, folic acid (Vitamin C) and consumption of Fe tablets regularly and how to drink properly and according to conditions / needs.

scholarly journals Pengaruh Jenis Kelamin, Usia, Tingkat Pendidikan, dan Golongan Terhadap Disiplin Pegawai Negeri Sipil Bagian Umum Kantor Sekretariat Daerah Kabupaten Bengkayang

2015 ◽  
Vol 10 (2) ◽  
pp. 344
Author(s):  
Sutarman 01
Keyword(s):  
Significant Relationship ◽  
Sampling Technique ◽  
Civil Servants ◽  
Bivariate Analysis ◽  
Chi Square ◽  
A Value ◽  
Chi Square Test ◽  
Study Population ◽  
General Section ◽  
The Relationship

This study aimed to examine the extent to which the relationship variables (gender, age, level of education and class) to the discipline of civil servants in the General Section of the Regional Secretariat Bengkayang, to analyze the factors that have a positive and significant relationship with the discipline in General District Secretariat Office Bengkayang. The sample in this study population using all Civil Servants in the General Section Regional Secretariat Bengkayang of 60 people (saturated sampling technique). The analytical method used was a bivariate analysis with chi square test (χ2) and the hypothesis testing. Based on the analysis results of the chi square test showed that four factors have a positive and significant relationship with the discipline of civil servants, namely Gender, the value of χ2 count = 6173> Asymp. sig. (1-sided) = 0.013. Age to calculate χ2 = 23.741> Asymp.Sig. (1-sided) = 0.000. Education level with χ2 count = 11 507> Asymp.Sig. (1-sided) = 0.009. and a group with a value of χ2 count = 10 446> Asymp. sig. (1-sided) = 0.005.

scholarly journals Exclusive Breastfeeding Related to Diarrhea Occurrence in Babies Aged 0-6 Months Old at Sudiang Community Health Center, Makassar

2022 ◽  
Vol 3 (1) ◽  
pp. 202-208
Author(s):  
Balqis Dwiyanti Haedar ◽  
Rauly Ramadhani ◽  
Andi Sitti Rahma
Keyword(s):  
Breast Milk ◽  
Community Health ◽  
Health Center ◽  
Exclusive Breastfeeding ◽  
High School Graduates ◽  
Community Health Center ◽  
Cross Sectional ◽  
A Value ◽  
Cross Sectional Design ◽  
The Relationship

Exclusive breastfeeding is a condition in which infants are only given breast milk without the addition of other fluids and foods. until the baby reaches 6 months old. Breast milk strengthen the immune system in infants so they can avoid various diseases including diarrhea. This study aims to determine the relationship between exclusive breastfeeding and the incidence of diarrhea in infants aged 0-6 months in the Sudiang Community Health Center. This research is an analytical survey research with a cross-sectional design. This research was conducted at the Sudiang Health Center, Makassar City in the period November 1st to December 31st, 2019. The total respondents were 89 mothers with babies aged 0-6 months. The results showed that most of the respondents were mothers with male babies (61%), most of the mothers' education was high school graduates (46%), housewives (75%) with low economic background (56%). Exclusive breastfeeding related to the incidence of diarrhea in children aged 0-6 months in the Sudiang Community Health Center with a value of p <0.05 (p = 0.001). In addition, no significant relationship on maternal nipple hygiene to diarrhea in children aged 0-6 months p <0.05 (p = 0.075). In conclusion, this study showed there is a relationship between exclusive breastfeeding and the incidence of diarrhea in children aged 0-6 months in Sudiang Health Center. There is a relationship between hand hygiene and the incidence of diarrhea in children aged 0-6 months in Sudiang Health Center, Makassar.

Sign in / Sign up

Export Citation Format

Share Document