Kevin Lee

Luca P. Carloni

CoRR, July, 2025

Universal Pairs for Diophantine Equations.

[BibT_eX]

[DOI]

Marco David

Théo André

Mathis Bouverot-Dupuis

Arch. Formal Proofs, 2025

The PanAf-FGBG Dataset: Understanding the Impact of Backgrounds in Wildlife Behaviour Recognition.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

PanAf20K: A Large Video Dataset for Wild Ape Detection and Behaviour Recognition.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., August, 2024

Depressive semantic awareness from vlog facial and vocal streams via spatio-temporal transformer.

[BibT_eX]

[DOI]

Digit. Commun. Networks, 2024

Towards Generalized On-Chip Communication for Programmable Accelerators in Heterogeneous Architectures.

[BibT_eX]

[DOI]

CoRR, 2024

Learning Environment Interoperability in Software Engineering Education.

[BibT_eX]

[DOI]

Dimitri Bigler

Julian Manz

David Vincent Fischer

Georg Hagel

Proceedings of the 36th International Conference on Software Engineering Education and Training, 2024

STAR-SRAM: 43.06-TFLOPS/W, 1.89-TFLOPS/mm2, 400-Kb/mm2 Floating-Point SRAM-Based Digital Computing-in-Memory Macro in 28-nm CMOS.

[BibT_eX]

[DOI]

Proceedings of the IEEE Custom Integrated Circuits Conference, 2024

2023

Polygonal Number Theorem.

[BibT_eX]

[DOI]

Angeliki Koutsoukou-Argyraki

Zhengkun Ye

Arch. Formal Proofs, 2023

The Impact Exercise Has on Cognitive Function.

[BibT_eX]

[DOI]

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2023

Application of Ramsis Digital Human Modeling to Human Factors in Space.

[BibT_eX]

[DOI]

Kevin Jin

Mackenzie Richards

Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, 2023

2022

The Research-Practice Gap in User Authentication

[BibT_eX]

[DOI]

PhD thesis, 2022

A Case Study on Multilane Roundabout Capacity Evaluation Using Computer Vision and Deep Learning.

[BibT_eX]

[DOI]

Pranav Khekare

Sai Sudheer Reddy Bonthu

Victor Hunt

Arthur J. Helmicki

J. Comput. Civ. Eng., 2022

Security policy audits: why and how.

[BibT_eX]

[DOI]

Arvind Narayanan

CoRR, 2022

Password policies of most top websites fail to follow best practices.

[BibT_eX]

[DOI]

Sten Sjöberg

Arvind Narayanan

Proceedings of the Eighteenth Symposium on Usable Privacy and Security, 2022

2021

A Fully Wireless Wearable Motion Tracking System with 3D Human Model for Gait Analysis.

[BibT_eX]

[DOI]

Wei Tang

Sensors, 2021

Adapting Security Warnings to Counter Online Disinformation.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

2020

Do Programmers Prefer Predictable Expressions in Code?

[BibT_eX]

[DOI]

Cogn. Sci., 2020

BlockSci: Design and applications of a blockchain analysis platform.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

An Empirical Study of Wireless Carrier Authentication for SIM Swaps.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Symposium on Usable Privacy and Security, 2020

2019

Do People Prefer "Natural" code?

[BibT_eX]

[DOI]

CoRR, 2019

Enabling Intuitive Human-Robot Teaming Using Augmented Reality and Gesture Control.

[BibT_eX]

[DOI]

Jason M. Gregory

CoRR, 2019

Communicating via Augmented Reality for Human-Robot Teaming in Field Environments.

[BibT_eX]

[DOI]

John G. Rogers

Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2019

Augmented Reality for Human-Robot Teaming in Field Environments.

[BibT_eX]

[DOI]

John G. Rogers III

Proceedings of the Virtual, Augmented and Mixed Reality. Applications and Case Studies, 2019

Efficient InGaN p-Contacts for deep-UV Light Emitting Diodes.

[BibT_eX]

[DOI]

Proceedings of the Device Research Conference, 2019

Piggy Banksy: A Transformational Playground for Social Change Through Playful Co-Creation.

[BibT_eX]

[DOI]

Zhiyu Bai

Boyi Liu

Proceedings of the Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, 2019

Eye-Write: Gaze Sharing for Collaborative Writing.

[BibT_eX]

[DOI]

Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Towards Trusted Seamless Reconfiguration of IoT Nodes.

[BibT_eX]

[DOI]

Tony Toms

Proceedings of the Australasian Conference on Information Systems, 2019

2018

American Red Cross Uses Analytics-Based Methods to Improve Blood-Collection Operations.

[BibT_eX]

[DOI]

Interfaces, 2018

Come See This! Augmented Reality to Enable Human-Robot Cooperative Search.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Safety, 2018

