In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

The consistent sporadic transmission of West Nile Virus (WNV) in the city of New Orleans justifies the need for distribution risk maps highlighting human risk of mosquito bites. We modeled the influence of biophysical and socioeconomic metrics on the spatio-temporal distributions of presence/vector-host contact (VHC) ratios of WNV vector, Culex quinquefasciatus, within their flight range. Bioph...

Soil, the living terrestrial skin of the Earth, plays a central role in supporting life and is home to an unimaginable diversity of microorganisms. This review explores key drivers for microbial life in soils under different climates and land-use practices at scales ranging from soil pores to landscapes. We delineate special features of soil as a microbial habitat (focusing on bacteria) and the...

The appraisal of crop water requirements (CWR) is crucial for the management of water resources, especially in arid and semi-arid regions where irrigation represents the largest consumer of water, such as the Doukkala area, western Morocco. Simple and (semi) empirical approaches have been applied to estimate CWR: the first one is called Kc-NDVI method, based on the correlation between the Norma...

$

In 2009 and 2010 the L-band microwave Cooperative Airborne Radiometer for Ocean and Land Studies (CAROLS) campaign was performed in southwestern France to support the calibration and validation of the new Soil Moisture and Ocean Salinity (SMOS) satellite mission. The Lband Microwave Emission of the Biosphere (L-MEB) model was used to retrieve surface soil moisture (SSM) and the vegetation optic...