scholarly journals Elementary Formal Systems, Intrinsic Complexity, and Procrastination

1997 ◽  
Vol 132 (1) ◽  
pp. 65-84 ◽  
Author(s):  
Sanjay Jain ◽  
Arun Sharma
Keyword(s):  
Formal Systems ◽  
Intrinsic Complexity

Modality and folk psychology

2019 ◽  
Vol 28 (1) ◽  
pp. 19-27
Author(s):  
Ja. O. Petik
Keyword(s):  
Modal Logic ◽  
Brain Activity ◽  
Formal System ◽  
Philosophy Of Logic ◽  
Psychological States ◽  
Formal Systems ◽  
Modern Psychology ◽  
Philosophical Interpretation ◽  
Important Direction

The connection of the modern psychology and formal systems remains an important direction of research. This paper is centered on philosophical problems surrounding relations between mental and logic. Main attention is given to philosophy of logic but certain ideas are introduced that can be incorporated into the practical philosophical logic. The definition and properties of basic modal logic and descending ones which are used in study of mental activity are in view. The defining role of philosophical interpretation of modality for the particular formal system used for research in the field of psychological states of agents is postulated. Different semantics of modal logic are studied. The hypothesis about the connection of research in cognitive psychology (semantics of brain activity) and formal systems connected to research of psychological states is stated.

scholarly journals Microsurgical Anatomy of the Anterior Circulation of the Brain Adjusted to the Neurosurgeon’s Daily Practice

2021 ◽  
Vol 11 (4) ◽  
pp. 519
Author(s):  
Tomas Poblete ◽  
Daniel Casanova ◽  
Miguel Soto ◽  
Alvaro Campero ◽  
Jorge Mura
Keyword(s):  
Daily Practice ◽  
Computed Tomographic Angiography ◽  
Poor Quality ◽  
Surgical Anatomy ◽  
Microsurgical Anatomy ◽  
Anterior Circulation ◽  
Computed Tomographic ◽  
Intrinsic Complexity ◽  
Tomographic Angiography

The study of cerebrovascular anatomy can be difficult and may take time due to its intrinsic complexity. However, it can also be difficult for the following reasons: the excessive description of neuroanatomy making articles hard to read, the unclear clinical application of what is written, the use of simplified or intricate schematic drawings that are not always appropriate for effective teaching, the poor quality of neuroanatomy dissections and the use of unusual views of figures that are not strictly related to the most frequent neuroimages to be interpreted in daily practice. Because of this, we designed an article that incorporates original and accurate anatomical dissections in an attempt to improve its comprehensibility. Five formalin-fixed adult cadaveric heads, whose vessels were injected with a colored silicone mixture (red for arteries and blue for veins), were dissected and examined under a microscope with magnifications from 3× to 40×. Special emphasis has been placed on correlating topographic anatomy with routine neuroimaging studies from computed tomographic angiography (CTA) and digital subtraction angiography (DSA). The essential surgical anatomy in a neurosurgeon’s daily practice is also described. The cadaveric dissections included in this study contribute to the understanding of the cerebrovascular anatomy necessary for the neurosurgeon’s daily practice.

scholarly journals Modelling the European Union Sustainability Transition: A Soft-Linking Approach

2021 ◽  
Vol 13 (11) ◽  
pp. 6303
Author(s):  
Andrea M. Bassi ◽  
Valeria Costantini ◽  
Elena Paglialunga
Keyword(s):  
European Union ◽  
Computable General Equilibrium ◽  
Methodological Approach ◽  
Strong Support ◽  
Policy Instruments ◽  
Evaluation Process ◽  
Clean Energy ◽  
Spillover Effects ◽  
The European Union ◽  
Intrinsic Complexity

The European Green Deal (EGD) is the most ambitious decarbonisation strategy currently envisaged, with a complex mix of different instruments aiming at improving the sustainability of the development patterns of the European Union in the next 30 years. The intrinsic complexity brings key open questions on the cost and effectiveness of the strategy. In this paper we propose a novel methodological approach to soft-linking two modelling tools, a systems thinking (ST) and a computable general equilibrium (CGE) model, in order to provide a broader ex-ante policy evaluation process. We use ST to highlight the main economic feedback loops the EGD strategy might trigger. We then quantify these loops with a scenario analysis developed in a dynamic CGE framework. Our main finding is that such a soft-linking approach allows discovery of multiple channels and spillover effects across policy instruments that might help improve the policy mix design. Specifically, positive spillovers arise from the adoption of a revenue recycling mechanism that ensures strong support for the development and diffusion of clean energy technologies. Such spillover effects benefit not only the European Union (EU) market but also non-EU countries via trade-based technology transfer, with a net positive effect in terms of global emissions reduction.

scholarly journals Low-Carb and Ketogenic Diets in Type 1 and Type 2 Diabetes

Nutrients ◽  
2019 ◽  
Vol 11 (5) ◽  
pp. 962 ◽  
Author(s):  
Bolla ◽  
Caretto ◽  
Laurenzi ◽  
Scavini ◽  
Piemonti
Keyword(s):  
Type 2 Diabetes ◽  
Type 1 Diabetes ◽  
Dietary Interventions ◽  
Ketogenic Diets ◽  
Patients With Diabetes ◽  
Intrinsic Complexity ◽  
Few Data ◽  
Reducing Carbohydrates

Low-carb and ketogenic diets are popular among clinicians and patients, but the appropriateness of reducing carbohydrates intake in obese patients and in patients with diabetes is still debated. Studies in the literature are indeed controversial, possibly because these diets are generally poorly defined; this, together with the intrinsic complexity of dietary interventions, makes it difficult to compare results from different studies. Despite the evidence that reducing carbohydrates intake lowers body weight and, in patients with type 2 diabetes, improves glucose control, few data are available about sustainability, safety and efficacy in the long-term. In this review we explored the possible role of low-carb and ketogenic diets in the pathogenesis and management of type 2 diabetes and obesity. Furthermore, we also reviewed evidence of carbohydrates restriction in both pathogenesis of type 1 diabetes, through gut microbiota modification, and treatment of type 1 diabetes, addressing the legitimate concerns about the use of such diets in patients who are ketosis-prone and often have not completed their growth.

Sign in / Sign up

Export Citation Format

Share Document