Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Lecture Notes in Computer Science
Journal
Overview
Identifiers
View All
Overview
publication venue for
Predictive Modeling of Longitudinal Data for Alzheimer’s Disease Diagnosis Using RNNs
. 112-119.
2018
A dynamic Bayesian security game framework for strategic defense mechanism design
. 8840:319-328.
2014
A real-time voice controlled human computer interface to help persons with motor disability
. 3118:804-812.
2004
Collaborative trust-based secure routing in multihop ad hoe networks
. 3042:1446-1451.
2004
Max-min length-energy-constrained routing in wireless sensor networks
. 2920:234-249.
2004
Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces
. 3045:127-136.
2004
Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices
. 3045:117-126.
2004
Remote eye gaze tracking system as a computer interface for persons with severe motor disability
. 3118:761-769.
2004
TRAP/J: Transparent generation of adaptable Java programs
. 3291:1243-1261.
2004
Approximating geometric bottleneck shortest paths
. 2607:38-49.
2003
Approximation algorithms to minimum vertex cover problems on polygons and terrains
. 2657:869-878.
2003
Computer technology for solving large scale matrix problems
. 2667:848-854.
2003
Distance-P reserving approximations of polygonal paths
. 2914:217-228.
2003
Efficient and fault-tolerant feature extraction in wireless sensor networks
. 2634:488-501.
2003
Lyapunov analysis of neural network stability in an adaptive flight control system
. 2704:77-91.
2003
Multi-model simulations of chicken limb morphogenesis
. 2659:39-49.
2003
Neural network based material identification and part thickness estimation from two radiographic images
. 2714:1018-1025.
2003
Selection of optimal cutting conditions by using the Genetically Optimized Neural Network System (GONNS)
. 2714:1026-1032.
2003
Lime revisited: Reverse engineering an agent communication model
. 2240:54-69.
2001
Mobile agents to automate fault management in wireless and mobile networks
. 1800:1296-1300.
2000
GEOMETRIC SEARCHING AND LINK DISTANCE
. 519:261-272.
1991
Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images
2023
Fair-DSP: Fair Dynamic Survival Prediction on Longitudinal Electronic Health Record
2023
Integrated Bigdata Analysis Model for Industrial Anomaly Detection via Temporal Convolutional Network and Attention Mechanism
2023
Multi-modal Fake News Detection Use Event-Categorizing Neural Networks
2023
Multi-objective Global Path Planning for UAV-assisted Sensor Data Collection Using DRL and Transformer
2023
Incremental Mining of Frequent Serial Episodes Considering Multiple Occurrences
2022
Introduction to the Healthcare Systems and Quality of Life Track
2022
An Effective Algorithm for Classification of Text with Weak Sequential Relationships
2021
AutoEncoder for Neuroimage
2021
Cognitive Visual Commonsense Reasoning Using Dynamic Working Memory
2021
Interpretable Visual Understanding with Cognitive Attention Network
2021
LSTM Based Sentiment Analysis for Cryptocurrency Prediction
2021
SCRUTINIZER: Detecting Code Reuse in Malware via Decompilation and Machine Learning
2021
The 4th International Workshop on Narrative Extraction from Texts: Text2Story 2021
2021
You've Got (a Reset) Mail: A Security Analysis of Email-Based Password Reset Procedures
2021
Augmented Reality for City Planning
2020
Conformal Welding for Brain-Intelligence Analysis
2020
Deep Discriminative Learning for Autism Spectrum Disorder Classification
2020
Drawing Dreams
2020
Lekana - Blockchain Based Archive Storage for Large-Scale Cloud Systems
2020
Race Classification Based Iris Image Segmentation
2020
A Challenging Dataset for Bias Detection: The Case of the Crisis in the Ukraine
2019
Agency Laundering and Algorithmic Decision Systems
2019
An Analysis of Malware Trends in Enterprise Networks
2019
Analyzing Defense Strategies Against Mobile Information Leakages: A Game-Theoretic Approach
2019
Data Protection Labware for Mobile Security
2019
Exploiting the Spam Correlations in Scalable Online Social Spam Detection
2019
Learning Behavioral Pattern Analysis Based on Digital Textbook Reading Logs
2019
eEVA as a Real-Time Multimodal Agent Human-Robot Interface
2019
3D Spatial Gaming Interaction to Broad CS Participation
2018
A New Algorithm for Finding Closest Pair of Vectors (Extended Abstract)
2018
A System for Non-intrusive Affective Assessment in the Circumplex Model from Pupil Diameter and Facial Expression Monitoring
2018
Local graph clustering by multi-network random walk with restart
2018
Orientation Correction for a 3D Hand Motion Tracking Interface Using Inertial Measurement Units
2018
Real-Time Implementation of Orientation Correction Algorithm for 3D Hand Motion Tracking Interface
2018
SATYA: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing
2018
Temperature and humidity monitoring system for bulk grain container based on LoRa wireless technology
2018
Towards Decentralized Accountability and Self-sovereignty in Healthcare Systems
2018
Towards Multi-modal Interaction with Interactive Paint
2018
Towards a Trusted and Privacy Preserving Membership Service in Distributed Ledger Using Intel Software Guard Extensions
2018
Use of 3D Human-Computer Interaction for Teaching in the Architectural, Engineering and Construction Fields
2018
DORA Platform: DevOps Assessment and Benchmarking
2017
Include Me Out: In-Browser Detection of Malicious Third-Party Content Inclusions
2017
Object Tracking via Pixel-Wise and Block-Wise Sparse Representation
2017
Redemption: Real-Time Protection Against Ransomware at End-Hosts
2017
A Relevant Content Filtering Based Framework for Data Stream Summarization
2016
A Variable-Length Network Encoding Protocol for Big Genomic Data
2016
A game-theoretic analysis of deception over social networks using fake avatars
2016
Data Aware Communication for Energy Harvesting Sensor Networks
2016
Finding an efficient threshold for fixation detection in eye gaze tracking
2016
Fourier Sparsity of GF(2) Polynomials
2016
Grade Prediction with Course and Student Specific Models
2016
Identifying Extension-Based Ad Injection via Fine-Grained Web Content Provenance
2016
On Constrained Local Model Feature Normalization for Facial Expression Recognition
2016
A method for improving the precision and coverage of atomicity violation predictions
2015
Agent appearance modulates mind attribution and social attention in human-robot interaction
2015
Aspect and ratings inference with aspect ratings: Supervised generative models for mining hotel reviews
2015
Correlation-based deep learning for multimedia semantic concept detection
2015
Cutting the gordian knot: A look under the hood of ransomware attacks
2015
Distributed Markov Chains
2015
GyroTouch: Wrist Gyroscope with a Multi-Touch display
2015
Implementation and Experimentation of Industrial Wireless Sensor-Actuator Network Protocols
2015
Learning from non-iid data: Fast rates for the one-vs-all multiclass plug-in classifiers
2015
Moving video mapper and city recorder with geo-referenced videos
2015
New horizons in design science: broadening the research agenda: 10th international conference, DESRIST 2015 Dublin, Ireland, May 20-22, 2015 proceedings
2015
PostureMonitor: Real-Time IMU Wearable Technology to Foster Poise and Health
2015
Query Click and Text Similarity Graph for Query Suggestions
2015
Shape classification using wasserstein distance for brain morphometry analysis
2015
Structural Brain Mapping
2015
The WordNet database: Form, function, and use
2015
The wordnet database form, function, and use
2015
To trust or not: A security signaling game between service provider and client
2015
Web information systems engineering-WISE 2015: 16th international conference Miami, FL, USA, November 1-3, 2015 proceedings, part II
2015
A constraint generation approach for the two-machine flow shop problem with jobs selection
2014
Abstract channels and their robust information-leakage ordering
2014
Bounded Model Checking High Level Petri Nets in PIPE plus Verifier
2014
Colon Flattening by Landmark-Driven Optimal Quasiconformal Mapping
2014
Emotionally responsive virtual counselor for behavior-change health interventions
2014
Exploring Gender Biases with Virtual Patients for High Stakes Interpersonal Skills Training
2014
PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
2014
Statistical Dialog Manager Design Tool for Health Screening and Assessments
2014
Surface Matching and Registration by Landmark Curve-Driven Canonical Quasiconformal Mapping
2014
Scored protein-protein interaction to predict subcellular localizations for yeast using diffusion kernel
2013
Generalization and robustness of batched weighted average algorithm with V-geometrically ergodic Markov data
2013
Tight lower bounds for testing linear isomorphism
2013
Modeling brief alcohol intervention dialogue with MDPs for delivery by ECAs
2013
Hyperbolic harmonic brain surface registration with curvature-based landmark matching
2013
Clustering of Gene Expression Profiles Applied to Marine Research
2013
Estimating Operating System Process Energy Consumption in Real Time
2013
What's the Best Bet? An Analysis of Design Scientists' Perceptions of Receptivity and Impact of IS Journals
2013
Connecting red cells in a bicolour Voronoi diagram
2012
Efficient topological cleaning for visual colon surface flattening
2012
Real-time resource location tracking in Building Information Models (BIM)
2012
McPatom: A predictive analysis tool for atomicity violation using model checking
2012
Identification of smartphone-image source and manipulation
2012
Min-entropy leakage of channels in cascade
2012
The shy mayor: Private badges in geosocial networks
2012
Sets of signals, information flow, and folktales
2012
Oblivious outsourced storage with delegation
2012
Converting Online Algorithms to Local Computation Algorithms
2012
Conformal geometry based supine and prone colon registration
2011
Extraction of landmarks and features from virtual colon models
2011
A recursive sparse blind source separation method for nonnegative and correlated data in NMR spectroscopy
2011
Content adaptive image matching by color-entropy segmentation and inpainting
2011
Safe runtime validation of behavioral adaptations in autonomic software
2011
Software modeling in education: The 6th educators' symposium at MODELS 2010
2011
DEVA: Distributed Ensembles of Virtual Appliances in the Cloud
2011
Interface Design Elements for Anti-phishing Systems
2011
Oblivious Buy-at-Bulk in Planar Graphs
2011
ISPs and ad networks against botnet ad fraud
2010
Regulatory compliant Oblivious RAM
2010
Tracking games in mobile networks
2010
Testing non-uniform k-wise independent distributions over product spaces
2010
Analyzing a Formal Specification of Mondex Using Model Checking
2010
Computing the leakage of information-hiding systems
2010
Efficient and Scalable Method for Processing Top-k Spatial Boolean Queries
2010
High Score! - Motivation Strategies for User Participation in Virtual Human Development
2010
Joining privately on outsourced data
2010
Secure Information Flow for Distributed Systems
2010
Shape Analysis of Planar Objects with Arbitrary Topologies Using Conformal Geometry
2010
Shape Analysis of Vestibular Systems in Adolescent Idiopathic Scoliosis Using Geodesic Spectra
2010
Testing Linear-Invariant Non-linear Properties: A Short Report
2010
Testing Non-uniform
k
-Wise Independent Distributions over Product Spaces (Extended Abstract)
2010
Using Virtual Humans to Bootstrap the Creation of Other Virtual Humans
2010
Surface quasi-conformal mapping by solving beltrami equations
2009
A Bayesian Approach to Model Checking Biological Systems
2009
A Decentralized Approach to Minimum-Energy Broadcasting in Static Ad Hoc Networks
2009
Bio-sensing for Emotional Characterization without Word Labels
2009
Brief Announcement: Universal Data Aggregation Trees for Sensor Networks in Low Doubling Metrics
2009
Experiences on Processing Spatial Data with MapReduce
2009
Monitoring and Processing of the Pupil Diameter Signal for Affective Assessment of a Computer User
2009
Multiple Sequence Alignment System for Pyrosequencing Reads
2009
On the Foundations of Quantitative Information Flow
2009
Conditional payments for computing markets
2008
3D Non-rigid Surface Matching and Registration Based on Holomorphic Differentials
2008
A counterexample-guided approach to parameter synthesis for linear hybrid automata
2008
Adversaries and information leaks
2008
An eye gaze tracking system using customized user profiles to help persons with motor challenges access computers
2008
Automated book reader design for persons with blindness
2008
Breaking the ε-Soundness Bound of the Linearity Test over GF(2)
2008
CROWNBench: A Grid performance testing system using customizable synthetic workload
2008
Design and Implementation of a Fault Tolerant Job Flow Manager Using Job Flow Patterns and Recovery Policies
2008
Designing Secure Protocols for Wireless Sensor Networks
2008
Digital design for functionally graded material components rapid prototyping manufacturing
2008
Statistical Model Checking in
BioLab
: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
2008
d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata
2008
A system biology approach for the steady-state analysis of gene signaling networks
2007
A point-wise quantification of asymmetry using deformation fields: Application to the study of the crouzon mouse model
2007
A rewrite based approach for enforcing access constraints for XML
2007
A user model of psycho-physiological measure of emotion
2007
Affective User Modeling for Adaptive Intelligent User Interfaces
2007
Affective cognitive modeling for autonomous agents based on Scherer's emotion theory
2007
Beyond lazy XML parsing
2007
Conditional E-cash
2007
Enhancing motif refinement by incorporating comparative genomics data
2007
Feature extraction and coverage problems in distributed sensor networks
2007
Grid service composition in BPEL for scientific applications
2007
Modified ART2A-DWNN for automatic digital modulation recognition
2007
Non-intrusive physiological monitoring for automated stress detection in human-computer interaction
2007
Online ad intrusiveness
2007
Personal digital rights management for mobile cellular devices
2007
Predicting protein folding kinetics via temporal logic model checking
2007
Predicting protein folding kinetics via temporal logic model checking (Extended abstract)
2007
Reachability for linear hybrid automata using iterative relaxation abstraction
2007
Searching for recombinant donors in a phylogenetic network of serial samples
2007
Some problems related to good illumination
2007
Sparse statistical deformation model for the analysis of craniofacial malformations in the crouzon mouse
2007
Stability aware routing: Exploiting transient route availability in MANETs
2007
Top-down versus bottom-up processing in the human brain: Distinct directional influences revealed by integrating SOBI and Granger causality
2007
Accusation resolution using security metrology
2006
An efficient and robust routing protocol for data aggregation
2006
An integrated design for a myoelectrically-based writing module for a controlled prosthesis
2006
Automated book reader for persons with blindness
2006
Characterizing and covering some subclasses of orthogonal polygons
2006
Constrained Delaunay triangulation using Delaunay visibility
2006
Discovering sequence-structure patterns in proteins with variable secondary structure
2006
Electromyogram-based cursor control system for users with motor disabilities
2006
HOWARD: High-order wavefront aberration regularized deconvolution for enhancing graphic displays for visually impaired computer users
2006
Integrative mathematical modeling for analysis of microcirculatory function
2006
Mobile service clouds: A self-managing infrastructure for autonomic mobile computing services
2006
Modified Hopfield neural network for CDMA multiuser detection
2006
Pooling evidence to identify cell cycle-regulated genes
2006
Reconstructing ancestor-descendant lineages from serially-sampled data: A comparison study
2006
Region-restricted clustering for geographic data mining
2006
A knowledge-driven method to evaluate multi-source clustering
2005
A three-layered architecture for socially intelligent agents: Modeling the multilevel process of emotions
2005
An approach to V&V of embedded adaptive systems
2005
An efficient frequency scaling approach for energy-aware embedded real-time systems
2005
Automated runtime validation of software architecture design
2005
Clustering using adaptive self-organizing maps (ASOM) and applications
2005
DocBase - The INEX evaluation experience
2005
Exact and approximation algorithms for computing the dilation spectrum of paths, trees, and cycles
2005
Extending the SweetDeal approach for e-procurement using SweetRules and RuIeML
2005
Fast pruning of geometric spanners
2005
Image reconstruction for diagnosis and prognosis of breast cancer using fluorescence measurements: Phantom studies
2005
Refining abstractions of hybrid systems using counterexample fragments
2005
Resource discovery using spatio-temporal information in mobile ad-hoc networks
2005
The distributed sensor networks - An emerging technology
2005
Generating random orthogonal polygons
2004
OpenMolGRID, a GRID based system for solving large-scale drug design problems
2004
Profile-based 3D face registration and recognition
2004
Workshop on social and emotional intelligence in learning environments
2004
An estimate method of the minimum entropy of natural languages
2003
IP multicast over cable TV networks
2003
A Stochastic model for content-based image retrieval
2002
A methodology for developing adaptive educational-game environments
2002
A novel hierarchical approach to image retrieval using color and spatial information
2002
Approximate distance oracles revisited
2002
Balanced partition of minimum spanning trees
2002
DSQL – an SQL for structured documents extended abstract
2002
Formal analysis of real-time systems with SAM
2002
KECho - Event communication for distributed kernel services
2002
Management of dynamic location information in DOMINO
2002
Research direction for developing an infrastructure for mobile & wireless systems: Consensus report of the NSF Workshop held on October 15, 2001 in Scottsdale, Arizona
2002
dproc - Extensible run-time resource monitoring for cluster applications
2002
An adaptive optimal multimedia network transmission control scheme
2001
Approximation algorithms for the bottleneck stretch factor problem
2001
Optimal algorithms for two-guard walkability of simple polygons
2001
Strategies for semantic caching
2001
User action recovery in internet SAGAs (iSAGAs)
2001
Improved greedy algorithms for constructing sparse geometric spanners
2000
Video content representation based on texture and lighting
2000
Approximating minimum manhattan networks: (Extended abstract)
1999
Databases for tracking mobile units in real time
1999
Tracking moving objects using database technology in DOMINO
1999
A type-based approach to program security
1997
An agent based mobile system
1997
On Hamiltonian triangulations in simple polygons - (Extended abstract)
1997
A formal definition of hierarchical predicate transition nets
1996
Towards an ML-style polymorphic type system for C
1996
An understanding of muscle fibre images
1995
Finding all weakly-visible chords of a polygon in linear time
1994
A framework for temporal object databases
1993
Improved traditional mirror
1993
Polymorphic type inference with overloading and subtyping
1993
The K-D heap: An efficient multi-dimensional priority queue
1993
AN EFFICIENT LINE DRAWING ALGORITHM FOR PARALLEL MACHINES
1992
AN EFFICIENT LINE DRAWING ALGORITHM FOR PARALLEL MACHINES
1992
On the complexity of ML typability with overloading
1991
EFFICIENT ORGANIZATION OF SEMANTIC DATABASES
1989
THE DISTRIBUTION OF KEYS IN A BINARY HEAP
1989
TIGHT LOWER BOUNDS FOR SHELLSORT
1988
ON DENOTATIONAL SEMANTICS OF DATABASES
1986
POSTCONDITIONAL SEMANTICS OF DATABASE QUERIES
1986
Preface
2021
Learning User Preferences via Reinforcement Learning with Spatial Interface Valuing
2019
Multiscale Modeling and simulation of worm effects on the Internet routing infrastructure
2003
Identifiers
International Standard Serial Number (ISSN)
0302-9743
Electronic International Standard Serial Number (EISSN)
1611-3349
International Standard Book Number (ISBN) 10
0-8194-5667-5
3-540-00262-6
3-540-00532-3
3-540-20051-7
3-540-22888-8
3-540-26043-9
3-540-29922-X
3-540-34381-4
3-540-36020-4
3-540-43409-7
3-540-43594-8
International Standard Book Number (ISBN) 13
978-3-030-21740-2
978-3-030-21934-5
978-3-030-23501-7
978-3-030-27543-3
978-3-030-30214-6
978-3-030-33719-3
978-3-030-49694-4
978-3-030-54406-5
978-3-030-73199-1
978-3-319-11736-2
978-3-319-15581-4
978-3-319-33935-1
978-3-319-47873-9
978-3-319-59125-4
978-3-319-59143-8
978-3-319-66331-9
978-3-319-89499-7
978-3-319-92048-1
978-3-319-92051-1
978-3-540-68063-5
978-3-540-74467-2
978-3-540-74493-1
978-3-540-76835-7
978-3-540-79245-1
978-3-540-88689-1
978-3-642-20632-0
978-3-642-38678-7
