A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Acceleration in Convex Data-Flow Analysis
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
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
2020
IEEE journal of biomedical and health informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2018
IEEE Transactions on Multi-Scale Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2013
Magnetic Resonance in Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Maritime & Transportation Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Cardiovascular Magnetic Resonance
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Biomedical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2012
Al-Rafidain Engineering Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Nuclear Reactors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Cardiovascular Magnetic Resonance
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Cardiovascular Magnetic Resonance
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
IOP Conference Series: Earth and Environment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1991
Journal of Aircraft
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2021
INCAS Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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