871 resultados para propositional linear-time temporal logic
Resumo:
When the offset of a visual stimulus (GAP condition) precedes the onset of a target, saccadic reaction times are reduced in relation to the condition with no offset (overlap condition) - the GAP effect. However, the existence of the GAP effect for manual responses is still controversial. In two experiments using both simple (Experiment 1, N = 18) and choice key-press procedures (Experiment 2, N = 12), we looked for the GAP effect in manual responses and investigated possible contextual influences on it. Participants were asked to respond to the imperative stimulus that would occur under different experimental contexts, created by varying the array of warning-stimulus intervals (0, 300 and 1000 ms) and conditions (GAP and overlap): i) intervals and conditions were randomized throughout the experiment; ii) conditions were run in different blocks and intervals were randomized; iii) intervals were run in different blocks and conditions were randomized. Our data showed that no GAP effect was obtained for any manipulation. The predictability of stimulus occurrence produced the strongest influence on response latencies. In Experiment 1, simple manual responses were shorter when the intervals were blocked (247 ms, P < 0.001) in relation to the other two contexts (274 and 279 ms). Despite the use of choice key-press procedures, Experiment 2 produced a similar pattern of results. A discussion addressing the critical conditions to obtain the GAP effect for distinct motor responses is presented. In short, our data stress the relevance of the temporal allocation of attention for behavioral performance.
Resumo:
Time series analysis can be categorized into three different approaches: classical, Box-Jenkins, and State space. Classical approach makes a basement for the analysis and Box-Jenkins approach is an improvement of the classical approach and deals with stationary time series. State space approach allows time variant factors and covers up a broader area of time series analysis. This thesis focuses on parameter identifiablity of different parameter estimation methods such as LSQ, Yule-Walker, MLE which are used in the above time series analysis approaches. Also the Kalman filter method and smoothing techniques are integrated with the state space approach and MLE method to estimate parameters allowing them to change over time. Parameter estimation is carried out by repeating estimation and integrating with MCMC and inspect how well different estimation methods can identify the optimal model parameters. Identification is performed in probabilistic and general senses and compare the results in order to study and represent identifiability more informative way.
Resumo:
Gastroesophageal reflux (GER) is common in asthma patients and can contribute to sleep disruption. The aim of the present study was to determine the time-related distribution of GER events together with their impact on sleep in asthmatic subjects with GER disease symptoms. The inclusion criteria were: 18-65 years, controlled moderate to severe asthma and GER-compatible clinical evidence. The exclusion criteria were: chronic obstructive lung disease, smoking, infections of the upper airways, use of oral corticosteroids, other co-morbidities, pregnancy, sleep-related disorders, night-time shift work, and the use of substances with impact on sleep. Asthmatic patients with nocturnal symptoms were excluded. All-night polysomnography and esophageal pH monitoring were recorded simultaneously. Of the 147 subjects selected, 31 patients and 31 controls were included. Seventeen patients were classified as DeMeester positive and 14 as DeMeester negative. Both groups displayed similar outcomes when general variables were considered. Sleep stage modification one minute prior to GER was observed in the DeMeester-positive group. Awakening was the most frequent occurrence at GER onset and during the 1-min period preceding 38% of the nocturnal GER. Sleep stage 2 was also prevalent and preceded 36% of GER events. In the DeMeester-negative group, awakening was the most frequent response before and during GER. Modifications in sleep stages, arousals or awakenings were associated with 75% of the total GER events analyzed during the period of one minute before and after the fall of esophageal pH below 4 in the DeMeester-positive group. These data provide evidence that sleep modifications precede the GER events in asthmatic patients.
Resumo:
The aim of the present study was to compare heart rate variability (HRV) at rest and during exercise using a temporal series obtained with the Polar S810i monitor and a signal from a LYNX® signal conditioner (BIO EMG 1000 model) with a channel configured for the acquisition of ECG signals. Fifteen healthy subjects aged 20.9 ± 1.4 years were analyzed. The subjects remained at rest for 20 min and performed exercise for another 20 min with the workload selected to achieve 60% of submaximal heart rate. RR series were obtained for each individual with a Polar S810i instrument and with an ECG analyzed with a biological signal conditioner. The HRV indices (rMSSD, pNN50, LFnu, HFnu, and LF/HF) were calculated after signal processing and analysis. The unpaired Student t-test and intraclass correlation coefficient were used for data analysis. No statistically significant differences were observed when comparing the values analyzed by means of the two devices for HRV at rest and during exercise. The intraclass correlation coefficient demonstrated satisfactory correlation between the values obtained by the devices at rest (pNN50 = 0.994; rMSSD = 0.995; LFnu = 0.978; HFnu = 0.978; LF/HF = 0.982) and during exercise (pNN50 = 0.869; rMSSD = 0.929; LFnu = 0.973; HFnu = 0.973; LF/HF = 0.942). The calculation of HRV values by means of temporal series obtained from the Polar S810i instrument appears to be as reliable as those obtained by processing the ECG signal captured with a signal conditioner.
Resumo:
The objectives of this study were to evaluate and compare the use of linear and nonlinear methods for analysis of heart rate variability (HRV) in healthy subjects and in patients after acute myocardial infarction (AMI). Heart rate (HR) was recorded for 15 min in the supine position in 10 patients with AMI taking β-blockers (aged 57 ± 9 years) and in 11 healthy subjects (aged 53 ± 4 years). HRV was analyzed in the time domain (RMSSD and RMSM), the frequency domain using low- and high-frequency bands in normalized units (nu; LFnu and HFnu) and the LF/HF ratio and approximate entropy (ApEn) were determined. There was a correlation (P < 0.05) of RMSSD, RMSM, LFnu, HFnu, and the LF/HF ratio index with the ApEn of the AMI group on the 2nd (r = 0.87, 0.65, 0.72, 0.72, and 0.64) and 7th day (r = 0.88, 0.70, 0.69, 0.69, and 0.87) and of the healthy group (r = 0.63, 0.71, 0.63, 0.63, and 0.74), respectively. The median HRV indexes of the AMI group on the 2nd and 7th day differed from the healthy group (P < 0.05): RMSSD = 10.37, 19.95, 24.81; RMSM = 23.47, 31.96, 43.79; LFnu = 0.79, 0.79, 0.62; HFnu = 0.20, 0.20, 0.37; LF/HF ratio = 3.87, 3.94, 1.65; ApEn = 1.01, 1.24, 1.31, respectively. There was agreement between the methods, suggesting that these have the same power to evaluate autonomic modulation of HR in both AMI patients and healthy subjects. AMI contributed to a reduction in cardiac signal irregularity, higher sympathetic modulation and lower vagal modulation.
Resumo:
The DNA extraction is a critical step in Genetically Modified Organisms analysis based on real-time PCR. In this study, the CTAB and DNeasy methods provided good quality and quantity of DNA from the texturized soy protein, infant formula, and soy milk samples. Concerning the Certified Reference Material consisting of 5% Roundup Ready® soybean, neither method yielded DNA of good quality. However, the dilution test applied in the CTAB extracts showed no interference of inhibitory substances. The PCR efficiencies of lectin target amplification were not statistically different, and the coefficients of correlation (R²) demonstrated high degree of correlation between the copy numbers and the threshold cycle (Ct) values. ANOVA showed suitable adjustment of the regression and absence of significant linear deviations. The efficiencies of the p35S amplification were not statistically different, and all R² values using DNeasy extracts were above 0.98 with no significant linear deviations. Two out of three R² values using CTAB extracts were lower than 0.98, corresponding to lower degree of correlation, and the lack-of-fit test showed significant linear deviation in one run. The comparative analysis of the Ct values for the p35S and lectin targets demonstrated no statistical significant differences between the analytical curves of each target.
Resumo:
The objectives of this study were to understand how genotype, storage time, and storage conditions affect cooking time of beans and to indicate storage techniques that do not affect the cooking time. The grains were subjected to five different storage periods and six different storage conditions. The cooking time was estimated using the Mattson Cooker. The data were subjected to analysis of variance and a subsequent adjustment of simple linear regression for deployment of the interactions between the factors. Contrasts were used to determine the best levels of the factor storage condition. Genotype did not impact cooking time when the storage time and storage conditions were considered. Time and storage conditions affect the cooking time of beans in a dependent manner, but time of storage had the biggest influence. The best conditions for long-term storage of beans ensuring a smaller increase in cooking time is plastic storage at low temperatures. Thus, plastic freezer storage is a practical alternative for consumers.
Resumo:
Time Frames brings together a group of cultural historians studying several different periods and locations in the history of Western culture, to discuss the temporal structures which historical studies live by. How do we construct chronologies and temporal sequences? How should we approach the discontinuity and particularity of the past, and its periodization? Deploying ideas and frames from three contemporary conceptual debates - spatial organisation, constructions of experience, and the cultural embeddedness of individual agency - the writers of this book propose methods of historicizing and explore what cultural history is about today.
Resumo:
Intelligence from a human source, that is falsely thought to be true, is potentially more harmful than a total lack of it. The veracity assessment of the gathered intelligence is one of the most important phases of the intelligence process. Lie detection and veracity assessment methods have been studied widely but a comprehensive analysis of these methods’ applicability is lacking. There are some problems related to the efficacy of lie detection and veracity assessment. According to a conventional belief an almighty lie detection method, that is almost 100% accurate and suitable for any social encounter, exists. However, scientific studies have shown that this is not the case, and popular approaches are often over simplified. The main research question of this study was: What is the applicability of veracity assessment methods, which are reliable and are based on scientific proof, in terms of the following criteria? o Accuracy, i.e. probability of detecting deception successfully o Ease of Use, i.e. easiness to apply the method correctly o Time Required to apply the method reliably o No Need for Special Equipment o Unobtrusiveness of the method In order to get an answer to the main research question, the following supporting research questions were answered first: What kinds of interviewing and interrogation techniques exist and how could they be used in the intelligence interview context, what kinds of lie detection and veracity assessment methods exist that are reliable and are based on scientific proof and what kind of uncertainty and other limitations are included in these methods? Two major databases, Google Scholar and Science Direct, were used to search and collect existing topic related studies and other papers. After the search phase, the understanding of the existing lie detection and veracity assessment methods was established through a meta-analysis. Multi Criteria Analysis utilizing Analytic Hierarchy Process was conducted to compare scientifically valid lie detection and veracity assessment methods in terms of the assessment criteria. In addition, a field study was arranged to get a firsthand experience of the applicability of different lie detection and veracity assessment methods. The Studied Features of Discourse and the Studied Features of Nonverbal Communication gained the highest ranking in overall applicability. They were assessed to be the easiest and fastest to apply, and to have required temporal and contextual sensitivity. The Plausibility and Inner Logic of the Statement, the Method for Assessing the Credibility of Evidence and the Criteria Based Content Analysis were also found to be useful, but with some limitations. The Discourse Analysis and the Polygraph were assessed to be the least applicable. Results from the field study support these findings. However, it was also discovered that the most applicable methods are not entirely troublefree either. In addition, this study highlighted that three channels of information, Content, Discourse and Nonverbal Communication, can be subjected to veracity assessment methods that are scientifically defensible. There is at least one reliable and applicable veracity assessment method for each of the three channels. All of the methods require disciplined application and a scientific working approach. There are no quick gains if high accuracy and reliability is desired. Since most of the current lie detection studies are concentrated around a scenario, where roughly half of the assessed people are totally truthful and the other half are liars who present a well prepared cover story, it is proposed that in future studies lie detection and veracity assessment methods are tested against partially truthful human sources. This kind of test setup would highlight new challenges and opportunities for the use of existing and widely studied lie detection methods, as well as for the modern ones that are still under development.
Resumo:
I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.
Resumo:
Individual differences in male sexual behav~our and the factors influencing calling behaviour were studied in the field crickets Gryllus 2 integer and Q. veletis. In a large (13m) outdoor arena individually numbered adult male ~~ integer started calling at three to five days of age but thereafter the age of individual G. integer males did not affect nightly calling duration. Calling also did not correlate with individual weight. In this study individual male calling was continuously distributed from 0 hrs. per night to 3.5 hrs. per night, on average. A temporal effect on the number of G. integer males calling was observed. The number of males calling through the night was uniform, but a sharp increase in the number calling was observed in the early morning. No difference in calling times was observed between the night and dawn callers. AlsC)' males calling at dawn usually didnotc'all during the preceeding night. Calling and reproductive success in 1979 demonstrated a negative logarithmic relationship while in the 1980(initial) population a negative linear relationship was observed. No relationship was seen in the 1980 high density population. The ratio of non-callers to callers also affected the mating of individuals in the 1979 and1980(initial) densities:-non~callers (males calling .5 hrs. per night, on average, or less) obtained more females when the population contained a high number of callers, this being a negative logarithmic relationship to, No such relationship was observed in the 1980 high density population. Individual displacement varied nightly and was not correlated to amount of calling or reproductive success of individual G. integer males. G. integer males were displa~ed more when in a higher density in the outdoor arena Male G. integer and G. veletis behaviours were also observed in an indoor arena at different densities and, in G. veletis, with respect to female presence. When females were present in the arena, in G. veletis, male calling was reduced. Males of both species called less, on average, when in ~ higher density, than when they were in a lower density. Male displacement of both species increased on average when in a higher density as compared to displacement in a lower density. Aggression was measured by aggressive call-ing and fighting and was studied in regards to density.G. integer demonstrated less aggression in all but one comparison at higher density. No difference was observed in the ratio of aggressive calling to f.ighting comparison in G. integer. G. veletis demonstrated mixed results. No difference in aggression between densities was observed in comparisons. Less.aggression did occur in higher densities when comparisons invol.ved fighting behaviour. Male behaviour represents a competitive strategy against ot~er males, strategy being defined as a genetic (in part) alternative to other strategies. In this sense, the factors of time, density, male-male aggression, and female presence are conditions demonstrated to affect male behaviour in G. integer and G. veletis. Individual male differences and other considerations suggest that alternative male behaviours are represented by at least two conditional strategies. This possibility, and the transient 'or stable nature of genetic polymorphisms in field cricket behaviour are considered.
Resumo:
A series of permanent line transects established on fourteen reefs on the eastern seaboard of the Gulf of Thailand were monitored through a three-year period (1995- 1998) using a video transect method. Hierarchical cluster analysis shows three distinctive reef community types dominated by 1) Porites, 2) Acropora and 3) zoantharians. The reefs are developed under naturally turbid conditions and relatively low salinity due to the proximity of four major river outlets located in the uppermost area of the gulf. The number of Acroporid species on the reefs is positively correlated with distance from the major flver outlets. Eighty-seven species of scleractinian coral were found on the transects. Over the three-year period, the comparison of 1995-97-98 matched stations using Repeated Measures ANOV A reveals no significant time-dependent change in percent area cover of reef components except for an overall significant reduction in the faviid coral component. In the 1997-98 matched station comparison, statistical tests reveal significant increases in both Acropora and Porites components that translated into an overall increase in total living coral cover. These findings indicate that the overall environmental conditions have been favorable for coral growth. Outcompetition of massive corals by faster growing corals on several reefs also indicates conditions favorable for reef expansion. Growth of newlyformed Porites colonies over primary rock substrate and dead coral skeleton was presumably responsible for its rapid increase. Although these reefs are in an area of rapid industrialization and population growth, resultant anthropogenic effects have not yet stopped active coral accretion.
Resumo:
Female enthusiasm towards engaging in physical education (PE) significantly decreases with age as it provides females with positive and negative emotional experiences. This study examined emotions within four grade nine female PE soccer and fitness classes (N = 67). Emotional patterns were studied over time and across two units of instruction and in relation to student grades. A mixed-method approach was utilized assessing the state emotions of shame, enjoyment, anxiety, and social physique anxiety (SPA). Results revealed unsatisfactory internal consistency for shame and thus it was removed. Statistical analysis revealed no significant changes in emotions over time, whereas qualitative analysis found that state emotions were inconsistent. Statistical analysis indicated that students in the fitness classes reported significantly higher levels of anxiety and SPA on the final class (p < .01). Qualitative analysis signaled different origins and themes of students‟ emotions. No predictive relationship between emotion and students‟ grade was found.
Resumo:
In this paper, we introduce a new approach for volatility modeling in discrete and continuous time. We follow the stochastic volatility literature by assuming that the variance is a function of a state variable. However, instead of assuming that the loading function is ad hoc (e.g., exponential or affine), we assume that it is a linear combination of the eigenfunctions of the conditional expectation (resp. infinitesimal generator) operator associated to the state variable in discrete (resp. continuous) time. Special examples are the popular log-normal and square-root models where the eigenfunctions are the Hermite and Laguerre polynomials respectively. The eigenfunction approach has at least six advantages: i) it is general since any square integrable function may be written as a linear combination of the eigenfunctions; ii) the orthogonality of the eigenfunctions leads to the traditional interpretations of the linear principal components analysis; iii) the implied dynamics of the variance and squared return processes are ARMA and, hence, simple for forecasting and inference purposes; (iv) more importantly, this generates fat tails for the variance and returns processes; v) in contrast to popular models, the variance of the variance is a flexible function of the variance; vi) these models are closed under temporal aggregation.
Resumo:
This paper uses a standard two-period overlapping generation model to examine the behavior of an economy where both intergenerational transfers of time and bequests are available. While bequests have been examined extensively, time transfers have received little or no attention in the literature. Assuming a log-linear utility function and a Cobb-Douglas production function, we derive an explicit solution for the dynamics and show that altruistic intergenerational time transfers can take place in presence of a binding non-negativity constraint on bequests. We also show that with either type of transfers capital is an increasing function of the intergenerational degree of altruism. However, while with time transfers the labor supply of the young increases with the degree of altruism, with bequests it may decrease