ASYM20: a program for force constant and normal coordinate calculations, with a critical review of the theory involved

The theory of harmonic force constant refinement calculations is reviewed, and a general-purpose program for force constant and normal coordinate calculations is described. The program, called ASYM20. is available through Quantum Chemistry Program Exchange. It will work on molecules of any symmetry containing up to 20 atoms and will produce results on a series of isotopomers as desired. The vibrational secular equations are solved in either nonredundant valence internal coordinates or symmetry coordinates. As well as calculating the (harmonic) vibrational wavenumbers and normal coordinates, the program will calculate centrifugal distortion constants, Coriolis zeta constants, harmonic contributions to the α′s. root-mean-square amplitudes of vibration, and other quantities related to gas electron-diffraction studies and thermodynamic properties. The program will work in either a predict mode, in which it calculates results from an input force field, or in a refine mode, in which it refines an input force field by least squares to fit observed data on the quantities mentioned above. Predicate values of the force constants may be included in the data set for a least-squares refinement. The program is written in FORTRAN for use on a PC or a mainframe computer. Operation is mainly controlled by steering indices in the input data file, but some interactive control is also implemented.

Coargumenthood and the processing of reflexives

We report three eye-movement experiments and an antecedent choice task investigating the interpretation of reflexives in different syntactic contexts. This included contexts in which the reflexive and a local antecedent were coarguments of the same verbal predicate (John heard that the soldier had injured himself), and also so-called picture noun phrases, either with a possessor (John heard about the soldier’s picture of himself) or without (John heard that the soldier had a picture of himself). While results from the antecedent choice task indicated that comprehenders would choose a nonlocal antecedent (‘John’ above) for reflexives in either type of picture noun phrase, the eye-movement experiments suggested that participants preferred to initially interpret the reflexive in each context as referring to the local antecedent (‘the soldier’), as indexed by longer reading times when it mismatched in gender with the reflexive. We also observed a difference in the time-course of this effect. While it was observed during first-pass processing at the reflexive for coargument reflexives and those in picture noun phrases with a possessor, it was comparatively delayed for reflexives in possessorless picture noun phrases. These results suggest that locality constraints are more strongly weighted cues to retrieval than gender agreement for both coargument reflexives and those inside picture noun phrases. We interpret the observed time-course differences as indexing the relative ease of accessing the local antecedent in different syntactic contexts.

Heaps and Chains: Is the Chaining Argument for parity a sorites?

I argue that the Ruth Chang’s Chaining Argument for her parity view of value incomparability trades illicitly on the vagueness of the predicate ‘is comparable with’. Chang is alert to this danger and argues that the predicate is not vague, but this defense does not succeed. The Chaining Argument also faces a dilemma. The predicate is either vague or precise. If it is vague, then the argument is most plausibly a sorites. If it is precise, then the argument is either question begging or dialectically ineffective. I argue that no chaining-type argument can succeed.

Borderline cases and the collapsing principle

John Broome has argued that value incommensurability is vagueness, by appeal to a controversial ‘collapsing principle’ about comparative indeterminacy. I offer a new counterexample to the collapsing principle. That principle allows us to derive an outright contradiction from the claim that some object is a borderline case of some predicate. But if there are no borderline cases, then the principle is empty. The collapsing principle is either false or empty.

Perfective marking in L2 Mandarin: agreement with inherent lexical aspect or the derived Sentential Aspectual class?

This study evaluates the differing claims of the Aspect Hypothesis (Anderson & Shirai 1996) and the Sentential Aspect Hypothesis (Sharma & Deo 2009) for perfective marking by L1 English learners of Mandarin. The AH predicts a narrow focus on inherent lexical aspect (the verb and predicate) in determining the use of the perfective marker le, whilst the SAH suggests that – subject to L1 influence – perfective marking agrees with the final derived aspectual class of the sentence. To test these claims data were collected using a controlled le-insertion task, combined with oral corpus data. The results show that learners’ perfective marking patterns with the sentential aspectual class and not inherent lexical aspect (where these differ), and that overall the sentential aspectual class better predicts learners’ assignment of perfective marking than lexical aspect.

