Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
32	Mayur Naik	Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.	SAS	2019	DBLP DOI BibTeX RDF
32	Chaoqiang Deng, Patrick Cousot	Responsibility Analysis by Abstract Interpretation.	SAS	2019	DBLP DOI BibTeX RDF
32	Naoki Kobayashi 0001, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno 0001	Temporal Verification of Programs via First-Order Fixpoint Logic.	SAS	2019	DBLP DOI BibTeX RDF
32	Patrick Cousot	Abstract Semantic Dependency.	SAS	2019	DBLP DOI BibTeX RDF
32	Francesco Ranzato, Marco Zanella	Robustness Verification of Support Vector Machines.	SAS	2019	DBLP DOI BibTeX RDF
32	Anna Becchi, Enea Zaffanella	Revisiting Polyhedral Analysis for Hybrid Systems.	SAS	2019	DBLP DOI BibTeX RDF
32	Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001	On the Monniaux Problem in Abstract Interpretation.	SAS	2019	DBLP DOI BibTeX RDF
32	Hua Yan, Shiping Chen 0001, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue	Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.	SAS	2019	DBLP DOI BibTeX RDF
32	Marco Campion, Mila Dalla Preda, Roberto Giacobazzi	Abstract Interpretation of Indexed Grammars.	SAS	2019	DBLP DOI BibTeX RDF
32	Sudip Maitra, Dylan Richards, Ahmed Abdelgawad 0001, Kumar Yelamarthi	Performance Evaluation of IoT Encryption Algorithms: Memory, Timing, and Energy.	SAS	2019	DBLP DOI BibTeX RDF
32	Rubi A. Ayon-Sicaeros, Eduardo Cabal-Yepez, Luis Manuel Ledesma-Carrillo, Geovanni Hernandez-Gomez	Broken-Rotor-Bar Detection Through STFT and Windowing Functions.	SAS	2019	DBLP DOI BibTeX RDF
32	Win Thandar Soe, Cécile Belleudy	Load Recognition from Smart Plug Sensor for Energy Management in a Smart Home.	SAS	2019	DBLP DOI BibTeX RDF
32	Karsten Husby, Tor André Myrvoll, Ole Øystein Knudsen	Eddy Current duplex coating thickness Non-Destructive Evaluation augmented by VNA scattering parameter theory and Machine Learning.	SAS	2019	DBLP DOI BibTeX RDF
32	Rodrigo Aviles-Espinosa, Elizabeth Rendon-Morales, Zhenhua Luo, Henry Dore, Oana Anton, Heike Rabe, Robert J. Prance	Neo-SENSE: a non-invasive smart sensing mattress for cardiac monitoring of babies.	SAS	2019	DBLP DOI BibTeX RDF
32	Antonio Affanni, Alessandro Piras, Roberto Rinaldo, Pamela Zontone	Dual channel Electrodermal activity sensor for motion artifact removal in car drivers' stress detection.	SAS	2019	DBLP DOI BibTeX RDF
32	Hans-Petter Halvorsen, Karina Kaspersen, Alexander Jonsaas, Saba Mylvaganam	Fusion of Body Sensors' Data and Video Images in Assistive Technology.	SAS	2019	DBLP DOI BibTeX RDF
32	A. I. Ovodov, G. D. Demin, N. A. Djuzhev, M. A. Makhiboroda	Optimized Design of the MEMS-Based Three-Axis Thermal Accelerometer for Its Better Performance in a Wide Measurement Range.	SAS	2019	DBLP DOI BibTeX RDF
32	Olli Väänänen, Jari Hautamäki, Timo Hämäläinen 0002	Predictive pumping based on sensor data and weather forecast.	SAS	2019	DBLP DOI BibTeX RDF
32	Peter M. Nauth, Andreas H. Pech, Robert Michalik	Research on a new Smart Pedestrian Detection Sensor for Vehicles.	SAS	2019	DBLP DOI BibTeX RDF
32	Carmonizia da Silva Freire, Cleumar da Silva Moreira, Carlos Alberto de Souza Filho, Rossana Moreno Santa Cruz, Alessandro Falqueto, Anderson Luis Valle, Luiz Ricardo Goulart Filho, Eliton Souto de Medeiros, Kaline do Nascimento Ferreira	Application of a Smartphone-based SPR platform for Glyphosate detection.	SAS	2019	DBLP DOI BibTeX RDF
32	Tommaso Addabbo, Ada Fort, Marco Mugnaini, Valerio Vignoli, Lorenzo Parri, Maddalena Allegorico, Marco Ruggiero, Stefano Cioncolini	Ion sensors: application to combustion monitoring in gas turbines.	SAS	2019	DBLP DOI BibTeX RDF
32	Tim Fischer 0001, Michael Ganz, Nicolas Baumann, Michele Magno	Piepser: A Smart Wrist-Worn Variometer To Maximize The Paragliders Flytime.	SAS	2019	DBLP DOI BibTeX RDF
32	Pedro Ribeiro 0006, Fernando Franco, Marília Silva, Miguel Neto, Susana Cardoso	Stay-on-target: a sensortile based micropositioning system.	SAS	2019	DBLP DOI BibTeX RDF
32	Leonard Bauersfeld, Guillaume Jacques Joseph Ducard	Low-cost 3D Laser Design and Evaluation with Mapping Techniques Review.	SAS	2019	DBLP DOI BibTeX RDF
32	R. Bruce Wallace, Frank Horsfall, Rafik Goubran, Ali El-Haraki, Frank Knoefel	The Challenges of Connecting Smart Home Health Sensors to Cloud Analytics.	SAS	2019	DBLP DOI BibTeX RDF
32	Shaikh M. Tousif, Zeynep Çelik-Butler	Array of Linear and Nonlinear Electrostatic Energy Harvesters for Broadband Energy Harvesting.	SAS	2019	DBLP DOI BibTeX RDF
32	Masahiko Miyazaki, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki	Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal.	SAS	2019	DBLP DOI BibTeX RDF
32	Daniela Charris, Diego Gómez, Mauricio Pardo	A Portable Thermoelectric Energy Harvesting Unit to Power Up Outdoor Sensors and Devices.	SAS	2019	DBLP DOI BibTeX RDF
32	Tommaso Addabbo, Ada Fort, Alessandro Mecocci, Marco Mugnaini, Stefano Parrino, Alessandro Pozzebon, Valerio Vignoli	A LoRa-based IoT Sensor Node for Waste Management Based on a Customized Ultrasonic Transceiver.	SAS	2019	DBLP DOI BibTeX RDF
32	Akimu Ayan Niyi Dihissou, Aliou Diallo, Philippe Le Thuc, Robert Staraj	Directive and Reconfigurable Antenna for Wireless Sensor Network to Improve Link Quality between Nodes.	SAS	2019	DBLP DOI BibTeX RDF
32	Thorben Schuthe, Ahmed Albounyan, Karl-Ragmar Riemschneider	Two-Dimensional Characterization and Simplified Simulation Procedure for Tunnel Magnetoresistive Angle Sensors.	SAS	2019	DBLP DOI BibTeX RDF
32	Marino Rasamuel, Lyes Khacef, Laurent Rodriguez, Benoît Miramond	Specialized visual sensor coupled to a dynamic neural field for embedded attentional process.	SAS	2019	DBLP DOI BibTeX RDF
32	Asahi Morimatsu, Seiji Matsuguma, Akihiro Kajiwara	Heart rate estimation of a moving person using 79GHz-Band UWB radar.	SAS	2019	DBLP DOI BibTeX RDF
32	Federico Bonafini, Stefano Rinaldi, Alessandro Depari, Alessandra Flammini, Paolo Ferrari, Emiliano Sisinni	Cluster of IoT Sensors for Smart Cities: Impact of the Communication Infrastructure over Computational Performance.	SAS	2019	DBLP DOI BibTeX RDF
32	Young Jae Kim, Kukjin Chun	Lensless Imaging Sensor Kit for Sperm Counting with Microfluidic Chip.	SAS	2019	DBLP DOI BibTeX RDF
32	Simone Garuglieri, Dario Madeo, Alessandro Pozzebon, Roberto Zingone, Chiara Mocenni, Duccio Bertoni	An Integrated System for Real-Time Water Monitoring Based on Low Cost Unmanned Surface Vehicles.	SAS	2019	DBLP DOI BibTeX RDF
32	Anurag Barthwal, Debopam Acharya, Divya Lohani	IoT System based Forecasting and Modeling Exceedance Probability and Return Period of Air Quality using Extreme Value Distribution.	SAS	2019	DBLP DOI BibTeX RDF
32	H. M. Ashfiqul Hamid, Zeynep Çelik-Butler	Design and Optimization of a MEMS Triboelectric Energy Harvester for Nano-sensor Applications.	SAS	2019	DBLP DOI BibTeX RDF
32	Eugene Y. Song, Martin Burns, Abhinav Pandey, Thomas Roth	IEEE 1451 Smart Sensor Digital Twin Federation for IoT/CPS Research.	SAS	2019	DBLP DOI BibTeX RDF
32	Xiaofeng Yang, Koki Kumagai, Guanghao Sun, Koichiro Ishibashi, Le Thi Hoi, Trung Nguyen Vu, Kinh Nguyen Van	Dengue Fever Screening Using Vital Signs by Contactless Microwave Radar and Machine Learning.	SAS	2019	DBLP DOI BibTeX RDF
32	Jean Pierre Giacalone, Luc Bourgeois, Andrea Ancora	Challenges in aggregation of heterogeneous sensors for Autonomous Driving Systems.	SAS	2019	DBLP DOI BibTeX RDF
32	Jan Schnee, Jurgen Stegmaier, Tobias Lipowsky, Pu Li 0001	Brake Detection for Electric Bicycles using Inertial Measurement Units.	SAS	2019	DBLP DOI BibTeX RDF
32	Anastasia Wolschewski, Galina Ivanova 0001, Till Handel, Max Schreiber	Method for estimation of weather and weekday effects on activity behavior acquired using wearable sensors.	SAS	2019	DBLP DOI BibTeX RDF
32	Doaa Ahmed, Georg Fischer 0001, Jens Kirchner	Simulation-based Models of the Galvanic Coupling Intra-body Communication.	SAS	2019	DBLP DOI BibTeX RDF
32	Ameer A. Al-Shammaa, Alan J. Stocker	Distributed clusters classification algorithm for indoor wireless sensor networks using pre-defined knowledge-based database.	SAS	2019	DBLP DOI BibTeX RDF
32	Christian Reil, Matthias Meier, Hans-Peter Schmidt	A High-Speed Magnetic Camera for Harsh Electromagnetic Environments.	SAS	2019	DBLP DOI BibTeX RDF
32	Daniel AlShamaa, Aly Chkeir, Racha Soubra, Farah Mourad-Chehade	Measurement of Gait Speed using a Doppler Radar: Influence of Acceleration and Deceleration Zones.	SAS	2019	DBLP DOI BibTeX RDF
32	Stefan Pehr, Daniel Zollitsch, Jörg Güttler, Thomas Bock	Development of a Non-Contact ECG Application Unobtrusively Embedded into a Bed.	SAS	2019	DBLP DOI BibTeX RDF
32	Timon Bloecher, Simon Krause, Kai Zhou, Jennifer Zeilfelder, Wilhelm Stork	VitalCamSet - a dataset for Photoplethysmography Imaging.	SAS	2019	DBLP DOI BibTeX RDF
32	Mookeun Ji, Juyeon Yoon, Jeongwoo Choo, Minki Jang, Anthony Smith	LoRa-based Visual Monitoring Scheme for Agriculture IoT.	SAS	2019	DBLP DOI BibTeX RDF
32	Roberto Giovanni Ramírez-Chavarría, Celia Sánchez-Pérez	Sensing Micro-colloid Concentration by Spectral Impedance Measurements and Relaxation Times Analysis.	SAS	2019	DBLP DOI BibTeX RDF
32	Phil Meier, Kris Rohrmann, Marvin Sandner, Marcus Prochaska	Analysis of output signals of angular position sensors for the use of neural networks.	SAS	2019	DBLP DOI BibTeX RDF
32	Gilles Callebaut, Geoffrey Ottoy, Lieven De Strycker	Bring your own Sensor: Use your Android Smartphone as a Sensing Platform.	SAS	2019	DBLP DOI BibTeX RDF
32	Myeong Ho Song, Soo Dong Kim	Autonomous Machine Learning Framework for Detecting People Aliveness.	SAS	2019	DBLP DOI BibTeX RDF
32	Tobias Busch, Jennifer Zeilfelder, Kai Zhou, Wilhelm Stork	A jaw based human-machine interface with machine learning.	SAS	2019	DBLP DOI BibTeX RDF
32	Ben J. Wolf, Sietse M. van Netten	Hydrodynamic Imaging using an all-optical 2D Artificial Lateral Line.	SAS	2019	DBLP DOI BibTeX RDF
32	Daniel AlShamaa, Aly Chkeir, Farah Mourad-Chehade, Paul Honeine	A Hidden Markov Model for Indoor Trajectory Tracking of Elderly People.	SAS	2019	DBLP DOI BibTeX RDF
32	Thien Huynh-The, Cam-Hao Hua, Dong-Seong Kim 0002	Learning Action Images Using Deep Convolutional Neural Networks For 3D Action Recognition.	SAS	2019	DBLP DOI BibTeX RDF
32	Hip Kõiv, Ksenija Pesti, Mart Min, Raul Land	Investigation of cost-effective carbon nanofiber/carbon fiber and silicone polymer composite material for wearable bioimpedance device.	SAS	2019	DBLP DOI BibTeX RDF
32	Antonio Affanni, Francesco Trevisan, Ruben Specogna	Novel sensor to measure the volume of growth for in vitro bioassays.	SAS	2019	DBLP DOI BibTeX RDF
32	Edelberto Franco Silva, Bruno Jose Dembogurski, Alex Borges Vieira, Francisco Henrique Cerdeira Ferreira	IEEE P21451-1-7: Providing More Efficient Network Services over MQTT-SN.	SAS	2019	DBLP DOI BibTeX RDF
32	Guillaume Patrigeon, Paul Leloup, Pascal Benoit, Lionel Torres	FlexNode: a reconfigurable Internet of Things node for design evaluation.	SAS	2019	DBLP DOI BibTeX RDF
32	David Sheppard, Nick Felker, John L. Schmalzel	Development of Voice Commands in Digital Signage for Improved Indoor Navigation Using Google Assistant SDK.	SAS	2019	DBLP DOI BibTeX RDF
32	Ievgeniia Maksymova, Philipp Greiner, Leonhard Christian Niedermueller, Norbert Druml	Detection and Compensation of Periodic Jitters of Oscillating MEMS Mirrors used in Automotive Driving Assistance Systems.	SAS	2019	DBLP DOI BibTeX RDF
32	Victor Javier Kartsch, Marco Guermandi, Simone Benatti, Fabio Montagna, Luca Benini	An Energy-Efficient IoT node for HMI applications based on an ultra-low power Multicore Processor.	SAS	2019	DBLP DOI BibTeX RDF
32	Antoine Courtay, Mickaël Le Gentil, Olivier Berder, Pascal Scalart, Sebastien Fontaine, Arnaud Carer	Anchor Selection Algorithm for Mobile Indoor Positioning using WSN with UWB Radio.	SAS	2019	DBLP DOI BibTeX RDF
32	Maximilian Wohlschläger, Martin Versen, Heinz Langhals	A method for sorting of plastics with an apparatus specific quantum efficiency approach.	SAS	2019	DBLP DOI BibTeX RDF
32	Mai Kobayashi, Guanghao Sun, Toshikazu Shinba, Takemi Matsui, Tetsuo Kirimoto	Development of a Mental Disorder Screening System Using Support Vector Machine for Classification of Heart Rate Variability Measured from Single-lead Electrocardiography.	SAS	2019	DBLP DOI BibTeX RDF
32	Hyuno Kim, Ryo Ito, Seohyun Lee, Yuji Yamakawa, Masatoshi Ishikawa	Simulation of Face Pose Tracking System using Adaptive Vision Switching.	SAS	2019	DBLP DOI BibTeX RDF
32	Moritz Scherer, Kiran Menachery, Michele Magno	SmartAid: A Low-Power Smart Hearing Aid For Stutterers.	SAS	2019	DBLP DOI BibTeX RDF
32	Ravil Agishev, Vladimir Solovyev	Susceptibility of atmospheric imaging lidars to external backgrounds, sensitive to the depth of field.	SAS	2019	DBLP DOI BibTeX RDF
32	Bassirou Ngom, Moussa Diallo, Bamba Gueye, Nicolas Marilleau	LoRa-based Measurement Station for Water Quality Monitoring: Case of Botanical Garden Pool.	SAS	2019	DBLP DOI BibTeX RDF
32	Mitchell Coleman, Gourab Sen Gupta	Techniques for Autonomous Water Fault Detection on Large Dairy Farms.	SAS	2019	DBLP DOI BibTeX RDF
32	Vaclav Grim, Pavel Ripka, Jan Fischer	Characterization of circular array current transducers.	SAS	2019	DBLP DOI BibTeX RDF
32	Tomohiko Hayakawa, Yushi Moko, Kenta Morishita, Masatoshi Ishikawa	Real-time Robust Lane Detection Method at a Speed of 100 km/h for a Vehicle-mounted Tunnel Surface Inspection System.	SAS	2019	DBLP DOI BibTeX RDF
32	Ismail Terkesli, Canberk Demircan, Ismail Demirci, Selcuk Yavuz, Mehmet Taygun	Industrial Spectrophotometric Smart Sensor Towards Real-Time Optimization of Textile Dyeing Process.	SAS	2019	DBLP DOI BibTeX RDF
32	Dipayan Mitra, Sreeraman Rajan, Bhashyam Balaji	A Deterministic Compressive Sensing Approach for Compressed Domain Image Analysis.	SAS	2019	DBLP DOI BibTeX RDF
32	Chen-Ju Lee, Liang-Chieh Chao, Kuo-Cheng Huang, Yu-Hsuan Lin, Min-Wei Hung, Chun-Han Chou	Two-Dimensional Irradiance Measurement System for Aligner Lithography.	SAS	2019	DBLP DOI BibTeX RDF
32	Ada Fort, Enza Panzardi, Tommaso Addabbo, Marco Mugnaini, Valerio Vignoli, Carlo Trigona	Conditioning Circuit for Simultaneous Sensing and Actuation in Piezoelectric MEMS Resonators.	SAS	2019	DBLP DOI BibTeX RDF
32	Afaz Uddin Ahmed, Reza Arablouei, Frank de Hoog, Branislav Kusy, Neil Bergmann, Raja Jurdak	Nakagami-m distribution of RSSI in shadowing pathloss model for indoor localization.	SAS	2019	DBLP DOI BibTeX RDF
32	Chih-Ning Hsu, Yi-Cheng Lin, Ching-Ching Yang, Hsin-Yi Tsai, Kuo-Cheng Huang, Shih-Feng Tseng, Wen-Tse Hsiao	Low-Cost Vibration and Acceleration Sensors Module for the Drilling Processes Monitoring.	SAS	2019	DBLP DOI BibTeX RDF
32	Nicolas Roux, Baptiste Vrigneau, Olivier Sentieys	Improving NILM by Combining Sensor Data and Linear Programming.	SAS	2019	DBLP DOI BibTeX RDF
32	Monoj Kumar Singha, Aniket patra	Effect of ZnO on Stainless Steel Electrode for Piezeoelectric Application.	SAS	2019	DBLP DOI BibTeX RDF
32	Giovanna Di Pasquale, Salvatore Graziani, Antonino Pollicino, Carlo Trigona	Green Inertial Sensors based on Bacterial Cellulose.	SAS	2019	DBLP DOI BibTeX RDF
32	Edelberto Franco Silva, Bruno Jose Dembogurski, Alex Borges Vieira, Francisco Henrique Cerdeira Ferreira	IEEE P21451-1-7: Providing More Efficient Network Services over MQTT-SN.	SAS	2019	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Salvatore Castorina, Ruben Crispino, Vincenzo Marletta	An inkjet printed pressure sensor for applications in Active Ageing monitoring.	SAS	2019	DBLP DOI BibTeX RDF
32	Benedict Simlinger, Guillaume Ducard	Vision-based Gyroscope Fault Detection for UAVs.	SAS	2019	DBLP DOI BibTeX RDF
32	Heejae Han, Jeonghwan Kim, Junyoung Park, Yujin Lee, Hyunwoo Jo, Yonghyeon Park, Eric T. Matson, Seongha Park	Object classification on raw radar data using convolutional neural networks.	SAS	2019	DBLP DOI BibTeX RDF
32	Andreas Strasser, Philipp Stelzer, Christian Steger, Norbert Druml	Speed-Up of MEMS Mirror's Transient Start-Up Procedure.	SAS	2019	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Salvatore Castorina, Ruben Crispino, Vincenzo Marletta	An RF-ID based solution of Assistive Technology for User Activity Monitoring.	SAS	2019	DBLP DOI BibTeX RDF
32	Gianni Cerro, Gianfranco Miele	A stand-alone sensor for spectrum occupancy monitoring in dynamic spectrum access framework.	SAS	2019	DBLP DOI BibTeX RDF
32	Namkyu Kim, Jisu Kim, Hongki Kim, Kimuk Lim, Youlim Ko, Nulee Jeong, Anthony H. Smith, Helen A. McNally	Red Light Running Prediction System using LIDAR.	SAS	2019	DBLP DOI BibTeX RDF
32	Jason Ray, Anton Netchaev, Chris Mimun, Christian Hubley, David Henderson, Eftihia Barnes, Clayton R. Thurmer, Lee Moores	Chemical Collection, Refinement, and Adsorption Beacon.	SAS	2019	DBLP DOI BibTeX RDF
32	Roland Kromes, Adrien Russo, Benoît Miramond, François Verdier	Energy consumption minimization on LoRaWAN sensor network by using an Artificial Neural Network based application.	SAS	2019	DBLP DOI BibTeX RDF
32	Nunzio Cennamo, Francesco Arcadio, Luigi Zeni	Effect of the photoresist aging in D-shaped POF SPR Sensors for biochemical applications.	SAS	2019	DBLP DOI BibTeX RDF
32	Dinko Oletic, Marko Matijascic, Vedran Bilas, Michele Magno	Hidden Markov Model-Based Asthmatic Wheeze Recognition Algorithm Leveraging the Parallel Ultra-Low-Power Processor (PULP).	SAS	2019	DBLP DOI BibTeX RDF
32	Jarne Van Mulders, Stijn Crul, Guus Leenders, Bart Thoen, Liesbet Van der Perre	Bringing Energy to IoT Nodes: an Unmanned Vehicle for Wireless Power Transfer.	SAS	2019	DBLP DOI BibTeX RDF
32	Hyun Jung La, Soo Dong Kim	Autonomous Platform for Optimizing Sensor Data Acquisition Efficiency.	SAS	2019	DBLP DOI BibTeX RDF
32	Seiji Matsuguma, Akihiro Kajiwara	Bathroom accident detection with 79GHz-band millimeter wave sensor.	SAS	2019	DBLP DOI BibTeX RDF
32	Seungin Shin, Seibum B. Choi	Target Speed Sensing Technique using Dilation Correlation of Ultrasonic Signal for Vehicle.	SAS	2019	DBLP DOI BibTeX RDF