Results 41 to 50 of about 332,127 (354)

Revolutionaries and Spies

open access: yesDiscrete Mathematics, 2012
Let $G = (V,E)$ be a graph and let $r,s,k$ be positive integers. "Revolutionaries and Spies", denoted $\cG(G,r,s,k)$, is the following two-player game. The sets of positions for player 1 and player 2 are $V^r$ and $V^s$ respectively. Each coordinate in $p \in V^r$ gives the location of a "revolutionary" in $G$.
David M. Howard, Clifford Smyth
openaire   +3 more sources

SPI-Based Spatiotemporal Drought over Sri Lanka

open access: yes, 2020
Drought is one of the most significant hazards in Sri Lanka. Status of drought in Sri Lanka was assessed using Standardized Precipitation Index (SPI) at 3, 6, and 12 months’ time scales using monthly rainfall (1970 to 2017) data of 54 weather stations ...
N. Abeysingha, U. Rajapaksha
semanticscholar   +1 more source

Effect of Initiator on Thermal Curing of Unsaturated Polyester Resins [PDF]

open access: yesعلوم و تکنولوژی پلیمر, 2010
One of the common methods to cure unsaturated polyester resins is to use dual initiators. In order to produce an appropriate composite, it is necessary to know the effect of dual initiators on curing behavior. In this paper the effect of benzoyl peroxide,
N. Naderi, M.H. Beheshty, S. Mazinani
doaj   +1 more source

Evaluation of GLDAS soil moisture product over Kermanshah province, Iran

open access: yesH2Open Journal, 2023
Land surface modelling and data assimilation are advanced techniques for generating optimal fields of land surface states and fluxes. In this study, the Global Land Data Assimilation System (GLDAS) data were utilized to investigate the soil moisture ...
Ata Amini   +4 more
doaj   +1 more source

On bisimulations for the spi calculus [PDF]

open access: yesMathematical Structures in Computer Science, 2002
The spi calculus [\textit{M. Abadi} and \textit{A. D. Gordon}, Inf. Comput. 148, 1--70 (1999; Zbl 0924.68073)], is a process calculus extending pi-calculus. It was designed for description and formal verification of cryptographic protocols, and correctness properties of such protocols may be expressed as may-testing equivalences between certain process
Uwe Nestmann, Johannes Borgström
openaire   +3 more sources

The evaluation of the influence of drying the ore before the dry high - intensity magnetic separation on the efficiency production process of blastfurnace pellets in the Siderit Nižná Slaná plant [PDF]

open access: yesActa Montanistica Slovaca, 2001
In the contribution is described the evaluation of the influence of the parameters on the input to the dry high - intensity magnetic separation (SVIMS), on the technological production process of the blastfurnace pellets in the condition of the company ...
Kuffnerová Andrea, Spišák Ján
doaj  

Spies, data and research [PDF]

open access: yesEMBO reports, 2014
The revelation by Edward Snowden that the US National Security Agency (NSA) and the UK Government Communications Headquarters (GCHQ) have been gathering the email and mobile phone metadata of millions of European citizens, including politicians, has drawn public attention to the inherent risks of a globally connected information society.
L. B. Moraia, J. Kaye
openaire   +4 more sources

Graziano De Giorgio (Ed.), "Arte e psicoanalisi: il respiro della creatività", FrancoAngeli 2017

open access: yesPsicoArt, 2018
Review of the book Arte e psicoanalisi: il respiro della creatività (Art and psychoanalysis: the breath of creativity - FrancoAngeli, 2017) edited by Graziano De Giorgio with the preface by Philippe Daverio.
Elisabetta Marchiori
doaj   +1 more source

Relationship between NAFLD and coronary artery disease: A Mendelian randomization study

open access: yesHepatology, EarlyView., 2022
Abstract Background and Aims There is an ongoing debate on whether NAFLD is an active contributor or an innocent bystander in the pathogenesis of coronary artery disease (CAD). The aim of the present study was to assess the causal relationship between NAFLD and CAD.
Zhewen Ren   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy