Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
32	Manos Koutsoubelias, Spyros Lalis, Nasos Grigoropoulos, Petros Lampsas, Serafeim Katsikas, Dimitrios Dimas	Scriptable virtual onboard sensors for conducting post-deployment drills in wireless sensor networks.	SAS	2015	DBLP DOI BibTeX RDF
32	Peter Sarcevic, Zoltán Kincses, Szilveszter Pletl	Comparison of different classifiers in movement recognition using WSN-based wrist-mounted sensors.	SAS	2015	DBLP DOI BibTeX RDF
32	Daniel Cesarini, Bodo E. Ungerechts, Thomas Hermann	Swimmers in the loop: Sensing moving water masses for an auditory biofeedback system.	SAS	2015	DBLP DOI BibTeX RDF
32	Domenico Balsamo, Gianluca Gallo, Davide Brunelli, Luca Benini	Non-intrusive Zigbee power meter for load monitoring in smart buildings.	SAS	2015	DBLP DOI BibTeX RDF
32	Gayathri Masilamany, Pierre-Yves Joubert, Stéphane Serfaty, Bastien Roucaries, Pascal Griesmar	Evaluation of a high sensitivity radiofrequency inductive probe for the non-contact sensing of dielectric properties of organic media.	SAS	2015	DBLP DOI BibTeX RDF
32	Slaven Glumac, Damir Arbula, Zdenko Kovacic	Microimmune algorithm for sensor network localization.	SAS	2015	DBLP DOI BibTeX RDF
32	Elizabeth Rendon-Morales, Daniel Roggen, Helen Prance, Robert J. Prance	Towards the correlation between human hydration and the electrical activity of the heart using Electric Potential Sensors.	SAS	2015	DBLP DOI BibTeX RDF
32	Thierry Bore, Norman Wagner, Sylvie Delepine-Lesoille, Frederic Taillade, Gonzague Six, Franck Daout, Dominique Placko	3D-FEM modeling of F/TDR sensors for clay-rock water content measurement in combination with broadband dielectric spectroscopy.	SAS	2015	DBLP DOI BibTeX RDF
32	Eugen Berlin, Martin Zittel, Michael Braunlein, Kristof Van Laerhoven	Low-power lessons from designing a wearable logger for long-term deployments.	SAS	2015	DBLP DOI BibTeX RDF
32	Tommaso Addabbo, Ada Fort, Marco Mugnaini, Santina Rocchi, Valerio Vignoli, R. Garbin	Theoretical modeling of an electrostatic Gas-Path debris detection system with experimental validation.	SAS	2015	DBLP DOI BibTeX RDF
32	Ivan Drazic-Segrt, Ana Krnjak, Marko Sprem, Marko Bosiljevac, Zvonimir Sipus	Portable FBG based optical sensor array.	SAS	2015	DBLP DOI BibTeX RDF
32	Ryszard Sroka, Janusz Gajda, Piotr Burnos, Piotr Piwowar	Information fusion in weigh in motion systems.	SAS	2015	DBLP DOI BibTeX RDF
32	Huma Zia, Nick R. Harris, Geoff V. Merrett, Mark Rivers	Data-driven low-complexity nitrate loss model utilizing sensor information - Towards collaborative farm management with wireless sensor networks.	SAS	2015	DBLP DOI BibTeX RDF
32	Darko Vasic, Davorin Ambrus, Vedran Bilas	Stochastic inversion of two-layer soil model parameters from electromagnetic induction data.	SAS	2015	DBLP DOI BibTeX RDF
32	Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem	Building distributed sensor network applications using BIP.	SAS	2015	DBLP DOI BibTeX RDF
32	Bradley J. Panckhurst, Phill Brown, Keith W. Payne, Timothy C. A. Molteno	Solar-powered sensor for continuous monitoring of livestock position.	SAS	2015	DBLP DOI BibTeX RDF
32	David Ayllón, Héctor A. Sánchez-Hevia, Roberto Gil-Pita, Manuel Rosa-Zurera	Indoor blind localization of smartphones by means of sensor data fusion.	SAS	2015	DBLP DOI BibTeX RDF
32	Bruce Grieve, Simon Hammersley, Anne-Katrin Mahlein, Erich-Christian Oerke, Heiner E. Goldbach	Localized multispectral crop imaging sensors: Engineering & validation of a cost effective plant stress and disease sensor.	SAS	2015	DBLP DOI BibTeX RDF
32	Mark D. Locuson, George D. Lecakes, Anthony L. Aita, H. Warren Goldman, Shreekanth Mandayam, Mira Lalovic-Hand	A virtual scalpel for visualizing patients in a three-dimensional, immersive, navigable and interactive virtual reality environment.	SAS	2015	DBLP DOI BibTeX RDF
32	Andreas D. Waldmann, Carlos Ferrando Ortola, Manuel Munoz Martinez, Anxela Vidal, Arnoldo Santos, Manuel Perez Marquez, Peter L. Roka, Stephan H. Bohm, Fernando Suárez Sipmann	Position-dependent distribution of lung ventilation - A feasability study.	SAS	2015	DBLP DOI BibTeX RDF
32	Goran Horvat, Drago Zagar, Jelena Vlaovic	On the topic of RTT and delivery ratio in query driven Wireless Sensor Networks.	SAS	2015	DBLP DOI BibTeX RDF
32	Liam A. Marsh, Omar A. Abdel Rehim, Yee M. Tan, Michael D. O'Toole, David W. Armitage, Anthony J. Peyton	Design of electromagnetic sensor arrays optimised for inversion of the magnetic polarisability tensor.	SAS	2015	DBLP DOI BibTeX RDF
32	Matthias Flatscher, Markus Neumayer, Thomas Bretterklieber, Michael J. Moser, Hubert Zangl	De-icing system with integrated ice detection and temperature sensing for meteorological devices.	SAS	2015	DBLP DOI BibTeX RDF
32	Mark Rivers, Neil Coles, Huma Zia, Nick R. Harris, Richard Yates	How could sensor networks help with agricultural water management issues? Optimizing irrigation scheduling through networked soil-moisture sensors.	SAS	2015	DBLP DOI BibTeX RDF
32	Nick R. Harris, Andy Cranny, Mark Rivers, Keith Smettem	Applications of a wireless chloride sensor in environmental monitoring.	SAS	2015	DBLP DOI BibTeX RDF
32	Elisa Fumagalli, Roberta Ferretti, Marco Bibuli, Enrica Zereik, Massimo Caccia, Gabriele Bruzzone	Preliminary results for hydrographic seabed analysis with acoustic devices.	SAS	2015	DBLP DOI BibTeX RDF
32	Abolghassem Zabihollah, F. Entesari, H. Alimohmmadi	Fault detection of wind turbine blade under sudden change of wind speed condition using fiber optics.	SAS	2015	DBLP DOI BibTeX RDF
32	Mihail Georgiev, Robert Bregovic, Atanas P. Gotchev	Fixed-pattern noise suppression in low-sensing environment of Time-of-Flight devices.	SAS	2015	DBLP DOI BibTeX RDF
32	Ahmed Alfadhel, Jürgen Kosel	Magnetic micropillar sensors for force sensing.	SAS	2015	DBLP DOI BibTeX RDF
32	Eugenijus Kaniusas, Stefan Kampusch, Jozsef Constantin Szeles	Depth profiles of the peripheral blood oxygenation in diabetics and healthy subjects in response to auricular electrical stimulation: Auricular vagus nerve stimulation as a potential treatment for chronic wounds.	SAS	2015	DBLP DOI BibTeX RDF
32	Xuehui Zhang, Daocheng Wu, Xiaoli Xi, Zhongguo Song	Suppression of direct wave and wall clutter for through-wall imaging by spread spectrum radar.	SAS	2015	DBLP DOI BibTeX RDF
32	Agnelo R. Silva, Mahta Moghaddam	Operating frequency selection for low-power magnetic induction-based wireless underground sensor networks.	SAS	2015	DBLP DOI BibTeX RDF
32	Vladimir Djapic, Wenjie Dong, Adi R. Bulsara, Greg Anderson	Challenges in underwater navigation: Exploring magnetic sensors anomaly sensing and navigation.	SAS	2015	DBLP DOI BibTeX RDF
32	Bernhard Hametner, Christopher C. Mayer, Martin Bachler, Thomas Weber, Stephanie Parragh, Siegfried Wassertheurer	Pulse wave intensity and ECG: A multisensor approach for the risk assessment in systolic heart failure.	SAS	2015	DBLP DOI BibTeX RDF
32	Paola Pierleoni, Luca Pernini, Alberto Belli, Lorenzo Palma, Simone Valenti, Michele Paniccia	SVM-based fall detection method for elderly people using Android low-cost smartphones.	SAS	2015	DBLP DOI BibTeX RDF
32	Philip Diefenderfer, Peter Mark Jansson, Edward R. Prescott	Application of power sensors in the control and monitoring of a residential microgrid.	SAS	2015	DBLP DOI BibTeX RDF
32	Taimur Aftab, Adnan Yousaf, Joachim Hoppe, Sebastian Stoecklin, Thomas Ostertag, Leonhard M. Reindl	A parallel plate dielectric resonator as a wireless passive strain sensor.	SAS	2015	DBLP DOI BibTeX RDF
32	Tuan Nguyen Gia, Amir-Mohammad Rahmani, Tomi Westerlund, Pasi Liljeberg, Hannu Tenhunen	Fault tolerant and scalable IoT-based architecture for health monitoring.	SAS	2015	DBLP DOI BibTeX RDF
32	Carlo Trigona, A. Noto, Bruno Andò, Salvatore Baglio	Novel mechanical transducers for switched capacitor circuits.	SAS	2015	DBLP DOI BibTeX RDF
32	Darko Vyroubal, Igor Lackovic	Target temperature effect on eddy-current displacement sensing.	SAS	2015	DBLP DOI BibTeX RDF
32	Tommaso Addabbo, Ada Fort, Marco Mugnaini, Valerio Vignoli, Stefano Cioncolini, Marco Marrazzo	A system for the dynamic response characterization of turbomachinery tip clearance measurement instruments based on capacitive probes.	SAS	2015	DBLP DOI BibTeX RDF
32	Alessandro Depari, Chiara Maria De Dominicis, Alessandra Flammini, Emiliano Sisinni, Luca Fasanotti, P. Gritti	Using smartglasses for utility-meter reading.	SAS	2015	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Antonio Pistorio	A novel inclinometer exploiting magnetic fluids and an IR readout strategy.	SAS	2015	DBLP DOI BibTeX RDF
32	Matthew Pugh, Jerry Brewer, Jacques Kvam	Sensor fusion for intrusion detection under false alarm constraints.	SAS	2015	DBLP DOI BibTeX RDF
32	Thierry Bore, Dominique Placko, Pierre-Yves Joubert	Semi-analytical modeling of an eddy current imaging system for the characterization of defects in metallic structures.	SAS	2015	DBLP DOI BibTeX RDF
32	Geraint M. Goodfellow, Jeffrey A. Neasham, Ivor Rendulic, Dula Nad, Nikola Miskovic	DiverNet - A network of inertial sensors for real time diver visualization.	SAS	2015	DBLP DOI BibTeX RDF
32	Fiona Edwards Murphy, Michele Magno, Pádraig M. Whelan, Emanuel Popo Vici	b+WSN: Smart beehive for agriculture, environmental, and honey bee health monitoring - Preliminary results and analysis.	SAS	2015	DBLP DOI BibTeX RDF
32	Valentin Roscher, Matthias Schneider, Phillip Durdaut, Nico Sassano, Sergej Pereguda, Eike Mense, Karl-Ragmar Riemschneider	Synchronisation using wireless trigger-broadcast for impedance spectroscopy of battery cells.	SAS	2015	DBLP DOI BibTeX RDF
32	Dino Mislov, Mario Cifrek, Igor Krois, Hrvoje Dzapo	Measurement of dissolved hydrogen concentration with clark electrode.	SAS	2015	DBLP DOI BibTeX RDF
32	Attapol Adulyasas, Zhili Sun, Ning Wang 0001	A virtual square partition for connected coverage assurance in wireless sensor networks.	SAS	2015	DBLP DOI BibTeX RDF
32	Eranda Tennakoon, Charith Madusanka, Kasun De Zoysa, Chamath Keppitiyagama, Venkat Iyer, Kasun Hewage, Thiemo Voigt	Sensor-based breakage detection for electric fences.	SAS	2015	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Cristian O. Lombardo, Antonio Pistorio	Seismic and gas monitoring of volcanic sites.	SAS	2015	DBLP DOI BibTeX RDF
32	Davorin Ambrus, Darko Vasic, Vedran Bilas	Model-based target classification using spatial and temporal features of metal detector response.	SAS	2015	DBLP DOI BibTeX RDF
32	Dinko Oletic, Vedran Bilas	Design of sensor node for air quality crowdsensing.	SAS	2015	DBLP DOI BibTeX RDF
32	Ana Fernandez, Luca Bergesio, Ana M. Bernardos, Juan A. Besada, José R. Casar	A Kinect-based system to enable interaction by pointing in smart spaces.	SAS	2015	DBLP DOI BibTeX RDF
32	Anil Yuksel 0002, Erkam Uzun, Bülent Tavli	The impact of elimination of the most critical node on Wireless Sensor Network lifetime.	SAS	2015	DBLP DOI BibTeX RDF
32	Karlo Griparic, Tomislav Haus, Damjan Miklic, Stjepan Bogdan	Combined actuator sensor unit for interaction with honeybees.	SAS	2015	DBLP DOI BibTeX RDF
32	Vana Jelicic, Dinko Oletic, Tomislav Sever, Vedran Bilas	Evaluation of MOX gas sensor transient response for low-power operation.	SAS	2015	DBLP DOI BibTeX RDF
32	Antonio Vasilijevic, Nikola Stilinovic, Dula Nad, Filip Mandic, Nikola Miskovic, Zoran Vukic	AUV based mobile fluorometers: System for underwater oil-spill detection and quantification.	SAS	2015	DBLP DOI BibTeX RDF
32	Michal Meina, Adam Krasuski, Krzysztof Rykaczewski	Model fusion for inertial-based personal dead reckoning systems.	SAS	2015	DBLP DOI BibTeX RDF
32	Natàlia Hurtós, Narcís Palomeras, Arnau Carrera, Marc Carreras	Adaptive frequency filtering for forward-looking sonar imagery spectral registration.	SAS	2015	DBLP DOI BibTeX RDF
32	Mangesh Gurav, Shahbaz Sarik, Maryam Shojaei Baghini	Time extraction method for time domain reflectometry measurements.	SAS	2015	DBLP DOI BibTeX RDF
32	Bruno Srbinovski, Michele Magno, Brendan O'Flynn, Vikram Pakrashi, Emanuel M. Popovici	Energy aware adaptive sampling algorithm for energy harvesting wireless sensor networks.	SAS	2015	DBLP DOI BibTeX RDF
32	Florian Thürk, Stefan Kampusch, Eugenijus Kaniusas	Strategic framework for management of hybrid biosignals from study design to statistics.	SAS	2015	DBLP DOI BibTeX RDF
32	Alessio Dede, Davide Della Giustina, Stefano Rinaldi, Paolo Ferrari, Alessandra Flammini, Angelo Vezzoli	Smart meters as part of a sensor network for monitoring the low voltage grid.	SAS	2015	DBLP DOI BibTeX RDF
32	Scott Newberry, Gourab Sen Gupta	Wireless sensor based home automation as an educational springboard.	SAS	2015	DBLP DOI BibTeX RDF
32	Daniel García-Lesta, Esteban Ferro, Víctor M. Brea 0001, Paula López 0001, Diego Cabello, J. Iglesias, J. Castillejo	Capacitance-based wireless sensor mote for snail pest detection.	SAS	2015	DBLP DOI BibTeX RDF
32	Andres Gomez 0001, Marie Francine Lagadec, Michele Magno, Luca Benini	Self-powered wireless sensor nodes for monitoring radioactivity in contaminated areas using unmanned aerial vehicles.	SAS	2015	DBLP DOI BibTeX RDF
32	Harald Rieser, Peter Dorfinger, Vangelis Nomikos, Vassilis Papataxiarhis	Sensor interoperability for disaster management.	SAS	2015	DBLP DOI BibTeX RDF
32	Matthew Pugh	A minimax approach to sensor fusion for intrusion detection.	SAS	2015	DBLP DOI BibTeX RDF
32	Andrea Sorbara, Enrica Zereik, Marco Bibuli, Gabriele Bruzzone, Massimo Caccia	Low cost optronic obstacle detection sensor for unmanned surface vehicles.	SAS	2015	DBLP DOI BibTeX RDF
32	Charitha Elvitigala, Eranda Tennakoon, Ayyoob Hamza, Yasith Lokuge, Kasun De Zoysa, Chamath Keppitiyagama, Venkat Iyer, Kasun Hewage, Thiemo Voigt	Towards a sensor system to tame the human elephant conflict.	SAS	2015	DBLP DOI BibTeX RDF
32	Markus Müller-Olm, Helmut Seidl (eds.)	Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings	SAS	2014	DBLP DOI BibTeX RDF
32		IEEE Sensors Applications Symposium, SAS 2014, Queenstown, New Zealand, February 18-20, 2014	SAS	2014	DBLP BibTeX RDF
32	David Monniaux, Peter Schrammel	Speeding Up Logico-Numerical Strategy Iteration.	SAS	2014	DBLP DOI BibTeX RDF
32	Caterina Urban, Antoine Miné	A Decision Tree Abstract Domain for Proving Conditional Termination.	SAS	2014	DBLP DOI BibTeX RDF
32	Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye	On Program Equivalence with Reductions.	SAS	2014	DBLP DOI BibTeX RDF
32	Khalil Ghorbal, Andrew Sogokon, André Platzer	Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations.	SAS	2014	DBLP DOI BibTeX RDF
32	Sen Ye, Yulei Sui, Jingling Xue	Region-Based Selective Flow-Sensitive Pointer Analysis.	SAS	2014	DBLP DOI BibTeX RDF
32	Woosuk Lee, Hakjoo Oh, Kwangkeun Yi	A Progress Bar for Static Analyzers.	SAS	2014	DBLP DOI BibTeX RDF
32	Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang 0001	An Abstract Domain to Infer Octagonal Constraints with Absolute Value.	SAS	2014	DBLP DOI BibTeX RDF
32	Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang	Verifying Recursive Programs Using Intraprocedural Analyzers.	SAS	2014	DBLP DOI BibTeX RDF
32	Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival	Automatic Analysis of Open Objects in Dynamic Language Programs.	SAS	2014	DBLP DOI BibTeX RDF
32	Magnus Madsen, Anders Møller	Sparse Dataflow Analysis with Pointers and Reachability.	SAS	2014	DBLP DOI BibTeX RDF
32	Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík	Block Me If You Can! - Context-Sensitive Parameterized Verification.	SAS	2014	DBLP DOI BibTeX RDF
32	Frédéric Besson, Thomas P. Jensen, Pierre Vittet	SawjaCard: A Static Analysis Tool for Certifying Java Card Applications.	SAS	2014	DBLP DOI BibTeX RDF
32	James Brotherston, Nikos Gorogiannis	Cyclic Abduction of Inductively Defined Safety and Termination Preconditions.	SAS	2014	DBLP DOI BibTeX RDF
32	Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson	Cost-Aware Automatic Program Repair.	SAS	2014	DBLP DOI BibTeX RDF
32	Louis Mandel, Cédric Pasteur	Reactivity of Cooperative Systems - Application to ReactiveML.	SAS	2014	DBLP DOI BibTeX RDF
32	Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav	Synthesis of Memory Fences via Refinement Propagation.	SAS	2014	DBLP DOI BibTeX RDF
32	Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez	Peak Cost Analysis of Distributed Systems.	SAS	2014	DBLP DOI BibTeX RDF
32	Alexey Bakhirkin, Josh Berdine, Nir Piterman	Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction.	SAS	2014	DBLP DOI BibTeX RDF
32	Aleksandar Chakarov, Sriram Sankaranarayanan 0001	Expectation Invariants for Probabilistic Program Loops as Fixed Points.	SAS	2014	DBLP DOI BibTeX RDF
32	Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival	An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.	SAS	2014	DBLP DOI BibTeX RDF
32	Byung-Cheol Min, Eric T. Matson, Anthony H. Smith, J. Eric Dietz	Using directional antennas as sensors to assist fire-fighting robots in large scale fires.	SAS	2014	DBLP DOI BibTeX RDF
32	Sangyup Lee, Choong-Yong Lee, Wonse Jo, Dong Han Kim 0001	An efficient area coverage algorithm using passive RFID system.	SAS	2014	DBLP DOI BibTeX RDF
32	John Kennedy, Jerome Leveneur, James Turner, John Futter, Grant V. M. Williams	Applications of nanoparticle-based fluxgate magnetometers for positioning and location.	SAS	2014	DBLP DOI BibTeX RDF
32	Deniz Gurkan, Kiran Vemuri, Parth Gala, Anatoliy Malishevskiy, Anand Daga	Emergency management through sensors of enterprise systems.	SAS	2014	DBLP DOI BibTeX RDF
32	Arvind Rajan, Ye Chow Kuang, Melanie Po-Leen Ooi, Serge N. Demidenko	Standard Uncertainty estimation on polynomial regression models.	SAS	2014	DBLP DOI BibTeX RDF
32	Jabal Raval, Bhushan G. Jagyasi	Distributed detection in Neural Network based multihop Wireless Sensor Network.	SAS	2014	DBLP DOI BibTeX RDF