|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 323 occurrences of 252 keywords
|
|
|
Results
Found 2181 publication records. Showing 2149 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Christoph Baer, Thomas Musch, Timo Jaeschke, Nils Pohl |
Contactless determination of gas concentration and pressure based on a low jitter mmWave FMCW radar. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Christian Schulz 0010, Ilona Rolfes |
A new approach on advanced compact plasma sensors for industrial plasma applications. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Kenji Inomata, Wataru Tsujita, Takashi Hirai |
Two-frequency surveillance technique for intrusion-detection sensor with Leaky Coaxial Cables. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Matthias Vodel, Rene Bergelt, Wolfram Hardt |
Modelling, quantification, optimisation - energy efficiency in distributed, embedded systems. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Marco Politakis, Yusuke Hioka |
Expansion of sound source emphasis to multiple areas. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Norman Wagner, Frank Daschner, Alexander Scheuermann, Moritz Schwing |
Estimation of the Soil Water Characteristics from dielectric relaxation spectra. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Yongwoo Jeong, Kwanwoo Yoon, KyoungHo Joung |
Probabilistic method to determine human subjects for low-resolution thermal imaging sensor. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Sanush Abeysekera, Melanie Po-Leen Ooi, Ye Chow Kuang, Chee Pin Tan, Sharifah Syed Hassan |
Detecting spongiosis in stained histopathological specimen using multispectral imaging and machine learning. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Hyun June Lyu, Yun Sik Bae, Vijith Vijayakumaran Nair, Jun Rim Choi |
High inductance coil embedded on on-chip magnetic sensor for biomagnetism measurements. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Thu Hang Bui, Trinh Chu Duc |
Microfluidic injector simulation with SAW sensor for 3D integration. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | John Christie, Ian G. Platt |
Moisture content: What is it and how can it be measured? |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Shi-Wei Lo, Jyh-Horng Wu, Lun-Chi Chen, Chien-Hao Tseng, Fang-Pang Lin |
Fluvial monitoring and flood response. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Nguyen Ngoc Mai Khanh, Tetsuya Iizuka, Akihiko Sasaki, Makoto Yamada, Osamu Morita, Kunihiro Asada |
High-resolution measurement of magnetic field generated from cryptographic LSIs. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Hardeep Kumar, K. K. Singh, Neeru Sood, Anuj Kumar, R. K. Mittal |
Design and simulation of a Micro Hotplate for MEMS based integrated gas sensing system. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Justin Cappos, Lai Wang, Richard S. Weiss, Yi Yang, Yanyan Zhuang |
BlurSense: Dynamic fine-grained access control for smartphone privacy. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Michael T. Schaefer, David W. Lamb, Ron Bradbury |
A comparison of two ranging approaches in an active, optical plant canopy sensor. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Eunjeh Hyun, Seungwoo Noh, Chiyul Yoon, Hee Chan Kim |
Patch type integrated sensor system for measuring electrical and mechanical cardiac activities. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Christopher Scott, Gourab Sen Gupta, Liqiong Tang |
Sensing and processing of bio-metric signals for use in low cost bio-robotic systems. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Andò, Salvatore Baglio, Cristian O. Lombardo, Vincenzo Marletta |
An inkjet printed sensor for load measurement. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Rene Bergelt, Matthias Vodel, Wolfram Hardt |
Energy efficient handling of big data in embedded, wireless sensor networks. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Yuta Kudo, Akihito Noda, Hiroyuki Shinoda |
UWB sensor network on 2-D waveguide sheet. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Ran Chen, Weiting Liu, Xin Fu, Paolo Dario |
An easy-fabricated hydrogen gas sensor based on palladium-decorated polyurethane nanofibers. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Jei Shian Tan, Tak Kwin Chang, Melanie Po-Leen Ooi, Ye Chow Kuang, Chee Pin Tan, Takashi Kitahashi |
Fast and robust zebrafish segmentation and detection algorithm under different spectrum conditions. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Moritz Schwing, Z. Chen, Alexander Scheuermann, Norman Wagner |
Non-destructive coaxial transmission line measurements for dielectric soil characterization. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Jungmin Kim, Minhhuy Le, Jinyi Lee |
Non-destructive evaluation of far-side corrosion around the multi-layered rivet by using the solid-state hall sensor array. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Bianca Will, Ilona Rolfes |
A miniaturized soil moisture sensor based on time domain transmissometry. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Ian G. Platt, Ian M. Woodhead, Adrian Eng-Choon Tan, Sean Richards, Michael Hagedorn |
RFID coordinate registration for agricultural process sensing. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Adam Santorelli, Joshua D. Schwartz |
Predicting Cole-Cole parameters of microfluids with microstrip technology. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Rick Pierce, Gourab Sen Gupta |
Investigation of force sensors for use in bipedal humanoid dynamic gait generation. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Stephan Hussmann, Jorn Sandner |
Real-time classification of industrial products based on the photonic-mixer-device sensor technology. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Chiara Maria De Dominicis, Alessandro Depari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni, Angelo Vezzoli |
Acquisition and elaboration of cardiac signal in android Smartphone devices. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Chih-Hsing Lin, Ssu-Ying Chen, Chih-Chyau Yang, Chien-Ming Wu, Chun-Ming Huang, Chih-Ting Kuo, Yu-Da Huang |
Structural health monitoring of bridges using cost-effective 1-axis accelerometers. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | S. S. Tiang, M. S. Hathal, N. S. Nik Anwar, Mohd Fadzil Ain, M. Z. Abdullah |
Wide-slot antenna for breast imaging applications. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Debraj Basu 0002, Gourab Sen Gupta, Giovanni S. Moretti, Xiang Gui |
Investigation into the impact of protocol design on energy consumption of low power wireless sensors. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Wei Hu, Haiying Zhang, Zhangyan Zhao, Yunfeng Wang, Xize Wang |
Real-time remote vital sign detection using a portable Doppler sensor system. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | N. M. Duong, Moi-Tin Chew, Sergey Demidenko, Quoc Hung Pham, Dang Khoa Pham, Melanie Po-Leen Ooi, Ye Chow Kuang |
Vision inspection system for pharmaceuticals. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Stephan Blokzyl, Matthias Vodel, Wolfram Hardt |
FPGA-based approach for runway boundary detection in high-resolution colour images. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Michael Hofbauer, Johannes Seiter, Horst Zimmermann |
Development of a frequency-shifted feedback fiber laser at 777.5 nm for range sensing applications. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Andò, Salvatore Baglio, Cristian O. Lombardo, Vincenzo Marletta |
An advanced tracking solution fully based on native sensing features of smartphone. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Gaurav Chaudhary, K. K. Singh, Anyaa Mittal, Neeru Sood |
Design and simulation of nano-mechanical resonator for virus detection. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | S. T. Pham, M. T. Chew |
Sensor signal filtering in quadrotor control. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Donald G. Bailey, David Thomas, Michelle Cho, Said Al-Souti |
Automating monitoring of cat feeding behaviour. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Akihito Noda, Masahiro Hirano, Yuji Yamakawa, Masatoshi Ishikawa |
A networked high-speed vision system for vehicle tracking. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Ian M. Woodhead, John Christie, Kenji Irie, Richard Fenton |
A water content sensor for baked products. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Steven T. Griffin, Thomas E. Wyatt |
Solar panel sensor modeling and fiscal modeling. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Jason Bommer, Andy Robb, Rene Martinez, Shashi Ramamurthy, Jason Harrigan, Harikiran Muniganti, Vivekanand Mannangi, K. J. Vinoy |
Wireless aircraft fuel quantity indication system. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Byeong-Mook Chung, Yoon-Chang Park, Jin-Yeong Do |
Phase-height relationship by plane analysis in 3D shape measurement using fringe pattern projector. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Quazi Mamun, Mohammed Kaosar |
What is the first step in designing an application protocol for wireless sensor networks (WSNs)? |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Scheuermann, Christopher Gonzales, J. Fan, B. Braga, Thomas Baumgartl, David A. Lockington, Stefan Schlaeger, R. Becker, Norman Wagner, Christof Hübner |
Spatial Time Domain Reflectometry (spatial TDR) in geo-environmental engineering. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Michael Hofbauer, Johannes Seiter, Milos Davidovic, Horst Zimmermann |
A processing approach for a correlating time-of-flight range sensor based on a least squares method. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Sean Richards, Adrian Eng-Choon Tan, Ian G. Platt, Ian Woodhead |
Free-space microwave moisture content measurement of moist sand. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Philip Diefenderfer, Peter Mark Jansson |
Power sensor applications in a load management network for a residential microgrid. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Andre Schwarzmeier, Jurgen Besser, Robert Weigel, Georg Fischer 0001, Dietmar Kissinger |
A compact back-plaster sensor node for dementia and Alzheimer patient care. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Craig Gray, Yusuke Hioka |
Direction of arrival estimation of kiwi call in noisy and reverberant bush. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Minhhuy Le, Jungmin Kim, Hwa Sik Do, Jinyi Lee |
2-D vector field visualization of corrosion in a small-bore piping system using bobbin-type integrated Hall and GMR sensors arrays. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | L. Berghella, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni, Angelo Vezzoli |
Low-power wireless interface for handheld smart metering devices. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Emily Porter, Adam Santorelli, Milica Popovic |
Measurement uncertainties in differential radar applied to breast imaging. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Jason Orchard, Yusuke Hioka |
Localisation of a sound source in different positions using Kinect sensors. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Carlo Trigona, Fabio Giusa, Felice Maiorca, A. Noto, Bruno Andò, Salvatore Baglio |
Anti-phase coupled bistable transducers: A review of recent progress. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Tai-Ping Sun, Jia-Hao Li, Hsiu-Li Shieh, Lai-Li Kang, Yi-Chuan Lu, Teng-Yi Wang |
Design and implementation of array readout integrated circuit and image system for current mode sensors. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Supamit Jankoo, Paskorn Champrasert, Benya Suntaranont |
Fuzzy logic control mechanism for flash flood monitoring station. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Darko Vasic, Davorin Ambrus, Vedran Bilas |
Simple linear inversion of soil electromagnetic properties from analytical model of electromagnetic induction sensor. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Adrian Eng-Choon Tan, Sean Richards, Ian G. Platt, Ian Woodhead |
Antenna design for a proximal soil moisture mapping sensor. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Norlida Buniyamin, W. A. J. Wan Ngah, Zainuddin Mohamad |
PointsBug versus TangentBug algorithm, a performance comparison in unknown static environment. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Andò, Salvatore Baglio, Angela Beninato, C. Jenkins, Adi R. Bulsara, Teresa Emery, V. Palkar |
A coupled nonlinear circuit for E-field and B-field detection. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Torsten Edeler, Stephan Hussmann, Florian Johannes Knoll |
Uncertainty analysis for optical time-of-flight sensors based on four-phase-shift range calculation. |
SAS |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Francesco Logozzo, Manuel Fähndrich (eds.) |
Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Hyunha Kim, Kyung-Goo Doh, David A. Schmidt |
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Raghavan Komondoor |
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Rupak Majumdar, Roland Meyer 0001, Zilong Wang 0004 |
Static Provenance Verification for Message Passing Programs. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang |
Symbolic Automata for Static Specification Mining. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Sriram Sankaranarayanan 0001 |
Static Analysis in the Continuously Changing World. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Veselin Raychev, Martin T. Vechev, Eran Yahav |
Automatic Synthesis of Deterministic Concurrency. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Caterina Urban |
The Abstract Domain of Segmented Ranking Functions. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
Local Shape Analysis for Overlaid Data Structures. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Kamil Dudka, Petr Peringer, Tomás Vojnar |
Byte-Precise Verification of Low-Level List Manipulation. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Leo White, Alan Mycroft |
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Eric Goubault |
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Nimrod Partush, Eran Yahav |
Abstract Semantic Differencing for Numerical Programs. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Gianluca Amato, Francesca Scozzari |
Localizing Widening and Narrowing. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Abstract Interpretation over Non-lattice Abstract Domains. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko |
On Solving Universally Quantified Horn Clauses. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner |
Contextual Locking for Dynamic Pushdown Networks. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
Predicate Abstraction for Relaxed Memory Models. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Alexis Fouilhé, David Monniaux, Michaël Périn |
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Pranav Garg 0001, P. Madhusudan, Gennaro Parlato |
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Rahul Sharma 0001, Saurabh Gupta 0001, Bharath Hariharan, Alex Aiken, Aditya V. Nori |
Verification as Learning Geometric Concepts. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong |
Automatic Verification of Erlang-Style Concurrency. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Subhajit Roy 0001 |
From Concrete Examples to Heap Manipulating Programs. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Kedar S. Namjoshi, Lenore D. Zuck |
Witnessing Program Transformations. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie |
Formal Verification of a C Value Analysis Based on Abstract Interpretation. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Antoine Miné, David Schmidt (eds.) |
Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner |
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Alejandro Sánchez, Sriram Sankaranarayanan 0001, César Sánchez 0001, Bor-Yuh Evan Chang |
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Tie Cheng, Xavier Rival |
An Abstract Domain to Infer Types over Zones in Spreadsheets. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Diego Esteban Alonso-Blas, Samir Genaim |
On the Limits of the Classical Approach to Cost Analysis. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
Modular Heap Analysis for Higher-Order Programs. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Aditya V. Thakur, Matt Elder, Thomas W. Reps |
Bilateral Algorithms for Symbolic Abstraction. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Peter Calvert, Alan Mycroft |
Control Flow Analysis for the Join Calculus. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
|
|