Results 251 to 260 of about 34,989 (290)

WPS and Female Peacekeepers

The Oxford Handbook of Women, Peace, and Security, 2018
This chapter discusses the progress and challenges of mainstreaming gender in UN peacekeeping. To do so, we trace the evolution and impact of the Women, Peace, and Security (WPS) agenda’s successive resolutions on peacekeeping.
Natasja Rupesinghe, Eli Stamnes, J. Karlsrud   +2 more
semanticscholar   +1 more source

On the set function $\wp$

Commentationes Mathematicae Universitatis Carolinae
Summary: Inspired by the work that Professor \textit{Janusz R. Prajs} did on homogeneous metric continua in his paper [Can. J. Math. 62, No. 1, 182--201 (2010; Zbl 1187.54028)] and the version of his work for Hausdorff continua with the uniform property of Effros done by this author [Topology Appl.
openaire   +2 more sources

The C WP-Bailey chain

Acta Mathematica Scientia, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhang, Zhizheng, Huang, Junli
openaire   +1 more source

A wp Characterization of Jump Statements

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021
In this paper we present a formal characterization of goto statements in terms of Dijkstra’s weakest precondition model. We show that the goto semantics so defined captures the nature of goto statements and even applies when jumping into program constructs like alternation and repetition.
openaire   +1 more source

Measuring WPS

2018
Global indices are an increasingly popular way to assess progress against such goals, by distilling an array of complex information into a single number or ranking. The new global Women, Peace, and Security (WPS) Index bridges insights from gender and development indices with those from peace and security indices in a way that is simple and transparent
openaire   +1 more source

WPS and Policing

2018
The rise of police and of policing in international affairs has been a quiet revolution. Similarly, the WPS agenda struggles to gain the meaningful attention and buy-in required to compel change. Thus the fledgling status of these two fairly recent developments combined to ensure that the substantial promise of policing in advancing the WPS agenda and ...
openaire   +1 more source

$ \wp$-functions and Hamiltonian systems

Russian Mathematical Surveys, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

WP Semantics and Behavioral Subtyping

2011
For the object oriented (OO) world, developing formal semantics for theoretical study and practical use is still an important topic despite of a decade's efforts. In this paper, for a sufficiently large subset of sequential Java with a pure reference semantics model, we define a Weakest Precondition (WP) semantics, and prove its soundness and ...
Yijing Liu, Zongyan Qiu, Quan Long
openaire   +1 more source

???????????? ?????????????????????? ?????????????? ???????????????????????? ?????????????? ???????????? ?????? ?????????????? ?????????????? Wp??

2019
?????? ???????????? ?????????????? Wp?? ?????????????? ?????????????????????????????????? ???????????? ???????????? ?????????????????????? ???????????????????? ?????????????? ????????????.
openaire   +1 more source

Of Probabilistic wp and CSP—and Compositionality

2005
We connect probabilistic Action Systems and probabilistic CSP, inducing healthiness conditions for the probabilistic traces, failures and divergences of the latter. A probabilistic sequential semantics for pGCL [31] is “inserted underneath” an existing but non-probabilistic link between action systems and CSP.
openaire   +1 more source