A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Filters
AutoFocus — A tool for distributed systems specification
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
We describe the concept of AutoFocus, a tool for the specication of distributed systems. ...
for exact consistency checks of a system under development. ...
Introduction In this paper, we describe AutoFocus, a tool intended to be used for specifying distributed systems on a formal basis. ...
doi:10.1007/3-540-61648-9_58
fatcat:zwugcsgqrbdnxcnxzn46dyy3fa
Autofocus in infrared microscopy
2018
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)
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.
Autofocus (AF) is a widely investigated subject in the fields of natural scene images, industrial assembly and biologic microscopy. ...
This paper proposes a new effective AF method for infrared (IR) microscopy in the context of the Integrated Circuit industry (IC). ...
The Human Visual System (HVS) is the most reliable tool for IQA: the main difficulty is the interpretation of human subjectivity with algorithms following objective rules and criteria [1] . ...
doi:10.1109/etfa.2018.8502648
dblp:conf/etfa/AbeleFLBDM18
fatcat:2v6exz3fcng7xjgqb7w7lsvk5y
Verified System Development with the AutoFocus Tool Chain
2012
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2012 pre-print arXiv:1207.2236v1 fatcat:gqlpv2coc5flphr4yu7g74ybka
This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles emphasizing the verification ...
of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators. ...
Subsequently, the specifications are translated to FOCUS [6] , a framework for formal specifications and development of distributed interactive systems. ...
doi:10.4204/eptcs.86.3
fatcat:2c2xfqbpg5dklbvgse25sqrmpu
Sparse Blind Deconvolution for Distributed Radar Autofocus Imaging
[article]
2018
arXiv
pre-print
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.
A common problem that arises in radar imaging systems, especially those mounted on mobile platforms, is antenna position ambiguity. ...
Thus, the radar autofocus problem becomes a multichannel blind deconvolution problem, in which the radar measurements correspond to observations of a static radar image that is convolved with the spatial ...
There is extensive literature addressing the radar autofocus problem by developing tools that compensate for antenna position errors [7] - [12] . ...
arXiv:1805.03269v1
fatcat:d2fl2dl3jvegfao4cxjjqsgszm
13 AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems
[chapter]
2010
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 2020; you can also visit the original URL.
The file type is application/pdf.
We give an introduction of the AutoFocus 3 tool 1 , which allows component-based modeling of reactive, distributed systems and provides validation and verification mechanisms for these models. ...
Furthermore, AutoFocus 3 includes descriptions of specific technical platforms and deployments. ...
in building large parts of the tool infrastructure, and to Wolfgang Schwitzer for his work on the deployment extension of AutoFocus 3. ...
doi:10.1007/978-3-642-16277-0_13
fatcat:gth3ss4zqfaezgcy7hmwlep4qu
Image Reconstruction Using Autofocus in Single-Lens System
2022
Applied Sciences
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 2022; you can also visit the original URL.
The file type is application/pdf.
For the case of only the object distance being unknown, a diffuser is used to scatter the coherent beam for speckle illumination to improve the performance of autofocus. ...
For coherent diffraction imaging with a lens, autofocus is investigated to accurately determine the object distance and image distance. ...
Acknowledgments: The authors would like to thank Miguel Victor for his writing advice, Cheng Guo for his experimental and methodological guidance, and Yong Geng and Jiaxin Wang for their suggestions on ...
doi:10.3390/app12031378
fatcat:l3y53xxyrvciliqsk5os5yecw4
SAR image reconstruction and autofocus by compressed sensing
2012
Digital signal processing (Print)
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.
A new SAR signal processing technique based on compressed sensing is proposed for autofocused image reconstruction on subsampled raw SAR data. ...
In order to demonstrate the performance of the proposed technique in wide-band SAR systems, the measurements used in the reconstruction are formed by a new under-sampling pattern that can be easily implemented ...
As a result, higher operational frequencies create significant challenges for autofocus techniques. ...
doi:10.1016/j.dsp.2012.07.011
fatcat:f42r6qeva5dhbcp2dvzdfl6gvu
Design Of Autofocus Microscope With Histogram Method For Tuberculosis Bacteria Observation
2020
Indonesian Applied Physics Letters
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.
This research was conducted to design an autofocus microscope with a histogram method that can observe Tuberculosis (TB) bacteria. ...
The microscope is designed to be equipped with a program to control the focus motor that moves the microscope tube and the program to digitally display the image and histogram of TB bacteria. ...
The PC used in this study was a laptop with a specification of AMD A8 processor, 4GHz RAM and Windows 10 Operating Systems. The result of the digital microscope design was shown in Figure 3a . ...
doi:10.20473/iapl.v1i1.21331
fatcat:jur3ukpjgjc2rgd7zpuqr6r6cu
Noise evaluation of a point autofocus surface topography measuring instrument
2018
Measurement science and technology
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.
The evaluation is based on the determination of the metrological characteristics for noise as outlined in draft ISO specification standards by using a calibrated optical flat. ...
In this work, the measurement noise of a point autofocus surface topography measuring instrument is evaluated, as the first step towards establishing a route to traceability for this type of instrument ...
ACKNOWLEDGEMENTS The authors would like to thank EPSRC (Grant EP/M008983/1) for funding this work. ...
doi:10.1088/1361-6501/aab528
fatcat:ceydfcif3rbmfh4ge75qdosvoa
Universal autofocus for quantitative volumetric microscopy of whole mouse brains
2021
Nature Methods
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 2022; you can also visit the original URL.
The file type is application/pdf.
Here we introduce RAPID (rapid autofocusing via pupil-split image phase detection), a real-time autofocus method applicable in every widefield-based microscope. ...
RAPID thus provides a flexible autofocus solution that is suitable for traditional automated microscopy tasks as well as for quantitative analysis of large biological specimens. ...
Mode of Euro-Bioimaging ERIC, and by Ente Cassa di Risparmio di Firenze (a private foundation). ...
doi:10.1038/s41592-021-01208-1
pmid:34312564
fatcat:vjkd6wuozngktnpdbeftjqhwxm
Synthetic aperture radar imaging with motion estimation and autofocus
2012
Inverse Problems
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 2014; you can also visit the original URL.
The file type is application/pdf.
X-band persistent surveillance SAR is a specific application that is covered by our analysis. ...
We introduce from first principles a synthetic aperture radar (SAR) imaging and target motion estimation method that is combined with compensation for radar platform trajectory perturbations. ...
That the Wigner transform is a natural tool for detection and imaging of moving targets has been known. ...
doi:10.1088/0266-5611/28/4/045006
fatcat:qpt6acsfjneuxaexbrohd4ul6i
Non-Contact Dermatoscope with Ultra-Bright Light Source and Liquid Lens-Based Autofocus Function
2019
Applied Sciences
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.
We present a prototype for such a system including solutions for autofocus and color reproducibility independent of ambient lighting. ...
Autofocus and color reproducibility are specific challenges for the development of dermatoscopy for application beyond cancer screening. ...
Here, a look-up table can be configured which relates every measured distance to a specific voltage for the liquid lens. ...
doi:10.3390/app9112177
fatcat:xdozg26lb5febagbhkdgzw4qpi
Tool supported specification and simulation of distributed systems
Proceedings International Symposium on Software Engineering for Parallel and Distributed 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 2017; you can also visit the original URL.
The file type is application/pdf.
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. ...
Finally, we demonstrate how AUTOFOCUS can be used to simulate the specified system in its system environment using a graphic animation tool as an example. ...
Acknowledgments For the work on AUTOFOCUS we thank all active students in our software engineering courses, especially G. Einert and G. Klein. For some comments we thank our anonymous referees. ...
doi:10.1109/pdse.1998.668174
dblp:conf/pdse/HuberMRSSS98
fatcat:x5fjzgtedjhqvdplckr645pjka
Residual flatness and scale calibration for a point autofocus surface topography measuring instrument
2019
Measurement science and technology
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.
Acknowledgments This work was supported by the Engineering and Physical Sciences Research Council (Grant Number EP/M008983/1) (EPSRC), and the authors would like to thank Mitaka Kohki for collaboration ...
E distributes according to a uniform distribution, from which equation (7) follows [13] . ...
The point autofocus instrument (PAI) is a non-contact instrument that measures areal surface topography through raster scanning, and is often used to measure optics, cutting tools and complex three-dimensional ...
doi:10.1088/1361-6501/ab188f
fatcat:hmyz7exm2bhedbpqqr6lkh6lyu
ISAR Autofocus Imaging Algorithm for Maneuvering Targets Based on Phase Retrieval and Gabor Wavelet Transform
2018
Remote Sensing
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.
The imaging issue of a rotating maneuvering target with a large angle and a high translational speed has been a challenging problem in the area of inverse synthetic aperture radar (ISAR) autofocus imaging ...
The approach first performs the range compression on ISAR raw data to obtain range profiles, and then carries out the GWT transform as the time-frequency analysis tool for the rotational motion compensation ...
Qiao's work was partially supported by the President's Endowed Professorship program of the University of Texas system. ...
doi:10.3390/rs10111810
fatcat:h2dzwhc7xzglbmtdtmisy7n25u
« Previous
Showing results 1 — 15 out of 2,063 results