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.
Filters
Toward Automated Analysis of Biofilm Architecture: Bias Caused by Extraneous Confocal Laser Scanning Microscopy Images
2007
Applied and Environmental Microbiology
Preserved Fulltext
We have found that the automated threshold calculation is biased when a stack contains images lacking pixels of biological significance. ...
The optimal PACVEIR was defined to occur when the standard deviation of mean thickness, determined from replicate image stacks, was at a maximum, because it more accurately reflected inherent structural ...
ACKNOWLEDGMENTS The contents of this report are solely the responsibility of the authors and do not necessarily represent the official views of the NIGMS, NIEHS, or NIH. ...
doi:10.1128/aem.00023-07
pmid:17545329
pmcid:PMC1951045
fatcat:tsnfysgh3zet7lorguuzqc6hwq
VMAttack
2017
Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES '17
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.
We present VMAttack, a deobfuscation tool for virtualizationpacked binaries based on automated static and dynamic analysis, which offers a simplified view of the disassembly. ...
VMAttack is currently limited to stack-based virtual machines like VMProtect. ...
Acknowledgments This work was supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Centre "Invasive Computing" (SFB/TR 89). ...
doi:10.1145/3098954.3098995
dblp:conf/IEEEares/KalyschGM17
fatcat:h55th7umozgajobnhf2e7n65je
Hierarchical Control of Equipment in Automated Container Terminals
[chapter]
2013
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 2019; you can also visit the original URL.
The file type is application/pdf.
11210) of the Dutch Technology Foundation STW, a subdivision of the Netherlands Organization of Scientific Research (NWO). ...
Acknowledgements This research is supported by the China Scholarship Council under Grant 2010628012 and the VENI project "Intelligent multi-agent control for flexible coordination of transport hubs" (project ...
cranes, automated stacking cranes). ...
doi:10.1007/978-3-642-41019-2_1
fatcat:ps7kga5ekvhdvdqjrvl6mjhalq
Optimization of Subsea BOP Stack Control System Based on Underwater Acoustic Wireless Communication Network
2017
DEStech Transactions on Engineering and Technology Research
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.
Therefor the new system can provide important technical reference to develop subsea BOP stack control system in the sea. ...
for mechanical automation mining of subsea oil field. ...
Acknowledgement The authors greatly appreciate the financial support provided by the Natural Science Fund (No. 51075173), the Natural Science Fund of Jiangsu province (No. ...
doi:10.12783/dtetr/ameme2017/16220
fatcat:3occ5okhubchdcu73qk2cqafci
Automated DfT insertion and test generation for 3D-SICs with embedded cores and multiple towers
2013
2013 18TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)
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.
In this paper, our existing 3D-DfT architecture is extended with support for wrapped embedded IP cores and multi-tower stacks and its implementation is automated with industrial electronic design automation ...
Previously, we defined, implemented, and automated a 3D-DfT (Design-for-Test) architecture that provides modular test access for 3D-SICs containing monolithic logic dies in a single-tower stack. ...
An algorithm, optimized in terms of time, was developed and implemented to automate the generation of the WIR programming sequence. ...
doi:10.1109/ets.2013.6569350
dblp:conf/ets/PapameletisKCMH13
fatcat:ln36ida2tvanfiz7h6xlnuxxhi
MLPerf-Bench presentation at HPCA'22: "MLPerf design space exploration and production deployment"
2022
Zenodo
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.
Related resources: Collective Mind framework (CM or CK2) CK-powered MLPerf inference automation MLCommons OctoML ...
a community effort to unify, automate, systematize and crowdsource development, optimization and comparison of efficient software/hardware stacks for emerging AI/ML workloads Colleagues from Amazon tested ...
authors: "The 8-bit optimized model is automatically generated with a calibration process from FP32 model without the need of fine-tuning or retraining. ...
doi:10.5281/zenodo.6475385
fatcat:d5ocp45qhnc3bfp4wn2j5mkeda
Building reliable, high-performance communication systems from components
2000
ACM SIGOPS Operating Systems Review
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 2003; you can also visit the original URL.
The file type is application/pdf.
The performance results show that we can substantially reduce end-to-end latency in the already optimized Ensemble system. ...
Our paper answers these questions for the Ensemble communication architecture by showing how, with help of the Nuprl formal system, configurations may be checked against specifications, and how optimized ...
We also want to thank the anonymous SOSP reviewers, and our "shepherd" Peter Lee for numerous improvements made to our paper. ...
doi:10.1145/346152.346174
fatcat:gpommc4wvzhb3p5zetnpdzt7zu
Building reliable, high-performance communication systems from components
1999
Proceedings of the seventeenth ACM symposium on Operating systems principles - SOSP '99
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 2003; you can also visit the original URL.
The file type is application/pdf.
The performance results show that we can substantially reduce end-to-end latency in the already optimized Ensemble system. ...
Our paper answers these questions for the Ensemble communication architecture by showing how, with help of the Nuprl formal system, configurations may be checked against specifications, and how optimized ...
We also want to thank the anonymous SOSP reviewers, and our "shepherd" Peter Lee for numerous improvements made to our paper. ...
doi:10.1145/319151.319157
dblp:conf/sosp/LiuKRHHBC99
fatcat:rca6mecrqvhtrk5cbgm7nmq5ea
Building reliable, high-performance communication systems from components
1999
ACM SIGOPS Operating Systems Review
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 2003; you can also visit the original URL.
The file type is application/pdf.
The performance results show that we can substantially reduce end-to-end latency in the already optimized Ensemble system. ...
Our paper answers these questions for the Ensemble communication architecture by showing how, with help of the Nuprl formal system, configurations may be checked against specifications, and how optimized ...
We also want to thank the anonymous SOSP reviewers, and our "shepherd" Peter Lee for numerous improvements made to our paper. ...
doi:10.1145/319344.319157
fatcat:bkrsciavmvfwtdavdkaojuyxny
Sea Container Terminals: New Technologies, OR Models, and Emerging Research Areas
2014
Social Science Research Network
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.
The focus of this paper is to highlight the recent developments in the container terminals, which can be categorized into three areas: (1) innovative container terminal technologies, (2) new OR directions ...
Container terminals face challenging research problems which have received much attention from the academic community. ...
By using a combination of a graph-theoretic and dynamic programming approach, they solve the problem to optimality. ...
doi:10.2139/ssrn.2469175
fatcat:hfx2sb35drenborqwv5ayq63wa
FORTH—A good programming environment for laboratory automation? II. An example from the laboratory
1985
TrAC. Trends in analytical chemistry
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.
FORTH -A good programming environment for laboratory automation? II. An example from the laboratory Daniel Ph. Zollinger and M. ...
The word ADIN expects the num- 016%9936/85/$02.00. ber of a channel on the stack and puts the result of the conversion onto the stack. ...
doi:10.1016/0165-9936(85)87009-6
fatcat:a56o6s2xgnhddig2hiij4x4w2m
Bridging the Gap between Automated Manufacturing of Fuel Cell Components and Robotic Assembly of Fuel Cell Stacks
2019
Energies
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 for the first time a robotic technology which enables the integration of automated fabrication processes for fuel cell components with a robotic assembly process of fuel cell stacks into a fully ...
the advantages offered by either the automated fabrication technologies for fuel cell components or by the robotic assembly processes. ...
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/en12193604
fatcat:ufv4y7iebbbdxmzlrjuix4yonq
Automated Fast-Track Reconfiguration of Group Communication Systems
[chapter]
1999
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 2018; you can also visit the original URL.
The file type is application/pdf.
For common sequences of operations we identify a fast-path through a stack of communication protocols and reconfigure the system's code accordingly. ...
Our techniques are implemented by tactics and theorems of the NuPRL proof development system and have been used successfully for the reconfiguration of application systems built with the Ensemble group ...
are fully automated . ...
doi:10.1007/3-540-49059-0_8
fatcat:xycqnuks2bfnpjupxvzaajbejy
Incremental call-path profiling
2007
Concurrency and Computation
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 2006; you can also visit the original URL.
The file type is application/pdf.
We profile only a subset of the functions in the program, allowing the use of more complex metrics while lowering the overhead. ...
Previous call-path profilers tracked the call-path at all times, which requires instrumentation of the entire program. ...
We noted that Paradyn's automated analysis of a multi-threaded program was significantly slower than the analysis of a similar single-threaded program. ...
doi:10.1002/cpe.1125
fatcat:p7p757xvrrdd7fqyjd5mhnz4qa
Page 1 of Urban Research News Vol. 5, Issue 26
[page]
1971
Urban Research News
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The principal problems in effective automation of sewage treatment are the need for adequate process sensors and the development of process control models necessary to optimize the operation of treat- ...
They collide with and charge dust particles rising in the stack and carry them to a collector plate where they drain into bins. ...
« Previous
Showing results 1 — 15 out of 64,926 results