Results 41 to 50 of about 155,801 (328)

Endovascular ultrasound renal denervation to lower blood pressure in young hypertensive women planning pregnancy: study protocol for a multicentre randomised, blinded and sham controlled proof of concept study

BMJ Open, 2023
Introduction A major issue confronting clinicians treating hypertension in pregnancy is the limited number of pharmacological options. Endovascular catheter-based renal denervation (RDN) is a new method to lower blood pressure (BP) in patients with ...
, Laurence Amar, Hélène Bouvaist, Anne Blanchard, Guillaume Lamirault, Didier Riethmuller, Loïc Sentilhes, Philippe Gosse, Louise Ghesquière, Pascal Delsart, Marc Sapoval, Patrice Guérin, Michel Azizi, Rosa Maria Bruno, Romain Boulestreau, Julien Doublet, Julie Gaudissard, Antoine Cremer, Vassilis Tsatsaris, Claire Mounier Vehier, Guillaume Ledieu, Benjamin Longere, Olivier Ormezzano, Charlotte Casser, Yannick Neuder, Mathieu Rodiere, Béatrice Duly-Bouhanick, Paul Guerby, Hervé Rousseau, Robert Winer   +29 more
doaj   +1 more source

A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance [PDF]

Logical Methods in Computer Science, 2011
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluation algorithm.
Andreas Abel, Thierry Coquand, Miguel Pagano   +2 more
doaj   +1 more source

Multisite reproducibility and test-retest reliability of the T1w/T2w-ratio: A comparison of processing methods

NeuroImage, 2021
Background: The ratio of T1-weighted (T1w) and T2-weighted (T2w) magnetic resonance imaging (MRI) images is often used as a proxy measure of cortical myelin.
Stener Nerland, Kjetil N. Jørgensen, Wibeke Nordhøy, Ivan I. Maximov, Robin A.B. Bugge, Lars T. Westlye, Ole A. Andreassen, Oliver M. Geier, Ingrid Agartz   +8 more
doaj   +1 more source

Double Machine Learning Based Program Evaluation under Unconfoundedness [PDF]

Econometrics Journal, 2020
This paper reviews, applies and extends recently proposed methods based on Double Machine Learning (DML) with a focus on program evaluation under unconfoundedness.
M. Knaus
semanticscholar   +1 more source

Comparison of normalisation methods for surface-enhanced laser desorption and ionisation (SELDI) time-of-flight (TOF) mass spectrometry data

BMC Bioinformatics, 2008
Background Mass spectrometry for biological data analysis is an active field of research, providing an efficient way of high-throughput proteome screening. A popular variant of mass spectrometry is SELDI, which is often used to measure sample populations
Beijnen Jos H, Gast Marie-Christine W, Engwegen Judith YMN, Meuleman Wouter, Reinders Marcel JT, Wessels Lodewyk FA   +5 more
doaj   +1 more source

Factor model of a comfortable environment for the consumption of cultural services [PDF]

E3S Web of Conferences, 2021
The article presents the results of the research on the comfort of the cultural services consumption environment. The scientific discourses in the segment of the research subject are analysed, and on their basis, 17 evaluation criteria for the empirical ...
Parsieva Larisa, Gatsalova Larisa, Lobeyko Yuri, Yuschenko Irina, Ivashova Valentine   +4 more
doaj   +1 more source

Setting per-field normalisation hyper-parameters for the named-page finding search task [PDF]

, 2007
Per-field normalisation has been shown to be effective for Web search tasks, e.g. named-page finding. However, per-field normalisation also suffers from having hyper-parameters to tune on a per-field basis. In this paper, we argue that the purpose of per-
He, B., Ounis, I.
core   +3 more sources

Laparoscopic portosystemic shunt attenuation in two cats

Journal of Feline Medicine and Surgery Open Reports, 2022
Case series summary Gradual attenuation of an extrahepatic portosystemic shunt using cellophane banding was achieved with a laparoscopic technique in two cats.
Francesca Izzo, Edoardo Poggi, Francisco J Pérez Duarte, Filippo Cinti   +3 more
doaj   +1 more source

HPatches: A Benchmark and Evaluation of Handcrafted and Learned Local Descriptors [PDF]

Computer Vision and Pattern Recognition, 2017
In this paper, we propose a novel benchmark for evaluating local image descriptors. We demonstrate that the existing datasets and evaluation protocols do not specify unambiguously all aspects of evaluation, leading to ambiguities and inconsistencies in ...
Vassileios Balntas, Karel Lenc, A. Vedaldi, K. Mikolajczyk   +3 more
semanticscholar   +1 more source

DeepKey: Towards End-to-End Physical Key Replication From a Single Photograph [PDF]

, 2018
This paper describes DeepKey, an end-to-end deep neural architecture capable of taking a digital RGB image of an 'everyday' scene containing a pin tumbler key (e.g.
Alex Krizhevsky, EH Adelson, Jürgen Schmidhuber, Kaiming He, S Ren   +4 more
core   +2 more sources