- home
- Advanced Search
- EDIH Adria
- Publications
- Research software
- GB
- AT
- Mémoires en Sciences de l'Informati...
- Hal-Diderot
- EDIH Adria
- Publications
- Research software
- GB
- AT
- Mémoires en Sciences de l'Informati...
- Hal-Diderot
Loading
description Publicationkeyboard_double_arrow_right Article 2019 France, United Kingdom, FrancePublisher:Elsevier BV Funded by:UKRI | Typed Lambda-Calculi with...UKRI| Typed Lambda-Calculi with Sharing and UnsharingAuthors: Accattoli, Beniamino; Guerrieri, Giulio;Accattoli, Beniamino; Guerrieri, Giulio;International audience; The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with (possibly) open terms, on top of which Grégoire and Leroy designed one of the abstract machines of Coq. This paper provides a theory of abstract machines for the fireball calculus, the simplest presentation of open call-by-value. The literature contains machines that are either simple but inefficient, as they have an exponential overhead, or efficient but heavy, as they rely on a labeling of environments and a technical optimization. We introduce a machine that is simple and efficient: it does not use labels and it implements the fireball calculus within a bilinear overhead. Moreover, we provide a new fine understanding of how different optimizations impact on the complexity of the overhead, and evidence that the time cost model we work with is minimal.
Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2014 FrancePublisher:Cambridge University Press (CUP) Authors: Sayadi, Taraneh; Schmid, Peter J.; Nichols, Joseph W.; Moin, Parviz;Sayadi, Taraneh; Schmid, Peter J.; Nichols, Joseph W.; Moin, Parviz;doi: 10.1017/jfm.2014.184
AbstractDirect numerical simulations (DNS) of controlled H- and K-type transitions to turbulence in an $M = 0.2$ (where $M$ is the Mach number) nominally zero-pressure-gradient and spatially developing flat-plate boundary layer are considered. Sayadi, Hamman & Moin (J. Fluid Mech., vol. 724, 2013, pp. 480–509) showed that with the start of the transition process, the skin-friction profiles of these controlled transitions diverge abruptly from the laminar value and overshoot the turbulent estimation. The objective of this work is to identify the structures of dynamical importance throughout the transitional region. Dynamic mode decomposition (DMD) (Schmid, J. Fluid Mech., vol. 656, 2010, pp. 5–28) as an optimal phase-averaging process, together with triple decomposition (Reynolds & Hussain, J. Fluid Mech., vol. 54 (02), 1972, pp. 263–288), is employed to assess the contribution of each coherent structure to the total Reynolds shear stress. This analysis shows that low-frequency modes, corresponding to the legs of hairpin vortices, contribute most to the total Reynolds shear stress. The use of composite DMD of the vortical structures together with the skin-friction coefficient allows the assessment of the coupling between near-wall structures captured by the low-frequency modes and their contribution to the total skin-friction coefficient. We are able to show that the low-frequency modes provide an accurate estimate of the skin-friction coefficient through the transition process. This is of interest since large-eddy simulation (LES) of the same configuration fails to provide a good prediction of the rise to this overshoot. The reduced-order representation of the flow is used to compare the LES and the DNS results within this region. Application of this methodology to the LES of the H-type transition illustrates the effect of the grid resolution and the subgrid-scale model on the estimated shear stress of these low-frequency modes. The analysis shows that although the shapes and frequencies of the low-frequency modes are independent of the resolution, the amplitudes are underpredicted in the LES, resulting in underprediction of the Reynolds shear stress.
Journal of Fluid Mec... arrow_drop_down Journal of Fluid Mechanics; Hal-DiderotArticle . 2014Journal of Fluid MechanicsArticle . 2014 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2014.184&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 65 citations 65 popularity Top 10% influence Top 10% impulse Top 10% Powered by BIP!more_vert Journal of Fluid Mec... arrow_drop_down Journal of Fluid Mechanics; Hal-DiderotArticle . 2014Journal of Fluid MechanicsArticle . 2014 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2014.184&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint , Conference object 2010 FrancePublisher:Elsevier BV Authors: Marian Rizov; Patrick Paul Walsh;Marian Rizov; Patrick Paul Walsh;handle: 10419/118796
The focus of the paper is on evaluating the productivity gap between rural and urban locations in the UK using micro data. We build a structural model of the unobservable productivity emphasising the link between productivity and spatial density of economic activity and adapt the semi-parametric estimation approach proposed in Olley and Pakes (1996) to estimate the parameters of production functions at firm level, within 4-digit UK manufacturing industries, for the period 1997 - 2001. We allow market structure to differ by endogenous export status and location choices and model productivity as a second-order Markov process which greatly enhances our ability to obtain unbiased and consistent estimates of TFP measures at firm level. We aggregate the firm TFPs by location category following the 2004 DEFRA definition of rural and find that aggregate productivity systematically differs across urban, rural less sparse and rural sparse locations as the magnitudes of the differentials are 13.2 percent and 18.0 percent, respectively. Our results are in line with several recent studies. Next, we decompose aggregate productivity into productivity index and industry composition index. The productivity index is the highest in urban locations suggesting that productivity is strongly influenced by density of economic activity and proximity to economic mass. Because industry composition index is positively correlated with productivity index it is evident that locations with high productivity are also characterised by industrial structure enhancing productivity. Further, analysing changes in the decomposition indexes over two periods, before and after implementation of the Euro by the UK main trading partners, reveals substantial heterogeneity in responses across location categories under increased competitive pressure. The main finding is that there is a tendency of rural sparse locations catching up with the urban and rural less sparse location categories in terms of aggregate productivity over the period of analysis. We also find evidence that increased competitive pressure as a result of changes in trade conditions after implementation of the Euro by the UK's main trading partners has acted as a substitute for the role of density of economic activity in enhancing industry composition, especially in rural sparse locations.
Regional Studies; CO... arrow_drop_down Social Science Open Access RepositoryArticle . 2010Data sources: Social Science Open Access Repositoryadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.2139/ssrn.1835084&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 16 citations 16 popularity Average influence Average impulse Top 10% Powered by BIP!visibility 1visibility views 1 download downloads 74 Powered bymore_vert Regional Studies; CO... arrow_drop_down Social Science Open Access RepositoryArticle . 2010Data sources: Social Science Open Access Repositoryadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.2139/ssrn.1835084&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object 2015 FrancePublisher:IEEE Funded by:EC | VPH-DARE@IT, UKRI | Intelligent Imaging: Moti..., UKRI | EPICure@19 - the extremel...EC| VPH-DARE@IT ,UKRI| Intelligent Imaging: Motion, Form and Function Across Scale ,UKRI| EPICure@19 - the extremely preterm young adultAuthors: Zuluaga, M. A.; Burgos, Ninon; Taylor, A. M.; Ourselin, S.;Zuluaga, M. A.; Burgos, Ninon; Taylor, A. M.; Ourselin, S.;International audience; Atlas-based analysis methods rely on the morphological similarity between the atlas and target images, and on the availability of labelled images. Problems can arise when the deformations introduced by pathologies affect the similarity between the atlas and a patient's image. The aim of this work is to exploit the morphological dissimilarities between atlas databases and pathological images to diagnose the underlying clinical condition, while avoiding the dependence on labelled images. To this end, the proposed method is formulated under the principle of atlas-based segmentation but, instead of propagating labels, we propagate image intensities. Using a set of MR atlas databases, each database associated with a clinical condition, synthetic images are generated for a target image. The diagnosis is established by assessing the degree of similarity between the synthetic images and the target and assigning the condition of the top-ranked synthetic image. The obtained results are comparable to state-of-the-art methods using annotated images, with an accuracy of 90.0% when evaluated on a set of 60 whole heart MR images containing healthy and pathological subjects.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/isbi.2015.7163870&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu4 citations 4 popularity Average influence Average impulse Average Powered by BIP!more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/isbi.2015.7163870&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint , Conference object 2017 France, SpainPublisher:Cambridge University Press (CUP) Authors: Oruba, Ludivine; Soward, Andrew; Dormy, Emmanuel;Oruba, Ludivine; Soward, Andrew; Dormy, Emmanuel;handle: 2117/101021
A comprehensive study of the classical linear spin-down of a constant density viscous fluid (kinematic viscosity \nu) rotating rapidly (angular velocity \Omega) inside an axisymmetric cylindrical container (radius L, height H) with rigid boundaries, that follows the instantaneous small change in the boundary angular velocity at small Ekman number $E=\nu/H^2\Omega \ll 1$, was provided by Greenspan & Howard (1963). $E^{1/2}$-Ekman layers form quickly triggering inertial waves together with the dominant spin-down of the quasi-geostrophic (QG) interior flow on the $O(E^{-1/2}\Omega^{-1})$ time-scale. On the longer lateral viscous diffusion time-scale $O(L^2/\nu)$, the QG-flow responds to the $E^{1/3}$-side-wall shear-layers. In our variant the side-wall and top boundaries are stress-free; a setup motivated by the study of isolated atmospheric structures, such as tropical cyclones, or tornadoes. Relative to the unbounded plane layer case, spin-down is reduced (enhanced) by the presence of a slippery (rigid) side-wall. This is evinced by the QG-angular velocity, \omega*, evolution on the O(L^2/\nu) time-scale: Spatially, \omega* increases (decreases) outwards from the axis for a slippery (rigid) side-wall; temporally, the long-time ($\gg L^2/\nu)$ behaviour is dominated by an eigensolution with a decay rate slightly slower (faster) than that for an unbounded layer. In our slippery side-wall case, the $E^{1/2} \times E^{1/2}$ corner region that forms at the side-wall intersection with the rigid base is responsible for a $\ln E$ singularity within the $E^{1/3}$-layer causing our asymptotics to apply only at values of E far smaller than can be reached by our Direct Numerical Simulation (DNS) of the entire spin-down process. Instead, we solve the $E^{1/3}$-boundary-layer equations for given E numerically. Our hybrid asymptotic-numerical approach yields results in excellent agreement with our DNS. Comment: 33 pages, 10 figures
arXiv.org e-Print Ar... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAConference object . 2016License: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAUPCommons. Portal del coneixement obert de la UPCOther literature type . Conference object . 2016License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCJournal of Fluid MechanicsArticle . 2017 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: CrossrefMémoires en Sciences de l'Information et de la CommunicationArticle . 2017Full-Text: https://hal.science/hal-02267822/documenthttps://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2017.134&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 3 citations 3 popularity Average influence Average impulse Average Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAConference object . 2016License: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAUPCommons. Portal del coneixement obert de la UPCOther literature type . Conference object . 2016License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCJournal of Fluid MechanicsArticle . 2017 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: CrossrefMémoires en Sciences de l'Information et de la CommunicationArticle . 2017Full-Text: https://hal.science/hal-02267822/documenthttps://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2017.134&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2012 United Kingdom, France, FrancePublisher:Elsevier BV Authors: Yin, Y; Adel, M; Bourennane, S;Yin, Y; Adel, M; Bourennane, S;International audience; Vessel structures such as retinal vasculature are important features for computer-aided diagnosis. In this paper, a probabilistic tracking method is proposed to detect blood vessels in retinal images. During the tracking process, vessel edge points are detected iteratively using local grey level statistics and vessel's continuity properties. At a given step, a statistic sampling scheme is adopted to select a number of vessel edge points candidates in a local studying area. Local vessel's sectional intensity profiles are estimated by a Gaussian shaped curve. A Bayesian method with the Maximum a posteriori (MAP) probability criterion is then used to identify local vessel's structure and find out the edge points from these candidates. Evaluation is performed on both simulated vascular and real retinal images. Different geometric shapes and noise levels are used for computer simulated images, whereas real retinal images from the REVIEW database are tested. Evaluation performance is done using the Segmentation Matching Factor (SMF) as a quality parameter. Our approach performed better when comparing it with Sun's and Chaudhuri's methods. ROC curves are also plotted, showing effective detection of retinal blood vessels (true positive rate) with less false detection (false positive rate) than Sun's method
Pattern Recognition;... arrow_drop_down Pattern Recognition; Oxford University Research ArchiveOther literature type . Article . 2021 . 2012 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.patcog.2011.09.019&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routeshybrid 131 citations 131 popularity Top 1% influence Top 10% impulse Top 10% Powered by BIP!visibility 3visibility views 3 download downloads 74 Powered bymore_vert Pattern Recognition;... arrow_drop_down Pattern Recognition; Oxford University Research ArchiveOther literature type . Article . 2021 . 2012 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.patcog.2011.09.019&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2009 France, Netherlands, FrancePublisher:Elsevier BV Johanna Alkan Olsson; Christian Bockstaller; Lee Stapleton; Frank Ewert; Rob Knapen; Olivier Therond; Ghislain Geniaux; Stéphane Bellon; Teresa Pinto Correira; Nadine Turpin; Irina V. Bezlepkina;[Departement_IRSTEA]Territoires [TR1_IRSTEA]DTAM; International audience; The goal oriented framework (GOF) for indicators has been developed as part of a comprehensive research project developing computerised tools for integrated assessment of the effects of new policies or technologies on agricultural systems (SEAMLESS-IF). The ambition has therefore been to create an indicator framework where the environmental, economic and social dimensions of sustainable development can be related to each other in a consistent way. Integrated assessment tools rely on such frameworks to capture and visualise trade-offs (antagonisms or synergies) among indicators between and within the three dimensions of sustainable development. The specific aims of this paper are to (i)present the GOF (ii) present how the GOF can be used to select indicators within the integrated assessment framework SEAMLESS-IF and (iii) discuss the advantages and limitations with the proposed approach. We show that the GOF has several advantages. Its major rewards are its relative simplicity and the possibility to link indicators to policy goals of each dimension of sustainability and thereby facilitate the comparison of the impacts of the new policy on the different dimensions. Another important feature of the GOF is its multi-scale perspective, which will enable the comparison of effects of a new policy between scales. Yet, as typical for all indicator frameworks, the GOF has also biases either instigated by the issues the included models cover or by the stakeholders' selection of indicators. However, due to the way the GOF and its indicators are technically implemented in SEAMLESS-IF, it can easily be extended and include new indicators to increase and update its policy relevance.
Research@WUR; Enviro... arrow_drop_down Research@WUR; Environmental Science & PolicyOther literature type . Article . 2009 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.envsci.2009.01.012&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu73 citations 73 popularity Top 10% influence Top 10% impulse Top 10% Powered by BIP!more_vert Research@WUR; Enviro... arrow_drop_down Research@WUR; Environmental Science & PolicyOther literature type . Article . 2009 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.envsci.2009.01.012&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object , Part of book or chapter of book 2018 FrancePublisher:Springer International Publishing Authors: Gul, Ammara; Wolthusen, Stephen;Gul, Ammara; Wolthusen, Stephen;Part 2: Infrastructure Protection; International audience; State estimation is vital to the stability of control systems, especially in power systems, which rely heavily on measurement devices installed throughout wide-area power networks. Several researchers have analyzed the problems arising from bad data injection and topology errors, and have proposed protection and mitigation schemes. This chapter employs hierarchical state estimation based on the common weighted-least-squares formulation to study the propagation of faults in intermediate and top-level state estimates as a result of measurement reordering attacks on a single region in the bottom level. Although power grids are equipped with modern defense mechanisms such as those recommended by the ISO/IEC 62351 standard, reordering attacks are still possible. This chapter concentrates on how an inexpensive data swapping attack in one region in the lower level can influence the accuracy of other regions in the same level and upper levels, and force the system towards undesirable states. The results are validated using the IEEE 118-bus test case.
https://hal.archives... arrow_drop_down https://hal.archives-ouvertes....Part of book or chapter of bookLicense: CC BYData sources: UnpayWallhttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefMémoires en Sciences de l'Information et de la Communication; Hal-DiderotConference object . 2018License: CC BYadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-04537-1_4&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!more_vert https://hal.archives... arrow_drop_down https://hal.archives-ouvertes....Part of book or chapter of bookLicense: CC BYData sources: UnpayWallhttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefMémoires en Sciences de l'Information et de la Communication; Hal-DiderotConference object . 2018License: CC BYadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-04537-1_4&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object 2017 FrancePublisher:IEEE Wazan, Ahmad Samer; Laborde, Romain; Chadwick, David W.; Barrere, François; Benzekri, Abdelmalek;International audience; The TLS protocol is the primary technology used for securing web transactions. It is based on X.509 certificates that are used for binding the identity of web servers' owners to their public keys. Web browsers perform the validation of X.509 certificates on behalf of Web users. Our previous research in 2009 showed that the validation process of Web browsers is inconsistent and flawed. We showed how this situation might have a negative impact on Web users. From 2009 until now, many new X.509 related standards have been created or updated. In this paper, we performed an increased set of experiments over our 2009 study in order to highlight the improvements and/or regressions in Web browsers' behaviours.
CORE (RIOXX-UK Aggre... arrow_drop_down Open Archive Toulouse Archive Ouverte; Institut National Polytechnique de Toulouse (Theses)Conference object . 2017 . Peer-reviewedMémoires en Sciences de l'Information et de la CommunicationConference object . 2017Full-Text: https://hal.science/hal-01873806/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/compsac.2017.240&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu5 citations 5 popularity Average influence Average impulse Average Powered by BIP!visibility 100visibility views 100 download downloads 304 Powered bymore_vert CORE (RIOXX-UK Aggre... arrow_drop_down Open Archive Toulouse Archive Ouverte; Institut National Polytechnique de Toulouse (Theses)Conference object . 2017 . Peer-reviewedMémoires en Sciences de l'Information et de la CommunicationConference object . 2017Full-Text: https://hal.science/hal-01873806/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/compsac.2017.240&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:ANR | DIGITSLID, UKRI | Development of PEMD for N...ANR| DIGITSLID ,UKRI| Development of PEMD for Nuclear Coolant SystemsAuthors: Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;In this paper, we propose a state-dependent switching controller for multiple-input multiple-output (MIMO) bilinear systems with constant delays in both the state and the input. The control input is assumed to be restricted to take only a finite number of values. The stability analysis of the closed loop is based on a Lyapunov–Krasovskii functional, and the design is reduced to solve a system of linear matrix inequalities. The controller can be designed by considering (state) delay-dependent or delay-independent conditions.
IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 6 citations 6 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu
Loading
description Publicationkeyboard_double_arrow_right Article 2019 France, United Kingdom, FrancePublisher:Elsevier BV Funded by:UKRI | Typed Lambda-Calculi with...UKRI| Typed Lambda-Calculi with Sharing and UnsharingAuthors: Accattoli, Beniamino; Guerrieri, Giulio;Accattoli, Beniamino; Guerrieri, Giulio;International audience; The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with (possibly) open terms, on top of which Grégoire and Leroy designed one of the abstract machines of Coq. This paper provides a theory of abstract machines for the fireball calculus, the simplest presentation of open call-by-value. The literature contains machines that are either simple but inefficient, as they have an exponential overhead, or efficient but heavy, as they rely on a labeling of environments and a technical optimization. We introduce a machine that is simple and efficient: it does not use labels and it implements the fireball calculus within a bilinear overhead. Moreover, we provide a new fine understanding of how different optimizations impact on the complexity of the overhead, and evidence that the time cost model we work with is minimal.
Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Science of Computer ... arrow_drop_down University of Bath's research portalArticle . 2019Data sources: University of Bath's research portalScience of Computer ProgrammingArticle . 2019 . Peer-reviewedLicense: Elsevier Non-CommercialData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.scico.2019.03.002&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2014 FrancePublisher:Cambridge University Press (CUP) Authors: Sayadi, Taraneh; Schmid, Peter J.; Nichols, Joseph W.; Moin, Parviz;Sayadi, Taraneh; Schmid, Peter J.; Nichols, Joseph W.; Moin, Parviz;doi: 10.1017/jfm.2014.184
AbstractDirect numerical simulations (DNS) of controlled H- and K-type transitions to turbulence in an $M = 0.2$ (where $M$ is the Mach number) nominally zero-pressure-gradient and spatially developing flat-plate boundary layer are considered. Sayadi, Hamman & Moin (J. Fluid Mech., vol. 724, 2013, pp. 480–509) showed that with the start of the transition process, the skin-friction profiles of these controlled transitions diverge abruptly from the laminar value and overshoot the turbulent estimation. The objective of this work is to identify the structures of dynamical importance throughout the transitional region. Dynamic mode decomposition (DMD) (Schmid, J. Fluid Mech., vol. 656, 2010, pp. 5–28) as an optimal phase-averaging process, together with triple decomposition (Reynolds & Hussain, J. Fluid Mech., vol. 54 (02), 1972, pp. 263–288), is employed to assess the contribution of each coherent structure to the total Reynolds shear stress. This analysis shows that low-frequency modes, corresponding to the legs of hairpin vortices, contribute most to the total Reynolds shear stress. The use of composite DMD of the vortical structures together with the skin-friction coefficient allows the assessment of the coupling between near-wall structures captured by the low-frequency modes and their contribution to the total skin-friction coefficient. We are able to show that the low-frequency modes provide an accurate estimate of the skin-friction coefficient through the transition process. This is of interest since large-eddy simulation (LES) of the same configuration fails to provide a good prediction of the rise to this overshoot. The reduced-order representation of the flow is used to compare the LES and the DNS results within this region. Application of this methodology to the LES of the H-type transition illustrates the effect of the grid resolution and the subgrid-scale model on the estimated shear stress of these low-frequency modes. The analysis shows that although the shapes and frequencies of the low-frequency modes are independent of the resolution, the amplitudes are underpredicted in the LES, resulting in underprediction of the Reynolds shear stress.
Journal of Fluid Mec... arrow_drop_down Journal of Fluid Mechanics; Hal-DiderotArticle . 2014Journal of Fluid MechanicsArticle . 2014 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2014.184&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 65 citations 65 popularity Top 10% influence Top 10% impulse Top 10% Powered by BIP!more_vert Journal of Fluid Mec... arrow_drop_down Journal of Fluid Mechanics; Hal-DiderotArticle . 2014Journal of Fluid MechanicsArticle . 2014 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2014.184&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint , Conference object 2010 FrancePublisher:Elsevier BV Authors: Marian Rizov; Patrick Paul Walsh;Marian Rizov; Patrick Paul Walsh;handle: 10419/118796
The focus of the paper is on evaluating the productivity gap between rural and urban locations in the UK using micro data. We build a structural model of the unobservable productivity emphasising the link between productivity and spatial density of economic activity and adapt the semi-parametric estimation approach proposed in Olley and Pakes (1996) to estimate the parameters of production functions at firm level, within 4-digit UK manufacturing industries, for the period 1997 - 2001. We allow market structure to differ by endogenous export status and location choices and model productivity as a second-order Markov process which greatly enhances our ability to obtain unbiased and consistent estimates of TFP measures at firm level. We aggregate the firm TFPs by location category following the 2004 DEFRA definition of rural and find that aggregate productivity systematically differs across urban, rural less sparse and rural sparse locations as the magnitudes of the differentials are 13.2 percent and 18.0 percent, respectively. Our results are in line with several recent studies. Next, we decompose aggregate productivity into productivity index and industry composition index. The productivity index is the highest in urban locations suggesting that productivity is strongly influenced by density of economic activity and proximity to economic mass. Because industry composition index is positively correlated with productivity index it is evident that locations with high productivity are also characterised by industrial structure enhancing productivity. Further, analysing changes in the decomposition indexes over two periods, before and after implementation of the Euro by the UK main trading partners, reveals substantial heterogeneity in responses across location categories under increased competitive pressure. The main finding is that there is a tendency of rural sparse locations catching up with the urban and rural less sparse location categories in terms of aggregate productivity over the period of analysis. We also find evidence that increased competitive pressure as a result of changes in trade conditions after implementation of the Euro by the UK's main trading partners has acted as a substitute for the role of density of economic activity in enhancing industry composition, especially in rural sparse locations.
Regional Studies; CO... arrow_drop_down Social Science Open Access RepositoryArticle . 2010Data sources: Social Science Open Access Repositoryadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.2139/ssrn.1835084&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 16 citations 16 popularity Average influence Average impulse Top 10% Powered by BIP!visibility 1visibility views 1 download downloads 74 Powered bymore_vert Regional Studies; CO... arrow_drop_down Social Science Open Access RepositoryArticle . 2010Data sources: Social Science Open Access Repositoryadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.2139/ssrn.1835084&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object 2015 FrancePublisher:IEEE Funded by:EC | VPH-DARE@IT, UKRI | Intelligent Imaging: Moti..., UKRI | EPICure@19 - the extremel...EC| VPH-DARE@IT ,UKRI| Intelligent Imaging: Motion, Form and Function Across Scale ,UKRI| EPICure@19 - the extremely preterm young adultAuthors: Zuluaga, M. A.; Burgos, Ninon; Taylor, A. M.; Ourselin, S.;Zuluaga, M. A.; Burgos, Ninon; Taylor, A. M.; Ourselin, S.;International audience; Atlas-based analysis methods rely on the morphological similarity between the atlas and target images, and on the availability of labelled images. Problems can arise when the deformations introduced by pathologies affect the similarity between the atlas and a patient's image. The aim of this work is to exploit the morphological dissimilarities between atlas databases and pathological images to diagnose the underlying clinical condition, while avoiding the dependence on labelled images. To this end, the proposed method is formulated under the principle of atlas-based segmentation but, instead of propagating labels, we propagate image intensities. Using a set of MR atlas databases, each database associated with a clinical condition, synthetic images are generated for a target image. The diagnosis is established by assessing the degree of similarity between the synthetic images and the target and assigning the condition of the top-ranked synthetic image. The obtained results are comparable to state-of-the-art methods using annotated images, with an accuracy of 90.0% when evaluated on a set of 60 whole heart MR images containing healthy and pathological subjects.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/isbi.2015.7163870&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu4 citations 4 popularity Average influence Average impulse Average Powered by BIP!more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/isbi.2015.7163870&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint , Conference object 2017 France, SpainPublisher:Cambridge University Press (CUP) Authors: Oruba, Ludivine; Soward, Andrew; Dormy, Emmanuel;Oruba, Ludivine; Soward, Andrew; Dormy, Emmanuel;handle: 2117/101021
A comprehensive study of the classical linear spin-down of a constant density viscous fluid (kinematic viscosity \nu) rotating rapidly (angular velocity \Omega) inside an axisymmetric cylindrical container (radius L, height H) with rigid boundaries, that follows the instantaneous small change in the boundary angular velocity at small Ekman number $E=\nu/H^2\Omega \ll 1$, was provided by Greenspan & Howard (1963). $E^{1/2}$-Ekman layers form quickly triggering inertial waves together with the dominant spin-down of the quasi-geostrophic (QG) interior flow on the $O(E^{-1/2}\Omega^{-1})$ time-scale. On the longer lateral viscous diffusion time-scale $O(L^2/\nu)$, the QG-flow responds to the $E^{1/3}$-side-wall shear-layers. In our variant the side-wall and top boundaries are stress-free; a setup motivated by the study of isolated atmospheric structures, such as tropical cyclones, or tornadoes. Relative to the unbounded plane layer case, spin-down is reduced (enhanced) by the presence of a slippery (rigid) side-wall. This is evinced by the QG-angular velocity, \omega*, evolution on the O(L^2/\nu) time-scale: Spatially, \omega* increases (decreases) outwards from the axis for a slippery (rigid) side-wall; temporally, the long-time ($\gg L^2/\nu)$ behaviour is dominated by an eigensolution with a decay rate slightly slower (faster) than that for an unbounded layer. In our slippery side-wall case, the $E^{1/2} \times E^{1/2}$ corner region that forms at the side-wall intersection with the rigid base is responsible for a $\ln E$ singularity within the $E^{1/3}$-layer causing our asymptotics to apply only at values of E far smaller than can be reached by our Direct Numerical Simulation (DNS) of the entire spin-down process. Instead, we solve the $E^{1/3}$-boundary-layer equations for given E numerically. Our hybrid asymptotic-numerical approach yields results in excellent agreement with our DNS. Comment: 33 pages, 10 figures
arXiv.org e-Print Ar... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAConference object . 2016License: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAUPCommons. Portal del coneixement obert de la UPCOther literature type . Conference object . 2016License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCJournal of Fluid MechanicsArticle . 2017 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: CrossrefMémoires en Sciences de l'Information et de la CommunicationArticle . 2017Full-Text: https://hal.science/hal-02267822/documenthttps://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2017.134&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 3 citations 3 popularity Average influence Average impulse Average Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAConference object . 2016License: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAUPCommons. Portal del coneixement obert de la UPCOther literature type . Conference object . 2016License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCJournal of Fluid MechanicsArticle . 2017 . Peer-reviewedLicense: Cambridge Core User AgreementData sources: CrossrefMémoires en Sciences de l'Information et de la CommunicationArticle . 2017Full-Text: https://hal.science/hal-02267822/documenthttps://doi.org/10.48550/arxiv...Article . 2016License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1017/jfm.2017.134&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2012 United Kingdom, France, FrancePublisher:Elsevier BV Authors: Yin, Y; Adel, M; Bourennane, S;Yin, Y; Adel, M; Bourennane, S;International audience; Vessel structures such as retinal vasculature are important features for computer-aided diagnosis. In this paper, a probabilistic tracking method is proposed to detect blood vessels in retinal images. During the tracking process, vessel edge points are detected iteratively using local grey level statistics and vessel's continuity properties. At a given step, a statistic sampling scheme is adopted to select a number of vessel edge points candidates in a local studying area. Local vessel's sectional intensity profiles are estimated by a Gaussian shaped curve. A Bayesian method with the Maximum a posteriori (MAP) probability criterion is then used to identify local vessel's structure and find out the edge points from these candidates. Evaluation is performed on both simulated vascular and real retinal images. Different geometric shapes and noise levels are used for computer simulated images, whereas real retinal images from the REVIEW database are tested. Evaluation performance is done using the Segmentation Matching Factor (SMF) as a quality parameter. Our approach performed better when comparing it with Sun's and Chaudhuri's methods. ROC curves are also plotted, showing effective detection of retinal blood vessels (true positive rate) with less false detection (false positive rate) than Sun's method
Pattern Recognition;... arrow_drop_down Pattern Recognition; Oxford University Research ArchiveOther literature type . Article . 2021 . 2012 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.patcog.2011.09.019&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routeshybrid 131 citations 131 popularity Top 1% influence Top 10% impulse Top 10% Powered by BIP!visibility 3visibility views 3 download downloads 74 Powered bymore_vert Pattern Recognition;... arrow_drop_down Pattern Recognition; Oxford University Research ArchiveOther literature type . Article . 2021 . 2012 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.patcog.2011.09.019&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2009 France, Netherlands, FrancePublisher:Elsevier BV Johanna Alkan Olsson; Christian Bockstaller; Lee Stapleton; Frank Ewert; Rob Knapen; Olivier Therond; Ghislain Geniaux; Stéphane Bellon; Teresa Pinto Correira; Nadine Turpin; Irina V. Bezlepkina;[Departement_IRSTEA]Territoires [TR1_IRSTEA]DTAM; International audience; The goal oriented framework (GOF) for indicators has been developed as part of a comprehensive research project developing computerised tools for integrated assessment of the effects of new policies or technologies on agricultural systems (SEAMLESS-IF). The ambition has therefore been to create an indicator framework where the environmental, economic and social dimensions of sustainable development can be related to each other in a consistent way. Integrated assessment tools rely on such frameworks to capture and visualise trade-offs (antagonisms or synergies) among indicators between and within the three dimensions of sustainable development. The specific aims of this paper are to (i)present the GOF (ii) present how the GOF can be used to select indicators within the integrated assessment framework SEAMLESS-IF and (iii) discuss the advantages and limitations with the proposed approach. We show that the GOF has several advantages. Its major rewards are its relative simplicity and the possibility to link indicators to policy goals of each dimension of sustainability and thereby facilitate the comparison of the impacts of the new policy on the different dimensions. Another important feature of the GOF is its multi-scale perspective, which will enable the comparison of effects of a new policy between scales. Yet, as typical for all indicator frameworks, the GOF has also biases either instigated by the issues the included models cover or by the stakeholders' selection of indicators. However, due to the way the GOF and its indicators are technically implemented in SEAMLESS-IF, it can easily be extended and include new indicators to increase and update its policy relevance.
Research@WUR; Enviro... arrow_drop_down Research@WUR; Environmental Science & PolicyOther literature type . Article . 2009 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.envsci.2009.01.012&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu73 citations 73 popularity Top 10% influence Top 10% impulse Top 10% Powered by BIP!more_vert Research@WUR; Enviro... arrow_drop_down Research@WUR; Environmental Science & PolicyOther literature type . Article . 2009 . Peer-reviewedLicense: Elsevier TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.envsci.2009.01.012&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object , Part of book or chapter of book 2018 FrancePublisher:Springer International Publishing Authors: Gul, Ammara; Wolthusen, Stephen;Gul, Ammara; Wolthusen, Stephen;Part 2: Infrastructure Protection; International audience; State estimation is vital to the stability of control systems, especially in power systems, which rely heavily on measurement devices installed throughout wide-area power networks. Several researchers have analyzed the problems arising from bad data injection and topology errors, and have proposed protection and mitigation schemes. This chapter employs hierarchical state estimation based on the common weighted-least-squares formulation to study the propagation of faults in intermediate and top-level state estimates as a result of measurement reordering attacks on a single region in the bottom level. Although power grids are equipped with modern defense mechanisms such as those recommended by the ISO/IEC 62351 standard, reordering attacks are still possible. This chapter concentrates on how an inexpensive data swapping attack in one region in the lower level can influence the accuracy of other regions in the same level and upper levels, and force the system towards undesirable states. The results are validated using the IEEE 118-bus test case.
https://hal.archives... arrow_drop_down https://hal.archives-ouvertes....Part of book or chapter of bookLicense: CC BYData sources: UnpayWallhttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefMémoires en Sciences de l'Information et de la Communication; Hal-DiderotConference object . 2018License: CC BYadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-04537-1_4&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!more_vert https://hal.archives... arrow_drop_down https://hal.archives-ouvertes....Part of book or chapter of bookLicense: CC BYData sources: UnpayWallhttps://doi.org/10.1007/978-3-...Part of book or chapter of book . 2018 . Peer-reviewedLicense: Springer Nature TDMData sources: CrossrefMémoires en Sciences de l'Information et de la Communication; Hal-DiderotConference object . 2018License: CC BYadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-030-04537-1_4&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Conference object 2017 FrancePublisher:IEEE Wazan, Ahmad Samer; Laborde, Romain; Chadwick, David W.; Barrere, François; Benzekri, Abdelmalek;International audience; The TLS protocol is the primary technology used for securing web transactions. It is based on X.509 certificates that are used for binding the identity of web servers' owners to their public keys. Web browsers perform the validation of X.509 certificates on behalf of Web users. Our previous research in 2009 showed that the validation process of Web browsers is inconsistent and flawed. We showed how this situation might have a negative impact on Web users. From 2009 until now, many new X.509 related standards have been created or updated. In this paper, we performed an increased set of experiments over our 2009 study in order to highlight the improvements and/or regressions in Web browsers' behaviours.
CORE (RIOXX-UK Aggre... arrow_drop_down Open Archive Toulouse Archive Ouverte; Institut National Polytechnique de Toulouse (Theses)Conference object . 2017 . Peer-reviewedMémoires en Sciences de l'Information et de la CommunicationConference object . 2017Full-Text: https://hal.science/hal-01873806/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/compsac.2017.240&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu5 citations 5 popularity Average influence Average impulse Average Powered by BIP!visibility 100visibility views 100 download downloads 304 Powered bymore_vert CORE (RIOXX-UK Aggre... arrow_drop_down Open Archive Toulouse Archive Ouverte; Institut National Polytechnique de Toulouse (Theses)Conference object . 2017 . Peer-reviewedMémoires en Sciences de l'Information et de la CommunicationConference object . 2017Full-Text: https://hal.science/hal-01873806/documentadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/compsac.2017.240&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2020 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:ANR | DIGITSLID, UKRI | Development of PEMD for N...ANR| DIGITSLID ,UKRI| Development of PEMD for Nuclear Coolant SystemsAuthors: Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;Tonametl Sanchez; Andrey Polyakov; Emilia Fridman; Laurentiu Hetel;In this paper, we propose a state-dependent switching controller for multiple-input multiple-output (MIMO) bilinear systems with constant delays in both the state and the input. The control input is assumed to be restricted to take only a finite number of values. The stability analysis of the closed loop is based on a Lyapunov–Krasovskii functional, and the design is reduced to solve a system of linear matrix inequalities. The controller can be designed by considering (state) delay-dependent or delay-independent conditions.
IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 6 citations 6 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert IEEE Transactions on... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2020 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-02285126/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2019.2940548&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu