2.2k citations
- Commonwealth Scientific and Industrial Research OrganisationAU600 papers
- UNSW SydneyAU267 papers
- Australian National UniversityAU251 papers
- The University of MelbourneAU94 papers
- The University of SydneyAU74 papers
- Monash UniversityAU58 papers
- University of Technology SydneyAU43 papers
- Queensland University of TechnologyAU42 papers
- The University of AdelaideAU40 papers
- The University of QueenslandAU39 papers
- Macquarie UniversityAU36 papers
- RMIT UniversityAU30 papers
46 papers · 1 filter
Computation Tree Logic with Deadlock Detection
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This r…
Configuration Structures, Event Structures and Petri Nets
R. J. van Glabbeek, G. D. Plotkin
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the coll…
Pairing mechanism in Fe pnictide superconductors
R. Chan, M. Gulacsi, A. Ormeci +1
By applying an exact unitary transformation to a two-band hamiltonian which also includes the effects due to large pnictogen polarizabilities, we show that an attractive spin-media…
Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete
Omer Giménez, Guillem Godoy, Sebastian Maneth
Finite-state tree automata are a well studied formalism for representing term languages. This paper studies the problem of determining the regularity of the set of instances of a f…
Manipulating Tournaments in Cup and Round Robin Competitions
Tyrel Russell, Toby Walsh
In sports competitions, teams can manipulate the result by, for instance, throwing games. We show that we can decide how to manipulate round robin and cup competitions, two of the…
Positive Semidefinite Metric Learning with Boosting
Chunhua Shen, Junae Kim, Lei Wang +1
The learning of appropriate distance metrics is a critical problem in image classification and retrieval. In this work, we propose a boosting-based technique, termed \BoostMetric,…