|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 9 keywords
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Ola Olsson, Angela Wallenburg |
Customised Induction Rules for Proving Correctness of Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 180-189, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Hans-Juergen Boehm |
Destructors, finalizers, and synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 262-272, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
destructor, synchronization, garbage collection, deadlock, thread, finalization |
32 | Zina-Sabrina Duma, Tomás Zemcík, Simon Bilik, Tuomas Sihvonen, Peter Honec, Satu-Pia Reinikainen, Karel Horák 0001 |
Varroa destructor detection on honey bees using hyperspectral imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14359, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
32 | Christian I. Narcia-Macias, Joselito Guardado, Jocell Rodriguez, Joanne Rampersad-Ammons, Erik Enriquez, Dong-Chul Kim |
IntelliBeeHive: An Automated Honey Bee, Pollen, and Varroa Destructor Monitoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08955, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Alicia Noriega-Escamilla, César Camacho-Bello, Rosa María Ortega-Mendoza, José Humbérto Arroyo-Núñez, Lucia Gutiérrez-Lazcano |
Varroa Destructor Classification Using Legendre-Fourier Moments with Different Color Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Imaging ![In: J. Imaging 9(7), pp. 144, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Anna Wachowicz, Jakub Pytlik, Bozena Malysiak-Mrozek, Krzysztof Tokarz, Dariusz Mrozek |
Edge Computing in IoT-Enabled Honeybee Monitoring for the Detection of Varroa Destructor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 32(3), pp. 355-369, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Simon Bilik, Lukas Kratochvila, Adam Ligocki, Ondrej Bostik, Tomás Zemcík, Matous Hybl, Karel Horák 0001, Ludek Zalud |
Visual diagnosis of the Varroa destructor parasitic mite in honeybees using object detector techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.03133, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
32 | Simon Bilik, Lukas Kratochvila, Adam Ligocki, Ondrej Bostik, Tomás Zemcík, Matous Hybl, Karel Horák 0001, Ludek Zalud |
Visual Diagnosis of the Varroa Destructor Parasitic Mite in Honeybees Using Object Detector Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(8), pp. 2764, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Yifan Wu, Haibo Liu, Xiaoqi Xu, Wei Jiang |
Design of a Novel High-Power Density Negative Ion Virus Destructor for Confined Shipboard Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021, Victoria, BC, Canada, May 10-12, 2021, pp. 791-798, 2021, IEEE, 978-1-7281-6207-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Andrzej Szczurek, Monika Maciejewska, Zaneta Zajiczek, Beata Bak, Jakub Wilk, Jerzy Wilde, Maciej Siuda |
The Effectiveness of Varroa destructor Infestation Classification Using an E-Nose Depending on the Time of Day. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(9), pp. 2532, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Andrzej Szczurek, Monika Maciejewska, Beata Bak, Jakub Wilk, Jerzy Wilde, Maciej Siuda |
Classification of Honeybee Infestation by Varroa Destructor using Gas Sensor Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SENSORNETS ![In: Proceedings of the 9th International Conference on Sensor Networks, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020., pp. 61-68, 2020, SCITEPRESS, 978-989-758-403-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Kim Bjerge, Carsten Eie Frigaard, Peter Høgh Mikkelsen, Thomas Holm Nielsen, Michael Misbih, Per Kryger |
A computer vision system to monitor the infestation level of Varroa destructor in a honeybee colony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 164, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Andrzej Szczurek, Monika Maciejewska, Beata Bak, Jerzy Wilde, Maciej Siuda |
Semiconductor gas sensor as a detector of Varroa destructor infestation of honey bee colonies - Statistical evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 162, pp. 405-411, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Melvin Ramírez-Bogantes, Juan P. Prendas-Rojas, Geovanni Figueroa-Mata, Rafael A. Calderon, Oscar Salas-Huertas, Carlos M. Travieso |
Cognitive Modeling of the Natural Behavior of the Varroa destructor Mite on Video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 9(4), pp. 482-493, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Lineo Mejaele, Elisha Oketch Ochola |
Analysing the impact of black hole attack on DSR-based MANET: The hidden network destructor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfoSec ![In: 2015 Second International Conference on Information Security and Cyber Forensics, InfoSec 2015, Cape Town, South Africa, November 15-17, 2015, pp. 140-144, 2015, IEEE, 978-1-4673-6988-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Frank W. Grasso, Mathew H. Evans, Jennifer Basil, Tony J. Prescott |
Toward a Fusion Model of Feature and Spatial Tactile Memory in the Crayfish Cherax Destructor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Living Machines ![In: Biomimetic and Biohybrid Systems - First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings, pp. 352-354, 2012, Springer, 978-3-642-31524-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Juergen Boehm, Mike Spertus |
Garbage collection in the next C++ standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 30-38, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C++, garbage collection |
26 | Stéphanie Delaune, Florent Jacquemard |
A decision procedure for the verification of security protocols with explicit destructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 278-287, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
formal methods, security protocols, constraint solving |
26 | Stephen P. Carl |
The treatment of deep vs. shallow copy in introductory C++ textbooks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 35(2), pp. 99-102, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|