Results 161 to 170 of about 10,814 (309)
A compositional natural semantics and Hoare logic for low-level languages
, 2005 The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about by being inherently non-modular.
Ando Saabas, Tarmo Uustalu
core
Australia's Migration Strategy: An Effective Response to Migrant Worker Exploitation?
Australian Journal of Social Issues, EarlyView.ABSTRACT A series of publicised migrant worker injuries and deaths has drawn attention to the issue of migrant worker exploitation (MWE) in Australia. In response, the Australian Government has included ‘Tackling Worker Exploitation’ as a key area of its Migration Strategy which it introduced in 2023. However, it is unclear how effective the Strategy’s
Evelyn Dowling, Alexandra Ridgway
wiley +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT In Australia, governments fund Community Legal Centres (CLCs) as part of the legal assistance sector (LAS) to meet the ‘legal needs’ of people experiencing disadvantage who cannot afford private legal services. Persistent unmet demand for CLCs is well‐documented. As artificial intelligence (AI) is increasingly used in private legal practice to
Catherine Hastings +2 more
wiley +1 more source
Advanced NanoBiomed Research, EarlyView.Selenium nanoparticles (SeNPs) are emerging as multifunctional platforms for wound healing, integrating antimicrobial, anti‐inflammatory, and proregenerative activities. This review summarises key mechanisms and recent advances in SeNP‐enabled composite dressings, immunomodulatory nanocomposites, microenvironment‐responsive hydrogels, photothermal and ...
Yangxia Chen +10 more
wiley +1 more source
GALENA: Tabular DCG Parsing for Natural Languages
, 2007 We present a definite clause based parsing environment for natural languages, whose operational model is the dynamic interpretation of logical push-down automata.
M. A. Alonso Pardo +3 more
core
Impedance Spectroscopy of Bifurcation Oscillations in S‐Type Self‐Oscillatory Devices
Advanced Physics Research, EarlyView.Impedance spectroscopy (IS) reveals stability regimes and bifurcation dynamics in S‐type self‐oscillatory devices. By linking nonlinear control theory with frequency‐domain measurements, experimental signatures of oscillations, entrainment, and phase locking are directly identified.
Gonzalo Rivera‐Sierra +5 more
wiley +1 more source
Why is “not infrequent” not always “frequent”? Double negation in political discourse
ExELL (Explorations in English Language and Linguistics)The aim of this paper is to view double negation in the light of its semantic and pragmatic meaning. While double negation in logic gives a positive value, in natural languages, besides having positive entailment, it can have a range of different ...
Merima Osmankadić
doaj
Journal of the Association for Information Science and Technology, EarlyView.Abstract Context‐centric proactive information delivery (PID) is a relatively underexplored domain within recommender systems (RS) aimed at enhancing Knowledge Workers' productivity by proactively providing relevant information during digital tasks.
Mahta Bakhshizadeh +4 more
wiley +1 more source
Language, silence, and logic: Zen, Nishida, and fthe Sapir-Whorf hypothesis in cognitive and cultural perspectives. [PDF]
Front PsycholKuang X, He C, Chen Q, Song Y, Song T.
europepmc +1 more source
Design considerations of an intelligent tutoring system for programming languages [PDF]
The overall goal of the thesis is to attempt to highlight the major topics which must be considered in the design of any Intelligent Tutoring System and to illustrate their application within the particular domain of LISP programming.
Elsom-Cook, Mark
core