Results 21 to 30 of about 315,745 (316)
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +1 more source
Ricerca Psicoanalitica, 2020 L’articolo tratta il fenomeno psichico del disinvestimento, traendo spunto dall’evocativo titolo di un noto saggio, dal punto di vista psicoanalitico, dandone una definizione e fornendo un’approfondita riesamina del testo freudiano a cui lo fa risalire ...
Rossella Valdrè
doaj +1 more source
Hydrology Research, 2022 According to the widely accepted definition of drought, meteorological and hydrological droughts originally develop from rainfall and runoff deficits, respectively.
Lan Ma +6 more
doaj +1 more source
Drought Forecasting for Future Periods Using LARS-WG Model (Case Study: Shiraz Station) [PDF]
محیط زیست و مهندسی آب, 2020 In this study, in order to simulate the current climate (1970-2016) for calculating the drought index in Fars Province, the data used include daily rainfall, minimum temperature, maximum temperature, and sunny hours at Shiraz station in a period of 46 ...
Mohammad Hossein Jahangir +2 more
doaj +1 more source
Assessment of Future Possible Meteorological Drought for Isparta Province
Doğal Afetler ve Çevre Dergisi, 2023 There is an increase in drought events with climate change. Drought is a disaster that occurs over long periods of time for large areas compared to other natural disasters.
Tahsin Baykal +2 more
doaj +1 more source
Ricerca Psicoanalitica, 2020 When I was asked to read a work by Seligman, I accepted gladly because I was expecting an interesting ‘intersubjective encounter’ set against the repetitive interpretations that simply add more words to what has already been said or written. (...)
Giuliana Barbieri
doaj +1 more source
A hierarchy of SPI activities for software SMEs: results from ISO/IEC 12207-based SPI assessments [PDF]
, 2012 In an assessment of software process improvement (SPI) in 15 software small- and –medium-sized enterprises (software SMEs), we applied the broad spectrum of software specific and system context processes in ISO/IEC 12207 to the task of examining SPI in ...
Clarke, Paul +2 more
core +1 more source
Effect of Initiator on Thermal Curing of Unsaturated Polyester Resins [PDF]
علوم و تکنولوژی پلیمر, 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
H2Open 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
Gamma-Ray Burst Detection with INTEGRAL/SPI [PDF]
, 2003 The spectrometer SPI, one of the two main instruments of the INTEGRAL spacecraft, has strong capabilities in the Field of Gamma-Ray Burst (GRB) detections. In its 16 degree Field of view (FoV) SPI is able to trigger and to localize GRBs.
Arend, Nikolas +4 more
core +4 more sources