None, One, Many - What's the Difference, Anyhow?

Friedrich Steimann

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >None, One, Many - What's the Difference, Anyhow?

【24h】

None, One, Many - What's the Difference, Anyhow?

机译：没有，一个，很多-到底有什么区别？

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We observe that compared to natural and modelling languages, the differences in expression required to deal with no, one, or many objects in programming languages are particularly pronounced. We identify some problems inherent in type-based unifications o

机译：我们观察到，与自然语言和建模语言相比，处理编程语言中没有，一个或多个对象所需的表达差异特别明显。我们确定基于类型的统一所固有的一些问题

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2015年第4期|共15页
作者
Friedrich Steimann;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A Morphometric Outline Analysis of Ancestry and Sex Differences in Cranial Shape * = symbol indicates that the two‐way ANOVA results revealed significant group differences in theses PCs. * = symbol indicates that the two‐way ANOVA results revealed significant group differences in theses PCs. * = symbol indicates that the two‐way ANOVA results revealed significant group differences in theses PCs. [J] . Murphy Rachel E., Garvin Heather M. Journal of forensic sciences. . 2018,第4期

机译：颅骨形状和性别差异的形态学概述分析* =符号表示双向ANOVA结果揭示了CPS中的显着群体差异。 * =符号表示双向ANOVA结果显示了PCS的重要组差异。 * =符号表示双向ANOVA结果显示了PCS的重要组差异。
2. Differences in infectivity between endosymbiotic Chlorella variabilis cultivated outside host Paramecium bursaria for 50?￠????years and those immediately isolated from host cells after one?￠????year of reendosymbiosis Differences in infectivity between endosymbiotic Chlorella variabilis cultivated outside host Paramecium bursaria for 50?￠????years and those immediately isolated from host cells after one?￠????year of reendosymbiosis Differences in infectivity between endosymbiotic Chlorella variabilis cultivated outside host Paramecium bursaria for 50?￠????years and those immediately isolated from host cells after one?￠????year of reendosymbiosis [J] . M. Fujishima, Y. Kodama Biology Open . 2016,第1期

机译：在寄主草履虫外培养共生50年后与内生共生小球藻小球藻之间的感染力差异与在寄主草履虫培养后1年立即分离出的内生共生小球藻之间的感染力差异细菌培养50年，再寄养一年后立即从宿主细胞中分离出来的细菌，在寄主草履虫培养50年和50年后，共生内生小球藻小球藻的感染力不同。再内共生一年后立即从宿主细胞中分离出来的那些
3. Differences in infectivity between endosymbiotic Chlorella variabilis cultivated outside host Paramecium bursaria for 50?￠????years and those immediately isolated from host cells after one?￠????year of reendosymbiosis Differences in infectivity between endosymbiotic Chlorella variabilis cultivated outside host Paramecium bursaria for 50?￠????years and those immediately isolated from host cells after one?￠????year of reendosymbiosis Differences in infectivity between endosymbiotic Chlorella variabilis cultivated outside host Paramecium bursaria for 50?￠????years and those immediately isolated from host cells after one?￠????year of reendosymbiosis [J] . M. Fujishima, Y. Kodama Biology Open . 2016,第1期

机译：在寄主草履虫外培养共生50年后与内生共生小球藻小球藻之间的感染力差异与在寄主草履虫培养后1年立即分离出的内生共生小球藻之间的感染力差异细菌培养50年，再寄养一年后立即从宿主细胞中分离出来的细菌，在寄主草履虫培养50年和50年后，共生内生小球藻小球藻的感染力不同。再内共生一年后立即从宿主细胞中分离出来的那些
4. Embedding Vector Differences Can Be Aligned with Uncertain Intensional Logic Differences [C] . Ben Goertzel, Mike Duncan, Debbie Duong, International Conference on Artificial General Intelligence . 2020

机译：嵌入的矢量差异可以与不确定的内涵逻辑差异对齐
5. A Differences-in-differences Approach to the UPP Policy and Crime Displacement in the City Neighborhoods and Metropolitan Area of Rio De Janeiro =Uma Abordagem em Diferen?as-em-Diferen?as da Política de UPP e Deslocamento do Crime nos Bairros do Rio de Ja [D] . Rodrigues, Hugo S. 2020

