The starting materials for the synthesis were Li2S (Alfa Aesar, 99.9 %), P (Alfa Aesar, 98.9 %), S (Alfa Aesar, 99.5%), and Sn (Alfa Aesar, 99.995%). The dry starting materials were first mechanically treated in a ball mill under argon for 2 days. Pellets were pressed from the obtained amorphous precursor and heated in an evacuated quartz ampoule according to the following temperature program: ...

We present a formal modelling approach using Abstract Data Types (ADTs) for largescale system development in Event-B. The novelty of our approach is the combination of refinement and instantiation techniques to manage the complexity of systems under development. With ADTs, we model system components on an abstract level, specifying just their necessary properties, and we postpone the introducti...

Purpose – This paper describes a bilateral symmetric approach to authorization, privacy protection and obligation enforcement in distributed transactions. We introduce the concept of the Obligation of Trust (OoT) protocol as a privacy assurance and authorization mechanism that is built upon the XACML standard. The OoT allows two communicating parties to dynamically exchange their privacy and au...

The purpose of this paper is to develop an effective methodology for solving constrained matrix games with payoffs of trapezoidal fuzzy numbers (TrFNs), which are a type of two-person non-cooperative games with payoffs expressed by TrFNs and players’ strategies being constrained. In this methodology, it is proven that any Alfa-constrained matrix game has an interval-type value and hereby any co...

Open service platforms like the OSGi-platform offer a standard, scalable way for service providers to remotely deploy their services inside many residential networks. However, the lack of control by WAN service providers on the home environment together with too complex end-user policy configuration hinder widespread e-deployment of services into the home. Several architectures have been presen...

Fmoc-amino acids were obtained from GL Biochem (Shanghai, China). All the other Starting materials were obtained from Alfa. Chemical reagents and solvents were used as received from commercial sources.

We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proofeditors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial for the design of update operations and the...

Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited. Abstract This memo specifies new textual ...

Mobile technologies make their headway by offering more flexibility to end-users and improve the productivities. Within the application of ubiquitous access and pervasive communication, security (or privacy) and QoS (Quality of Service) are two critical factors during global mobility, so how to get a smooth and fast handover based on a user privacy protected infrastructure is our focus. Based o...