Augmented Reality in Human-Robot Cooperative Search.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Safety, 2018

Applied Machine Learning at Facebook: A Datacenter Infrastructure Perspective.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

Digital Scene Augmentation Techniques for Generating Photo-Realistic Virtual Crowds.

[BibT_eX]

[DOI]

Proceedings of the IEEE Games, Entertainment, Media Conference, 2018

2017

Evaluation of synthetic data for deep learning stereo depth algorithms on embedded platforms.

[BibT_eX]

[DOI]

David Moloney

Proceedings of the 4th International Conference on Systems and Informatics, 2017

2016

Incorporating rapid design assembly into a virtual prototyping environment.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Sidewinder: An Energy Efficient and Developer Friendly Heterogeneous Architecture for Continuous Mobile Sensing.

[BibT_eX]

[DOI]

Italo De Moraes Garcia

Manuel Saldaña

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Magnetizing Curve Identification for Induction Motors at Standstill Without Assumption of Analytical Curve Functions.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2015

Shape exploration for modules in rapid assembly workflows.

[BibT_eX]

[DOI]

Kirsten Zaldarriaga Consing

Peter Athanas

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2015

Automatic tissue segmentation of neonate brain MR Images with subject-specific atlases.

[BibT_eX]

[DOI]

Martin Styner

Proceedings of the Medical Imaging 2015: Image Processing, 2015

Early postnatal myelin content estimate of white matter via T1w/T2w ratio.

[BibT_eX]

[DOI]

Kirsten Zaldarriaga Consing

Proceedings of the Medical Imaging 2015: Biomedical Applications in Molecular, 2015

Assigned Responsibility for Remote Robot Operation.

[BibT_eX]

[DOI]

Nicolas J. Small

Graham Mann

Proceedings of the 16th Australasian User Interface Conference, 2015

2014

Online Updating of Rotor Time Constant Based on Combined Voltage and Current Mode Flux Observer for Speed-Sensorless AC Drives.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2014

GEAP: A Generic Approach to Predicting Workload Bursts for Web Hosted Events.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

Tell Me Dave: Context-Sensitive Grounding of Natural Language to Manipulation Instructions.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems X, 2014

Towards Social Media as a Data Source for Opportunistic Sensor Networking.

[BibT_eX]

[DOI]

James Meneghello

Nik Thompson

Proceedings of the Twelfth Australasian Data Mining Conference, AusDM 2014, Brisbane, 2014

2013

An optimal weight learning machine for handwritten digit image recognition.

[BibT_eX]

[DOI]

Signal Process., 2013

Classification of bioinformatics dataset using finite impulse response extreme learning machine for cancer diagnosis.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2013

A Polymorphic Model for Event Associated Workload Bursts.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

2012

Inconsistency management for description logics.

[BibT_eX]

[DOI]

PhD thesis, 2012

Robust Single-Hidden Layer Feedforward Network-Based Pattern Classifier.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2012

Empirical prediction models for adaptive resource provisioning in the cloud.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2012

How a consumer can measure elasticity for cloud platforms.

[BibT_eX]

[DOI]

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Event Aware Workload Prediction: A Study Using Auction Events.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

Evolving IT Management Frameworks Towards a Sustainable Future.

[BibT_eX]

[DOI]

Marcel Korte

Chun Che Fung

Proceedings of the Building Sustainable Information Systems, 2012

Optimising Parallel ABox Reasoning of EL Ontologies.

[BibT_eX]

[DOI]

Yuan Ren

Jeff Z. Pan

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

A new robust training algorithm for a class of single-hidden layer feedforward neural networks.

[BibT_eX]

[DOI]

Neurocomputing, 2011

Management towards reducing cloud usage costs.

[BibT_eX]

[DOI]

Proceedings of the 7th Latin American Network Operations and Management Symposium, 2011

Size Estimation of Cloud Migration Projects with Cloud Migration Point (CMP).

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

Data Consistency Properties and the Trade-offs in Commercial Cloud Storage: the Consumers' Perspective.

[BibT_eX]

[DOI]

Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

Parallel ABox Reasoning of ${\mathcal{EL}}$ Ontologies.

[BibT_eX]

[DOI]

Yuan Ren

Jeff Z. Pan

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

2010

New Control Method Including State Observer of Voltage Unbalance for Grid Voltage-Source Converters.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2010

Prep and Landing: Snow Effects Animation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2010

Prep and landing: Christmas in July: the effects snow process.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2010

2009

A Novel Architecture for Situation Awareness Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2006

Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Finding Maximally Satisfiable Terminologies for the Description Logic ALC.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Knowledge Integration for Description Logics.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Richard Booth

Proceedings of the Proceedings, 2005

2004

Adaptive, distributed location management in mobile, wireless networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2004

A Classification of Ontology Modification.

[BibT_eX]

[DOI]