Filters








923,378 Hits in 4.1 sec

Acceleration in Convex Data-Flow Analysis [chapter]

Jérôme Leroux, Grégoire Sutre
2007 Lecture Notes in Computer Science  
We investigate acceleration of data-flow analysis for this class in the complete lattice of closed convex subsets of Ê n .  ...  This paper investigates acceleration in convex data-flow analysis of systems with real-valued variables where guards are convex polyhedra and assignments are translations.  ...  Data-flow analysis, and in particular abstract interpretation [CC77] , provides a powerful framework to develop analysis for computing such invariants.  ... 
doi:10.1007/978-3-540-77050-3_43 fatcat:hqxihodz3jep7awbibkzkpyycq

cuProCell: GPU-accelerated analysis of cell proliferation with flow cytometry data

Marco Nobile, Eric Nisoli, Thalia Vlachou, Simone Spolaor, Paolo Cazzaniga, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi
2020 IEEE journal of biomedical and health informatics  
ProCell is a software that exploits flow cytometry data to model and simulate the kinetics of fluorescence loss that is due to stochastic events of cell division.  ...  We present the advantages of cuProCell for the analysis of different models of cell proliferation in Acute Myeloid Leukemia (AML), using data collected from the spleen of human xenografts in mice.  ...  Results on Spleen Data We applied ProCell, exploiting the acceleration provided by cuProCell, to perform the PE of models of AML proliferation in PDXs.  ... 
doi:10.1109/jbhi.2020.3005423 pmid:32749980 fatcat:nzxwlsonbvarrkmstivgrv2opi

Data Transfers Analysis in Computer Assisted Design Flow of FPGA Accelerators for Aerospace Systems

Marco Lattuada, Fabrizio Ferrandi, Maxime Perrotin
2018 IEEE Transactions on Multi-Scale Computing Systems  
and data to accelerators.  ...  This information is mandatory for the design of hardware accelerators in the TASTE flow, but the results of the analysis can be exploited in whatever type of design flow targeting critical heterogeneous  ... 
doi:10.1109/tmscs.2017.2699647 fatcat:sbt453hfdraatpohufe3gb5ozm

Accelerated Data-Flow Analysis [chapter]

Jérôme Leroux, Grégoire Sutre
Lecture Notes in Computer Science  
In this paper, the acceleration framework is extended to data-flow analysis.  ...  Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states.  ...  Acceleration in Data Flow Analysis This section is devoted to the notion of acceleration in the context of dataflow analysis.  ... 
doi:10.1007/978-3-540-74061-2_12 fatcat:mwxp34rcmraozh2xbnh6465d4m

k-tGRAPPA accelerated four-dimensional flow MRI in the aorta: Effect on scan time, image quality, and quantification of flow and wall shear stress

Susanne Schnell, Michael Markl, Pegah Entezari, Riti J. Mahadewia, Edouard Semaan, Zoran Stankovic, Jeremy Collins, James Carr, Bernd Jung
2013 Magnetic Resonance in Medicine  
Data analysis included radiological grading of three-dimensional blood flow visualization quality as well as quantification of blood flow, velocities and wall shear stress (WSS).  ...  Purpose-The purpose of this study was to evaluate the utility of k-t parallel imaging for accelerating aortic four-dimensional (4D)-flow MRI.  ...  ., 7 for each of the scans k-t GRAPPA R = 5, and k-t GRAPPA, R = 8) 4D-flow data sets were available for analysis.  ... 
doi:10.1002/mrm.24925 pmid:24006309 pmcid:PMC4414256 fatcat:tqwjmpcpgrfs7bekuynvdds2zq

Optimization of the Urban Highway Acceleration Lane Length Using Traffic Simulations

Ivana Zrakić, Irena Ištoka Otković
2019 Journal of Maritime & Transportation Science  
Design recommendations for the acceleration lane length are based on research and monitoring data made decades ago and have recently been the subject of discussions and innovations.  ...  This paper presents an analysis of two existing acceleration lanes on the southern bypass of the city of Osijek.  ...  The analysis of data collected by manual traffic counting and data obtained from the official counter shows that the average daily traffic (ADT) is about 12,500 vehicles.  ... 
doi:10.18048/2019.57.10. fatcat:gzo4ve2p7fbtbimiawtolxf4yq

Accelerated aortic 4D flow cardiovascular magnetic resonance using compressed sensing: applicability, validation and clinical integration

Elisabeth Neuhaus, Kilian Weiss, Rene Bastkowski, Jonas Koopmann, David Maintz, Daniel Giese
2019 Journal of Cardiovascular Magnetic Resonance  
The aim of this study was to evaluate the use of compressed sensing (CS) with on-line reconstruction to accelerate the acquisition and reconstruction of 4D flow CMR of the thoracic aorta.  ...  Three-dimensional time-resolved phase-contrast cardiovascular magnetic resonance (4D flow CMR) enables the quantification and visualisation of blood flow, but its clinical applicability remains hampered  ...  The red data points denote the data of the volunteer whose net flow curves are shown in Fig. 2 .  ... 
doi:10.1186/s12968-019-0573-0 pmid:31638997 pmcid:PMC6802342 fatcat:bsludkyoanauzdkpl43x7yv5m4

Intraoperative optical flow based tremor evaluation - a feasibility study

S. Hemm-Ode, P. Wettmann, B. Kistler, P. Behm, E. Schkommodau, J. Coste, J. Lemaire, A. Shah
2013 Biomedical Engineering  
The aim of the present study was to analyse the feasibility of objective tremor evaluation based on optical flow analysis in videos and to compare the results with in parallel performed acceleration measurements  ...  Data analysis: Synchronisation between video and acceleration data had to be performed manually. They were both grouped according to stimulation amplitudes.  ...  Consequently, the aim of the present study was to investigate the feasibility to evaluate tremor in the OR by optical flow analysis and to compare the data with in parallel recorded acceleration.  ... 
doi:10.1515/bmt-2013-4008 pmid:24042621 fatcat:laxw2wjqvncv5eo3awj7x3u42a

