|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 99 occurrences of 66 keywords
|
|
|
Results
Found 1390 publication records. Showing 1390 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aws Albarghouthi |
Probabilistic Horn Clause Verification. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat |
Verifying Array Manipulating Programs by Tiling. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abdelraouf Ouadjaout, Antoine Miné |
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Mohamed Amin Ben Sassi |
Template Polyhedra with a Twist. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marc Brockschmidt, Yuxin Chen 0001, Pushmeet Kohli, Siddharth Krishna 0001, Daniel Tarlow |
Learning Shape Analysis. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Deng, Kedar S. Namjoshi |
Securing the SSA Transform. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni |
Completeness in Approximate Transduction. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Deng, Kedar S. Namjoshi |
Securing a Compiler Transformation. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Quantitative Monitor Automata. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Relational Verification Through Horn Clause Transformation. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tian Tan 0001, Yue Li 0006, Jingling Xue |
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan 0001 |
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato |
Abstract Interpretation of Supermodular Games. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | George Balatsouras, Yannis Smaragdakis |
Structure-Sensitive Points-To Analysis for C and C++. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux, Laure Gonnord |
Cell Morphing: From Array Programs to Array-Free Horn Clauses. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler |
Enforcing Termination of Interprocedural Analysis. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet |
On the Linear Ranking Problem for Simple Floating-Point Loops. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kihong Heo, Hakjoo Oh, Hongseok Yang |
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Valentin Wüstholz |
Bounded Abstract Interpretation. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga |
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Nimit Singhania |
Loopy: Programmable and Formally Verified Loop Transformations. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Journault, Antoine Miné |
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Cong Quy Trinh |
Automated Verification of Linearization Policies. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave |
Simulation and Invariance for Weak Consistency. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Menendez, Santosh Nagarakatte, Aarti Gupta |
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pritam M. Gharat, Uday P. Khedker, Alan Mycroft |
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thibault Suzanne, Antoine Miné |
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Exploiting Sparsity in Difference-Bound Matrices. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Rival (eds.) |
Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Spoto |
The Julia Static Analyzer for Java. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Gupta, Vijayakumar Sreenath, Boby George |
A modified RDC with an auto-adjustable SC source enabled auto-calibration scheme. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Güttler, Christos Georgoulas, Thomas Bock |
Contactless fever measurement based on thermal imagery analysis. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johan Vogel, Stoyan N. Nihtianov |
Modelling the inductance of a novel eddy-current position sensor for high-precision applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Bucceroni, George D. Lecakes, Mira Lalovic-Hand, Shreekanth Mandayam |
A multi-perspective virtual reality visualization of unmanned aerial systems in the U.S. national airspace. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Taylor, Gourab Sen Gupta, Ken Mercer |
Flexible architecture to automate farm machinery operation: Preliminary results. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mingzhe Jiang, Tuan Nguyen Gia, Arman Anzanpour, Amir-Mohammad Rahmani, Tomi Westerlund, Sanna Salanterä, Pasi Liljeberg, Hannu Tenhunen |
IoT-based remote facial expression monitoring system with sEMG signal. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Polonelli, Trinh Le Huy, Leonardo Lizzi, Fabien Ferrero, Michele Magno |
A wake-up receiver with ad-hoc antenna co-design for wearable applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Chyau Yang, Ssu-Ying Chen, Yi-Jie Hsieh, Fu-Chen Cheng 0001, Yu-Cheng Huang, Jin-Ju Chue, Chih-Ting Kuo, Chien-Ming Wu, Chun-Ming Huang |
A rugged sensor system for real-time bridge safety monitoring in Taiwan. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Lombardo, Silvia Generelli, N. Tscharner, Davide Migliorelli, Nicola Donato |
A compact electronic interface for electrochemical sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Crema, Alessandro Depari, Alessandra Flammini, Angelo Vezzoli |
Efficient R-peak detection algorithm for real-time analysis of ECG in portable devices. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Guenther, Andreas Kroll |
Automated detection of compressed air leaks using a scanning ultrasonic sensor system. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo D'Elia, Luca Perilli, Fabio Viola, Luca Roffia, Francesco Antoniazzi, Roberto Canegallo, Tullio Salmon Cinotti |
A self-powered WSAN for energy efficient heat distribution. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michele Crabolu, Danilo Pani, Andrea Cereatti |
Evaluation of the accuracy in the determination of the center of rotation by magneto-inertial sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eddy Trinklein, Gordon Parker |
Ship motion sensor isolation system development and testing for use with low cost IMUs. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nissem Selmene, Sylvain Blayac, Muriel Muller, Ghalid I. Abib |
Innovative large area touch sensor: Design and tests of a compact acquisition system. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Mosser, Nicolas Matringe |
A spinning current circuit for nanotesla range resolution in Hall measurements. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jun Su, Nataliya Roshchupkina, Volodymyr Kochan, Olekxiy Roshchupkin, Anatoliy Sachenko |
Methods for improving the accuracy of sensors with a significant influence of non-informative factors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Palma, Luca Pernini, Alberto Belli, Simone Valenti, Lorenzo Maurizi, Paola Pierleoni |
IPv6 WSN solution for integration and interoperation between smart home and AAL systems. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Khim Chhantyal, Håkon Viumdal, Saba Mylvaganam, Geir Elseth |
Ultrasonic level sensors for flowmetering of non-Newtonian fluids in open Venturi channels: Using data fusion based on Artificial Neural Network and Support Vector Machines. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeong Woo Choi, Sung Ho Cho, Young Soo Kim, No Joong Kim, Soon-Sung Kwon, Jae Suk Shim |
A counting sensor for inbound and outbound people using IR-UWB radar sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kishore Bhowmik, Eliathamby Ambikairajah, Gang-Ding Peng, Yanhua Luo, Ginu Rajan |
High-sensitivity polymer fibre Bragg grating sensor for biomedical applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bauer, Bastian Siegmann, Thomas Jarmer 0001, Nils Aschenbruck |
Smart fLAIr: A smartphone application for fast LAI retrieval using Ambient Light Sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Gaur, Bryan W. Scotney, Gerard Parr, Sally I. McClean |
COSA: An approach to classifying uncertainty in an ontology tree for sensor data Fusion. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nunzio Cennamo, Luigi Zeni, Letizia De Maria, Cristina Chemelli, Maria Pesavento, Antonella Profumo |
Surface plasmon resonance in a D-shaped plastic optical fibre: Influence of gold layer thickness in monitoring molecularly imprinted polymers. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Viviani, Daniele Salvalaggio, Cristina Bertoni, Antonio Boscolo |
Milk quality analysis based on a novel ultrasound spectroscopy method. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amandine Bocheux, Claude Cavoit, Myckael Mouchel, Clarisse Ducruet, Romain Fons, Philippe Sabon, Ioan Lucian Prejbeanu, Claire Baraduc |
High sensitivity magnetic field sensor for spatial applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joao Azevedo, Sérgio Crisóstomo |
Weather stations-assisted barometric altimeter for Android: Interpolation techniques for improved accuracy. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Greco, Salvatore Giammanco, Rosalba Napoli, Gilda Currenti, Annamaria Vicari, Alessandro La Spina, Giuseppe Salerno, Letizia Spampinato, Alfio Amantia, Massimo Cantarero, Alfio Messina, Antonino Sicali |
A multidisciplinary strategy for in-situ and remote sensing monitoring of areas affected by pressurized fluids: Application to mud volcanoes: A multidisciplinary environmental monitoring strategy. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ada Fort, Marco Mugnaini, Marco Tani, Valerio Vignoli, Simona Barni, Neri Pucci, Elio Novembre |
Detection of allergen-IgE interaction in allergic children through impedance measurements. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zlatica Marinkovic, Aleksandar Atanaskovic, Maria Gabriella Xibilia, Calogero Pace, Mariangela Latino, Nicola Donato |
A neural network approach for safety monitoring applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Rendon-Morales, Robert J. Prance, Helen Prance, Rodrigo Aviles-Espinosa |
Functional characterization of developing heart in embryos using Electric Potential Sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ebrahim Oromiehie, B. Gangadhara Prusty, Ginu Rajan, Paul Compston |
Optical fiber Bragg grating sensors for process monitoring in advanced composites. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ferraris, Fausto Franchini, Emir Poskovic |
Hybrid magnetic composite (HMC) materials for sensor applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramona Voichita Galatus, Emil Voiculescu, Nunzio Cennamo, Luigi Luongo, Luigi Zeni |
Augmented workplace for SPR sensor application. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Duke Danielle Delos Santos, Alron Jan Lam, Jules Macatangay, Ivan Paner, Courtney Anne Ngo |
Breadcrumb: An indoor simultaneous localization and mapping system for mobile devices. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Augusti Mozzaquatro, Ricardo Jardim-Gonçalves, Raquel Melo, Carlos Agostinho |
The application of security adaptive framework for sensor in industrial systems. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maddalena Ferrario, M. Mattarei, Pierpaolo Boffi, Mario Martinelli |
A software-defined coherent fiber optic sensor for manufacturing machine diagnostic. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bertocci, Ada Fort, Marco Mugnaini, Valerio Vignoli |
Stability evaluation of YCoO3 basedperovskites used for NO2 detection. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Addabbo, Ada Fort, Marco Mugnaini, Enza Panzardi, Santina Rocchi, Valerio Vignoli |
Multisensor electrostatic detection of moving charged particles. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Ligorio, Angelo M. Sabatini |
A particle filter for 2D indoor localization relying on magnetic disturbances and magnetic-inertial measurement units. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Trigona, Bruno Andò, Salvatore Baglio, Roberto La Rosa, Giulio Zoppi |
Vibration-based transducer for zero-energy standby applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sukthankar, Michele Covell, Shumeet Baluja |
Physical and virtual cell phone sensors for traffic control: Algorithms and deployment impact. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Bore, L. Yerman, Marcelo Llano Serna, H. Wall, J. L. Torero, Alexander Scheuermann |
Dielectric spectroscopy of artificial faeces for smouldering applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Jinachandran, Jiangtao Xi, Ginu Rajan, Chen Shen 0010, Huijun Li, B. Gangadhara Prusty |
Fibre optic acoustic emission sensor system for hydrogen induced cold crack monitoring in welding applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maik Rosenberger, Chen Zhang, Mike Bartmus, Gunther Notni |
Imaging sensor and imaging algorithms for quality inspection of flexible materials. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Asem Khattab, Sharief Saleh, Mohieddine Benammar, Faycal Bensaali |
A precise converter for resolvers and sinusoidal encoders based on a novel ratiometric technique. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Mühlbacher-Karrer, Lisa-Marie Faller, Raiyan Hamid, Hubert Zangl |
A wireless steering wheel gripping sensor for hands on/off detection. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. O'Toole, John L. Davidson, Liam A. Marsh, Wuliang Yin, Anthony J. Peyton |
Evaluation of the thin-skin approximation boundary element method for electromagnetic induction scattering problems. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nazir Kamaldin, Kok Kiong Tan, Wenyu Liang, Chee Wee Gan, Hsueh Yee Lim |
Application of capacitive-based contact sensing for a new medical instrument. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Seongha Park, Yongho Kim, Eric T. Matson, Anthony H. Smith |
Accessible synthetic aperture radar system for autonomous vehicle sensing. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bertuletti, Andrea Cereatti, Ugo Della Della, Michele Caldara, Michael Galizzi |
Indoor distance estimated from Bluetooth Low Energy signal strength: Comparison of regression models. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Asadullah Khan, Ahmed Alfadhel, Jürgen Kosel, M. Bakolka |
Fabrication and characterization of magnetic composite membrane pressure sensor. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ginu Rajan, Sagar Jinachandran, Jiangtao Xi, Huijun Li, Jayan S. Vinod, Tristan Moses, Shivakumar Karekal, B. Gangadhara Prusty |
Fibre optic acoustic emission measurement technique for crack activity monitoring in civil engineering applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Virgiliu Fireteanu, Alexandru-Ionel Constantin |
Supervision of the rotor bars breakage evolution through the output voltage of coil sensors placed outside induction motors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Eider, Stefan Kunze, Rainer Poeschl |
FPGA based emulation of multiple 1-wire sensors for hardware in the loop tests. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Ottoy, Bart Thoen, Lieven De Strycker |
A low-power MEMS microphone array for wireless acoustic sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Saponara, Riccardo Moras, Roberto Roncella, Roberto Saletti, David Benedetti |
Performance measurements of energy storage systems and control strategies in real-world e-bikes. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Saponara, Bruno Neri |
Radar sensor signal acquisition and 3D FFT processing for smart mobility surveillance systems. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anett Bailleu |
Ultrasonic transducer positioning system for clamp-on flowmeter applications. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | K. Cyril Baby, Sithu Aung, Norbert Schwesinger |
Finite element analysis of differential capacitive PUF sensors. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Zhao, Zheng Qian, Yuan Tian, Jingyi Wang, Hao Yu 0004 |
The error compensation for static hysteresis characteristics of Giant Magneto-Resistance sensor. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Iosub, Jérôme Kirscher, Monica Rafaila, Andi Buzo, Georg Pelz, Liviu Goras |
Simulation-based approach to application fitness for an E-Bike. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Loredana Cristaldi, Marco Faifer, Massimo Lazzaroni |
A cooperative monitoring and diagnostic architecture for PV systems. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sartori, Davide Brunelli |
A smart sensor for precision agriculture powered by microbial fuel cells. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Khim Chhantyal, Håkon Viumdal, Saba Mylvaganam, Geir Elseth |
Estimating viscosity of non-Newtonian fluids using support vector regression method: Rheological parameters of drilling fluids using data fusion. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Andò, Salvatore Baglio, Vincenzo Marletta, Antonio Pistorio, Adi R. Bulsara |
A low threshold bistable device for energy scavenging from vibrations. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bona, Emilio Sardini, Mauro Serpelloni, Bruno Andò, Cristian O. Lombardo |
Study on a telemetrie system that works with an inkjet-printed resistive strain gauge. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ching-Che Chung, Mei-I Sun |
An all-digital voltage sensor for static voltage drop measurements. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nick R. Harris, Dinesh Sthapit |
Towards a personalised rehabilitation system for post stroke treatment. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 1390 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|