Abstract Sound generating human activities so-called “anthropogenic sound” have increased ambient sound levels considerably in aquatic habitats that are markedly diverse in time and space. Sound generating human activities is now recognized as a potential driver of environmental changes in marine habitats. Iran has 750 km coastline along the Caspian Sea located in the north and around 2250 km ...

Conceptual Structures (CS) Theory is a logic-based knowledge representation formalism. To show that conceptual graphs have the power of rst-order logic, it is necessary to have a mapping between both formalisms. A proof system, i.e. axioms and inference rules, for conceptual graphs is also useful. It must be sound (no false statement is derived from a true one) and complete (all possible tautol...

conclusions the results of this study indicates that the single item burnout measure has potential as a brief, sensitive screening measure of burnout due to its brevity, ease of administration and sound psychometric properties and needs to be validated further in larger studies and with other professional groups. results sib scores were highly and positively correlated with mbi-ee scores (r = 0...

Abstract Functioning in media discourse as reference points for shaping people’s worldview, sociocultural stereotypes are considered cognitive-linguistic phenomena, formed the process of evaluative categorization. A lexical item that represents a stereotype is determined study nomen stereotype. The aim paper to outline strategies formation found American discourse. Nomina by phonetic, morpholog...

Defining the relevant population to sample is an important issue in data-based implementation of the likelihood-ratio framework for forensic voice comparison. We present a logical argument that because an investigator or prosecutor only submits suspect and offender recordings for forensic analysis if they sound sufficiently similar to each other, the appropriate defense hypothesis for the foren...

This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the patterns, are constructed using variables, symbols, connectives and quantifiers, but no difference is made between function and predicate symbols. In models, a pattern evaluates into a power-set domain (the set of values...

A number of arguments, including (Whittle 2004), (Field 2008), (Shapiro 2012), and (Beall & Murzi 2012), have been put forward for the claim that logical validity is plagued by a paradox (or paradoxes) similar to the more well-known paradoxes that afflict notions such as truth, knowledge, or set. These claims are incorrect. As I will show here, there is no paradox of logical validity. In additi...