Filters








64,926 Hits in 4.7 sec

Toward Automated Analysis of Biofilm Architecture: Bias Caused by Extraneous Confocal Laser Scanning Microscopy Images

R. T. Merod, J. E. Warren, H. McCaslin, S. Wuertz
2007 Applied and Environmental Microbiology  
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

Anatoli Kalysch, Johannes Götzfried, Tilo Müller
2017 Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES '17  
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]

Jianbin Xin, Rudy R. Negenborn, Gabriel Lodewijks
2013 Lecture Notes in Computer Science  
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

Xi-nan JIANG, Quan-ping SUN, Long MA, Yu JIANG
2017 DEStech Transactions on Engineering and Technology Research  
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

Christos Papameletis, Brion Keller, Vivek Chickermane, Erik Jan Marinissen, Said Hamdioui
2013 2013 18TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)  
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"

Grigori Fursin
2022 Zenodo  
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

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert Constable
2000 ACM SIGOPS Operating Systems Review  
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

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert Constable
1999 Proceedings of the seventeenth ACM symposium on Operating systems principles - SOSP '99  
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

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert Constable
1999 ACM SIGOPS Operating Systems Review  
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

Amir Hossein Gharehgozli, Debjit Roy, M. B. M. de Koster
2014 Social Science Research Network  
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

Daniel Ph. Zollinger, M. Bos
1985 TrAC. Trends in analytical chemistry  
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

Devin Fowler, Vladimir Gurau, Daniel Cox
2019 Energies  
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]

Christoph Kreitz
1999 Lecture Notes in Computer Science  
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

Andrew R. Bernat, Barton P. Miller
2007 Concurrency and Computation  
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  
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