Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
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