Ne videt, ne znat – det direkta objektets kasus vid två negerade ryska verb

This essay examines the case of the direct object in Russian sentences with the negated verbs не видеть and не знать. For each verb, 50 contexts were downloaded from the newspaper corpus of the Russian National Corpus and analysed with respect to the semantic properties of the direct object and the negated verb. The theories and concepts used for the analysis have been outlined in Padutjeva, 2006. The analysis of не видеть suggests that the main difference between the genitive and the ac-cusative case is to be found in the notion of non-existence or absence implicated by the verb’s semantics. In utterances with не видеть as a predicate, this notion is always present and is expressed by the genitive case. The speaker may also choose to ignore it by using the accusa-tive and thus emphasize some other aspect of the described situation. The examined properties of reference, definiteness and denotative status of the direct object seem to play a secondary role for how case is used. Their influence is to delimit the meaning of the objective genitive to either non-existence or absence. No similar conclusions could be drawn from the examination of не знать. The reason for this is that the concept of private sphere, used by Padutjeva to explain the use of objective geni-tive with this verb, could not be properly established during the analysis. Just as the notion of absence is crucial for the understanding of the objective genitive when it occurs with не видеть, the concept private sphere seems to be the key to understand it when it occurs with не знать.

Searching for Invariants Using Temporal Resolution

In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants, and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.

As sentenças com é ruim que no português brasileiro

Based on studies on the structure of copulates sentences in Brazilian Portuguese (PB), according to grammar theory, it s analyzed on this dissertation, the complex copulate sentences what, in the PB, initiated by the formation é ruim que in the PB, bringing the hypothesis that they can have one predicacional reading (PRED) and other especificacional reading (ESP). It s revealed what, though they are similar slightly, that makes the different that are triggered is structural configuration of sentence and the form as come emerged the its constituents: that of PRED interpretation, that we defined as Common Copulate Sentence (or SCC), it s checked that the constituent ruim, and only it, is predicate of a Small Clause, and appears in the structure on even position wherein is pronounced, not passing by the method of movement, from where introduce wide predication on all subject, that is the CP built-in; those sentences é ruim que understanding ESP, that denominate of Negative Copulate Sentence (or SCN), whereas the fixed expression contradict or right what is asserted in built-in, it s perceived what the ruim is a part of this fixed expression, and surely crystallized, which appears in structure per movement, germinated as adjunct of Inflexional Phrase (IP) and being elevation to specifier to FocP (or SpecFocP), where acquires discursive interpretation of focus. Besides the mode as the ruim or the fixed expression emerge in that sentences, the relation between the copula and main verb likewise contribute to distinguish the sentences: 1) regarding flexion of mode, when is a SCC, the copula must be in the mode indicative, and the main verb, in the subjunctive; when is a SCN, copula and main verb must be always on indicative; 2) regarding flexion of temp, both the copula as main verb of the SCC can be flexed, whereas at the SCN, the main verb can vary in present, past and future, but the copula should appear, necessarily, in third persona of present of indicative, what confirms our hypothesis that there is an fixed expression at the copulate sentences with é ruim que ESP. Other two evidences are pointed as characteristics that distinguish the sentence with é ruim que PRED of sentence with é ruim que ESP: 1) in semantics, the constituent ruim equals not good, that has appreciation, when the reading will PRED; already the pair é ruim equals not, at the ESP; 2) in prosody, there discrete sound elevation the ruim on the other constituents of SCC, PRED, while there is accentuated acoustic elevation on the ruim of SCN, ESP. Our search it is grounded in authors as Zanfeliz (2000), Modesto (2001), Mioto (2003), Kato & Ribeiro (2006), Lobo (2006), Quarezemin (2006, 2009, 2011, 2012) e Resenes (2009), researchers that devoted their attention on studies the formation and organization of the constituents of cleaved sentences and focalization of constituent, basing itself in approach generative of linguistic

