scholarly journals Weak Bisimulation for Action-Type Coalgebras

2005 ◽  
Vol 122 ◽  
pp. 211-228 ◽  
Author(s):  
Ana Sokolova ◽  
Erik de Vink ◽  
Harald Woracek
Keyword(s):  
Weak Bisimulation ◽  
Action Type

The Free Responsible Action of the Individual

2018 ◽  
Author(s):  
Michael P. DeJonge
Keyword(s):  
The Novel ◽  
Extreme Situation ◽  
The Third ◽  
Third Phase ◽  
Responsible Action ◽  
Action Type ◽  
Two Phases ◽  
The Individual ◽  
The Church

If, as Chapter 12 argues, much of Bonhoeffer’s resistance thinking remains stable even as he undertakes the novel conspiratorial resistance, what is new in his resistance thinking in the third phase? What receives new theological elaboration is the resistance activity of the individual, which in the first two phases was overshadowed by the resistance role played by the church. Indeed, as this chapter shows, Bonhoeffer’s conspiratorial activity is associated with what he calls free responsible action (type 6), and this is the action of the individual, not the church, in the exercise of vocation. As such, the conspiratorial activity is most closely related to the previously developed type 1 resistance, which includes individual vocational action in response to state injustice. But the conspiratorial activity differs from type 1 resistance as individual vocational action in the extreme situation.

Driver Support Functions Under Resource-Limited Situations

2007 ◽  
Vol 51 (4) ◽  
pp. 176-180 ◽  
Author(s):  
T. Inagaki ◽  
M. Itoh ◽  
Y. Nagai
Keyword(s):  
Situation Awareness ◽  
Driving Simulator ◽  
Reasoning Under Uncertainty ◽  
Support Functions ◽  
Traffic Condition ◽  
Monitoring Method ◽  
Safety Control ◽  
Resource Limited ◽  
Action Type ◽  
Driver Support

What type of support should be given to an automobile driver when it is determined, via some monitoring method, that the driver's situation awareness may not be appropriate to a given traffic condition? With a driving simulator, the following three conditions were compared: (a) Warning type support in which an auditory warning is given to the driver to enhance situation awareness, (b) action type support in which an autonomous safety control action is executed to avoid an accident, and (c) the no-aid baseline condition. Although the both types of driver support are effective, the warning type support sometimes fail to assure safety, which suggests a limitation of the human locus of control assumption. Efficacy of the action type support can also be degraded due to a characteristic of human reasoning under uncertainty. This paper discusses viewpoints needed in the design of systems for supporting drivers in resource-limited situations.

Action Type-Based Factorial Structure of Brief COPE among Hong Kong Chinese

2016 ◽  
Vol 38 (4) ◽  
pp. 631-644 ◽  
Author(s):  
Kristen N. S. Tang ◽  
Christian S. Chan ◽  
Janice Ng ◽  
Chun-Hei Yip
Keyword(s):  
Hong Kong ◽  
Hong Kong Chinese ◽  
Factorial Structure ◽  
Brief Cope ◽  
Action Type

scholarly journals An Analysis of the Dynamics of the Legitimation Processes of Innovations in Open Source Software:

2021 ◽  
Author(s):  
Soran Nouri
Keyword(s):  
Open Source ◽  
Open Source Software ◽  
Action Theory ◽  
Communicative Action ◽  
Data Set ◽  
Rational Persuasion ◽  
Validity Claims ◽  
Action Type ◽  
Influence Tactic ◽  
Bug Fixes