机译：Rio de Janeiro城市社区和大都市地区UPP政策和犯罪盘的差异差异差异探讨了RIO JA社区UPP政策和犯罪流离失所的不同方法
6. Two distinct and separable processes underlie individual differences in algorithm adherence: Differences in predictions and differences in trust thresholds [O] . Achiel Fenneman, Joern Sickmann, Thomas Pitz, 2021

机译：两个不同和可分离的过程利于算法遵守的个体差异：信任阈值的预测和差异的差异
7. Decision-making is the process of analyzing information about a problem situation and comparing it to a specific conclusion in order to solve a specific problematic (Yıkılmaz, 2001; Miller and Byrnes, 2001). Decision-making styles are a mechanism that is influenced by the internal and external conditions that determine the direction of the decisions of the individual, the content of the decision-making process, and the outcome of the decision-making process (Payne, Bettman and Johson, 1993; Bavol’ár and Orosová, 2015). ACT is a contemporary member of the Cognitive Behavioral Therapy family. ACT (Acceptance and commitment therapy) has both similar and different directions with Behavioral Therapies and Cognitive Therapies (Herbet and Forman, 2011; Hayes, 2004). KKT responds to classical behavioral treatments using both existential and cognitive approaches in the analysis of behavior. KKT is a science wing that tries to solve human problems with a wider perspective aimed at solving problematic human behaviors (Plumb, Stewart, Dahl and Lundgren, 2009). It is seen that there is very little research about the new approach of ACT approach when the aiming country of our country is screened and it is thought that our country will contribute to the field of psychological counseling with the work done. In the scope of the research, experimental and control groups and preliminary test, post-test and follow-up measurements of 2x3 experimental design were used. The study's study group consists of a total of 24 (12 experimental and 12 control groups) university students studying in different departments and levels, continuing their education in the academic year of 2015-2016 in Ağrı province and İbrahim Chechen University in 2015-2016 academic year. The average age of participants in the experiment and control group is 20. There were 12 participants in the experimental group, 7 female and 5 male, and 12 participants, 7 female and 5 male in the control group. Personal Information Form and Decision Making Style Scale prepared by the researcher were used in the research. In order to decide on the tests to be used in the course of analyzing the data, the scores of the participant's Decision Styles Scale pre-test, which are placed primarily in the experimental and control groups, it was analyzed whether the basic expectations of parametric tests were answered. As a result of the analysis made, the scores, skewness and kurtosis coefficients obtained from the Decision Making Styles Scale were given to the experimental and control groups. It was determined that the distribution was normal in the result of Shapiro-Wilk test, in which the skewness and kurtosis coefficients of each sub-scale were ranked between -1 and +1. Participants in the experimental and control groups; homogeneity test results for decision-style pre-test measurements indicate that the data are homogeneous. According to the results of the Mauchly Globalness Test, it has been determined that working supports the hypothesis. It was determined that there was no significant difference between the pre-test scores obtained from dependent decision-making style of experiment and control groups, but the test group showed lower mean scores at the significant level within the scores of post-test and follow-up tests. Therefore, it can be said that the ACT-oriented psychoeducation program applied to the experimental group reduces the dependent decision-making style scores from the decision style sub-dimensions and the psychoeducation program has a lasting effect. It was determined that there was no significant difference between pre-test, post-test and follow-up scores obtained from the Spontaneous-Instant Decision Style of experiment and control groups. Thus, it can be said that this situation does not cause a significant difference in the Spontaneous-Decision-Making Style scores from the decision style sub-dimensions of the ACT-oriented psychoeducation program applied to the experimental group. The ACT -oriented psychoeducation program had a decline in the intuitive decision-making styles of the individuals, but this decrease did not create significant differences. Thus, it can be said that this situation does not make a meaningful difference in the intuitive decision style scores from the decision style sub-dimensions of the KKT oriented psychoeducation program applied to the experimental group. The pre-test scores obtained from the rational decision-making style of the experimental and control groups showed that there was a difference between the post-test and the follow-up scores, but this difference was not significant. As a result of the analysis, it was determined that the test group had higher levels of rational decision style than the pre - test scores in the post test and follow - up scores, whereas the post test and follow - up test scores in the control group rational decision style showed a decrease compared to the pre - test scores. the pre - test scores. Decision-making Styles Scale Avoidant Decision Making As a result of the analysis of the mean scores of the subscale scores of pre-test, post-test and follow-up measures, the group effect was found to be insignificant. It was determined that the experimental and control groups differed significantly from the pre-test scores obtained from the avoidant decision-making style but did not show any significant change within the scores of the post-test and follow-up tests. [O] . mustafa ercengiz, ali haydar şar 2018