Abordagem cognitiva da construção deverbal x-dor: contribuições para o ensino do português

This work analyzes deverbal nominalizations with the sufix dor in Brazilian Portuguese, under the perspective of Cognitive Linguistics, more specifically, the Construction Grammar. The aim is to determine the general features of interpretation that characterize this deverbal construction and its use in formal writing. Based on the cognitive assumption that grammatical structure is motivated, explained, and determined by the structure of cognitive patterns, created from our experience in the world, and by the communicative function of language, the dor deverbal is treated as a polysemic grammatical construction. In the composition of V+dor, the relation rootsuffix is focused, through a characterization of the syntactic-semantic nature of the verb and the values of the suffix. Among the different values conventionally related to the XDOR construction, the agentive is considered as the prototypical sense. The relation between the other values and the prototype is explained by cognitive abilities and discourse motivations. The deverbal construction X-DOR is also interpreted as a valency noun that, like an action nominal, retains the argument structure of the deriving predicate. It is also intended to demonstrate the textual function of this deverbal construction, as a device of information condensing and anaphoric recovery. The data were taken from Veja magazine and the approach is qualitative (explicative), with quantitative support

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Motivações em competição na variação sociolinguística: o plural dos predicativos na variedade de São José de Rio Preto

O objetivo deste trabalho é o de submeter a um tratamento variacionista, de base quantitativa, dados de marcação variável de plural no SN e no SA em contexto de predicativo, obtidos em córpus coletado na região de São José do Rio Preto. O trabalho procura examinar se a marcação de pluralidade nos predicativos pode ser explicada com base em motivações exclusivamente formais, ou exclusivamente funcionais, ou ainda, com base na interação entre ambas, que consistiriam, assim, em motivações em competição. Os resultados indicam que nem as motivações funcionais, nem as motivações formais regem solitariamente o fenômeno, que aparece fortemente condicionado por uma restrição externa específica, o grau de escolaridade. Por essa razão, a explicação mais plausível para a marcação de pluralidade nos predicativos é a de que há motivações em competição, nos termos de Du Bois (1985), e é a marcação de pluralidade o bem limitado, pelo qual forças múltiplas, as motivações formais ou internas e funcionais ou externas, competem entre si.

Valência do nome deverbal e nominalidade prototípica

O objetivo deste trabalho é mostrar que os nomes deverbais preservam a estrutura argumental do verbo input correspondente e que a especificação ou não dos argumentos no interior do termo nominal depende de um conjunto de fatores pragmáticos, especialmente relacionados a informação de curto termo compartilhada pelos participantes da interação. Como implicação teórica, a análise preserva a idéia de que há um processo gradual de descategorização verbal, que se reflete nos diferentes tipos de marcação gramatical. Conforme o predicado verbal ganha estatuto nominal, as marcações tipicamente oracionais dão lugar a outros mecanismos, como marcação argumental por preposição, modificação por adjetivo, uso de pronomes possessivos, que acompanham apropriadamente um núcleo nominal.

Reducing the gap between mobile and intelligent software agents

This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an appropriate inference engine of small size to reduce migration costs. The main goal is combine two lines of agent research, First, the engineering oriented approach on mobile agent architectures, and, second, the AI related approach on inference engines driven by rules expressed in a restricted subset of first-order predicate logic (FOPL). In addition to size reduction, the main functions of this type of engine were isolated, generalized and implemented as dynamic components, making possible not only their migration with the agent, but also their dynamic migration and loading on demand. A set of classes for representing and exchanging knowledge between rule-based systems was also proposed.

O uso variável do modo subjuntivo em estruturas complexas

Pós-graduação em Estudos Linguísticos - IBILCE