Results 71 to 80 of about 557,657 (170)

Reliability‐based assessment of a multilinear regression model for estimating the ultimate load of eccentrically loaded slender circular CFDST columns

Structural Concrete, EarlyView.
Abstract This paper presents a reliability‐based assessment of the multilinear regression (MR) model to predict the ultimate load of slender circular concrete‐filled double‐skin tubular (CFDST) columns under eccentric loading. To assess the MR model's performance, reliability analyses of 10 experimental CFDST columns are conducted and then compared to ...
A. Usongo Amika, T. N. Haas, L. Simwanda
wiley   +1 more source

Computational Coverage of TLG: Nonlinearity [PDF]

arXiv, 2017
We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, DbC, DbCM, DbCb and DbCbMr which contain the universal and existential exponential modalities of linear logic (LL).
arxiv  

Further Exploration of the Fluency Corpus of Academic English Lectures: The Profile of Repetitions

TESOL Quarterly, EarlyView.
Abstract In assessment contexts, the domain definition inference requires accurate documentation of linguistic demands in a specific target domain for precise measurement. The present study examines several aspects of repetitions in academic lecture settings to offer the domain definition inference for academic listening tests.
Hitoshi Nishizawa
wiley   +1 more source

Generative AI detection in higher education assessments

New Directions for Teaching and Learning, EarlyView.
Abstract This chapter presents a critical analysis of generative AI (GenAI) detection tools in higher education assessments. The rapid advancement and widespread adoption of GenAI, particularly in education, necessitates a reevaluation of traditional academic integrity mechanisms.
Cesare Giulio Ardito
wiley   +1 more source

Van Wijngaarden grammars, metamorphism and K-ary malwares [PDF]

arXiv, 2010
Grammars are used to describe sentences structure, thanks to some sets of rules, which depends on the grammar type. A classification of grammars has been made by Noam Chomsky, which led to four well-known types. Yet, there are other types of grammars, which do not exactly fit in Chomsky's classification, such as the two-level grammars.
arxiv  

Bat algorithm based on kinetic adaptation and elite communication for engineering problems

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract The Bat algorithm, a metaheuristic optimization technique inspired by the foraging behaviour of bats, has been employed to tackle optimization problems. Known for its ease of implementation, parameter tunability, and strong global search capabilities, this algorithm finds application across diverse optimization problem domains. However, in the
Chong Yuan, Dong Zhao, Ali Asghar Heidari, Lei Liu, Shuihua Wang, Huiling Chen, Yudong Zhang   +6 more
wiley   +1 more source

Restricted Global Grammar Constraints [PDF]

arXiv, 2009
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disentailment for the GRAMMAR constraint in these cases is as hard as parsing an unrestricted context free grammar.We also consider the class of linear grammars and give a ...
arxiv  

Context-Free Grammars with Storage [PDF]

arXiv, 2014
Context-free S grammars are introduced, for arbitrary (storage) type S, as a uniform framework for recursion-based grammars, automata, and transducers, viewed as programs. To each occurrence of a nonterminal of a context-free S grammar an object of type S is associated, that can be acted upon by tests and operations, as indicated in the rules of the ...
arxiv  

Aloneness and the terms of detachment in West African migration

Journal of the Royal Anthropological Institute, EarlyView.
In this article, I examine practices of social detachment among West African migrants in urban Ghana. Faced with pressures arising from expectations of reciprocity, especially from kin back home, some migrants exert considerable efforts to break, if temporarily, with relations of mutual recognition and support, entering what I term migratory aloneness.
Michael Stasik
wiley   +1 more source

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo [PDF]

arXiv
Over the past decade, different domain-specific languages (DSLs) were proposed to formally specify requirements stated in legal contracts, mainly for analysis but also for code generation. Symboleo is a promising language in that area. However, writing formal specifications from natural-language contracts is a complex task, especial for legal experts ...
arxiv