机译：决策是分析有关问题情况的信息并将其与特定结论进行比较的过程，以解决特定的问题（Yıkılmaz，2001; Miller和Byrnes，2001）。决策风格是一种机制，受到内部和外部条件的影响，确定个人决定的方向，决策过程的内容以及决策过程的结果（PAYNE，BETTMAN和BEDNE） Johson，1993;Bavol'ár和奥萨洛瓦，2015）。法案是认知行为治疗家庭的当代成员。行为（验收和承诺治疗）具有与行为疗法和认知疗法的类似和不同方向（Herbet和Forman，2011; Hayes，2004）。 KKT在分析行为中使用存在性和认知方法来响应古典行为治疗方法。 KKT是一个科学翼，试图解决人类问题，旨在解决有问题的人类行为（铅垂，斯图尔特，Dahl和Lundgren，2009）。有人认为，当我们国家的瞄准国家进行筛选时，有关行动方法的新方法几乎没有研究，并且认为我们的国家将为完成工作做出贡献的心理咨询领域。在研究的范围内，使用实验和对照组和初步测试，使用后测试和后续测量的2x3实验设计。该研究的研究小组包括共24名（12个实验和12个对照组）大学学生在不同的部门和水平上学习，在2015-2016学术上继续进行2015-2016的学术年度2015-2016学年年。实验和对照组参与者的平均年龄是20.实验组中有12名参与者，7名女性和5名男性，12名参与者，7名女性和5名男性。研究人员准备的个人信息表格和决策制定风格规模在研究中使用。为了决定在分析数据的过程中使用的测试，参与者的决策风格刻度预测的分数主要在实验和对照组中进行，分析了参数的基本期望吗？测试得到了回答。由于对实验和对照组给出了从决策曲调标度获得的分数，偏移和峰度分子系数。确定该分布是正常的在成熟的-WILK试验结果中，其中每亚级的偏差和刚度系数在-1到+1之间排名。实验和对照组的参与者;决策式预测测量的同质性测试结果表明数据是均匀的。根据毛毛环保试验的结果，已确定工作支持假设。据确定，从依赖决策风格的实验和对照组获得的预测分数之间没有显着差异，但测试组在测试后的分数内显示出较低的平均分数和后续的分数 - 测试。因此，可以说，应用于实验组的面向活动的心理教育程序减少了决策风格子维度的依赖决策风格分数，并且心理教育程序具有持久的效果。据确定，从实验和对照组自发决策风格获得的预测试，测试后和后续评分之间没有显着差异。因此，可以说这种情况不会导致从应用于实验组的活动导向的心理教育程序的决策风格分数的自发决策风格分数显着差异。行为的心理教育计划在个人直观的决策风格下降，但这种减少并没有产生显着的差异。因此，可以说，这种情况不会在从应用于实验组的KKT导向的心理教育程序的决策风格分数中产生有意义的决策风格分数。从实验和对照组的理性决策风格获得的预测分数显示后检验后和随访评分之间存在差异，但这种差异并不重要。由于分析，确定测试组的理性决策风格较高，而不是后测试和后续分数的预测分数，而对照组合理决策风格的后测试和后续测试分数显示出与预测试分数相比的减少。预测分数。决策款式扩展避免决策由于分析了预测试，测试后和后续措施的班次评分的平均分数，发现群体效应是微不足道的。确定实验和对照组从避免决策风格获得的预测评分中显着不同，但在测试后和后续测试的分数内没有显示出任何重大变化。

None, One, Many - What's the Difference, Anyhow?

摘要

著录项

相似文献

相关主题

期刊订阅