|
|
|
|
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).  |
ICIAP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 151 | Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan |
Improving the Energy Efficiency of the MANTIS Kernel. |
EWSN |
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. |
Auton. Robots |
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. |
ACM Trans. Embed. Comput. Syst. |
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. |
Mob. Networks Appl. |
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. |
Wireless Sensor Networks and Applications |
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. |
EmNets |
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. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 46 | Giovanni Pezzulo, Gianguglielmo Calvi |
A Schema Based Model of the Praying Mantis. |
SAB |
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. |
SenSys |
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. |
PerCom Workshops |
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. |
Comput. Biol. Medicine |
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. |
Comput. Methods Programs Biomed. |
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. |
Ad Hoc Sens. Wirel. Networks |
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. |
VLSI-SoC |
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. |
WCCCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 38 | Anthony J. Howe, Mantis H. M. Cheng |
Client Migration in a Continuous Data Network. |
DCW |
2002 |
DBLP DOI BibTeX RDF |
|
| 38 | Ralph D. Hippenstiel, Spiros Mantis |
Wavelet denoising of signals based on the fourth order moment. |
ISSPA |
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. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 38 | Panos Rondogiannis, Mantis H. M. Cheng |
Petri-Net-Based Deadlock Analysis of Process Algebra Programs. |
Sci. Comput. Program. |
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. |
New Gener. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 38 | Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng |
An application of L systems to local microcode synthesis. |
MICRO |
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. |
ICLP |
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. |
META |
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. |
FGCS |
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. |
ACHI |
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. |
IEEE Access |
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. |
CoRR |
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. |
Sensors |
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. |
IACR Trans. Symmetric Cryptol. |
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. |
CoRR |
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. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 25 | Chaitali Sathe, Yiorgos Makris, Benjamin Carrion Schafer |
MANTIS: Machine Learning-Based Approximate ModeliNg of RedacTed Integrated CircuitS. |
DATE |
2023 |
DBLP DOI BibTeX RDF |
|
| 25 | Rachmad Vidya Wicaksana Putra, Muhammad Shafique 0001 |
Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks. |
ICARA |
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. |
ICICS |
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. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Rachmad Vidya Wicaksana Putra, Muhammad Shafique 0001 |
Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks. |
CoRR |
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. |
CoRR |
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. |
IROS |
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. |
ICIT |
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. |
SMM4H@COLING |
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. |
IEEE Robotics Autom. Lett. |
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. |
IDEAS |
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. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Liangcheng Yu, John Sonchack, Vincent Liu 0001 |
Mantis: Reactive Programmable Switches. |
SIGCOMM |
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. |
MMSys |
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. |
Sci. China Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Gustavo Penha, Alexandru Balan, Claudia Hauff |
Introducing MANtIS: a novel Multi-Domain Information Seeking Dialogues Dataset. |
CoRR |
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. |
J. Syst. Control. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Gareth Barnaby, Anne Roudaut |
Mantis: A Scalable, Lightweight and Accessible Architecture to Build Multiform Force Feedback Systems. |
UIST |
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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 25 | Maria Eichlseder, Daniel Kales |
Clustering Related-Tweak Characteristics: Application to MANTIS-6. |
IACR Trans. Symmetric Cryptol. |
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. |
RECOMB |
2018 |
DBLP BibTeX RDF |
|
| 25 | Csaba Hegedüs, Pál Varga, István Moldován |
The MANTIS Architecture for Proactive Maintenance. |
CoDIT |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Maria Eichlseder, Daniel Kales |
Clustering Related-Tweak Characteristics: Application to MANTIS-6. |
IACR Cryptol. ePrint Arch. |
2017 |
DBLP BibTeX RDF |
|
| 25 | Luca E. Bruzzone, Pietro Fanghella, Giuseppe Quaglia |
Experimental Performance Assessment of Mantis 2, Hybrid Leg-Wheel Mobile Robot. |
Int. J. Autom. Technol. |
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. |
J. Intell. Robotic Syst. |
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. |
IACR Cryptol. ePrint Arch. |
2016 |
DBLP BibTeX RDF |
|
| 25 | Christoph Dobraunig, Maria Eichlseder, Florian Mendel |
Key Recovery for MANTIS-5. |
IACR Cryptol. ePrint Arch. |
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. |
CRYPTO (2) |
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. |
IEEE Trans. Mob. Comput. |
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. |
Comput. Networks |
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. |
BMC Bioinform. |
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. |
Living Machines |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Luca E. Bruzzone, Pietro Fanghella |
Mantis: hybrid leg-wheel ground mobile robot. |
Ind. Robot |
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. |
MESA |
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. |
Living Machines |
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. |
Sensors |
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. |
USENIX Annual Technical Conference |
2013 |
DBLP BibTeX RDF |
|
| 25 | Remi Devouassoud |
Sequoia mantis. |
SIGGRAPH Asia Computer Animation Festival |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Ramon A. Cardona, David S. Touretzky |
Leg Design for a Praying Mantis Robot. |
FLAIRS |
2012 |
DBLP BibTeX RDF |
|
| 25 | Diksha Sharma, Aldo Badano |
Comparison of Experimental, mantis, and hybridmantis X-ray Response for a Breast Imaging CsI Detector. |
Digital Mammography / IWDM |
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 |
CoRR |
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. |
Bioinform. |
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. |
Int. J. Comput. Vis. |
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. |
Robotics Auton. Syst. |
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. |
ICPR |
1998 |
DBLP DOI BibTeX RDF |
|
| 25 | Steven S. Lumetta, David E. Culler |
The Mantis parallel debugger. |
SPDT |
1996 |
DBLP DOI BibTeX RDF |
|
| 25 | Gordon Ashby, Loren Salmonson, Robert Heilman |
Design of an Interactive Debugger for FORTRAN:MANTIS. |
Softw. Pract. Exp. |
1973 |
DBLP DOI BibTeX RDF |
|
| 21 | Harald Raffelt, Bernhard Steffen, Tiziana Margaria |
Dynamic Testing Via Automata Learning. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 21 | Aldo Badano, Josep Sempau |
Parallel Monte Carlo simulation of imaging systems. |
ISBI |
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. |
PROFES |
2002 |
DBLP DOI BibTeX RDF |
|
| 21 | Mark Scott Johnson |
A software debugging glossary. |
ACM SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #83 of 83 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license