Search results for " interpretation"
showing 10 items of 555 documents
Reduction of spherical-aberration impact in microscopy by wavefront coding
2009
In modern high-NA optical scanning instruments, like scanning microscopes, the refractive-index mismatch between the sample and the immersion medium introduces a significant amount of spherical aberration when imaging deep inside the specimen, spreading out the impulse response. Since such aberration depends on the focalization depth, it is not possible to achieve a static global compensation for the whole 3D sample in scanning microscopy. Therefore a depth-variant impulse response is generated. Consequently, the design of pupil elements that increase the tolerance to this aberration is of great interest. In this paper we report a hybrid technique that provides a focal spot that remains alm…
Moc wiążąca uchwał Sądu Najwyższego in concreto w sprawach karnych
2020
Przedmiotem opracowania jest problematyka mocy wiążącej uchwał Sądu Najwyższego podejmowanych w konkretnych sprawach karnych. Podstawę prawną do podejmowania tych uchwał stanowią przepisy art. 441 k.p.k. i art. 82 ustawy z dnia 8 grudnia 2017 r. o Sądzie Najwyższym. Według art. 441 § 1 k.p.k. jeżeli przy rozpoznawaniu środka odwoławczego wyłoni się zagadnienie wymagające zasadniczej wykładni ustawy, sąd odwoławczy może odroczyć rozpoznanie sprawy i przekazać zagadnienie prawne do rozstrzygnięcia Sądowi Najwyższemu, ten zaś może również przekazać rozstrzygnięcie zagadnienia prawnego powiększonemu składowi tego sądu (arg. ex art. 441 § 2 k.p.k.). Uchwała Sądu Najwyższego jest w danej sprawi…
Verification of Well-Formed Communicating Recursive State Machines
2008
AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…
Detecting global and local hippocampal shape changes in Alzheimer's disease using statistical shape models.
2012
Item does not contain fulltext The hippocampus is affected at an early stage in the development of Alzheimer's disease (AD). With the use of structural magnetic resonance (MR) imaging, we can investigate the effect of AD on the morphology of the hippocampus. The hippocampal shape variations among a population can be usually described using statistical shape models (SSMs). Conventional SSMs model the modes of variations among the population via principal component analysis (PCA). Although these modes are representative of variations within the training data, they are not necessarily discriminative on labeled data or relevant to the differences between the subpopulations. We use the shape des…
Data analysis method for evaluating dialogic learning
2001
Abstract The purpose of this paper is to introduce a new method of analysing and evaluating dialogic learning. Dialogic learning offers possibilities that have not previously been found in nursing or nursing education, although some nursing researchers have lately become interested in dialogic nursing interaction between nurses and patients. The stages of analysis of dialogic learning have been illustrated by using an example. The data for this illustration were collected by video-taping a planning process where students for a Master’s degree (qualifying them to be nursing instructors in Finland) plan, implement and evaluate a course for nursing students, on the care of terminally ill patie…
La questione del confine italo-francese sul Monte Bianco
2020
Even though the common interest of France and Italy in relation to their Alpine border should be enhancing co-operation on cross-border issues (such as improving climate change adaptation as well as preventing and managing risks) a dispute on the delimitation of the border in the area around Monte Bianco has arisen in last years. As any other international dispute on territorial borders, it presents three different plans of analysis: the interpretation of boundary treaties and their official maps; the legal weight of “other” maps; the relationship between the boundary treaty and subsequent practice of the Parties (above all the relevance of effectivités). This article shortly discusses thes…
Stochastic Nonlinear Time Series Forecasting Using Time-Delay Reservoir Computers: Performance and Universality
2014
International audience; Reservoir computing is a recently introduced machine learning paradigm that has already shown excellent performances in the processing of empirical data. We study a particular kind of reservoir computers called time-delay reservoirs that are constructed out of the sampling of the solution of a time-delay diFFerential equation and show their good performance in the forecasting of the conditional covariances associated to multivariate discrete-time nonlinear stochastic processes of VEC-GARCH type as well as in the prediction of factual daily market realized volatilities computed with intraday quotes, using as training input daily log-return series of moderate size. We …
Surrogate Data Analysis for Assessing the Significance of the Coherence Function
2004
In cardiovascular variability analysis, the significance of the coupling between two time series is commonly assessed by setting a threshold level in the coherence function. While traditionally used statistical tests consider only the parameters of the adopted estimator, the required zero-coherence level may be affected by some features of the observed series. In this study, three procedures, based on the generation of surrogate series sharing given properties with the original but being structurally uncoupled, were considered: independent identically distributed (IID), Fourier transform (FT), and autoregressive (AR). IID surrogates maintained the distribution of the original series, while …
Diffusion of naltrexone across reconstituted human oral epithelium and histomorphological features
2006
Abstract In transbuccal absorption a major limitation could be the low permeability of the mucosa which implies low drug bioavailability. The ability of naltrexone hydrochloride (NLX) to penetrate a resembling histologically human buccal mucosa was assessed and the occurrence of any histomorphological changes observed. We used reconstituted human oral (RHO) non-keratinised epithelium as mucosal section and a Transwell diffusion cells system as bicompartmental model. Buccal permeation was expressed in terms of drug flux ( J s ) and permeability coefficients ( K p ). Data were collected using both artificial and natural human saliva. The main finding was that RHO does not restrain NLX permeat…
El formalismo interpretativo y el iusnaturalismo actual: la posición de John Finnis | The Interpretive Formalism and the Current Iusnaturalism: The P…
2014
Resumen: Hoy podemos ver un resurgimiento de las tendencias formalistas en la interpretación de reglas jurídicas. Este resurgimiento aparece en los campos tanto del Positivismo jurídico como del Iusnaturalismo. La finalidad de estos movimientos es ética y política: la defensa del imperio de la ley. Un ejemplo de esta actitud formalista es la teoría de John Finnis. Pero el formalismo no resuelve todos los problemas. Incluso desde el punto de vista de una teoría de la decisión judicial no decisionista, la interpretación jurídica necesita la ayuda de herramientas hermenéuticas no formales para completar su función. Abstract: Today, we can see a revival of formalist tendencies in the interpre…