|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 21 keywords
|
|
|
Results
Found 88 publication records. Showing 83 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
176 | Igor Katsman, Ehud Rivlin |
The mantis head camera (why the praying mantis is so good at catching its prey). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 12th International Conference on Image Analysis and Processing (ICIAP 2003), 17-19 September 2003, Mantova, Italy, pp. 612-617, 2003, IEEE Computer Society, 0-7695-1948-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
151 | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan |
Improving the Energy Efficiency of the MANTIS Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSN ![In: Wireless Sensor Networks, 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings, pp. 261-276, 2007, Springer, 3-540-69829-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
130 | Alfred M. Bruckstein, Robert J. Holt, Igor Katsman, Ehud Rivlin |
Head Movements for Depth Perception: Praying Mantis versus Pigeon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 18(1), pp. 21-42, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
depth from motion, motion based visually mediated odometry, depth estimation, motion parallax, range estimation |
67 | Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago |
A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(2), pp. 12:1-12:23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
application porting, Wireless sensor networks, software platform |
67 | Shah Bhatti, James Carlson, Hui Dai, Jing Deng 0002, Jeff Rose, Anmol Sheth, Brian Shucker, Charles Gruenwald, Adam Torgerson, Richard Han 0001 |
MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 10(4), pp. 563-579, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic reprogramming, sensor networks, low power, multithreaded, lightweight, embedded operating system, cross-platform |
67 | Hector Abrach, Shah Bhatti, James Carlson, Hui Dai, Jeff Rose, Anmol Sheth, Brian Shucker, Jing Deng 0002, Richard Han 0001 |
MANTIS: system support for multimodAl NeTworks of in-situ sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wireless Sensor Networks and Applications ![In: Proceedings of the Second ACM International Conference on Wireless Sensor Networks and Applications, WSNA 2003, San Diego, CA, USA, September 19, 2003, pp. 50-59, 2003, ACM, 1-58113-764-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic reprogramming, multimodal prototyping, wireless sensor networks, operating systems, GPS, lightweight |
63 | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan |
Adding preemption to TinyOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EmNets ![In: Proceedings of the 4th Workshop on Embedded Networked Sensors, EmNets 2007, Cork, Ireland, June 25-26, 2007, pp. 88-92, 2007, ACM, 978-1-59593-694-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago |
Porting application between wireless sensor network software platforms: TinyOS, MANTIS and ZigBee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 1145-1148, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Giovanni Pezzulo, Gianguglielmo Calvi |
A Schema Based Model of the Praying Mantis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings, pp. 211-223, 2006, Springer, 3-540-38608-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Hector Abrach, Shah Bhatti, James Carlson, Hui Dai, Jeff Rose, Anmol Sheth, Brian Shucker, Jing Deng 0002, Richard Han 0001 |
mantis - system supports for multimodAl neTworks on in-situ sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 2003, Los Angeles, California, USA, November 5-7, 2003, pp. 336-337, 2003, ACM, 1-58113-707-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic reprogramming, multimodal prototyping, wireless sensor networks, operating systems, GPS, lightweight |
42 | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan |
An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2007), 19-23 March 2007, White Plains, New York, USA, pp. 267-271, 2007, IEEE Computer Society, 978-0-7695-2788-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ana Carrasco-Mantis, Teodora Randelovic, Héctor Alfonso Castro-Abril, Ignacio Ochoa, Manuel Doblaré, José Antonio Sanz-Herrera |
A mechanobiological model for tumor spheroid evolution with application to glioblastoma: A continuum multiphysics approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 159, pp. 106897, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
38 | Ana Carrasco-Mantis, Tomás Alarcón, José Antonio Sanz-Herrera |
An in silico study on the influence of extracellular matrix mechanics on vasculogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 231, pp. 107369, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
38 | Ruochun Jin, Kui Wu 0001, Yong Dou, Mantis H. M. Cheng |
SpinMag: A New Fingerprinting Method for Robot Indoor Localization with Geomagnetic Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ad Hoc Sens. Wirel. Networks ![In: Ad Hoc Sens. Wirel. Networks 42(3-4), pp. 171-198, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | George Michael, Nectarios Efstathiou, Kyriacos Mantis, Theocharis Theocharides, Danilo Pau |
Intelligent embedded and real-time ANN-based motor control for multi-rotor unmanned aircraft systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 2017 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-2880-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
38 | Mantis Cheng, Erin Delisle, Alejandro Erickson, Sudhakar Ganti, Fieran Mason, Nicholas Vining, Sue Whitesides |
Collaborative problem solving: integrating theory and practice in the classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCCE ![In: Proceedings of the 15th Western Canadian Conference on Computing Education, WCCCE '10, Kelowna, BC, Canada, May, 2010, pp. 15:1-15:5, 2010, ACM, 978-1-4503-0098-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Anthony J. Howe, Mantis H. M. Cheng |
Client Migration in a Continuous Data Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCW ![In: Distributed Communities on the Web, 4th International Workshop, DCW 2002, Sydney, Australia, April 3-5, 2002, Revised Papers, pp. 278-290, 2002, Springer, 3-540-00301-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Ralph D. Hippenstiel, Spiros Mantis |
Wavelet denoising of signals based on the fourth order moment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSPA ![In: Proceedings of the Sixth International Symposium on Signal Processing and its Applications, ISSPA 2001, August 13-16 2001, Shmgri-La Hotel, Kuala Lumpur, Malaysia, pp. 363-366, 2001, IEEE, 0-7803-6703-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden |
A Method for Implementing Equational Theories as Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 497-511, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
38 | Panos Rondogiannis, Mantis H. M. Cheng |
Petri-Net-Based Deadlock Analysis of Process Algebra Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 23(1), pp. 55-89, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden |
Compositional Operational Semantics for Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 10(3), pp. 315-334, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
38 | Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng |
An application of L systems to local microcode synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1990, Orlando, Florida, USA, November 27-29, 1990, pp. 166-175, 1990, ACM/IEEE, 0-89791-413-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
38 | Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards |
On Warren's Method for Functional Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, pp. 546-560, 1990, MIT Press, 0-262-73090-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
38 | Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper |
Complete Sets of Frontiers in Logic-Based Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 283-297, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
38 | Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee |
Tables as a User Interface for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 784-791, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
36 | Timothy Richard Coles, Nigel W. John |
The Effectiveness of Commercial Haptic Devices for Use in Virtual Needle Insertion Training Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACHI ![In: ACHI 2010, The Third International Conference on Advances in Computer-Human Interactions, Saint Maarten, Netherlands, Antilles, February 10-16, 2010, pp. 148-153, 2010, IEEE Computer Society, 978-0-7695-3957-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Evaluaton, Omni, Premium, Falcon, Mantis, Simulation, Training, Haptic, Analysis, Linkage, Desktop, Tension, Needle insertion |
25 | Ghareeb Moustafa, Hashim Alnami, Sultan H. Hakmi, Abdullah Mohammed Shaheen, Ahmed Rabie Ginidi, Mostafa A. Elshahed, Hany S. E. Mansour |
A Novel Mantis Search Algorithm for Economic Dispatch in Combined Heat and Power Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 2674-2689, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Andrew Engel, Gautham Narayan, Nell Byler |
Preliminary Report on Mantis Shrimp: a Multi-Survey Computer Vision Photometric Redshift Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03535, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Tianxin Wang, Shuai Wang, Bo Gao, Chenxi Li, Weixing Yu |
Design of Mantis-Shrimp-Inspired Multifunctional Imaging Sensors with Simultaneous Spectrum and Polarization Detection Capability at a Wide Waveband. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(5), pp. 1689, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Hosein Hadipour, Simon Gerhalter, Sadegh Sadeghi, Maria Eichlseder |
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Symmetric Cryptol. ![In: IACR Trans. Symmetric Cryptol. 2024(1), pp. 234-325, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Sourabh Zanwar, Daniel Wiechmann, Yu Qiao 0005, Elma Kerz |
MANTIS at #SMM4H 2023: Leveraging Hybrid and Ensemble Models for Detection of Social Anxiety Disorder on Reddit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09451, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Hosein Hadipour, Simon Gerhalter, Sadegh Sadeghi, Maria Eichlseder |
Improved Search for Integral, Impossible-Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1701, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
25 | Chaitali Sathe, Yiorgos Makris, Benjamin Carrion Schafer |
MANTIS: Machine Learning-Based Approximate ModeliNg of RedacTed Integrated CircuitS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-6, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Rachmad Vidya Wicaksana Putra, Muhammad Shafique 0001 |
Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARA ![In: 9th International Conference on Automation, Robotics and Applications, ICARA 2023, Abu Dhabi, United Arab Emirates, February 10-12, 2023, pp. 197-201, 2023, IEEE, 978-1-6654-8921-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yaxin Cui, Hong Xu 0008, Lin Tan 0003, Wenfeng Qi 0001 |
SAT-Aided Differential Cryptanalysis of Lightweight Block Ciphers Midori, MANTIS and QARMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security - 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings, pp. 3-18, 2023, Springer, 978-981-99-7355-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Fumio Ito, Yusuke Ishii, Shunichi Kurumaya, Katsushi Kagaya, Taro Nakamura 0001 |
Instantaneous Force Generation Mechanism Based on the Striking Motion of Mantis Shrimp - Design and Control Method of Cavitation by Simulation and Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(4), pp. 9342-9349, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Rachmad Vidya Wicaksana Putra, Muhammad Shafique 0001 |
Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.12620, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Xiaofei Li, Daniel Wiechmann, Yu Qiao 0005, Elma Kerz |
MANTIS at TSAR-2022 Shared Task: Improved Unsupervised Lexical Simplification with Pretrained Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.09855, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Sandra C. Wells, Nak-seung Patrick Hyun, Emma Steinhardt, Tran H. Nguyen, Robert J. Wood |
Design Optimization of an Ultrafast-Striking Mantis Shrimp Microrobot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pp. 4236-4242, 2022, IEEE, 978-1-6654-7927-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Fumio Ito, Shunichi Kurumaya, Riki Ono, Katsushi Kagaya, Yusuke Ishii, Taro Nakamura 0001 |
Instantaneous force generation mechanism based on the striking motion of the mantis shrimp - The effect of the diameter of the artificial muscle on the motion of the mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: IEEE International Conference on Industrial Technology, ICIT 2022, Shanghai, China, August 22-25, 2022, pp. 1-6, 2022, IEEE, 978-1-7281-1948-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Sourabh Zanwar, Daniel Wiechmann, Yu Qiao 0005, Elma Kerz |
MANTIS at SMM4H'2022: Pre-Trained Language Models Meet a Suite of Psycholinguistic Features for the Detection of Self-Reported Chronic Stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMM4H@COLING ![In: Proceedings of The Seventh Workshop on Social Media Mining for Health Applications, Workshop & Shared Task, SMM4H@COLING 2022, Gyeongju, Republic of Korea, October 12 - 17, 2022., pp. 16-18, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
25 | Fumio Ito, Shunichi Kurumaya, Riki Ono, Katsushi Kagaya, Taro Nakamura 0001 |
Instantaneous Force Generation Mechanism Based on the Striking Motion of Mantis Shrimp-Analytical and Experimental Verification of the Increase in Instantaneous Force Using Exoskeleton Spring Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 6(4), pp. 6678-6685, October 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Vishal Sharma 0005, Curtis E. Dyreson, Nicholas Flann |
MANTIS: Multiple Type and Attribute Index Selection using Deep Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: IDEAS 2021: 25th International Database Engineering & Applications Symposium, Montreal, QC, Canada, July 14-16, 2021, pp. 56-64, 2021, ACM, 978-1-4503-8991-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Binbin Zhong, Xin Wang 0070, Xin Gan, Tian Yang, Jun Gao 0006 |
A Biomimetic Model of Adaptive Contrast Vision Enhancement from Mantis Shrimp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(16), pp. 4588, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Liangcheng Yu, John Sonchack, Vincent Liu 0001 |
Mantis: Reactive Programmable Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Virtual Event, USA, August 10-14, 2020, pp. 296-309, 2020, ACM, 978-1-4503-7955-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Shruti Lall, Uma Parthavi Moravapalle, Raghupathy Sivakumar |
MANTIS: time-shifted prefetching of YouTube videos to reduce peak-time cellular data usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSys ![In: Proceedings of the 11th ACM Multimedia Systems Conference, MMSys 2020, Istanbul, Turkey, June 8-11, 2020., pp. 112-125, 2020, ACM, 978-1-4503-6845-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Shiyao Chen, Ru Liu, Tingting Cui, Meiqin Wang |
Automatic search method for multiple differentials and its application on MANTIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 62(3), pp. 32111:1-32111:15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Gustavo Penha, Alexandru Balan, Claudia Hauff |
Introducing MANtIS: a novel Multi-Domain Information Seeking Dialogues Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.04639, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Felix Larrinaga, Javier Fernandez-Anakabe, Ekhi Zugasti, Iñaki Garitano, Urko Zurutuza, Jon Olaizola, Mikel Anasagasti, Mikel Mondragon |
A Big Data implementation of the MANTIS reference architecture for predictive maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Control. Eng. ![In: J. Syst. Control. Eng. 233(10), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Gareth Barnaby, Anne Roudaut |
Mantis: A Scalable, Lightweight and Accessible Architecture to Build Multiform Force Feedback Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, UIST 2019, New Orleans, LA, USA, October 20-23, 2019, pp. 937-948, 2019, ACM, 978-1-4503-6816-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Fang Liu 0005, Li Feng, Richard Kijowski |
MANTIS: Model-Augmented Neural neTwork with Incoherent k-space Sampling for efficient MR T2 mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.03308, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Maria Eichlseder, Daniel Kales |
Clustering Related-Tweak Characteristics: Application to MANTIS-6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Symmetric Cryptol. ![In: IACR Trans. Symmetric Cryptol. 2018(2), pp. 111-132, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Prashant Pandey 0001, Fatemeh Almodaresi, Michael A. Bender, Michael Ferdman, Rob Johnson, Rob Patro |
Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology - 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings, pp. 271-273, 2018, Springer, 978-3-319-89928-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Csaba Hegedüs, Pál Varga, István Moldován |
The MANTIS Architecture for Proactive Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018, pp. 719-724, 2018, IEEE, 978-1-5386-5065-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Maria Eichlseder, Daniel Kales |
Clustering Related-Tweak Characteristics: Application to MANTIS-6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 1136, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Luca E. Bruzzone, Pietro Fanghella, Giuseppe Quaglia |
Experimental Performance Assessment of Mantis 2, Hybrid Leg-Wheel Mobile Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 11(3), pp. 396-403, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Luca E. Bruzzone, Pietro Fanghella |
Functional Redesign of Mantis 2.0, a Hybrid Leg-Wheel Robot for Surveillance and Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 81(2), pp. 215-230, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Christof Beierle, Jérémy Jean, Stefan Kölbl, Gregor Leander, Amir Moradi 0001, Thomas Peyrin, Yu Sasaki, Pascal Sasdrich, Siang Meng Sim |
The SKINNY Family of Block Ciphers and its Low-Latency Variant MANTIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 660, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Christoph Dobraunig, Maria Eichlseder, Florian Mendel |
Key Recovery for MANTIS-5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 754, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Christof Beierle, Jérémy Jean, Stefan Kölbl, Gregor Leander, Amir Moradi 0001, Thomas Peyrin, Yu Sasaki, Pascal Sasdrich, Siang Meng Sim |
The SKINNY Family of Block Ciphers and Its Low-Latency Variant MANTIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (2) ![In: Advances in Cryptology - CRYPTO 2016 - 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II, pp. 123-153, 2016, Springer, 978-3-662-53007-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek |
Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 14(10), pp. 2059-2072, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Aristotelis Kretsis, Panagiotis C. Kokkinos, Konstantinos Christodoulopoulos, Theodora A. Varvarigou, Emmanouel A. Varvarigos |
Mantis: Cloud-based optical network planning and operation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 77, pp. 153-168, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | José Lourenço, Paul S. Wikramaratna, Sunetra Gupta |
MANTIS: an R package that simulates multilocus models of pathogen evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 16, pp. 176:1-176:7, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Nicholas S. Szczecinski, David M. Chrzanowski, David W. Cofer, David R. Moore, Andrea S. Terrasi, Joshua P. Martin, Roy E. Ritzmann, Roger D. Quinn |
MantisBot: A Platform for Investigating Mantis Behavior via Real-Time Neural Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Living Machines ![In: Biomimetic and Biohybrid Systems - 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings, 1st Edition, pp. 175-186, 2015, Springer, 978-3-319-22978-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Luca E. Bruzzone, Pietro Fanghella |
Mantis: hybrid leg-wheel ground mobile robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Robot ![In: Ind. Robot 41(1), pp. 26-36, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Luca E. Bruzzone, Pietro Fanghella |
Mantis hybrid leg-wheel robot: Stability analysis and motion law synthesis for step climbing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MESA ![In: 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA 2014, Senigallia, Italy, September 10-12, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-2280-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Nicholas S. Szczecinski, Joshua P. Martin, Roy E. Ritzmann, Roger D. Quinn |
Neuromechanical Mantis Model Replicates Animal Postures via Biological Neural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Living Machines ![In: Biomimetic and Biohybrid Systems - Third International Conference, Living Machines 2014, Milan, Italy, July 30 - August 1, 2014. Proceedings, pp. 296-307, 2014, Springer, 978-3-319-09434-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Marcel Buchhorn, Reinhold Petereit, Birgit Heim |
A Manual Transportable Instrument Platform for Ground-Based Spectro-Directional Observations (ManTIS) and the Resultant Hyperspectral Field Goniometer System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 13(12), pp. 16105-16128, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek |
Mantis: Automatic Performance Prediction for Smartphone Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013, pp. 297-308, 2013, USENIX Association, 978-1-931971-01-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | Remi Devouassoud |
Sequoia mantis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Asia Computer Animation Festival ![In: SIGGRAPH Asia 2012 Computer Animation Festival, Singapore, November 28 - December 1, 2012, pp. 26:1-26:2, 2012, ACM, 978-1-4503-1914-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Ramon A. Cardona, David S. Touretzky |
Leg Design for a Praying Mantis Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida, USA, May 23-25, 2012, 2012, AAAI Press, 978-1-57735-558-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Diksha Sharma, Aldo Badano |
Comparison of Experimental, mantis, and hybridmantis X-ray Response for a Breast Imaging CsI Detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Mammography / IWDM ![In: Breast Imaging - 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings, pp. 56-63, 2012, Springer, 978-3-642-31270-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik |
Mantis: Predicting System Performance through Program Analysis and Modeling ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.0019, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Athanasia C. Tzika, Raphaël Helaers, Yves Van de Peer, Michel C. Milinkovitch |
MANTIS: a phylogenetic framework for multi-species genome comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 24(2), pp. 151-157, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Alfred M. Bruckstein, Robert J. Holt, Thomas S. Huang, Arun N. Netravali |
New Devices for 3D Pose Estimation: Mantis Eyes, Agam Paintings, Sundials, and Other Space Fiducials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 39(2), pp. 131-139, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Ronald C. Arkin, Khaled Ali, Alfredo Weitzenfeld, Francisco Cervantes-Pérez |
Behavioral models of the praying mantis as a basis for robotic behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 32(1), pp. 39-60, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Alfred M. Bruckstein, Robert J. Holt, Thomas S. Huang, Arun N. Netravali |
New devices for 3D pose estimation: mantis eyes, Agann paintings, sundials, and other space fiducials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: Fourteenth International Conference on Pattern Recognition, ICPR 1998, Brisbane, Australia, 16-20 August, 1998, pp. 305-309, 1998, IEEE Computer Society, 0-8186-8512-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Steven S. Lumetta, David E. Culler |
The Mantis parallel debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDT ![In: Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, SPDT '96, Philadelphia, Pennsylvania, USA, pp. 118-126, 1996, ACM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Gordon Ashby, Loren Salmonson, Robert Heilman |
Design of an Interactive Debugger for FORTRAN:MANTIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 3(1), pp. 65-74, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
21 | Harald Raffelt, Bernhard Steffen, Tiziana Margaria |
Dynamic Testing Via Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 136-152, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Aldo Badano, Josep Sempau |
Parallel Monte Carlo simulation of imaging systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 1216-1219, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Francisco Ruiz 0001, Mario Piattini, Félix García 0001, Macario Polo |
An XMI-Based Repository for Software Process Meta-modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings, pp. 546-558, 2002, Springer, 3-540-00234-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Mark Scott Johnson |
A software debugging glossary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(2), pp. 53-70, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #83 of 83 (100 per page; Change: )
|
|