844 resultados para Logic, Modern


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The chapter is an investigation of the child’s emotional response to death in early modern England. While much valuable scholarship has been produced on parents’ responses to the deaths of children, the reactions of the young themselves have rarely been explored. Drawing on a range of printed and archival sources, I argue that children expressed diverse and conflicting emotions, from fear and anxiety, to excitement and ecstasy. By exploring the emotional experiences of Protestants, the chapter contributes to the bourgeoning literature on emotion and religion, and contests earlier depictions of reformed Protestantism as an inherently intellectual, rather than an affective, faith. This study also suggests that we revise the way we classify the emotions, resisting the intuitive urge to categorise them as ‘positive’ or ‘negative’. The fear of hell, for example, though profoundly unpleasant, was regarded as a rational, commendable response, which demonstrated the work of the Holy Spirit in the soul, and was a prerequisite for the attainment of a joyful assurance of heaven. An underlying question is to what extent children’s responses to death differed from those of adults. I propose that although their reactions were broadly similar, the precise preoccupations of dying children were different. Through highlighting these distinctive features, we can come to a closer idea of what it was like to be a child in the early modern period.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

To elucidate the relationship between forest dynamics and fire frequency pollen percentages and charcoal amounts from a 120 cm long peat core and from samples of modern pollen rain were collected along a transect. The study site in southern Brazil is characterized by a species-rich mosaic of grassland-Araucaria forest. It is of crucial importance for management strategies for conservation to understand the development and maintenance of these vegetation mosaics including their sharp forest-grassland boundaries. During the late Holocene, considerable changes occurred in the area. From Anno Domini (AD) 1360 to 1410, the area was dominated by Campos (grassland) vegetation and fire was very common. From AD 1410 to 1500, Araucaria forest expanded and fire was less frequent. From AD 1500 to 1580, Campos grassland spread and the Araucaria forest ceased its development, apparently due to the increase of fire. From AD 1580 to 1935, after a decrease in fire frequency, Araucaria forest expanded again. From AD 1935 to the present, the Araucaria forest expanded while the Campos area decreased. Fire was very rare in this period. The results indicate a strong interaction of forest expansion, forming a mosaic of Campos and Araucaria forest, and the frequency of fire during the past 600 years. A possible collapse of the indigenous population following the post-Colombian colonization in southern Brazil after about AD 1550 may have caused a great reduction of fire frequency. The introduction of cattle (probably after AD 1780) and the resulting decrease of fire frequency might be the reason for forest expansion. Fire is probably the most important factor controlling the dynamics of the forest-grassland mosaics and the formation of sharp borders between these two vegetation types. (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The TCABR data analysis and acquisition system has been upgraded to support a joint research programme using remote participation technologies. The architecture of the new system uses Java language as programming environment. Since application parameters and hardware in a joint experiment are complex with a large variability of components, requirements and specification solutions need to be flexible and modular, independent from operating system and computer architecture. To describe and organize the information on all the components and the connections among them, systems are developed using the extensible Markup Language (XML) technology. The communication between clients and servers uses remote procedure call (RPC) based on the XML (RPC-XML technology). The integration among Java language, XML and RPC-XML technologies allows to develop easily a standard data and communication access layer between users and laboratories using common software libraries and Web application. The libraries allow data retrieval using the same methods for all user laboratories in the joint collaboration, and the Web application allows a simple graphical user interface (GUI) access. The TCABR tokamak team in collaboration with the IPFN (Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa) is implementing this remote participation technologies. The first version was tested at the Joint Experiment on TCABR (TCABRJE), a Host Laboratory Experiment, organized in cooperation with the IAEA (International Atomic Energy Agency) in the framework of the IAEA Coordinated Research Project (CRP) on ""Joint Research Using Small Tokamaks"". (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Traditional venom immunotherapy uses injections of whole bee venom in buffer or adsorbed in Al (OH)(3) in an expensive, time-consuming way. New strategies to improve the safety and efficacy of this treatment with a reduction of injections would, therefore, be of general interest. It would improve patient compliance and provide socio-economic benefits. Liposomes have a long tradition in drug delivery because they increase the therapeutic index and avoid drug degradation and secondary effects. However, bee venom melittin (Mel) and phospholipase (PLA(2)) destroy the phospholipid membranes. Our central idea was to inhibit the PLA(2) and Mel activities through histidine alkylation and or tryptophan oxidation (with pbb, para-bromo-phenacyl bromide, and/or NBSN-bromosuccinimide, respectively) to make their encapsulations possible within stabilized liposomes. We strongly believe that this formulation will be nontoxic but immunogenic. In this paper, we present the whole bee venom conformation characterization during and after chemical modification and after interaction with liposome by ultraviolet, circular dichroism, and fluorescence spectroscopies. The PLA(2) and Mel activities were, measured indirectly by changes in turbidity at 400(nm), rhodamine leak-out, and hemolysis. The native whole bee venom (BV) presented 78.06% of alpha-helical content. The alkylation (A-BV) and succynilation (S-BV) of BV increased 0.44 and 0.20% of its alpha-helical content. The double-modified venom (S-A-BV) had a 0.74% increase of alpha-helical content. The BV chemical modification induced another change on protein conformations observed by Trp that became buried with respect to the native whole BV. It was demonstrated that the liposomal membranes must contain pbb (SPC:Cho:pbb, 26:7:1) as a component to protect them from aggregation and/or fusion. The membranes containing pbb maintained the same turbidity (100%) after incubation with modified venom, in contrast with pbb-free membranes that showed a 15% size decrease. This size decrease was interpreted as membrane degradation and was corroborated by a 50% rhodamine leak-out. Another fact that confirmed our interpretation was the observed 100% inhibition of the hemolytic activity after venom modification with pbb and NBS (S-A-BV). When S-A-BV interacted with liposomes, other protein conformational changes were observed and characterized by the increase of 1.93% on S-A-BV alpha-helical content and the presence of tryptophan residues in a more hydrophobic environment. In other words, the S-A-BV interacted with liposomal membranes, but this interaction was not effective to cause aggregation, leak-out, or fusion. A stable formulation composed by S-A-BV encapsulated within liposomes composed by SPC:Cho:pbb, at a ratio of 26:7:1, was devised. Large unilamellar vesicles of 202.5 nm with a negative surface charge (-24.29 mV) encapsulated 95% of S-A-BV. This formulation can, now, be assayed on VIT.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador: