Leung and colleagues have revealed a five-dimensional structure of social axioms across individua... more Leung and colleagues have revealed a five-dimensional structure of social axioms across individuals from five cultural groups. The present research was designed to reveal the culture level factor structure of social axioms and its correlates across 41 nations. An ecological factor analysis on the 60 items of the Social Axioms Survey extracted two factors: Dynamic Externality correlates with value measures tapping collectivism, hierarchy, and conservatism and with national indices indicative of lower social development. Societal Cynicism is less strongly and broadly correlated with previous values measures or other national indices and seems to define a novel cultural syndrome. Its national correlates suggest that it taps the cognitive component of a cultural constellation labeled maleficence, a cultural syndrome associated with a general mistrust of social systems and other people. Discussion focused on the meaning of these national level factors of beliefs and on their relationship...
Leung and colleagues have revealed a five-dimensional structure of social axioms across individua... more Leung and colleagues have revealed a five-dimensional structure of social axioms across individuals from five cultural groups. The present research was designed to reveal the culture level factor structure of social axioms and its correlates across 41 nations. An ecological factor analysis on the 60 items of the Social Axioms Survey extracted two factors: Dynamic Externality correlates with value measures tapping collectivism, hierarchy, and conservatism and with national indices indicative of lower social development. Societal Cynicism is less strongly and broadly correlated with previous values measures or other national indices and seems to define a novel cultural syndrome. Its national correlates suggest that it taps the cognitive component 550 JOURNAL OF CROSS-CULTURAL PSYCHOLOGY of a cultural constellation labeled maleficence, a cultural syndrome associated with a general mistrust of social systems and other people. Discussion focused on the meaning of these national level factors of beliefs and on their relationships with individual level factors of belief derived from the same data set.
Abordamos a trajetória de proprietários rurais da Região Submédio Rio São Francisco, Pernambuco ... more Abordamos a trajetória de proprietários rurais da Região Submédio Rio São Francisco, Pernambuco no século XIX. As pesquisas são baseadas em fontes judiciais e cartoriais. Neste estudo, caracterizamos a formação social, politica e econômica de fazendeiros no período de implantação da Lei de Terras de 1850 e os impactos que provocaram na constituição de latifúndios em forma de condomínios familiares. Constatamos que movidos em rede de sociabilidade, famílias tradicionais de proprietários fundiários não somente comandaram a burocracia administrativa local, mas, também participaram ativamente da construção sociocultural e econômica desse espaço chamado Sertão do Nordeste. Palavras-chave: redes de sociabilidade, poder político, família, elite. O presente artigo está publicado como capitulo 10 do livro Poder Local, Educação e Cultura em Pernambuco. Paco Editorial, 2014. José Adilson Filho (org).
Leung and colleagues have revealed a five-dimensional structure of social axioms across individua... more Leung and colleagues have revealed a five-dimensional structure of social axioms across individuals from five cultural groups. The present research was designed to reveal the culture level factor structure of social axioms and its correlates across 41 nations. An ecological factor analysis on the 60 items of the Social Axioms Survey extracted two factors: Dynamic Externality correlates with value measures tapping collectivism, hierarchy, and conservatism and with national indices indicative of lower social development. Societal Cynicism is less strongly and broadly correlated with previous values measures or other national indices and seems to define a novel cultural syndrome. Its national correlates suggest that it taps the cognitive component 550 JOURNAL OF CROSS-CULTURAL PSYCHOLOGY of a cultural constellation labeled maleficence, a cultural syndrome associated with a general mistrust of social systems and other people. Discussion focused on the meaning of these national level factors of beliefs and on their relationships with individual level factors of belief derived from the same data set.
Although theoretically it is very powerful, the semantic path ordering (SPO) is not so useful in ... more Although theoretically it is very powerful, the semantic path ordering (SPO) is not so useful in practice, since its monotonicity has to be proved by hand for each concrete term rewrite system (TRS). In this paper we present a monotonic variation of SPO, called MSPO. It characterizes termination, i.e., a TRS is terminating if and only if its rules are included in some MSPO. Hence MSPO is a complete termination method. On the practical side, it can be easily automated using as ingredients standard interpretations and general-purpose orderings like RPO. This is shown to be a sufficiently powerful way to handle several non-trivial examples and to obtain methods like dummy elimination or dependency pairs (without the dependency graph refinement) as particular cases. Finally, we obtain some positive modularity results for termination based on MSPO.
Journal of Strength and Conditioning Research, 2002
This study was designed to investigate the effects of conjugated linoleic acid (CLA) supplementat... more This study was designed to investigate the effects of conjugated linoleic acid (CLA) supplementation and endurance exercise training-induced changes on post-heparin lipoprotein lipase (PH-LPL) and butyrylcholinesterase (BChE) activities along with leptin, insulin and lipid levels in plasma by a randomized double blind experiment. Eighteen sedentary male volunteers were randomly divided into CLA and Placebo (PLC) supplementation groups. Both groups underwent daily supplementation of either 3 g CLA or 3 g placebo for 30 days, respectively, and performed exercise on a bicycle ergometer 3 times per week for 30-40 min at 50% VO 2 peak workload. For plasma glucose, insulin and leptin levels and BChE activity fasting blood was used. For PH-LPL measurements, blood was collected 15 min after 50 IU/kg iv heparin injection. In all groups, there is a statistically significant decrease in BChE (p = 0.03, p = 0.02) and leptin (p = 0.002), insulin and HOMA-IR levels (p = 0.02). Exercise with or without CLA supplementation decreased insulin levels and increased insulin sensitivity. PH-LPL activity was increased significantly in both groups, displaying increased fatty acid mobilization. We conclude that though CLA supplementation and exercise can affect these parameters, CLA is not more effective than exercise alone. Hence, a prolonged supplementation regime may be more effective. Taken together in our small study group, our findings display that BChE is a potential marker for synthetic function of liver, fat metabolism, an obesity marker, a function long overlooked.
Purpose: To determine the effects of 28 d of creatine supplementation during training on body com... more Purpose: To determine the effects of 28 d of creatine supplementation during training on body composition, strength, sprint performance, and hematological profiles.
Proceedings of The National Academy of Sciences, 1995
Platelet-activating factor (PAF; 1-O-alkyl-2acetyl-sn-glycero-3-phosphocholine), which is thought... more Platelet-activating factor (PAF; 1-O-alkyl-2acetyl-sn-glycero-3-phosphocholine), which is thought to be a retrograde messenger in long-term potentiation (LTP), enhances glutamate release and LTP through an action on presynaptic nerve endings. The PAF antagonist BN 52021 blocks CAI LTP in hippocampal slices, and, when infused into rat dorsal hippocampus preor posttraining, blocks retention of inhibitory avoidance. Here we report that memory is affected by preor posttraining infusion of the PAF analog 1-O-hexadecyl-2-N-methylcarbamoyl-sn-glycero-3-phosphocholine (mc-PAF) into either rat dorsal hippocampus, amygdala, or entorhinal cortex. Male Wistar rats were implanted
Well-foundedness is the essential property of orderings for proving termination. We introduce a s... more Well-foundedness is the essential property of orderings for proving termination. We introduce a simple criterion on term orderings such that any term ordering possessing the subterm property and satisfying this criterion is well-founded. The usual path orders fulfil this criterion, yielding a much simpler proof of well-foundedness than the classical proof depending on Kruskal's theorem. Even more, our approach covers non-simplification orders like spo and gpo which can not be dealt with by Kruskal's theorem. For finite alphabets we present completeness results, i. e., a term rewriting system terminates if and only if it is compatible with an order satisfying the criterion. For infinite alphabets the same completeness results hold for a slightly different criterion.
We investigate a technique whose goal is to simplify the task of proving termination of term rewr... more We investigate a technique whose goal is to simplify the task of proving termination of term rewriting systems. The technique consists of a transformation which eliminates function symbols considered “useless” and simplifies the rewrite rules. We show that the transformation is sound, i. e., termination of the original system can be inferred from termination of the transformed one. For proving this result we use a new notion of lifting of orders that is a generalization of the multiset construction.
Termination is an important issue in the theory of term rewriting. In general termination is unde... more Termination is an important issue in the theory of term rewriting. In general termination is undecidable. There are nevertheless several methods successful in special cases. In [5] we introduced the notion of total termination: basically terms are interpreted compositionally in a total well-founded order, in such a way that rewriting chains map to descending chains. Total termination is thus a semantic notion. It turns out that most of the usual techniques for proving termination fall within the scope of total termination. This paper consists of two parts. In the first part we introduce a generalization of recursive path order presenting a new proof of its well-foundedness without using Kruskal's theorem. We also show that the notion of total termination covers this generalization. In the second part we present some syntactical characterizations of total termination that can be used to prove that many term rewriting systems are not totally terminating and hence outside the scope of the usual techniques. One of these characterizations can be considered as a sound and complete description of totality of orderings on terms.
Leung and colleagues have revealed a five-dimensional structure of social axioms across individua... more Leung and colleagues have revealed a five-dimensional structure of social axioms across individuals from five cultural groups. The present research was designed to reveal the culture level factor structure of social axioms and its correlates across 41 nations. An ecological factor analysis on the 60 items of the Social Axioms Survey extracted two factors: Dynamic Externality correlates with value measures tapping collectivism, hierarchy, and conservatism and with national indices indicative of lower social development. Societal Cynicism is less strongly and broadly correlated with previous values measures or other national indices and seems to define a novel cultural syndrome. Its national correlates suggest that it taps the cognitive component of a cultural constellation labeled maleficence, a cultural syndrome associated with a general mistrust of social systems and other people. Discussion focused on the meaning of these national level factors of beliefs and on their relationship...
Leung and colleagues have revealed a five-dimensional structure of social axioms across individua... more Leung and colleagues have revealed a five-dimensional structure of social axioms across individuals from five cultural groups. The present research was designed to reveal the culture level factor structure of social axioms and its correlates across 41 nations. An ecological factor analysis on the 60 items of the Social Axioms Survey extracted two factors: Dynamic Externality correlates with value measures tapping collectivism, hierarchy, and conservatism and with national indices indicative of lower social development. Societal Cynicism is less strongly and broadly correlated with previous values measures or other national indices and seems to define a novel cultural syndrome. Its national correlates suggest that it taps the cognitive component 550 JOURNAL OF CROSS-CULTURAL PSYCHOLOGY of a cultural constellation labeled maleficence, a cultural syndrome associated with a general mistrust of social systems and other people. Discussion focused on the meaning of these national level factors of beliefs and on their relationships with individual level factors of belief derived from the same data set.
Abordamos a trajetória de proprietários rurais da Região Submédio Rio São Francisco, Pernambuco ... more Abordamos a trajetória de proprietários rurais da Região Submédio Rio São Francisco, Pernambuco no século XIX. As pesquisas são baseadas em fontes judiciais e cartoriais. Neste estudo, caracterizamos a formação social, politica e econômica de fazendeiros no período de implantação da Lei de Terras de 1850 e os impactos que provocaram na constituição de latifúndios em forma de condomínios familiares. Constatamos que movidos em rede de sociabilidade, famílias tradicionais de proprietários fundiários não somente comandaram a burocracia administrativa local, mas, também participaram ativamente da construção sociocultural e econômica desse espaço chamado Sertão do Nordeste. Palavras-chave: redes de sociabilidade, poder político, família, elite. O presente artigo está publicado como capitulo 10 do livro Poder Local, Educação e Cultura em Pernambuco. Paco Editorial, 2014. José Adilson Filho (org).
Leung and colleagues have revealed a five-dimensional structure of social axioms across individua... more Leung and colleagues have revealed a five-dimensional structure of social axioms across individuals from five cultural groups. The present research was designed to reveal the culture level factor structure of social axioms and its correlates across 41 nations. An ecological factor analysis on the 60 items of the Social Axioms Survey extracted two factors: Dynamic Externality correlates with value measures tapping collectivism, hierarchy, and conservatism and with national indices indicative of lower social development. Societal Cynicism is less strongly and broadly correlated with previous values measures or other national indices and seems to define a novel cultural syndrome. Its national correlates suggest that it taps the cognitive component 550 JOURNAL OF CROSS-CULTURAL PSYCHOLOGY of a cultural constellation labeled maleficence, a cultural syndrome associated with a general mistrust of social systems and other people. Discussion focused on the meaning of these national level factors of beliefs and on their relationships with individual level factors of belief derived from the same data set.
Although theoretically it is very powerful, the semantic path ordering (SPO) is not so useful in ... more Although theoretically it is very powerful, the semantic path ordering (SPO) is not so useful in practice, since its monotonicity has to be proved by hand for each concrete term rewrite system (TRS). In this paper we present a monotonic variation of SPO, called MSPO. It characterizes termination, i.e., a TRS is terminating if and only if its rules are included in some MSPO. Hence MSPO is a complete termination method. On the practical side, it can be easily automated using as ingredients standard interpretations and general-purpose orderings like RPO. This is shown to be a sufficiently powerful way to handle several non-trivial examples and to obtain methods like dummy elimination or dependency pairs (without the dependency graph refinement) as particular cases. Finally, we obtain some positive modularity results for termination based on MSPO.
Journal of Strength and Conditioning Research, 2002
This study was designed to investigate the effects of conjugated linoleic acid (CLA) supplementat... more This study was designed to investigate the effects of conjugated linoleic acid (CLA) supplementation and endurance exercise training-induced changes on post-heparin lipoprotein lipase (PH-LPL) and butyrylcholinesterase (BChE) activities along with leptin, insulin and lipid levels in plasma by a randomized double blind experiment. Eighteen sedentary male volunteers were randomly divided into CLA and Placebo (PLC) supplementation groups. Both groups underwent daily supplementation of either 3 g CLA or 3 g placebo for 30 days, respectively, and performed exercise on a bicycle ergometer 3 times per week for 30-40 min at 50% VO 2 peak workload. For plasma glucose, insulin and leptin levels and BChE activity fasting blood was used. For PH-LPL measurements, blood was collected 15 min after 50 IU/kg iv heparin injection. In all groups, there is a statistically significant decrease in BChE (p = 0.03, p = 0.02) and leptin (p = 0.002), insulin and HOMA-IR levels (p = 0.02). Exercise with or without CLA supplementation decreased insulin levels and increased insulin sensitivity. PH-LPL activity was increased significantly in both groups, displaying increased fatty acid mobilization. We conclude that though CLA supplementation and exercise can affect these parameters, CLA is not more effective than exercise alone. Hence, a prolonged supplementation regime may be more effective. Taken together in our small study group, our findings display that BChE is a potential marker for synthetic function of liver, fat metabolism, an obesity marker, a function long overlooked.
Purpose: To determine the effects of 28 d of creatine supplementation during training on body com... more Purpose: To determine the effects of 28 d of creatine supplementation during training on body composition, strength, sprint performance, and hematological profiles.
Proceedings of The National Academy of Sciences, 1995
Platelet-activating factor (PAF; 1-O-alkyl-2acetyl-sn-glycero-3-phosphocholine), which is thought... more Platelet-activating factor (PAF; 1-O-alkyl-2acetyl-sn-glycero-3-phosphocholine), which is thought to be a retrograde messenger in long-term potentiation (LTP), enhances glutamate release and LTP through an action on presynaptic nerve endings. The PAF antagonist BN 52021 blocks CAI LTP in hippocampal slices, and, when infused into rat dorsal hippocampus preor posttraining, blocks retention of inhibitory avoidance. Here we report that memory is affected by preor posttraining infusion of the PAF analog 1-O-hexadecyl-2-N-methylcarbamoyl-sn-glycero-3-phosphocholine (mc-PAF) into either rat dorsal hippocampus, amygdala, or entorhinal cortex. Male Wistar rats were implanted
Well-foundedness is the essential property of orderings for proving termination. We introduce a s... more Well-foundedness is the essential property of orderings for proving termination. We introduce a simple criterion on term orderings such that any term ordering possessing the subterm property and satisfying this criterion is well-founded. The usual path orders fulfil this criterion, yielding a much simpler proof of well-foundedness than the classical proof depending on Kruskal's theorem. Even more, our approach covers non-simplification orders like spo and gpo which can not be dealt with by Kruskal's theorem. For finite alphabets we present completeness results, i. e., a term rewriting system terminates if and only if it is compatible with an order satisfying the criterion. For infinite alphabets the same completeness results hold for a slightly different criterion.
We investigate a technique whose goal is to simplify the task of proving termination of term rewr... more We investigate a technique whose goal is to simplify the task of proving termination of term rewriting systems. The technique consists of a transformation which eliminates function symbols considered “useless” and simplifies the rewrite rules. We show that the transformation is sound, i. e., termination of the original system can be inferred from termination of the transformed one. For proving this result we use a new notion of lifting of orders that is a generalization of the multiset construction.
Termination is an important issue in the theory of term rewriting. In general termination is unde... more Termination is an important issue in the theory of term rewriting. In general termination is undecidable. There are nevertheless several methods successful in special cases. In [5] we introduced the notion of total termination: basically terms are interpreted compositionally in a total well-founded order, in such a way that rewriting chains map to descending chains. Total termination is thus a semantic notion. It turns out that most of the usual techniques for proving termination fall within the scope of total termination. This paper consists of two parts. In the first part we introduce a generalization of recursive path order presenting a new proof of its well-foundedness without using Kruskal's theorem. We also show that the notion of total termination covers this generalization. In the second part we present some syntactical characterizations of total termination that can be used to prove that many term rewriting systems are not totally terminating and hence outside the scope of the usual techniques. One of these characterizations can be considered as a sound and complete description of totality of orderings on terms.
Uploads
Papers by Maria Ferreira
Palavras-chave: redes de sociabilidade, poder político, família, elite.
O presente artigo está publicado como capitulo 10 do livro Poder Local, Educação e Cultura em Pernambuco. Paco Editorial, 2014. José Adilson Filho (org).
Palavras-chave: redes de sociabilidade, poder político, família, elite.
O presente artigo está publicado como capitulo 10 do livro Poder Local, Educação e Cultura em Pernambuco. Paco Editorial, 2014. José Adilson Filho (org).