Acceleration Noise Parameter MeasurementAt Signalized Intersections in Mosul City(English)

Dr. A. ALTaei
2012 Al-Rafidain Engineering Journal  
Acceleration noise correlated with other signal parameters obtained out of the analysis of different phasing plans such as, saturation flow, v/c ratio, lane group volume .etc., level of service is obtained  ...  This parameter is usually defined as the root mean square of car acceleration.  ...  Other information not remarked here just used to satisfy the HCM methodology and to conduct a complete analysis for both intersections existing operations too. 2-Total acceleration noise data.  ... 
doi:10.33899/rengj.2012.61047 fatcat:3loj6uwgdfestgqy6oenwd6npq

Development of an Analytical Method on Water-Vapor Boiling Two-Phase Flow Characteristics in BWR Fuel Assemblies Under Earthquake Condition [chapter]

Takeharu Misawa, Hiroyuki Yoshida, Kazuyuki Takase
2012 Nuclear Reactors  
simulate watervapor or water-air two-phase flows at subcritical pressures.  ...  flow under these conditions is evaluated by the improved ACE-3D. www.intechopen.com Nuclear Reactors 158 2.  ...  It was confirmed that a boiling two-phase flow analysis consistent with the time-series data of oscillation acceleration and with a time interval greater than 0.01 s, can be performed.  ... 
doi:10.5772/32299 fatcat:f3zirobkf5d63hhqzk6ah26qhi

Highly accelerated 4D flow cardiovascular magnetic resonance using a pseudo-spiral Cartesian acquisition and compressed sensing reconstruction for carotid flow and wall shear stress

Eva S. Peper, Lukas M. Gottwald, Qinwei Zhang, Bram F. Coolen, Pim van Ooij, Aart J. Nederveen, Gustav J. Strijkers
2020 Journal of Cardiovascular Magnetic Resonance  
Because of the inherently long acquisition times, many efforts have been made to accelerate 4D flow acquisitions, however, no detailed analysis has been made on the effect of Cartesian compressed sensing  ...  Acquisition of 4D flow CMR of the carotid arteries can be highly accelerated by pseudo-spiral k-space sampling and compressed sensing reconstruction, with consistent data quality facilitating velocity  ...  from the flow analysis.  ... 
doi:10.1186/s12968-019-0582-z pmid:31959203 fatcat:3lvy3ap4hzdvvo5a7fgabnsjfa

Towards highly accelerated Cartesian time-resolved 3D flow cardiovascular magnetic resonance in the clinical setting

Daniel Giese, James Wong, Gerald F Greil, Martin Buehrer, Tobias Schaeffter, Sebastian Kozerke
2014 Journal of Cardiovascular Magnetic Resonance  
It is demonstrated that accelerated 3D flow CMR data acquisition and image reconstruction using k-t PCA (principal component analysis) can be implemented into clinical workflow and results are sufficiently  ...  Results : Accelerated time-resolved 3D flow data were successfully acquired in all subjects with 8-fold nominal scan acceleration.  ...  In volunteers, flow curves compared well between accelerated time-resolved 3D flow data and timeresolved 2D flow data with stroke volume deviations of 2.5 ± 8.4 ml in line with previous studies [2, 30  ... 
doi:10.1186/1532-429x-16-42 pmid:24942253 pmcid:PMC4230248 fatcat:gmujpobitjfb5jcdvptgvazj7i

A Modelling Framework for estimating Road Segment Based On-Board Vehicle Emissions

Yu Lin-Jun, Liu Ya-Lan, Peng Zhong-Ren, Liu Meng Meng, Ren Yu-Huan
2014 IOP Conference Series: Earth and Environment  
The employed analysis framework consists of three major modules: the Average Speed and the Average Acceleration Module (ASAAM), the Traffic Flow Estimation Module (TFEM) and the Traffic Emission Module  ...  The TFEM is designed to estimate the traffic flow of each road segment in a given period, based on the speed-flow relationship and traffic flow spatial distribution.  ...  New technologies should be developed in order to get traffic flow data more accurately. Figure 1 . 1 Analysis Framework.  ... 
doi:10.1088/1755-1315/17/1/012253 fatcat:u6wnhvlay5fklacdandu5eopvq

Lift development of delta wings undergoing constant acceleration from rest

R. S. SAWYER, JOHN P. SULLIVAN
1991 Journal of Aircraft  
The purpose of this work was to identify phenomena in the flow- field causing the unusual features in the force data not pre- dicted by the analysis.  ...  Additionally, the force data show significant nonmonotonic behavior with increasing acceleration. Such character is not predicted by the analysis.  ... 
doi:10.2514/3.46090 fatcat:kyyu2qrwnfbgxjfr53ktq7ayba

Experimental research of incipient turbulent flow frequency spectra in hydrodynamic unsteadiness

Viacheslav KRAEV
2021 INCAS Bulletin  
Experimental data of a turbulent gas flow structure during flow acceleration and flow deceleration are presented.  ...  The present paper describes a method of experimental research, methodology of data processing and turbulent accelerated and decelerated flow spectra results.  ...  Frequency analysis of turbulent flows at flow acceleration As we declared in previous article [1] an experimental research on a frequency analysis of turbulent flows in unsteady conditions by flow acceleration  ... 
doi:10.13111/2066-8201.2021.13.2.10 fatcat:doou5y3gnrbnfh4wiysczkhomy
« Previous Showing results 1 — 15 out of 923,378 results