scholarly journals The Potential of Humanitarian Technologies in Formation of the Moral Subject in Terms of a New Social Reality

2017 ◽  
Vol 6 (1) ◽  
pp. 12-15
Author(s):  
Довыденко ◽  
L. Dovydenko
Keyword(s):  
Social Responsibility ◽  
Social Reality ◽  
Educational Technologies ◽  
Management Decisions ◽  
Moral Subject ◽  
Ethical Expertise ◽  
Ethical Counseling ◽  
High Degree

The article describes the potential of humanitarian technologies in formation of the moral subject in terms of a new social reality. The experience of using methods of case study and stakeholder analysis as a unique ethical-educational technologies aimed at forming professional and ethical competences is analyzed, which are expressed in learned and used the skills of social responsibility and trust, ethical expertise and ethical counseling, and the ability to make socio-management decisions high degree of ethics.

Corporate Social Responsibility Practices in Indian Petroleum Companies: A Case Study of Selected PSUs

Think India ◽  
2018 ◽  
Vol 21 (3) ◽  
pp. 13-18
Author(s):  
Abhijit Ranjan Das ◽  
Subhadeep Mukherjee
Keyword(s):  
Corporate Social Responsibility ◽  
Public Sector ◽  
Social Responsibility ◽  
Business Environment ◽  
Annual Reports ◽  
Net Worth ◽  
Net Profit ◽  
Petroleum Companies ◽  
Corporate Social

Corporate Social Responsibility (CSR) is not a very new concept, it is an old concept. Earlier, in India it was optional to the company that they may contribute voluntarily towards CSR but after the Companies Act 2013, it was formally introduced in the business environment and was made mandatory for those companies whose net worth and profit cross a threshold limit. They should contribute 2% of the average net profit of just preceding three years profit. This paper primarily focuses on CSR practices of some selected public sector petroleum companies in India. The study has been conducted based on the Annual Reports of seven selected public sector companies. Five years of data on CSR spending from 2009–10 to 2014–15 were examined. Moreover, the pattern of expenses was also examined. Since petroleum companies are giants of the India economy and contribute significantly towards the Gross Domestic Product (GDP) of our country. Thus it is necessary to look into how these companies are contributing towards CSR. An attempt has been made to examine the early impact of Section 135 of the Companies Act.

CSim 2

2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang
Keyword(s):  
Programming Languages ◽  
Concurrent Systems ◽  
Theorem Prover ◽  
Compositional Techniques ◽  
Machine Code ◽  
Top Down ◽  
Hol Theorem Prover ◽  
High Level ◽  
High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

scholarly journals Urban Rivers Corridors in the Don Catchment, UK: From Ignored, Ignoble and Industrial to Green, Seen and Celebrated

2021 ◽  
Vol 13 (14) ◽  
pp. 7646
Author(s):  
Ed Shaw ◽  
Debbie Coldwell ◽  
Anthony Cox ◽  
Matt Duffy ◽  
Chris Firth ◽  
...  
Keyword(s):  
Industrial Revolution ◽  
Urban River ◽  
Urban Rivers ◽  
River Habitat ◽  
Negative Perceptions ◽  
High Degree ◽  
River Corridors ◽  
Advance Knowledge ◽  
Ecological Recovery

Research on urban rivers often seeks to find commonalities to advance knowledge of the effect of urbanisation on rivers, and rightly so. But it is important, also, to develop a complementary understanding of how urban rivers can be distinct, to facilitate a more nuanced view of concepts such as the ‘urban river syndrome’ and of the challenges facing those who wish to create more sustainable urban river corridors. To this end we use the Don Catchment as a case study to illustrate how historic patterns of urbanisation have been fundamental in shaping the catchment’s rivers. Following the Industrial Revolution, the catchment became an industrial centre, resulting in the ecological death of river ecosystems, and the disconnection of communities from stark urban river corridors. Widescale deindustrialisation in the 1970s and 1980s then resulted in a partial ecological recovery of the rivers, and ignited public interest. This history has imbued the catchment’s urban river corridors with a distinctive industrial character that can vary greatly between and within settlements. It has also left a legacy of particular issues, including a high degree of river habitat fragmentation and physical modification, and of negative perceptions of the rivers, which need improving to realise their potential as assets to local communities.

Sign in / Sign up

Export Citation Format

Share Document