Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
32	Salma Moujtahid, Thomas Liennard, Rachid Benmokhtar	Evidential Multisensor Fusion and Erroneous Management of Lanes for Autonomous Driving.	SAS	2019	DBLP DOI BibTeX RDF
32	Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni	Lightweight Machine Learning-Based Approach for Supervision of Fitness Workout.	SAS	2019	DBLP DOI BibTeX RDF
32	Pawan Pathak, Sanghoon Park, Hyoung Jin Cho	Metal Oxide Semiconductor-Carbon Nanomaterial Network as a Flexible Chemical Sensor for Volatile Organic Compound Detection.	SAS	2019	DBLP DOI BibTeX RDF
32	Carlo Trigona, Bruno Andò, Salvatore Baglio	Measurements and Investigations of Helicopter-Induced Vibrations for Kinetic Energy Harvesters.	SAS	2019	DBLP DOI BibTeX RDF
32	Jim Holmes, Matt Francis, Nicholas Chiolino, Matthew Barlow, Sonia Perez, Ian Getreu	An Integrated SiC Photo-Transistor for Ultraviolet Detection in High-Temperature Environments.	SAS	2019	DBLP DOI BibTeX RDF
32	Ksenija Pesti, Hip Kõiv, Mart Min	Simulation of the Sensitivity Distribution of Four- Electrode Impedance Sensing on Radial Artery.	SAS	2019	DBLP DOI BibTeX RDF
32	Russell Trafford, David Russo, Colby Clark, Sangho Shin, John L. Schmalzel	Characterization of Piezoelectric Cantilever Beams for use in Roadside Vibration Energy Harvesting.	SAS	2019	DBLP DOI BibTeX RDF
32	Alexis Arcaya-Jordan, Alain Pegatoquet, Andrea Castagnetti	Smart Connected Glasses for Drowsiness Detection: a System-Level Modeling Approach.	SAS	2019	DBLP DOI BibTeX RDF
32	G. D. Demin, A. F. Popkov, N. A. Djuzhev, K. A. Zvezdin, A. V. Popov	Microwave Energy Harvester Based on the Magneto-Tunnel Seebeck Effect in the Nanoscale Spin-Torque Diode.	SAS	2019	DBLP DOI BibTeX RDF
32	Jorge Peña Queralta, Tuan Nguyen Gia, Hannu Tenhunen, Tomi Westerlund	Collaborative Mapping with IoE-based Heterogeneous Vehicles for Enhanced Situational Awareness.	SAS	2019	DBLP DOI BibTeX RDF
32	Dasol Jeong, Jonghyup Lee, Seibum Choi, Mintae Kim	Load Estimation of Intelligent Tires Equipped with Acceleration Sensors.	SAS	2019	DBLP DOI BibTeX RDF
32	Sonia Durand, Rachid Benmokhtar, Xavier Perrotton	360 Multisensor Object Fusion and Sensor-based Erroneous Data Management for Autonomous Vehicles.	SAS	2019	DBLP DOI BibTeX RDF
32	Carlo Trigona, Bruno Andò, Salvatore Baglio	Piezo Coaxial Cable for Sensing of Mechanical Vibrations.	SAS	2019	DBLP DOI BibTeX RDF
32	David Heise, Zachary Miller, Ellie Harrison, Anton Gradisek, Janez Grad, Candace Galen	Acoustically Tracking the Comings and Goings of Bumblebees.	SAS	2019	DBLP DOI BibTeX RDF
32	Bassirou Kasse, Bamba Gueye, Moussa Diallo, Fiorenantsoa Santatra, Halima Elbiaze	IoT based Schistosomiasis Monitoring for More Efficient Disease Prediction and Control Model.	SAS	2019	DBLP DOI BibTeX RDF
32	Peter Mark Jansson, W. S. Zanardi, P. Kaladius, E. L. Jansson, S. Sedig, W. McGrath, F. R. Jansson	Mach Field Sensor / Detector and Results.	SAS	2019	DBLP DOI BibTeX RDF
32	M. D. OrToole, Anthony J. Peyton	Classification of Non-ferrous Scrap Metal using Two Component Magnetic Induction Spectroscopy.	SAS	2019	DBLP DOI BibTeX RDF
32	Andreas Podelski (eds.)	Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings	SAS	2018	DBLP DOI BibTeX RDF
32		2018 IEEE Sensors Applications Symposium, SAS 2018, Seoul, South Korea, March 12-14, 2018	SAS	2018	DBLP BibTeX RDF
32	Alexey Bakhirkin, David Monniaux	Extending Constraint-Only Representation of Polyhedra with Boolean Constraints.	SAS	2018	DBLP DOI BibTeX RDF
32	Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland	Verifying Properties of Differentiable Programs.	SAS	2018	DBLP DOI BibTeX RDF
32	Aws Albarghouthi	Fairness: A Formal-Methods Perspective.	SAS	2018	DBLP DOI BibTeX RDF
32	Roberto Bagnara, Abramo Bagnara, Patricia M. Hill	The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.	SAS	2018	DBLP DOI BibTeX RDF
32	Sumanth Prabhu 0001, Kumar Madhukar, R. Venkatesh 0001	Efficiently Learning Safety Proofs from Appearance as well as Behaviours.	SAS	2018	DBLP DOI BibTeX RDF
32	Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson	Process-Local Static Analysis of Synchronous Processes.	SAS	2018	DBLP DOI BibTeX RDF
32	Aziem Chawdhary, Andy King	Closing the Performance Gap Between Doubles and Rationals for Octagons.	SAS	2018	DBLP DOI BibTeX RDF
32	Florian Zuleger	Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction.	SAS	2018	DBLP DOI BibTeX RDF
32	Peter W. O'Hearn	Experience Developing and Deploying Concurrency Analysis at Facebook.	SAS	2018	DBLP DOI BibTeX RDF
32	Isabella Mastroeni, Michele Pasqua	Verifying Bounded Subset-Closed Hyperproperties.	SAS	2018	DBLP DOI BibTeX RDF
32	Ruzica Piskac	New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair.	SAS	2018	DBLP DOI BibTeX RDF
32	Rajeev Alur, Joseph Devietti, Nimit Singhania	Block-Size Independence for GPU Programs.	SAS	2018	DBLP DOI BibTeX RDF
32	Frédéric Besson, Thomas P. Jensen, Julien Lepiller	Modular Software Fault Isolation as Abstract Interpretation.	SAS	2018	DBLP DOI BibTeX RDF
32	Caterina Urban, Samuel Ueltschi, Peter Müller 0001	Abstract Interpretation of CTL Properties.	SAS	2018	DBLP DOI BibTeX RDF
32	Kenneth L. McMillan, Oded Padon	Deductive Verification in Decidable Fragments with Ivy.	SAS	2018	DBLP DOI BibTeX RDF
32	Andrew Ruef, Kesha Hietala, Arlen Cox	Volume-Based Merge Heuristics for Disjunctive Numeric Domains.	SAS	2018	DBLP DOI BibTeX RDF
32	Zachary Kincaid	Numerical Invariants via Abstract Machines.	SAS	2018	DBLP DOI BibTeX RDF
32	Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout	Modular Static Analysis of String Manipulations in C Programs.	SAS	2018	DBLP DOI BibTeX RDF
32	Anna Becchi, Enea Zaffanella	An Efficient Abstract Domain for Not Necessarily Closed Polyhedra.	SAS	2018	DBLP DOI BibTeX RDF
32	Kedar S. Namjoshi, Zvonimir Pavlinovic	The Impact of Program Transformations on Static Program Analysis.	SAS	2018	DBLP DOI BibTeX RDF
32	Francesco Ranzato, Marco Zanella	Invertible Linear Transforms of Numerical Abstract Domains.	SAS	2018	DBLP DOI BibTeX RDF
32	Maxime Jacquemin, Sylvie Putot, Franck Védrine	A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis.	SAS	2018	DBLP DOI BibTeX RDF
32	Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner	Abstract Interpretation of Stateful Networks.	SAS	2018	DBLP DOI BibTeX RDF
32	Sharon Shoham	Interactive Verification of Distributed Protocols Using Decidable Logic.	SAS	2018	DBLP DOI BibTeX RDF
32	Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann	Incremental Verification Using Trace Abstraction.	SAS	2018	DBLP DOI BibTeX RDF
32	Abdallah A. Alshehri, Carlos H. Martins, Ian F. Akyildiz	Wireless FracBot (Sensor) Nodes: Performance evaluation of inductively coupled near field communication (NFC).	SAS	2018	DBLP DOI BibTeX RDF
32	Lukas Anslinger, Paaranan Sivasothy, François M. Torner, Jörg Seewig	Mobile sensor concept for acoustic level estimation in bulk solids silos.	SAS	2018	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Vincenzo Marletta, Antonio Pistorio	A RFID approach to help frail users in indoor orientation task.	SAS	2018	DBLP DOI BibTeX RDF
32	Andrew J. C. Lackey, Rafik A. Goubran, Felix Kwamena	Geomagnetically induced current measurement using an integrated magnetometer platform.	SAS	2018	DBLP DOI BibTeX RDF
32	Min-Wei Hung, Kuo-Cheng Huang, Yu-Hsuan Lin, Hsin-Yi Tsai, Ching-Ching Yang	Development of plug-in laser scattering module for measurement of flow rate.	SAS	2018	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Ruben Crispino, Vincenzo Marletta, Valeria Dibilio, Giovanni Mostile, Alessandra Nicoletti, Mario Zappia	A pressure measurement for pull test validation in postural instability assessment.	SAS	2018	DBLP DOI BibTeX RDF
32	Stijn Crul, Geoffrey Ottoy, Liesbet Van der Perre, Lieven De Strycker	Improved commissioning in indoor wireless networks through sensor fusion using clustering.	SAS	2018	DBLP DOI BibTeX RDF
32	Arnab Rahman Chowdhury, Junayed Mahmud, Abu Raihan Mostofa Kamal, Md. Abdul Hamid	MAES: Modified advanced encryption standard for resource constraint environments.	SAS	2018	DBLP DOI BibTeX RDF
32	Bala Sundaram Nauduri, Ganesh Shaga	A novel approach of using a planar inductive position sensor for the Permanent magnet synchronous motor control application.	SAS	2018	DBLP DOI BibTeX RDF
32	Markus Schinle, Ioannis Papantonis, Wilhelm Stork	Personalization of monitoring system parameters to support ambulatory care for dementia patients.	SAS	2018	DBLP DOI BibTeX RDF
32	Michael Jost 0003, Michael Schaffner, Michele Magno, Matthias Korb, Luca Benini, René Reimann, Vijay Jain, Michael Gross, Andrei Militaru, Martin Frimmer, Lukás Novotný	An accurate system for optimal state estimation of a levitated nanoparticle.	SAS	2018	DBLP DOI BibTeX RDF
32	Jennifer Zeilfelder, Tobias Busch, Christoph Zimmermann, Wilhelm Stork	A human-machine interface based on tongue and jaw movements.	SAS	2018	DBLP DOI BibTeX RDF
32	Slim Naifar, Carlo Trigona, Sonia Bradai, Salvatore Baglio, Olfa Kanoun	A smart energy harvester for axial-force measurements in vibrating environments.	SAS	2018	DBLP DOI BibTeX RDF
32	Claudio Crema, Alessandro Depari, Alessandra Flammini, Emiliano Sisinni, Alberto Benussi, Barbara Borroni, Alessandro Padovani	Embedded platform-based system for early detection of Alzheimer disease through transcranial magnetic stimulation.	SAS	2018	DBLP DOI BibTeX RDF
32	Asahi Morimatsu, Akihiro Kajiwara	The attenuation of radio waves caused by body frame and glass of sedan vehicle in the communications of microwave/millimeter-wave band to be applied to 5G.	SAS	2018	DBLP DOI BibTeX RDF
32	Hyeonjun Park, Donghan Kim 0001	Force analysis using finger dummy for violin fingering.	SAS	2018	DBLP DOI BibTeX RDF
32	Soren Dierks, Andreas Kroll	Experimental characterization of a Tuneable Diode Laser Absorption Spectroscopy based sensor.	SAS	2018	DBLP DOI BibTeX RDF
32	Yu Wang 0125, Julian Jang-Jaccard, Mikael Boulic, Robyn Phipps, Chris Chitty, Ryan Weyers, Alfred Moses, Gustavo Olivares, Agate Ponder-Sutton, Chris Cunningham	Deployment issues for integrated open-source - Based indoor air quality school Monitoring Box (SKOMOBO).	SAS	2018	DBLP DOI BibTeX RDF
32	Vincenzo Randazzo, Eros Pasero, Silvio Navaretti	VITAL-ECG: A portable wearable hospital.	SAS	2018	DBLP DOI BibTeX RDF
32	Suneung Kim, Myeongseob Ko, Kyungchai Lee, Mingi Kim, Kwangtaek Kim	3D fall detection for single camera surveillance systems on the street.	SAS	2018	DBLP DOI BibTeX RDF
32	Young Jin Kim, Igor Savukov	Highly sensitive multi-channel atomic magnetometer.	SAS	2018	DBLP DOI BibTeX RDF
32	Seohyun Lee, Hyuno Kim, Hideo Higuchi	Focus stabilization by axial position feedback in biomedical imaging microscopy.	SAS	2018	DBLP DOI BibTeX RDF
32	David Valencia-Redrovan, Donghan Kim 0001	Hand gestures recognition using machine learning for control of multiple quadrotors.	SAS	2018	DBLP DOI BibTeX RDF
32	Chihhsiong Shih, Chaolong Liang	The improvement of indoor localization precision through partial least square(PLS) and swarm(PSO) methods.	SAS	2018	DBLP DOI BibTeX RDF
32	Sareh Soleimani Gilakjani, Hilda Azimi, Martin Bouchard 0001, Rafik A. Goubran, Frank Knoefel	Improved sensor selection method during movement for breathing rate estimation with unobtrusive pressure sensor arrays.	SAS	2018	DBLP DOI BibTeX RDF
32	Anant V. Nimkar, Abhijeet V. Salunke	Fire contour approximation algorithm for bord-and-pillar coal mine: Revisited.	SAS	2018	DBLP DOI BibTeX RDF
32	Kardigue Konte, Russell Trafford, John L. Schmalzel	Implementing XEDS for a CubeSat communication subsystem.	SAS	2018	DBLP DOI BibTeX RDF
32	Tapiwanashe Wenge, Moi-Tin Chew, Fakhrul Alam, Gourab Sen Gupta	Implementation of a visible light based indoor localization system.	SAS	2018	DBLP DOI BibTeX RDF
32	Jumana M. Abu-Khalaf, Stephen A. Mascaro	Optimization of stretchable fingernail sensor fabrication based on finite element modeling.	SAS	2018	DBLP DOI BibTeX RDF
32	Marco Tarabini, Marco Marinoni, Matteo Mascetti, Pietro Marzaroli, Francesco Corti, Hermes Giberti, Alberto Villa, Paolo Mascagni	Monitoring the human posture in industrial environment: A feasibility study.	SAS	2018	DBLP DOI BibTeX RDF
32	Daeun Yim, Jiwon Chung, Yulim Cho, Hyunji Song, Daehan Jin, Sojeong Kim, Sungwook Ko, Anthony Smith, Austin Riegsecker	An experimental LoRa performance evaluation in tree farm.	SAS	2018	DBLP DOI BibTeX RDF
32	Joshua Velez, Russell Trafford, Michael Pierce, Benjamin Thomson, Eric Jastrzebski, Brian Lau	IEEE 1451-1-6: Providing common network services over MQTT.	SAS	2018	DBLP DOI BibTeX RDF
32	Qingli Yan, Jianfeng Chen, Geoffrey Ottoy, Bert Cox, Lieven De Strycker	An accurate AOA localization method based on unreliable sensor detection.	SAS	2018	DBLP DOI BibTeX RDF
32	Peter Pavlasek, Stanislav Duris, Rudolf Palencár, Lubomír Soos	Development in constructing Au/Pt thermoelectric sensors.	SAS	2018	DBLP DOI BibTeX RDF
32	Muhammad Zahak Jamal, Kyung-Soo Kim	A finely machined toothed silver electrode surface for improved acquisition of EMG signals.	SAS	2018	DBLP DOI BibTeX RDF
32	Hyuno Kim, Masatoshi Ishikawa, Yuji Yamakawa	Reference broadcast frame synchronization for distributed high-speed camera network.	SAS	2018	DBLP DOI BibTeX RDF
32	Masaharu Hara, Shigeru Oho, Yuto Kaneko	An ultrasonic rotary encoder and its application to torque estimation.	SAS	2018	DBLP DOI BibTeX RDF
32	Kangqian Xu, Liyue Xie, Songtao Xue, Ke Xue, Guochun Wan	Influence of transverse deformation on resonant frequency of patch antenna.	SAS	2018	DBLP DOI BibTeX RDF
32	Budiman P. A. Rohman, Masahiko Nishimoto	Near-surface soil water content estimation using UWB-GPR based on selective sparse representation.	SAS	2018	DBLP DOI BibTeX RDF
32	Nulee Jeong, Hyun Hwang, Eric T. Matson	Evaluation of low-cost LiDAR sensor for application in indoor UAV navigation.	SAS	2018	DBLP DOI BibTeX RDF
32	Abdulkadir Muhammad Lawan, Hieng Tiong Su, Yi Lung Then, Jingxin Zhang 0001	Parallel dual-slot PIFA for 2.45GHz rectenna applications.	SAS	2018	DBLP DOI BibTeX RDF
32	Sebastian Schramm, Johannes Rangel, Andreas Kroll	Data fusion for 3D thermal imaging using depth and stereo camera for robust self-localization.	SAS	2018	DBLP DOI BibTeX RDF
32	Seitaro Kon, Kenichi Watabe, Masahiro Horibe	Nondestructive method using transmission line for detection of foreign objects in food.	SAS	2018	DBLP DOI BibTeX RDF
32	Gourab Sen Gupta, Vu Minh Quan	Multi-sensor integrated system for wireless monitoring of greenhouse environment.	SAS	2018	DBLP DOI BibTeX RDF
32	Florian Liedmann, Christoph Holewa, Christian Wietfeld	The radio field as a sensor - A segmentation based soil moisture sensing approach.	SAS	2018	DBLP DOI BibTeX RDF
32	Igor Khokhlov, Leon Reznik, Justin Cappos, Rohit Bhaskar	Design of activity recognition systems with wearable sensors.	SAS	2018	DBLP DOI BibTeX RDF
32	Jae-Hoon Hwang, Xiaochen Wang, Sunkook Jung, Younggyu Son, Woo Hyoung Lee, Hyoung Jin Cho	Enhanced electrochemical detection of multi-heavy metal ions using a biopolymer-coated planar carbon electrode.	SAS	2018	DBLP DOI BibTeX RDF
32	Andrea Bodini, Stefano Pandini, Emilio Sardini, Mauro Serpelloni	Design and fabrication of a flexible capacitive coplanar force sensor for biomedical applications.	SAS	2018	DBLP DOI BibTeX RDF
32	Johannes Schneider 0004, Marc Schroth, Jörg Ottenbacher, Wilhelm Stork	A novel wearable sensor device for continuous monitoring of cardiac activity during sleep.	SAS	2018	DBLP DOI BibTeX RDF
32	Cheng-Ru Li, Chih-Ning Hsu, Yi-Cheng Lin, Min-Wei Hung, Ching-Ching Yang, Hsin-Yi Tsai, Yu-Ju Chang, Kuo-Cheng Huang, Wen-Tse Hsiao	Integrating temperature, humidity, and optical aerosol sensors for a wireless module for three-dimensional space monitoring.	SAS	2018	DBLP DOI BibTeX RDF
32	Dhiego Fernandes Carvalho, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni	On the feasibility of mobile sensing and tracking applications based on LPWAN.	SAS	2018	DBLP DOI BibTeX RDF
32	Kazuki Uchiyama, Toshiki Motomura, Akihiro Kajiwara	A study on self-vehicle location estimation employing 79GHz UWB radar.	SAS	2018	DBLP DOI BibTeX RDF
32	Anna Larson, Anthony Smith	Sensors and data retention in grand Slam tennis.	SAS	2018	DBLP DOI BibTeX RDF
32	Xiaochen Wang, Xiangmeng Ma, Woo Hyoung Lee, Hyoung Jin Cho	Sensor response mechanism and characterization of co-based phosphate nanosensors.	SAS	2018	DBLP DOI BibTeX RDF
32	Tommaso Addabbo, Mauro Di Marco, Ada Fort, Elia Landi, Marco Mugnaini, Valerio Vignoli, Gianluca Ferretti	Instantaneous rotation speed measurement system based on variable reluctance sensors: Model and analysis of performance.	SAS	2018	DBLP DOI BibTeX RDF
32	Lawrence K. Lam, Austen J. Szypula	Wearable emotion sensor on flexible substrate for mobile health applications.	SAS	2018	DBLP DOI BibTeX RDF