A5036930915- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Logic, programming, and type systems
- Semantic Web and Ontologies
- Advanced Algebra and Logic
- Video Surveillance and Tracking Methods
- semigroups and automata theory
- Model-Driven Software Engineering Techniques
- Constraint Satisfaction and Optimization
- Software Testing and Debugging Techniques
- Advanced Database Systems and Queries
- Autonomous Vehicle Technology and Safety
- Multi-Agent Systems and Negotiation
- Optimal Power Flow Distribution
- Anomaly Detection Techniques and Applications
- Smart Grid Energy Management
- AI-based Problem Solving and Planning
- Advanced Software Engineering Methodologies
- Software Reliability and Analysis Research
- Petri Nets in System Modeling
- Data Management and Algorithms
- Microgrid Control and Optimization
- Natural Language Processing Techniques
- High-Velocity Impact and Material Behavior
- Computability, Logic, AI Algorithms
The University of Western Australia
2016-2025
The University of Melbourne
2022
University of Edinburgh
2020
University of Maryland, Baltimore
2007-2019
Newcrest Mining (Australia)
2018
Qinetiq (United Kingdom)
2003-2018
Imperial Valley College
2017
Gaelic Athletic Association
2017
Academy of Art University
2014
Memorial University of Newfoundland
2013
Pedestrian trajectory prediction is an extremely challenging problem because of the crowdedness and clutter scenes. Previous deep learning LSTM-based approaches focus on neighbourhood influence pedestrians but ignore scene layouts in pedestrian prediction. In this paper, a novel hierarchical network proposed to consider both social layouts. Our SS-LSTM, which stands for Social-Scene-LSTM, uses three different LSTMs capture person, scale information. We also use circular shape setting instead...
Abstract Objective . Clinical implementation of synthetic CT (sCT) from cone-beam (CBCT) for adaptive radiotherapy necessitates a high degree anatomical integrity, Hounsfield unit (HU) accuracy, and image quality. To achieve these goals, vision-transformer anatomically sensitive loss functions are described. Better quantification quality is achieved using the alignment-invariant Fréchet inception distance (FID), uncertainty estimation sCT risk prediction implemented in scalable plug-and-play...
The protein-protein interaction between leukocyte functional antigen-1 (LFA-1) and intercellular adhesion molecule-1 (ICAM-1) is critical to lymphocyte immune system function. Here, we report on the transfer of contiguous, nonlinear epitope ICAM-1, responsible for its association with LFA-1, a small-molecule framework. These LFA-1 antagonists bound blocked binding inhibited mixed reaction (MLR) potency significantly greater than that cyclosporine A. Furthermore, in comparison an antibody...
Cameras have been widely used in traffic operations. While many technologically smart camera solutions the market can be integrated into Intelligent Transport Systems (ITS) for automated detection, monitoring and data generation, Network Operations (a.k.a Traffic Control) Centres still use legacy systems as manual surveillance devices. In this paper, we demonstrate effective of these older assets by applying computer vision techniques to extract from videos captured cameras. our proposed...
Visual tracking (VT) is the process of locating a moving object interest in video. It fundamental problem computer vision, with various applications human-computer interaction, security and surveillance, robot perception, traffic control, etc. In this paper, we address for first time quantum setting, present algorithm VT based on framework proposed by Henriques et al. [IEEE Trans. Pattern Anal. Mach. Intell., 7, 583 (2015)]. Our comprises two phases: training detection. phase, order to...
Abstract We give a sound and complete axiomatization for the full computation tree logic. CTL*, of R -generable models. This solves long standing open problem in branching time temporal
Fibroblast activation protein (FAP) is a transmembrane serine peptidase that belongs to the prolyl family. FAP has been implicated in cancer; however, its specific role remains elusive because inhibitors distinguish from other peptidases like dipeptidyl peptidase-4 (DPP-4) have not developed. To identify peptide motifs for FAP-selective inhibitor design, we used P2-Pro1 and acetyl (Ac)-P2-Pro1 dipeptide substrate libraries, where P2 was varied hydrolysis occurs between Pro1 fluorescent...
ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSite-directed mutants of staphylococcal nuclease. Detection and localization by proton NMR spectroscopy conformational changes accompanying substitutions for glutamic acid-43David W. Hibler, Neal J. Stolowich, Mark A. Reynolds, John Gerlt, Joyce Wilde, Philip H. BoltonCite this: Biochemistry 1987, 26, 19, 6278–6286Publication Date (Print):September 22, 1987Publication History Published online1 May 2002Published inissue 22 September...
In recent years, spatial keyword query has attracted wide-spread research attention due to the popularity of location-based services. To efficiently support online processing, data owners need outsource their and processing service cloud platforms. However, outsourcing services may raise privacy leaking issues because server on platforms not be trusted for both users. Therefore, in this work, we first propose formalize problem privacy-preserving boolean under widely accepted Known Background...
A significant amount of research effort has been put into finding variables that can identify students at risk based on activity records available in learning management systems (LMS). These often depend the context, for example, course structure, how activities are assessed or whether is entirely online a blended course. To best our knowledge, predictive model generalize well to many different types courses using data LMS does not currently exist analytics literature. In this study, early...
With the advent of location-based social networks, users can tag their daily activities in different locations through check-ins. These check-in signify user preferences for various socio-spatial and be used to improve quality services some applications such as recommendation systems, advertising, group formation. To support applications, this paper, we formulate a new problem identifying top-k Socio-Spatial co-engaged Location Selection (SSLS) graph, that selects best set k from large...
Question answering over temporal knowledge graphs (TKGs) is crucial for understanding evolving facts and relationships, yet its development hindered by limited datasets difficulties in generating custom QA pairs. We propose a novel categorization framework based on timeline-context along with \textbf{TimelineKGQA}, universal generator applicable to any TKGs. The code available at: \url{https://github.com/PascalSun/TimelineKGQA} as an open source Python package.
D. M. Gabbay, A. Kurucz, F. Wolter, and Zakharyaschev. Many-dimensional modal logics: theory applications. Studies in Logic the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. - Volume 11 Issue 1
Pedestrian trajectory prediction is important in various applications such as driverless vehicles, social robots, intelligent tracking systems and space planning. Existing methods focus on analysing the influence of neighbours but ignore effect intended destinations pedestrians which also plays a key role route In this paper, we propose novel two- stage method to yield multiple trajectories with different probabilities towards destination regions scene. Our method, refer Bi-Prediction, uses...