Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
192	Ali Emrouznejad	SAS/OWA: ordered weighted averaging in SAS optimization.	Soft Comput.	2010	DBLP DOI BibTeX RDF	SAS, SAS/OR, SAS optimization, Decision making, DEA, OWA operator
84	E. Karjala	APL and SAS in Co-Operation.	APL	1988	DBLP DOI BibTeX RDF	SAS, APL, FORTRAN
81	J. S. Wei, Ling Zheng, Y. N. Ni, J. Shao	The Integrated Control of Electronic Suspension and Steering System Basedon Fuzzy Logic Method in Vehicle.	FSKD (2)	2007	DBLP DOI BibTeX RDF
72	Manji Bhadra, Surjit Kumar Singh, Sachin Kumar, Subash, Muktanand Agrawal, R. Chandrasekhar, Sudhir K. Mishra, Girish Nath Jha	Sanskrit Analysis System (SAS).	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	sandhi, subanta, ti?anta, k?danta, sam?sa, taddhita, str? pratyaya, k?raka, vibhakti, pr?tipadika, dh?tu, sup, ti?, avyaya, s?tra, v?rttika, ?k??k??, yogyat?, vivak??, li?ga, upadh?, ga?a, pada, lak?ra, vacana, vik?ra, upasarga, v?ddhi
68	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
58	Hongyun Xu, Xinwen Fu, Ye Zhu 0001, Riccardo Bettati, Jianer Chen, Wei Zhao 0001	SAS: A Scalar Anonymous Communication System.	ICCNMC	2005	DBLP DOI BibTeX RDF
54	Naeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé	A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	Autonomic Computing, Model Driven Development, Requirements Modeling, Pervasive Systems, Domain Specific Modeling Languages
54	Xuhua Ding, Daniele Mazzocchi, Gene Tsudik	Equipping smart devices with public key signatures.	ACM Trans. Internet Techn.	2007	DBLP DOI BibTeX RDF	Digital signatures, public key infrastructure
54	Kuo Zhang, Xin Zhang 0008, Wei Sun 0001, Haiqi Liang, Ying Huang, Liangzhao Zeng, Xuanzhe Liu	A Policy-Driven Approach for Software-as-Services Customization.	CEC/EEE	2007	DBLP DOI BibTeX RDF
54	Stephen S. Yau, Yisheng Yao, Min Yan	Development and Runtime Support for Situation-Aware Security in Autonomic Computing.	ATC	2006	DBLP DOI BibTeX RDF	model-driven development framework, situation-aware middleware, security, ubiquitous computing, Autonomic computing, security policy
54	Ioannis Riakiotakis, Florina M. Ciorba, Theodore Andronikos, George K. Papakonstantinou	Self-Adapting Scheduling for Tasks with Dependencies in Stochastic Environments.	CLUSTER	2006	DBLP DOI BibTeX RDF
54	Ya-Fen Chang, Chin-Chen Chang 0001	An Improvement on Strong-Password Authentication Protocols.	ICESS	2005	DBLP DOI BibTeX RDF
54	Joshua E. Kocher, David P. Gilliam	Self Port Scanning Tool: Providing a More Secure Computing Environment Through the Use of Proactive Port Scanning.	WETICE	2005	DBLP DOI BibTeX RDF
54	Henry Hexmoor	Adaptivity in Agent-Based Systems via Interplay between Action Selection and Norm Selection.	IWSAS	2001	DBLP DOI BibTeX RDF
52	Gang Kou, Yi Peng 0001, Yong Shi 0001, Weixuan Xu	A Set of Data Mining Models to Classify Credit Cardholder Behavior.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	Multi-criteria Linear Programming, SAS and Linux platforms, Data Mining, Classification, Algorithm
50	Yanyan Zhuang, Albert Rafetseder, Richard S. Weiss, Justin Cappos	Four years experience: Making sensibility testbed work for SAS.	SAS	2018	DBLP DOI BibTeX RDF
45	Sylvain Pasini, Serge Vaudenay	SAS-Based Authenticated Key Agreement.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF
45	Sungho Kang, Stephen A. Szygenda	The simulation automation system (SAS); concepts, implementation, and results.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
41	Long Chen 0003, Li-min Niu, Jing-bo Zhao, Hao-Bin Jiang	Application of AMESim & MATLAB Simulation on Vehicle Chassis System Dynamics.	IITA	2007	DBLP DOI BibTeX RDF
41	Uma Murthy, Kapil Ahuja, Sudarshan Murthy, Edward A. Fox	SIMPEL: a superimposed multimedia presentation editor and player.	JCDL	2006	DBLP DOI BibTeX RDF	synchronization, multimedia authoring
41	Mudhakar Srivatsa, Ling Liu 0001	Key Derivation Algorithms for Monotone Access Structures in Cryptographic File Systems.	ESORICS	2006	DBLP DOI BibTeX RDF
41	Alex Kok Bin See, Weixiang Shen, Ong Kok Seng, Saravanan Ramanathan, I-Wern Low	Development of a LabVIEW-based test facility for standalone PV systems.	DELTA	2006	DBLP DOI BibTeX RDF
41	Hoilun Ngan, Yanmin Zhu, Lionel M. Ni, Renyi Xiao	Stimulus-Based Adaptive Sleeping for Wireless Sensor Networks.	ICPP	2005	DBLP DOI BibTeX RDF
41	Walfredo Cirne, Francine Berman	When the Herd Is Smart: Aggregate Behavior in the Selection of Job Request.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Parallel supercomputers, space-shared supercomputers, aggregate behavior, job scheduling, application scheduling
41	Yohan Payan, Xavier Pelorson, Pascal Perrier	Physical Modeling of Air.ow-Walls Interactions to Understand the Sleep Apnea Syndrome.	IS4TH	2003	DBLP DOI BibTeX RDF
39	Narasimhaiah Gorla, Alan C. Benander, Barbara A. Benander	Debugging Effort Estimation Using Software Metrics.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	debugging effort estimation, quadratic regressions, style characteristics, V(g), VARS, PARS, Cobol programs, program analyzer, statistical procedures, SAS, statistical analysis system, GOTO usage, IF-ELSE construct, level 88 item usage, paragraph invocation pattern, data name length, debug times, DEST, software metrics, statistical analysis, program testing, program debugging, linear regressions, multiple regressions, LOC
38	Pei-Te Chen, Chi-Sung Laih	IDSIC: an intrusion detection system with identification capability.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Identification capability, System managers (SMs), Security auditors (SAs), Fingerprints, Intrusion detection systems (IDSs)
35	Avi Abu, Roee Diamant	Underwater object classification combining SAS and transferred optical-to-SAS Imagery.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
35	Avi Abu, Roee Diamant	Underwater object classification combining SAS and transferred optical-to-SAS Imagery.	CoRR	2023	DBLP DOI BibTeX RDF
35	Anirudha Sahoo, Naceur El Ouni, Vineet Shenoy	A Study of Timing Constraints and SAS Overload of SAS-CBSD Protocol in the CBRS Band.	GLOBECOM Workshops	2019	DBLP DOI BibTeX RDF
35	Douglas Zabransky, He Li 0007, Chang Lu, Yaling Yang	SZ-SAS: A Framework for Preserving Incumbent User Privacy in SAS-Based DSA Systems.	CrownCom	2018	DBLP DOI BibTeX RDF
35	F. Dessaint	Chull.sas: an SAS macro to construct the convex hull of one (or more) finite sets of points in a plane.	Comput. Appl. Biosci.	1992	DBLP DOI BibTeX RDF
35	Gordon R. Stauffer	Data Center Management Using SAS, SAS/GRAPH, MICS, and SPF.	Int. CMG Conference	1982	DBLP BibTeX RDF
32	Manuel V. Hermenegildo, José F. Morales 0001 (eds.)	Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings	SAS	2023	DBLP DOI BibTeX RDF
32		IEEE Sensors Applications Symposium, SAS 2023, Ottawa, ON, Canada, July 18-20, 2023	SAS	2023	DBLP DOI BibTeX RDF
32	Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand	Abstract Interpretation in Industry - Experience and Lessons Learned.	SAS	2023	DBLP DOI BibTeX RDF
32	Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella	Unconstrained Variable Oracles for Faster Numeric Static Analyses.	SAS	2023	DBLP DOI BibTeX RDF
32	Aleksandar S. Dimovski	Generalized Program Sketching by Abstract Interpretation and Logical Abduction.	SAS	2023	DBLP DOI BibTeX RDF
32	Shuo Ding, Qirun Zhang	Mutual Refinements of Context-Free Language Reachability.	SAS	2023	DBLP DOI BibTeX RDF
32	Jérôme Boillot, Jérôme Feret	Symbolic Transformation of Expressions in Modular Arithmetic.	SAS	2023	DBLP DOI BibTeX RDF
32	Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni	How Fitting is Your Abstract Domain?	SAS	2023	DBLP DOI BibTeX RDF
32	Loris D'Antoni	Verifying Infinitely Many Programs at Once.	SAS	2023	DBLP DOI BibTeX RDF
32	Josselin Giet, Félix Ridoux, Xavier Rival	A Product of Shape and Sequence Abstractions.	SAS	2023	DBLP DOI BibTeX RDF
32	Michael Schwarz 0007, Helmut Seidl	Octagons Revisited - Elegant Proofs and Simplified Algorithms.	SAS	2023	DBLP DOI BibTeX RDF
32	Isabella Mastroeni, Michele Pasqua	Domain Precision in Galois Connection-Less Abstract Interpretation.	SAS	2023	DBLP DOI BibTeX RDF
32	Anastasia Isychev, Eva Darulova	Scaling up Roundoff Analysis of Functional Data Structure Programs.	SAS	2023	DBLP DOI BibTeX RDF
32	Shangtong Cao, Ningyu He, Yao Guo 0001, Haoyu Wang 0001	BREWasm: A General Static Binary Rewriting Framework for WebAssembly.	SAS	2023	DBLP DOI BibTeX RDF
32	Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang	Lifting On-Demand Analysis to Higher-Order Languages.	SAS	2023	DBLP DOI BibTeX RDF
32	Florian Frohn, Jürgen Giesl	ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.	SAS	2023	DBLP DOI BibTeX RDF
32	Colin S. Gordon, Chaewon Yun	Error Localization for Sequential Effect Systems.	SAS	2023	DBLP DOI BibTeX RDF
32	Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi	A Formal Framework to Measure the Incompleteness of Abstract Interpretations.	SAS	2023	DBLP DOI BibTeX RDF
32	Gagandeep Singh 0001	Building Trust and Safety in Artificial Intelligence with Abstract Interpretation.	SAS	2023	DBLP DOI BibTeX RDF
32	Aleksandar S. Dimovski	Error Invariants for Fault Localization via Abstract Interpretation.	SAS	2023	DBLP DOI BibTeX RDF
32	Xuezhou Tang, Ye Zheng, Jiaxiang Liu 0001	Boosting Multi-neuron Convex Relaxation for Neural Network Verification.	SAS	2023	DBLP DOI BibTeX RDF
32	Thomas Seed, Chris Coppins, Andy King, Neil Evans	Polynomial Analysis of Modular Arithmetic.	SAS	2023	DBLP DOI BibTeX RDF
32	Matthieu Lemerre	Reverse Template Processing Using Abstract Interpretation.	SAS	2023	DBLP DOI BibTeX RDF
32	Yanbin Chen, Yannick Stade	Quantum Constant Propagation.	SAS	2023	DBLP DOI BibTeX RDF
32	Rosa Abbasi, Eva Darulova	Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.	SAS	2023	DBLP DOI BibTeX RDF
32	Bhaskar Anand, Pachamuthu Rajalakshmi	Pipeline for Automation of LiDAR Data Annotation.	SAS	2023	DBLP DOI BibTeX RDF
32	Luciano S. Martínez Rau, Veysi Adin, Leonardo Luis Giovanini, Bengt Oelmann, Sebastian Bader 0002	Real-Time Acoustic Monitoring of Foraging Behavior of Grazing Cattle Using Low-Power Embedded Devices.	SAS	2023	DBLP DOI BibTeX RDF
32	Francesca Schenkel, Christoph Baer, Ilona Rolfes, Christian Schulz 0010	Flame-Millimeter-Wave-Interactions: A Radar-Based Sensor Concept.	SAS	2023	DBLP DOI BibTeX RDF
32	Zhenyu Zhang, Yichun Shen, Julio J. Valdés, Saiful Huq, Bruce Wallace 0001, James Green 0001, Pengcheng Xi, Rafik Goubran	Domestic Sound Classification with Deep Learning.	SAS	2023	DBLP DOI BibTeX RDF
32	Ankita Dey, Yann Cabanes, Sreeraman Rajan, Bhashyam Balaji, Anthony Damini, Rajkumar Chanchlani	Radar-Based Drone Detection Using Complex-Valued Convolutional Neural Network.	SAS	2023	DBLP DOI BibTeX RDF
32	Y. Lu, Aranee Balachandran, Ratnasingham Tharmarasa, Sunil Chomal	Detection Level and Target Level Road User Classification with Radar Point Cloud.	SAS	2023	DBLP DOI BibTeX RDF
32	Tatsunori Matsumoto, Chinthaka Premachandra	Depth Sensor Application in Ground Unevenness Estimation for UAV Emergency Landing.	SAS	2023	DBLP DOI BibTeX RDF
32	Philippe Masson, Bruce Wallace 0001, James Green 0001, Rafik Goubran	Comparison of Spatial Coverage of LiDAR Systems for In Home Activity of Daily Living Applications.	SAS	2023	DBLP DOI BibTeX RDF
32	Gerrit Maus, Dieter Brückmann	Matching Pursuit Based Joint Angle and Delay Estimation for Bluetooth Direction Finding.	SAS	2023	DBLP DOI BibTeX RDF
32	Veysi Adin, Yuxuan Zhang 0005, Bruno Andò, Bengt Oelmann, Sebastian Bader 0002	Tiny Machine Learning for Real-Time Postural Stability Analysis.	SAS	2023	DBLP DOI BibTeX RDF
32	Jason Abounader, Kwangtaek Kim, Bryan D. Caldwell, Mark A. Hardy	An Initial Study of Ingrown Toenail Removal Simulation in Virtual Reality with Bimanual Haptic Feedback for Podiatric Surgical Training.	SAS	2023	DBLP DOI BibTeX RDF
32	Carl Brander, Cristian Cioflan, Vlad Niculescu, Hanna Müller, Tommaso Polonelli, Michele Magno, Luca Benini	Improving Data-Scarce Image Classification Through Multimodal Synthetic Data Pretraining.	SAS	2023	DBLP DOI BibTeX RDF
32	Mohamed Yassine Bouhamidi, Dmytro Lomovtsev, Gengyang Mu, Martin Charron, Matthew Waugh, Vincent Tabard-Cossa	Characterizing Surface Charge Density of Solid-State Nanopore Sensors for Improved Biosensing Applications.	SAS	2023	DBLP DOI BibTeX RDF
32	Georgios Papangelakis, Han Liu, Bhashyam Balaji, Phillip Blakey, Amr S. Helmy	Receiver Operator Characteristic Enhancement by Overcomming the Hardware Temporal Resolution Limit Using Nonlocal Effects in LiDAR.	SAS	2023	DBLP DOI BibTeX RDF
32	Robert F. H. Hunter, Mohamadreza Pashazanoosi, Steve Hranilovic, Costel Flueraru, Antony Orth, Oliver J. Pitts	Experimental Point Spread Function Imaging of Turbulent Wavefronts Using Compressive Sensing.	SAS	2023	DBLP DOI BibTeX RDF
32	Francesco Maccantelli, Giacomo Peruzzi, Alessandro Pozzebon	Traffic Level Monitoring in Urban Scenarios with Virtual Sensing Techniques Enabled by Embedded Machine Learning.	SAS	2023	DBLP DOI BibTeX RDF
32	Davide Botturi, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Simone Pasinetti, Matteo Soprani, Emiliano Sisinni	LoRaVine: Using LoRaWAN for Smart Vineyards Microclimate Monitoring.	SAS	2023	DBLP DOI BibTeX RDF
32	Rinku Basak, Khan A. Wahid	Assessment of Leaf Phosphorus for Multiple Crop Species Using an Electrical Impedance Spectroscopy Sensor.	SAS	2023	DBLP DOI BibTeX RDF
32	Xin Qiao, Weimin Huang 0001	Spectral-Spatial-Frequency Transformer Network for Hyperspectral Image Classification.	SAS	2023	DBLP DOI BibTeX RDF
32	Nick Torenvliet, Yizhe Liu, John S. Zelek	Automating Safety Critical Ultrasonic Data Analysis with a Variational Auto-Encoder.	SAS	2023	DBLP DOI BibTeX RDF
32	Neel Kanth Kundu, Matthew R. McKay, Bhashyam Balaji	Quantum Enhanced Sensing Using Gaussian Quantum States.	SAS	2023	DBLP DOI BibTeX RDF
32	Reyhaneh Banihabib, Fredrik Skaug Fadnes, Mohsen Assadi	Optimizing Building Heating Efficiency: A Data-Driven Approach for Cost and Energy Savings.	SAS	2023	DBLP DOI BibTeX RDF
32	Ana Soladado, José Manuel Costa-Fernández, Candela Melendreras, Patricia Lozano Fernández, Juan Carlos Campo Rodriguez, Marta Valledor, Alberto López, Francisco Ferrero 0001	A Performance Comparison of Two Portable NIRS Technologies for Olive Oil Adulteration.	SAS	2023	DBLP DOI BibTeX RDF
32	Alessandro Brighente, Mauro Conti, Giacomo Peruzzi, Alessandro Pozzebon	ADASS: Anti-Drone Audio Surveillance Sentinel via Embedded Machine Learning.	SAS	2023	DBLP DOI BibTeX RDF
32	Jona Cappelle, Bert Cox, Liesbet Van der Perre	Automated and Interference-Free Inventory Solution Using Energy-Neutral BLE Tags.	SAS	2023	DBLP DOI BibTeX RDF
32	Ebrahim Ali Nehary, Sreeraman Rajan, Carlos Rossa	Comparison of COVID-19 Classification via Imagenet-Based and RadImagenet-Based Transfer Learning Models with Random Frame Selection.	SAS	2023	DBLP DOI BibTeX RDF
32	Conor McDermott, Carlos Rossa	Data Augmentation Based on Inverse Transform Sampling for Improved Tissue Classification via Electrical Impedance Spectroscopy.	SAS	2023	DBLP DOI BibTeX RDF
32	Bruno Andò, Salvatore Baglio, Salvatore Castorina, Salvatore Graziani, Vincenzo Marletta, Alberto Campisi	Robustness Investigation of a Particle Analyzer for the Analysis of Volcanic Ash.	SAS	2023	DBLP DOI BibTeX RDF
32	Gonçalo Ribeiro, Octavian Postolache	New Approach for Stress Assessment Based on Healthcare Ecosystems.	SAS	2023	DBLP DOI BibTeX RDF
32	Michael Guirguis, Kathleen Van Benthem, Chris M. Herdman	Wireless Sensors Measure the Neural Effects of Sleep Debt on Prospective Memory for Pilots.	SAS	2023	DBLP DOI BibTeX RDF
32	Nina Leiter, Maximilian Wohlschläger, Maximilian Dietlmeier, Martin Versen, Martin G. J. Löder, Christian Laforsch	Comparative Analysis of Fluorescence Properties of Post-Consumer Wood Using FD-FLIM.	SAS	2023	DBLP DOI BibTeX RDF
32	Rafik Goubran, Sreeraman Rajan, Alessandro Depari	Welcome Message.	SAS	2023	DBLP DOI BibTeX RDF
32	Rohan Kumar Reddy Damagatla, Mohamed Atia	A Novel Approach for IMU Denoising using Machine Learning.	SAS	2023	DBLP DOI BibTeX RDF
32	Shri Harini Ramesh, Edward D. Lemaire, Kevin Cheung, Albert Tu, Natalie Baddour	Automated Stride Detection from OpenPose Keypoints Using Handheld Smartphone Video.	SAS	2023	DBLP DOI BibTeX RDF
32	Scott Wood, Dwaipayan Chakraborty, John L. Schmalzel	Low Power Sensor Fusion Targeted for AI Applications at The Edge.	SAS	2023	DBLP DOI BibTeX RDF
32	Mazhar Hussain, Mattias O'Nils, Jan Lundgren, Mehdi Akbari Saatlu, Rikard Hamrin, Claes Mattson	A Deep Learning Approach for Classification and Measurement of Hazardous Gases Using Multi-Sensor Data Fusion.	SAS	2023	DBLP DOI BibTeX RDF
32	Marc-Antoine Drouin, Frank Billy Djupkep Dizeu, Terrence C. Stewart, Hilda Azimi, Guillaume Gagné	Combined Radar and Camera Drone Detection in Urban Environment: A Simulation-Based Approach.	SAS	2023	DBLP DOI BibTeX RDF
32	Costel Flueraru, Oliver J. Pitts, Alexandre W. Walker, Alexandre Levesque	Modular Implementation of a Dual-Band Imager: Visible and SWIR with Compressed Sensing.	SAS	2023	DBLP DOI BibTeX RDF
32	Jihoon Yang, Juhyun Kim, Sion Kang, Haeeun Ok, Yijun Yoo, Hyewon Koh, Pilkyo Kim, Alexander L. Head, Anthony Smith	Establishing Wireless Intranet Network Using UAVs and Web Application for Emergency Communications.	SAS	2023	DBLP DOI BibTeX RDF
32	Kathleen Van Benthem, Stefanie Gard, Chris M. Herdman	Monitored Versus Non-Monitored Stimuli in Brain-Computer-Interface Methods for Classifying Workload States During Piloting Tasks.	SAS	2023	DBLP DOI BibTeX RDF
32	Gianluca Ciattaglia, Grazia Iadarola, Gianmarco Battista, Linda Senigagliesi, Ennio Gambi, Paolo Castellini, Susanna Spinsante	Assessment of Displacement Measurements by a mmWave Radar.	SAS	2023	DBLP DOI BibTeX RDF
32	Jiahua Wang, Qing Li 0046, Shaopeng Hu, Kohei Shimasaki, Idaku Ishii	A High-Speed Stereo Monitoring System for Remote One-Man Operation.	SAS	2023	DBLP DOI BibTeX RDF