Search results for " temporal"

Process specification and verification

1996

Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.

Is formal thought disorder in schizophrenia related to structural and functional aberrations in the language network? A systematic review of neuroima…

2018

Formal thought disorder (FTD) is a core feature of schizophrenia, a marker of illness severity and a predictor of outcome. The underlying neural mechanisms are still a matter of debate. This study aimed at 1) reviewing the literature on the neural correlates of FTD in schizophrenia, and 2) testing the hypothesis that FTD correlates with structural and functional aberrations in the language network. Medline, PsychInfo, and Embase were searched for neuroimaging studies, which applied a clinical measure to assess FTD in adults with schizophrenia and were published in English or German in peer-reviewed journals until December 2016. Of 412 articles identified, 61 studies were included in the rev…

Neuroimaging correlates of insight in non-affective psychosis: A systematic review and meta-analysis.

2022

Abstract Objective Neurological correlates of impaired insight in non-affective psychosis remain unclear. This study aimed to review and meta-analyze the studies assessing the grey matter volumetric correlates of impaired insight in non-affective psychosis. Methods This study consisted of a systematic review of 23 studies, and a meta-analysis with SDM-PSI of the 11 studies that were whole-brain and reported maps or peaks of correlation of studies investigating the grey matter volumetric correlates of insight assessments of non-affective psychosis, PubMed and OVID datasets were independently reviewed for articles reporting neuroimaging correlates of insight in non-affective psychosis. Qualit…

Do Saharan Dust Days Carry a Risk of Hospitalization From Respiratory Diseases for Citizens of the Canary Islands (Spain)?

2021

Background: Saharan dust meets the Canary Islands at the beginning of its westward path across the North Atlantic, exceeding the European daily levels for PM10; for this reason, their two provincial capital cities, constitute optimal sites where to evaluate the health effects of this natural event. Objectives: To assess the short-term association between Saharan Dust Days (SDDs) and respiratory morbidity in the two capital cities. Methods: We carried out a time-series analysis with daily emergency hospital admissions due to all respiratory system diseases, chronic obstructive pulmonary disease (COPD) and asthma between 2001 and 2005, assessing the independent effect of SDDs, defined accordi…

Branch ligatures and blood aspiration for post-traumatic superficial temporal artery pseudoaneurysm: surgical technique

2014

The aim of this study is to report a new minimally invasive technique of superficial temporal artery (STA) pseudoaneurysm treatment. Several surgical options have been employed to treat STA pseudoaneurysms. To address this rare condition, the employed techniques are ligation and excision of the aneurysm, endovascular coil embolization or percutaneous ultrasound-guided thrombin injection. Between techniques no significant differences are reported in terms of outcomes. The decision to adopt a technique depends on STA pseudoaneurysm morphology and surgeon preference. In the present report, STA pseudoaneurysm afferent and efferent branches were identified by ultrasound in a 92-year-old female. …

Una Nueva Técnica de Remodelación de la Punta Nasal en Rinoplastia, para Casos Extremadamente Difíciles, Mediante la Resección Total de los Cartílago…

2015

Leonardo Da Vinci solía decir que: “La nariz está ahí para manifestar el carácter del rostro”. Y ya en el s. XX, Jack Sheen afirmó con rotundidad: “La Rinoplastia es una operación tremendamente difícil aunque técnicamente resulte decepcionantemente fácil”. La Rinoplastia es una de las operaciones más frecuentes en Cirugía Plástica, es la más difícil, creativa, artística, estudiada, debatida, controvertida, apasionante y siempre fascinante. Y la parte más difícil de abordar con éxito en una rinoplastia es la Punta. Presentamos una Nueva Técnica de Remodelación de la Punta Nasal en Rinoplastia, para Casos Extremadamente Difíciles, Mediante la Resección Total de los Cartílagos Alares y Fascia …

CORRELATIONS AMONG FORWARD RETURNS IN THE NORDIC ELECTRICITY MARKET

2009

I analyze empirical correlations of electricity forward returns from the perspective of a random field model that specifies the correlations in terms of the temporal separation between forward maturities. It turns out that temporal separation cannot fully account for the empirical forward return correlations. Specifically, the relation between correlations and temporal separation does not seem to be invariant across segments of the electricity forward market or trading periods.

Futures Past

2021

The article explores the dimension of temporality and the changes it has undergone as a result of the pandemic outbreak.

Alle origini della deissi indoeuropea. Un approccio linguistico cognitivo

Gli studi di indoeuropeistica non sempre dialogano con le teorie linguistiche contemporanee e, in particolare, con le scienze cognitive (cfr. Melchert 2016). Tuttavia, il contributo che le seconde possono dare alla ricostruzione di fenomeni linguistici e culturali indoeuropei non è trascurabile. Non è d’altra parte meno rilevante l’apporto che la prospettiva storica può dare allo studio dei processi cognitivi umani, dall’acquisizione del linguaggio da parte dei bambini fino all’individuazione degli universali linguistici. Scopo di questo studio è discutere i risultati di una recentissima ricerca (Bartolotta 2018), che mostra il ruolo dell’indoeuropeo nella spiegazione degli universali lingu…

Deep learning for agricultural land use classification from Sentinel-2

2020

[ES] En el campo de la teledetección se ha producido recientemente un incremento del uso de técnicas de aprendizaje profundo (deep learning). Estos algoritmos se utilizan con éxito principalmente en la estimación de parámetros y en la clasificación de imágenes. Sin embargo, se han realizado pocos esfuerzos encaminados a su comprensión, lo que lleva a ejecutarlos como si fueran “cajas negras”. Este trabajo pretende evaluar el rendimiento y acercarnos al entendimiento de un algoritmo de aprendizaje profundo, basado en una red recurrente bidireccional de memoria corta a largo plazo (2-BiLSTM), a través de un ejemplo de clasificación de usos de suelo agrícola de la Comunidad Valenciana dentro d…