Search

Your search keyword '"National ICT Australia [Sydney] (NICTA)"' showing total 189 results

Search Constraints

Start Over You searched for: Author "National ICT Australia [Sydney] (NICTA)" Remove constraint Author: "National ICT Australia [Sydney] (NICTA)"
189 results on '"National ICT Australia [Sydney] (NICTA)"'

Search Results

1. Privacy-preserving Wi-Fi Analytics

2. Global, regional, and national comparative risk assessment of 79 behavioural, environmental and occupational, and metabolic risks or clusters of risks in 188 countries, 1990-2013

3. Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990-2013

4. Semi-Relaxed Plan Heuristics

5. Effect of Preexposure to Triazoles on Susceptibility and Virulence of Rhizopus oryzae

6. Beagle – A Hierarchic Superposition Prover

7. Reasoning about Connectivity Constraints

8. Glucocorticosteroids do not impact directly growth rate and biomass of Rhizopus arrhizus (syn. R. oryzae) in vitro

9. Finite Quantification in Hierarchic Theorem Proving

10. CDnet 2014: An Expanded Change Detection Benchmark Dataset

11. A community effort to assess and improve drug sensitivity prediction algorithms

12. Hierarchic Superposition: Completeness without Compactness

13. Hierarchic Superposition With Weak Abstraction

14. Propagating Regular Counting Constraints

15. An axiomatization of information flow measures

16. Partial Queries for Constraint Acquisition

17. The Science of Quantitative Information Flow

18. Cooperating with machines

19. Characterizing and Modeling User Behavior in a Large-Scale Mobile Live Streaming System

20. Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques

21. Relational and algebraic methods in computer science

22. Impact of network delays on Hyperledger Fabric

23. Metaheuristic Hybrids

24. A Learning-Based Fact Selector for Isabelle/HOL

25. Research in progress: report on the ICAIL 2017 doctoral consortium

26. Beagle as a HOL4 external ATP method

27. Ventilator-induced diaphragmatic dysfunction in MDX mice

28. Scholarly Influence of the Conference and Labs of the Evaluation Forum eHealth Initiative: Review and Bibliometric Study of the 2012 to 2017 Outcomes

29. Age of Transfused Blood in Critically Ill Adults

30. Normative Requirements as Linked Data

31. Range-Consistent Forbidden Regions of Allen’s Relations

32. A relevant data selection method for energy consumption prediction of low energy building based on support vector machine

33. 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings

34. Control of Timed Systems

35. The expressive power of time Petri nets

36. Exact and hybrid methods for the multiperiod field service routing problem

37. Computing Pareto Optimal Committees

38. Adwords management for third-parties in SEM: An optimisation model and the potential of Twitter

39. New Approaches to Constraint Acquisition

40. Overview of the CLEF eHealth Evaluation Lab 2016

41. Ranking Constraints

42. Task 1 of the CLEF eHealth Evaluation Lab 2016: Handover Information Extraction

43. An endogenous lottery-based incentive mechanism to promote off-peak usage in congested transit systems

44. FORGE enabling FIRE facilities for the eLearning community

45. The Multidimensional Knapsack Problem: Structure and Algorithms

46. Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints

47. When are Timed Automata weakly timed bisimilar to Time Petri Nets?

48. Bringing order into the neighborhoods: relaxation guided variable neighborhood search

49. Electrophysiological studies of malaria parasite-infected erythrocytes: Current status

50. Mechanizing a Process Algebra for Network Protocols

Catalog

Books, media, physical & digital resources