Search concepts
|
Selected filters
|
- 139,600 - 139,650 out of 156,365 results
Search results
-
Attempto controlled English — Not just another logic specification language
Fuchs, N. E., Schwertel, U. & Schwitter, R., Jun 1998, Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. Flener, P. (ed.). Berlin; New York: Springer, Springer Nature, p. 1-20 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1559).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
63 Citations (Scopus) -
Attempto Controlled English (ACE): a seemingly informal bridgehead in formal territory
Schwitter, R. & Fuchs, N. E., 1996, Logic programming: proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. Maher, M. (ed.). London, England: The MIT Press, p. 536 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
-
Attempto Controlled English (ACE)
Fuchs, N. E. & Schwitter, R., 1996, CLAW 96: proceedings of the First International Workshop on Controlled Language Applications. Leuven: Katholieke Universiteit LeuvenResearch output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
-
Attempto: specifications in controlled natural language: extended abstract in 10 pictures
Fuchs, N. E. & Schwitter, R., 1995.Research output: Contribution to conference › Abstract
-
Attempto: controlled natural language for requirements specifications
Fuchs, N. E. & Schwitter, R., 1995, Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995. Fromherz, M. P. J., Kirschenbaum, M. & Kusalik, A. J. (eds.). Portland, OregonResearch output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
-
Attempto: specifications in controlled natural language
Fuchs, N. E., Hamberger, B. & Schwitter, R., 1995, Proceedings of WLP 95, 11th Logic Programming Workshop, Vienna, September 1995. Vienna, Austria: Technische Universität Wien, 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
-
Attempto: from specifications in controlled natural language towards executable specifications
Schwitter, R. & Fuchs, N. E., 1996.Research output: Contribution to conference › Paper
-
Attempting to prevent depression in youth: A systematic review of the evidence
Merry, S. N. & Spence, S. H., 2007, In: Early Intervention in Psychiatry. 1, 2, p. 128-137 10 p.Research output: Contribution to journal › Review article › peer-review
33 Citations (Scopus) -
Attempting clinical democracy: enhancing multivocality in a multidisciplinary clinical team
Long, D., Lee, B. B. & Braithwaite, J., 2008, Identity trouble: critical discourse and contested identities. Caldas-Coulthard, C. R. & Iedema, R. (eds.). Basingstoke, UK: Palgrave Macmillan, p. 250-272 23 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
3 Citations (Scopus) -
Attempted suicide in Fiji
Henson, C., Taylor, A., Cohen, J., Waqabaca, A. Q. & Chand, S., 2012, In: Suicidology online. 3, p. 83-91 9 p.Research output: Contribution to journal › Article › peer-review
-
Attempted predation on chicks of the threatened green-cheeked Amazon parrot by an indigo snake
Coronado-Limon, L., Enkerlin-Hoeflich, E. C. & Whiting, M. J., 1993, In: Snake. 25, p. 141-143 3 p.Research output: Contribution to journal › Article › peer-review
-
Attempted introduction of the endangered Green and Golden Bell Frog to Long Reef Golf Course: A step towards recovery
Pyke, G. H., Rowley, J., Shoulder, J. & White, A. W., 2008, In: Australian Zoologist. 34, 3, p. 361-372 12 p.Research output: Contribution to journal › Article › peer-review
23 Citations (Scopus) -
Attainment of equilibrium via Marshallian path adjustment: Queueing and buyer determinism
Collins, S. M., James, D., Servátka, M. & Vadovič, R., 1 Jan 2021, In: Games and Economic Behavior. 125, p. 94-106 13 p.Research output: Contribution to journal › Article › peer-review
-
Attaining m s−1 level intrinsic Doppler precision with RHEA, a low-cost single-mode spectrograph
Feger, T., Ireland, M. J., Schwab, C., Bento, J., Bacigalupo, C. & Coutts, D. W., 1 Dec 2016, In: Experimental Astronomy. 42, 3, p. 285-300 16 p.Research output: Contribution to journal › Article › peer-review
12 Citations (Scopus) -
Attainable contingent claims in a Markovian regime-switching market
Elliott, R. J. & Siu, T. K., Dec 2012, In: International Journal of Theoretical and Applied Finance. 15, 8, p. 1-19 19 p., 1250055.Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus) -
Attack strategy of an ambush predator: which attributes of the prey trigger a pit-viper's strike?
Shine, R. & Sun, L. X., Jun 2003, In: Functional Ecology. 17, 3, p. 340-348 9 p.Research output: Contribution to journal › Article › peer-review
43 Citations (Scopus) -
Attacks on self-driving cars and their countermeasures: a survey
Chowdhury, A., Karmakar, G., Kamruzzaman, J., Jolfaei, A. & Das, R., 2020, In: IEEE Access. 8, p. 207308-207342 35 p.Research output: Contribution to journal › Review article › peer-review
Open AccessFile9 Citations (Scopus)2069 Downloads (Pure) -
Attacks exploiting deviation of mean photon number in quantum key distribution and coin tossing
Sajeed, S., Radchenko, I., Kaiser, S., Bourgoin, J. P., Pappa, A., Monat, L., Legré, M. & Makarov, V., 26 Mar 2015, In: Physical Review A - Atomic, Molecular, and Optical Physics. 91, 3, p. 032326-1-032326-13 13 p., 032326.Research output: Contribution to journal › Article › peer-review
50 Citations (Scopus) -
Attacks and defences on intelligent connected vehicles: a survey
Dibaei, M., Zheng, X., Jiang, K., Abbas, R., Liu, S., Zhang, Y., Xiang, Y. & Yu, S., Nov 2020, In: Digital Communications and Networks. 6, 4, p. 399-421 23 p.Research output: Contribution to journal › Review article › peer-review
Open AccessFile27 Citations (Scopus)57 Downloads (Pure) -
Attacking the SL2 hashing scheme
Charnes, C. & Pieprzyk, J., 1995, Advances in Cryptology - ASIACRYPT 1994 - 4th International Conference on the Theory and Applications of Cryptology, Proceedings. Berlin; Heidelberg: Springer, Springer Nature, Vol. 917. p. 322-330 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 917).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
12 Citations (Scopus) -
Attacking the bounds of cognition
Menary, R., Jun 2006, In: Philosophical Psychology. 19, 3, p. 329-344 16 p.Research output: Contribution to journal › Article › peer-review
103 Citations (Scopus) -
Attachment to Human Brands: Opinions of Celebrities Endorsing Multiple Brands
Ilicic, J. & Webster, C., 2008, Australian and New Zealand Marketing Academy Conference. Denize, S., Spanjaard, D. & Sharma, N. (eds.). Western Australia: Promaco Conventions, p. 1-7 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
-
Attachment styles, self-compassion, and psychological adjustment in long-term breast cancer survivors
Arambasic, J., Sherman, K. A., Elder, E. & Breast Cancer Network Australia, May 2019, In: Psycho-Oncology. 28, 5, p. 1134-1141 8 p.Research output: Contribution to journal › Article › peer-review
20 Citations (Scopus) -
Attachment style, rules regarding sex, and couple satisfaction: A study of gay male couples
Ramirez, O. M. & Brown, J., 2010, In: Australian and New Zealand Journal of Family Therapy. 31, 2, p. 202-213 12 p.Research output: Contribution to journal › Article › peer-review
37 Citations (Scopus) -
Attachment structures and adhesive secretions in arachnids
Wolff, J. & Gorb, S. N., 2016, Cham, Switzerland: Springer, Springer Nature. 184 p. (Biologically-inspired systems; vol. 7)Research output: Book/Report › Book › peer-review
Open Access -
Attachment security: influences on social and emotional competence, executive functioning and readiness for school
Mares, S. & McMahon, C., 2020, Health and education interdependence: thriving from birth to adulthood. Midford, R., Nutton, G., Hyndman, B. & Silburn, S. (eds.). Singapore: Springer, Springer Nature, p. 55-74 20 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Attachment patterns trigger differential neural signature of emotional processing in adolescents
Escobar, M. J., Rivera-Rei, A., Decety, J., Huepe, D., Cardona, J. F., Canales-Johnson, A., Sigman, M., Mikulan, E., Helgiu, E., Baez, S., Manes, F., Lopez, V. & Ibañez, A., 5 Aug 2013, In: PLoS ONE. 8, 8, p. 1-12 12 p., e70247.Research output: Contribution to journal › Article › peer-review
29 Citations (Scopus) -
Attachment dimensions and schizotypy in a non-clinical sample
Meins, E., Jones, S. R., Fernyhough, C., Hurndall, S. & Koronis, P., 2008, In: Personality and Individual Differences. 44, 4, p. 1000-1011 12 p.Research output: Contribution to journal › Article › peer-review
26 Citations (Scopus) -
Attachment behaviors in autistic children
Sigman, M. & Ungerer, J. A., Sep 1984, In: Journal of Autism and Developmental Disorders. 14, 3, p. 231-244 14 p.Research output: Contribution to journal › Article › peer-review
116 Citations (Scopus) -
Attachment anxiety and self-ambivalence as vulnerabilities toward Obsessive Compulsive Disorder
Seah, R., Fassnacht, D. & Kyrios, M., 1 Jul 2018, In: Journal of Obsessive-Compulsive and Related Disorders. 18, p. 40-46 7 p.Research output: Contribution to journal › Article › peer-review
6 Citations (Scopus) -
Attachment and Psychopathology. A Lifespan Perspective
Ungerer, J. & McMahon, C., 2005, Psychopathology and the Family. Hudson, J. L. & Rapee, R. M. (eds.). Amsterdam, The Netherlands: Elsevier, p. 35-52 18 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
3 Citations (Scopus) -
Attachment and preschool children's understanding of maternal versus non-maternal psychological states
Repacholi, B. & Trapolini, T., Sep 2004, In: British Journal of Developmental Psychology. 22, 3, p. 395-415 21 p.Research output: Contribution to journal › Review article › peer-review
34 Citations (Scopus) -
Attachment and meaning-making in perinatal bereavement
Uren, T. H. & Wastell, C. A., 2002, In: Death Studies. 26, 4, p. 279-308 30 p.Research output: Contribution to journal › Article › peer-review
79 Citations (Scopus) -
Attachment and emotion knowledge in development
Van Bergen, P. & Salmon, K., 2010, Lifespan development: New Zealand perspectives. Low, J. & Jose, P. (eds.). 2nd ed. North Shore, N.Z.: Pearson Education New Zealand, p. 114-125 12 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Attachment and Coercive Sexual Behavior
Smallbone, S. W. & Dadds, M. R., 2000, In: Sexual Abuse: A Journal of Research and Treatment. 12, 1, p. 3-15 13 p.Research output: Contribution to journal › Article › peer-review
112 Citations (Scopus) -
Attachment and callous-unemotional traits in children with early-onset conduct problems
Pasalich, D. S., Dadds, M. R., Hawes, D. J. & Brennan, J., Aug 2012, In: Journal of Child Psychology and Psychiatry and Allied Disciplines. 53, 8, p. 838-845 8 p.Research output: Contribution to journal › Article › peer-review
94 Citations (Scopus) -
Attachment, behavioral inhibition, and anxiety in preschool children
Shamir-Essakow, G., Ungerer, J. A. & Rapee, R. M., Apr 2005, In: Journal of Abnormal Child Psychology. 33, 2, p. 131-143 13 p.Research output: Contribution to journal › Article › peer-review
109 Citations (Scopus) -
Attachment
Harrison, L., Jan 2003, In: Research in practice. 10, 2, p. 1-18 18 p.Research output: Contribution to journal › Article › peer-review
-
A TSVM based semi-supervised approach to SAR Image Segmentation
Jun, J., Fengjing, S., Rencheng, S., Neng, Z. & Guanfeng, L., 2009, 2008 International Workshop on Education Technology and Training and 2008 International Workshop on Geoscience and Remote Sensing, ETT and GRS 2008. Vol. 1. p. 495-498 4 p. 5070204Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
6 Citations (Scopus) -
At-sea spatial usage of recently weaned grey seal pups in Iceland
Baylis, A. M. M., Þorbjörnsson, J. G., dos Santos, E. & Granquist, S. M., Nov 2019, In: Polar Biology. 42, 11, p. 2165-2170 6 p.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
At-sea movements of female Australian Fur Seals Arctocephalus Pusillus Doriferus
Littnan, C. & Arnould, J., 2002, In: Australian Mammalogy. 24, 1, p. 65-72 8 p.Research output: Contribution to journal › Article › peer-review
12 Citations (Scopus) -
A truthful incentive mechanism for online recruitment in mobile crowd sensing system
Chen, X., Liu, M., Zhou, Y., Li, Z., Chen, S. & He, X., Jan 2017, In: Sensors. 17, 1, p. 1-17 17 p., 79.Research output: Contribution to journal › Article › peer-review
Open AccessFile17 Citations (Scopus)8 Downloads (Pure) -
A truthful double auction for two-sided heterogeneous mobile crowdsensing markets
Chen, S., Liu, M. & Chen, X., 1 May 2016, In: Computer Communications. 81, p. 31-42 12 p.Research output: Contribution to journal › Article › peer-review
9 Citations (Scopus) -
A trust vector approach to transaction context-aware trust evaluation in e-commerce and e-service environments
Zhang, H., Wang, Y. & Zhang, X., 2012, Proceedings : 2012 5th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2012. Shih, C-S. & Son, S. H. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-8 8 p. 6449461Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
21 Citations (Scopus) -
A trust vector approach to service-oriented applications
Li, L. & Wang, Y., 2008, Proceedings of the IEEE International Conference on Web Services: Beijing, China September 23-26, 2008. Huai, J., Shan, M-C. & Singh, M. P. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 270-277 8 p. 4670185Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile23 Citations (Scopus)9 Downloads (Pure) -
A trust model in P4P-integrated P2P networks based on domain management
Yang, G., Sun, Y., Wu, H., Li, J., Liu, N. & Dutkiewicz, E., 2010, IEEE Symposium on Computers and Communications, ISCC 2010. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 824-829 6 p. 5546720Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
2 Citations (Scopus) -
A trust model based energy detection for cognitive radio networks
Jin, F., Varadharajan, V. & Tupakula, U., 30 Jan 2017, Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017. New York: Association for Computing Machinery, p. 1-8 8 p. 68Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
2 Citations (Scopus) -
A trust management framework for secure cloud data storage using cryptographic role-based access control
Zhou, L., Varadharajan, V. & Hitchens, M., 2014, E-Business and Telecommunications: International Joint Conference, ICETE 2013, Reykjavik, Iceland, July 29-31, 2013 Revised Selected Papers. Obaidat, M. S. & Filipe, J. (eds.). Heidelberg: Springer, Springer Nature, p. 226-251 26 p. (Communications in Computer and Information Science; vol. 456).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
A trust management architecture for hierarchical wireless sensor networks
Zhang, J., Shankaran, R., Orgun, M. A., Varadharajan, V. & Sattar, A., 2010, 2010 IEEE 35th Conference on Local Computer Networks, LCN 2010. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 264-267 4 p. 5735718Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
37 Citations (Scopus) -
A Trust-based access control model for virtual organizations
Lin, A., Vullings, E. & Dalziel, J., 2006, Proceedings of the 5th international conference on grid and cooperative computing (GCC 2006). United States: Institute of Electrical and Electronics Engineers (IEEE), p. 557-564 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile21 Citations (Scopus)12 Downloads (Pure)