Within the Open Source Software (OSS) literature, there is a lack of studies addressing the legitimation processes of innovations that are born in OSS. This study sets out to analyze the legitimation processes of innovations within the deliberations of the Drupal project. The data set constitutes 52 rational deliberation cases discussing innovations that were proposed by members of the community. Habermas’s Ideal Speech Situations (ISS) is used as the framework to view Drupal’s rational deliberations from; in fact within the 52 cases that are examined in this thesis, there were no violations to the guidelines of the ISS in the deliberations. The Communicative Action Theory, Influence Tactics theory and the theory of Validity Claims are aspects of the framework that is used to code and analyze the conversations. These aspects allow for an effective conceptualization of the dynamics of the Drupal deliberations. This thesis was able to find that legitimation processes of innovations in open source software were influenced by the type, complexity and implications of the innovations on the rest of the community. Also, bug fixes, complex innovations and innovations that have implications on the rest of the software will result in a long (in terms of number of comments) legitimation process. Also, it is empirically backed in this study that in open deliberations that aim at achieving mutual understanding towards a common goal, the communicative action type and the rational persuasion influence tactic are the most common methods for innovators to interact with the community.

scholarly journals Dense Movement with Embedded Sparse Action-Type Representations in the Output Layer of Motor Cortex

2020 ◽  
Author(s):  
Stephen P. Currie ◽  
Julian Ammer ◽  
Brian Premchand ◽  
Constantinos Eleftheriou ◽  
Aldo AA Faisal ◽  
...  
Keyword(s):  
Motor Cortex ◽  
Output Layer ◽  
Action Type

For Honor, for Toxicity

2021 ◽  
Vol 5 (CHI PLAY) ◽  
pp. 1-29
Author(s):  
Alessandro Canossa ◽  
Dmitry Salimov ◽  
Ahmad Azadvar ◽  
Casper Harteveld ◽  
Georgios Yannakakis
Keyword(s):  
Machine Learning ◽  
Random Forest ◽  
Random Forests ◽  
Initial Study ◽  
Unfair Advantage ◽  
Offensive Behavior ◽  
Forest Models ◽  
Random Forest Models ◽  
Action Type ◽  
Degree Of Severity

Is it possible to detect toxicity in games just by observing in-game behavior? If so, what are the behavioral factors that will help machine learning to discover the unknown relationship between gameplay and toxic behavior? In this initial study, we examine whether it is possible to predict toxicity in the MOBA gameFor Honor by observing in-game behavior for players that have been labeled as toxic (i.e. players that have been sanctioned by Ubisoft community managers). We test our hypothesis of detecting toxicity through gameplay with a dataset of almost 1,800 sanctioned players, and comparing these sanctioned players with unsanctioned players. Sanctioned players are defined by their toxic action type (offensive behavior vs. unfair advantage) and degree of severity (warned vs. banned). Our findings, based on supervised learning with random forests, suggest that it is not only possible to behaviorally distinguish sanctioned from unsanctioned players based on selected features of gameplay; it is also possible to predict both the sanction severity (warned vs. banned) and the sanction type (offensive behavior vs. unfair advantage). In particular, all random forest models predict toxicity, its severity, and type, with an accuracy of at least 82%, on average, on unseen players. This research shows that observing in-game behavior can support the work of community managers in moderating and possibly containing the burden of toxic behavior.

Endocrinology and diabetes

2019 ◽  
pp. 285-306
Keyword(s):  
Foot Ulcers ◽  
Endocrine Disorders ◽  
Insulin Deficiency ◽  
Metabolic Disturbances ◽  
Hormone Production ◽  
Endocrine Diseases ◽  
Action Type ◽  
In Pregnancy

The specialty of endocrinology and diabetes specializes in the management of disorders of hormone production or action. Type 2 diabetes mellitus is by far the commonest condition and is characterized by insulin resistance (in comparison to insulin deficiency in type 1 diabetes). Diagnostic criteria and glycaemic management (both oral and injectable) are discussed, as well as complications (including foot ulcers, retinopathy, and increased cardiovascular risk) and diabetes in pregnancy. The next commonest endocrine diseases affect the thyroid gland, causing both hyperthyroidism and hypothyroidism; the pathophysiology, clinical features, and management of both are outlined. Rarer endocrinopathies affect the adrenal glands (e.g. Addison’s disease, Conn’s disease, and phaeochromocytoma) or pituitary gland (e.g. Cushing’s disease, prolactinoma, and acromegaly). Endocrine disorders can also lead to metabolic disturbances including hypo/hypernatraemia and hypo/hypercalcaemia.

Sign in / Sign up

Export Citation Format

Share Document