Nominal Type Research Articles

Non-Inferiority Testing on the Accuracy of Two Qualitative Microbiological Methods on Paired Binary Data

Before implementing a new microbiological test method in pharmaceutical industry, it is required to assess whether it matches or surpasses the detection of microorganisms of the current microbiological method. The United Stated Pharmacopoeia Chapter 1223 (USP < 1223>) proposes two statistical approaches for testing non-inferiority of two qualitative microbiological methods when they can both test the same samples (paired design). The first approach compares the positive rates of the two methods. The non-inferiority test is not influenced by the performance of the methods alone, it is also affected by the spiked bacterial density. The second approach compares most probable numbers (MPNs) between the two methods, but the MPN assumes that the microbiological methods are perfect. To address the two above mentioned flaws, a generalized MPN (gMPN) approach is being proposed. Estimators for the accuracy, detection proportion, and bacterial density parameter are being derived using the method of moments. It will be shown that estimation of the accuracy and detection proportion has limited to no bias, but the bias for the bacterial density can become substantial. A test statistic for non-inferiority of accuracy, along with a sample size formula, is presented, showing nominal Type I error and appropriate power. The proposed approach is demonstrated using real data.

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

We tackle the problem of checking non-proof-carrying code , i.e. automatically proving type-safety (implying in our type system spatial memory safety) of low-level C code or of machine code resulting from its compilation without modification. This requires a precise static analysis that we obtain by having a type system which (i) is expressive enough to encode common low-level idioms, like pointer arithmetic, discriminating variants by bit-stealing on aligned pointers, storing the size and the base address of a buffer in distinct parts of the memory, or records with flexible array members, among others; and (ii) can be embedded in an abstract interpreter. We propose a new type system that meets these criteria. The distinguishing feature of this type system is a nominal organization of contiguous memory regions, which (i) allows nesting, concatenation, union, and sharing parameters between regions; (ii) induces a lattice over sets of addresses from the type definitions; and (iii) permits updates to memory cells that change their type without requiring one to control aliasing. We provide a semantic model for our type system, which enables us to derive sound type checking rules by abstract interpretation, then to integrate these rules as an abstract domain in a standard flow-sensitive static analysis. Our experiments on various challenging benchmarks show that semantic type-checking using this expressive type system generally succeeds in proving type safety and spatial memory safety of C and machine code programs without modification, using only user-provided function prototypes.

Evaluating analytic models for individually randomized group treatment trials with complex clustering in nested and crossed designs.

Many individually randomized group treatment (IRGT) trials randomly assign individuals to study arms but deliver treatments via shared agents, such as therapists, surgeons, or trainers. Post-randomization interactions induce correlations in outcome measures between participants sharing the same agent. Agents can be nested in or crossed with trial arm, and participants may interact with a single agent or with multiple agents. These complications have led to ambiguity in choice of models but there have been no systematic efforts to identify appropriate analytic models for these study designs. To address this gap, we undertook a simulation study to examine the performance of candidate analytic models in the presence of complex clustering arising from multiple membership, single membership, and single agent settings, in both nested and crossed designs and for a continuous outcome. With nested designs, substantial type I error rate inflation was observed when analytic models did not account for multiple membership and when analytic model weights characterizing the association with multiple agents did not match the data generating mechanism. Conversely, analytic models for crossed designs generally maintained nominal type I error rates unless there was notable imbalance in the number of participants that interact with each agent.

Multi-resolution short-time Fourier transform providing deep features for 3D CNN to classify rolling bearing fault vibration signals

The time-frequency domain features of vibration signals provide valuable information for deep learning-based rolling bearing fault diagnosis methods, where fault signal classification aiding in the identification of nominal fault types during diagnosis. The Short-Time Fourier Transform (STFT) is a widely used time-frequency transformation method, and its window length is the key parameter that determines the trade-off between time and frequency resolution. The primary motivation of this study is to address the limitation in traditional STFT-based 2D CNN methods: the inability to adapt the window length to different types of signals. To achieve accurate classification of bearing fault types, this study proposes a method based on three-dimensional convolutional neural networks (3D CNNs) to deeply explore the time-frequency domain information of one-dimensional vibration signals from faulty bearings. This method first applies STFT with multiple window sizes to perform multi-resolution time-frequency transformations on the time-domain vibration signals, yielding three-dimensional data. Subsequently, a classifier is trained based on the proposed 3D CNN. Experimental results on public datasets show that, without any sophisticated techniques, the proposed method achieves an average classification accuracy of 99.2% for six types of bearing faults using a relatively simple CNN structure. Compared to 1D CNN and 2D CNN methods that use fixed window sizes for STFT, the proposed method significantly enhances classification performance. Furthermore, it demonstrates robust classification results even on small-scaled bearing datasets.

TYPES OF ALLUSIONS IN BOHDAN TOMENCHUK’S POETRY ABOUT THE WAR

The paper examines allusions in Bohdan Tomenchuk’s poetry collection “Embroider, Mother, a bulletproof vest.” The various types of allusions are grouped based on their functions (activation of historical memory, adherence to literary tradition, text-structuring), themes (historical, mythological), and typology (ranging from nominal and quotation-type to associative). An attempt was made to differentiate the concept of allusion from quotation and reminiscence, while also juxtaposing it with intertext and intertextuality for comparison. In the poet’s texts about the modern Russian-Ukrainian war, the references to literary works are accompanied by numerous allusions to historical reality. These are references of the nominal type (topographical or proper names connected with certain historical events in the reader's mind). The author's distinctive approach involves overlapping different types of allusions, namely those of historical and literary nature, as well as historical and mythological. Behind a direct allusion, an associative one may emerge, linking to a text from a different time period through shared words, phrases, or thematic aura. The involvement of allusion in Tomenchuk’s poetry often occurs on the basis of the allegation (the new text ‘absorbs’ the previous one, without entering into a controversy with the original text). In this case, we deal with intertext (a text within a text). When an allusion entering a new text gets engaged in a dialogue with the original text, we deal with intertextuality as a process of textual interaction. By involving an allusion, the author makes it an element of the structure that serves as an impetus for the reader to navigate within a receptive context, searching among known texts relevant for interpreting the allusion while disregarding distant ones. Intertextuality engages cognition here. Sometimes allusion is not just an element of a structure but a structural principle, and it is proper to name it a structuring allusion. Various allusions in B. Tomenchuk’s poetry make it possible to fit the widest range of emotions and thoughts in a small textual space, to integrate the new experience of war into a broad historical and literary canvas with a biblical and mythological background.

Transpension: The Right Adjoint to the Pi-type

Presheaf models of dependent type theory have been successfully applied to model HoTT, parametricity, and directed, guarded and nominal type theory. There has been considerable interest in internalizing aspects of these presheaf models, either to make the resulting language more expressive, or in order to carry out further reasoning internally, allowing greater abstraction and sometimes automated verification. While the constructions of presheaf models largely follow a common pattern, approaches towards internalization do not. Throughout the literature, various internal presheaf operators ($\surd$, $\Phi/\mathsf{extent}$, $\Psi/\mathsf{Gel}$, $\mathsf{Glue}$, $\mathsf{Weld}$, $\mathsf{mill}$, the strictness axiom and locally fresh names) can be found and little is known about their relative expressivenes. Moreover, some of these require that variables whose type is a shape (representable presheaf, e.g. an interval) be used affinely. We propose a novel type former, the transpension type, which is right adjoint to universal quantification over a shape. Its structure resembles a dependent version of the suspension type in HoTT. We give general typing rules and a presheaf semantics in terms of base category functors dubbed multipliers. Structural rules for shape variables and certain aspects of the transpension type depend on characteristics of the multiplier. We demonstrate how the transpension type and the strictness axiom can be combined to implement all and improve some of the aforementioned internalization operators (without formal claim in the case of locally fresh names).

Design of randomized clinical trials with a binary endpoint: Conditional versus unconditional analyses of a two-by-two table.

When designing a randomized clinical trial to compare two treatments, the sample size required to have desired power with a specified type 1 error depends on the hypothesis testing procedure. With a binary endpoint (e.g., response), the trial results can be displayed in a 2 × 2 table. If one does the analysis conditional on the number of positive responses, then using Fisher's exact test has an actual type 1 error less than or equal to the specified nominal type 1 error. Alternatively, one can use one of many unconditional "exact" tests that also preserve the type 1 error and are less conservative than Fisher's exact test. In particular, the unconditional test of Boschloo is always at least as powerful as Fisher's exact test, leading to smaller required sample sizes for clinical trials. However, many statisticians have argued over the years that the conditional analysis with Fisher's exact test is the only appropriate procedure. Since having smaller clinical trials is an extremely important consideration, we review the general arguments given for the conditional analysis of a 2 × 2 table in the context of a randomized clinical trial. We find the arguments not relevant in this context, or, if relevant, not completely convincing, suggesting the sample-size advantage of the unconditional tests should lead to their recommended use. We also briefly suggest that since designers of clinical trials practically always have target null and alternative response rates, there is the possibility of using this information to improve the power of the unconditional tests.

A randomized permutation whole-model test heuristic for Self-Validated Ensemble Models (SVEM)

We introduce a heuristic to test the significance of fit of Self-Validated Ensemble Models (SVEM) against the null hypothesis of a constant response. A SVEM model averages predictions from nBoot fits of a model, applied to fractionally weighted bootstraps of the target dataset. It tunes each fit on a validation copy of the training data, utilizing anti-correlated weights for training and validation. The proposed test computes SVEM predictions centered by the response column mean and normalized by the ensemble variability at each of nPoint points spaced throughout the factor space. A reference distribution is constructed by refitting the SVEM model to nPerm randomized permutations of the response column and recording the corresponding standardized predictions at the nPoint points. A reduced-rank singular value decomposition applied to the centered and scaled nPerm×nPoint reference matrix is used to calculate the Mahalanobis distance for each of the nPerm permutation results as well as the jackknife (holdout) Mahalanobis distance of the original response column. The process is repeated independently for each response in the experiment, producing a joint graphical summary. We present a simulation driven power analysis and discuss limitations of the test relating to model flexibility and design adequacy. The test maintains the nominal Type I error rate even when the base SVEM model contains more parameters than observations.

On phrasal nominalization: A factorial analysis

Abstract: The phenomenon of phrasal nominalization, as exemplified by the English gerund, raises a challenge for the assumption that a phrase XP is headed by a word of category X. Many proposals have been made to deal with phrasal nominalization, in both multistratal and monostratal frameworks. Some seek to fit it in the endocentric mold; others are plainly exocentric. Comparative evaluations tend to be made along partisan lines (multistratal vs. monostratal) or on the basis of methodological principles (discarding vs. allowing exocentricity). This article aims for a less aprioristic approach, taking generalizability as a criterion for evaluation. More specifically, it investigates three types of phrasal nominalization as they manifest themselves in Dutch, that is, the nominalization of infinitives, adjectives, and participles, providing first a theory-neutral description of the data and then an analysis I call 'factorial' in the sense that it captures both what the three types have in common and what differentiates them. It is cast in the framework of constructional head-driven phrase structure grammar, since the latter's hierarchy of phrase types provides a natural starting point for a factorial analysis. The resulting treatment is exocentric. In a final step I compare it to a number of endocentric alternatives, showing that it scores higher on the scale of generalizability.

An SFL perspective on EFL textbooks and its pedagogical implications in language teaching

Systemic Functional Linguistics (SFL) offers a framework for analyzing EFL textbooks by considering three metafunctions of language: ideational, interpersonal, and textual. This study aims to explore how SFL can provide insights into the linguistic features and discourse patterns that contribute to establishing these metafunctions in EFL textbooks, focusing on the pedagogical implications for language teaching. Specifically, the study investigates the transitivity pattern, mood system, and nominal group analysis, focusing on two selected EFL textbooks from different publishers. For the convenience of the research process, the researcher selected dialogue samples from the textbooks through convenience sampling and transformed them into clauses for analysis. The findings revealed that material process types were the most frequently employed, while interrogative forms predominated among the clause types. Additionally, the analysis of nominal groups indicated that the most common were nominal group types Thing (T) and Noun and Thing (NT). These findings shed light on the linguistic features of EFL textbooks and suggest that a closer examination of the metafunction of language can enhance our understanding of how language is utilized to achieve learning objectives. Consequently, to support students' language learning and proficiency development, EFL teachers should incorporate instructional focus, contextualized language teaching, integration of SFL concepts, promotion of language awareness, and differentiated instruction.

A new test for detecting specification errors in Gaussian linear mixed-effects models

&lt;p&gt;Linear mixed-effects models (LMEMs) are widely used in medical, engineering, and social applications. The accurate specification of the covariance matrix structure within the error term is known to impact the estimation and inference procedures. Thus, it is crucial to detect the source of errors in LMEMs specifications. In this study, we propose combining a user-friendly computational test with an analytical method to visualize the source of errors. Through statistical simulations under different scenarios, we evaluate the performance of the proposed test in terms of the Power and Type I error rate. Our findings indicate that as the sample size $ n $ increases, the proposed test effectively detects misspecification in the systematic component, the number of random effects, the within-subject covariance structure, and the covariance structure of the error term in the LMEM with high Power while maintaining the nominal Type I error rate. Finally, we show the practical usefulness of our proposed test with a real-world application.&lt;/p&gt;

SEEING BEYOND WORDS: METAFUNCTIONS ANALYSIS OF EFL TEXTBOOKS

This study carefully applies Systemic Functional Linguistics (SFL) to identify common linguistic patterns to examine English as a Foreign Language (EFL) textbooks. This descriptive qualitative study addresses the ideational, interpersonal, and textual metafunctions of English as a Foreign Language (EFL) textbooks as the research focus. The frequent use of material process, particular nominal group types such as Thing (T) and Numerative Thing (NT), the nuanced modality conveyed by "should," "would," and "will," and the use of narrative perspectives with third-person singular pronouns ("he" and "she") are noteworthy among these patterns. The identified linguistic features furnish invaluable pedagogical insights for the stakeholders of English learners, including the teachers, and provide guidance for targeted language instruction. Furthermore, these results are also invaluable for material development since the study highlights the importance of integrating SFL principles within the classroom discourse. The study also emphasizes the significance of SFL-based textbooks as learning facilitates. The study discovers that SFL-based textbook analysis provides well-informed instruction, allowing teachers to modify their teaching methods to meet students' communicative needs better. Despite limitations, the analysis remains a valuable tool in the classroom discourse as it better portrays the foreign language classroom discourse.

Wurden in Verbindung mit der Negation nj „prädikative“ oder „abstrakt-relativische“ sDm=f-Formen verwendet?

“Were predicative or nominal sDm=f forms used in negative constructions of the type nj sDm=f?” This contribution deals with the theoretical question of whether the simple negative con­structions of the type nj + sDm=f contained predicative/circumstantial or nominal/substantival forms. After presenting the research history beginning with the theories of Polotsky, an overview of the matter in the grammars and monographs on Egyptian grammar and also recent contributions to the theme is given. In the main part the problem is discussed on three levels: the morphological level, the syntactic level and the original statement of Polotsky itself. The results are: On the morphological level, it is more likely that the simple negative constructions contained predicative forms. On the syntactic level, it cannot be excluded that the forms were nominal; however, pragmatic reasons make it more probable that there existed a distribution nj + pred. sDm=f for the simple type vs. nj + nom. sDm=f + js for the nominal type. For the original statement of Polotsky it is argued that the evidence for his theory was overgeneralized, and that there is no compelling reason to identify the forms as nominal.

Metonymy in the nomenclature of Japanese traditional colors

Abstract This paper offers a cognitive semantic analysis of 185 nominal-nominal compounds that are used to express Japanese traditional colors (e.g., budoo-nezumi [grape-rat] ‘plum purple’). It explores the types of nominals adopted into compounds, the components’ semantic relations, and the types of metonymy involved in the meaning construction. The most frequently found semantic relations of the two components of the compounds are: (i) color of the ‘right’ blended with color of the ‘left’, where both components are construed metonymically via whole for the part (e.g., budoo-nezumi [grape-rat] ‘plum purple’ is a blend of two colors: grey, expressed by nezumi ‘rat’ (whole), standing for the animal’s hair color (part), and dark purple, expressed by budoo ‘grape’ (whole), standing for the fruit’s skin color (part)); and (ii) color of the ‘left’, expressed by the X-iro [X-color] compound (e.g., kohaku-iro [amber-color] ‘amber’). While both components in the X-iro compounds are typically used literally, overall, 65% of the 185 compounds involve metonymy (whole for the part, action for result, among others), suggesting the important role played by metonymy in meaning construction of the compounds expressing Japanese traditional colors.

The Smooth Away From Expected (SAFE) non-inferiority frontier: theory and implementation with an application to the D3 trial

BackgroundIn a non-inferiority trial, the choice of margin depends on the expected control event risk. If the true risk differs from expected, power and interpretability of results can be affected. A non-inferiority frontier pre-specifies an appropriate non-inferiority margin for each value of control event risk. D3 is a non-inferiority trial comparing two treatment regimens in children living with HIV, designed assuming a control event risk of 12%, a non-inferiority margin of 10%, 80% power and a significance level (α) of 0.025. We consider approaches to choosing and implementing a frontier for this already funded trial, where changing the sample size substantially would be difficult.MethodsIn D3, we fix the non-inferiority margin at 10%, 8% and 5% for control event risks of ≥9%, 5% and 1%, respectively. We propose four frontiers which fit these fixed points, including a Smooth Away From Expected (SAFE) frontier. Analysis approaches considered are as follows: using the pre-specified significance level (α=0.025); always using a reduced significance level (to achieve α≤0.025 across control event risks); reducing significance levels only when the control event risk differs significantly from expected (control event risk <9%); and using a likelihood ratio test. We compare power and type 1 error for SAFE with other frontiers.ResultsChanging the significance level only when the control event risk is <9% achieves approximately nominal (<3%) type I error rate and maintains reasonable power for control event risks between 1 and 15%. The likelihood ratio test method performs similarly, but the results are more complex to present. Other analysis methods lead to either inflated type 1 error or badly reduced power. The SAFE frontier gives more interpretable results with low control event risks than other frontiers (i.e. it uses more reasonable non-inferiority margins). Other frontiers do not achieve power close (i.e. within 1%) to SAFE across the range of likely control event risks while controlling type I error. ConclusionsThe SAFE non-inferiority frontier will be used in D3, and the non-inferiority margin and significance level will be modified if the control event risk is lower than expected. This ensures results will remain interpretable if design assumptions are incorrect, while achieving similar power. A similar approach could be considered for other non-inferiority trials where the control event risk is uncertain.

CONSTRUCTIONS WITH THE MARKER KAD’JOS IN TATYSHLY UDMURT

The study investigates one of the uses of the equative marker kad’ in Tatyshly Udmurt — the construction N kad’ jos, where N is a noun or a pronoun and kad’ jos is a form of the marker kad’ with the plural noun affix -jos (cf. pet’a kad’ jos [Petya like-pl] ‘[somebody] like Petya’). This construction is attested in works on the grammar of Udmurt, but its morphosyntactic and semantic restrictions are not properly discussed. According to my field data collected in the Tatyshy district of the Republic of Bashkortostan, the restrictions on the dependent of the marker kad’ jos are formulated in terms of the animacy hierarchy. The speakers allow the use of all personal pronouns, proper names, as well as human animate nouns; in some idiolects it is also possible to use non-human animate nouns, and all the interviewed speakers rejected constructions with an inanimate noun as a dependent of kad’ jos. I propose an analysis of this construction which suggests the presence of a phonologically covert head noun. The construction N kad’ jos is a dependent of this head noun, and thus may be considered as an equative construction belonging to the nominal type, cf. the other type of equative constructions where the phrase with kad’ is a dependent of the predicate.

Nominalization in Koyó

The nominalization is a process of formation of substantives and nominal phrases very rich in koyó. This language presents two types of nominalizations: the lexical nominalization and the syntactic nominalization. The lexical nominalization proceeds by the creation of new substantives by the processes of derivation and composition. The nominalization by derivation is nominal, verbal, adjectival and adverbial. She/it uses six processes: the préfixation, the increase, the parasynthétique, the regression, the progression and the conversion. The nominalization by composition resorts to the processes of juxtaposition, congealment and agglutination of items for the creation of new lexical units. On his/her/its turn, the syntactic nominalization proceeds by the transformation of the simple sentences in nominal phrases. This nominalization makes use of two processes: the déverbalization and the désadjectivization. She/it is solely syntagmatic. The operations of nominalization, in koyó, establish some relations between the morphology, the syntax and the semantics. Keywords: koyó, nominalization, lexical, syntactic.

Exploring Nominalization in Academic Writing: A Comparative Study of Shipbuilding and Oceanography Engineering and Linguistics

Nominalization, as a universal linguistic phenomenon, is widely used in academic discourse in various fields. In recent years, corpus-based approaches to nominalization have become increasingly prevalent, but nominalization involving academic discourse of Marine-related majors receives little attention. Therefore, this paper selects 108 academic discourse abstracts of Shipbuilding and Oceanography Engineering and 50 abstracts of Linguistics academic discourses, based on the definition of nominalization, the common form of ideational grammatical metaphor from Halliday and Zhu Yongsheng’s classification to achieve the analysis of nominalization. It explores the cross-disciplinary differences and frequency of different types of nominalizations and their functions in the selected abstracts. The results show that the common use of nominalizations and the most frequent type is “take process as thing” which shows a significant difference across the two disciplines, signifying disciplinary differences in academic writing. Besides, this paper finds the three most commonly used nominal patterns of each corpus. It provides a couple of possible reasons and elaborate explanations for the particular consequence, expecting that it can contribute to future research in this field and abstract writing in academic discourse. Keywords: nominalization, grammatical metaphor, academic writing, disciplinary differences and similarities

Social media platforms in sustainability communication of Polish social enterprises from the IT industry and beyond

Abstract The article aims to identify and compare behaviour patterns of Polish social enterprises, especially those operating in the IT branch and using social media to communicate with their clients. The research consisted of a multidimensional qualitative and quantitative content analysis, including Cramér’s V correlation coefficient based on chi-squared statistic, also suitable for nominal data types. The article focused on client communication content created and placed on social media by Polish social enterprises from the IT and other branches. The research sample comprised 301 entities. According to the adopted assumption, the statistical research (correlation analysis) results showed certain behaviour patterns within the scope of the analysed area and revealed significant circumstances that affect communication. Due to the profile of professional competencies, the IT industry prefers communicating via social media, which aims to formulate a concise and precise message. Social enterprises in the group of the most economically effective entities have a unique way of using social media. They choose the most popular social media and, at the same time, to some extent, expand their communication to more specialised platforms. The applied approach is a new way to analyse social enterprise activities in social media. The analysis findings contribute to a greater understanding of connections between the discussed phenomena. The presented research procedure can be applied to determine the impact of other competencies of the analysed entities on sustainability communication in social media. According to research, IT entities enrich the current trends in social media use by social enterprises. The research results may be useful for banks, investors and public institutions forecasting the success of social enterprises and making support-related decisions. The scale and scope of the use of social media platforms for communication with the market may be a criterion in measuring the chances to commercialise goods and services offered by social enterprises.

The sequence kernel association test for multicategorical outcomes.

Disease heterogeneity is ubiquitous in biomedical and clinical studies. In genetic studies, researchers are increasingly interested in understanding the distinct genetic underpinning of subtypes of diseases. However, existing set-based analysis methods for genome-wide association studies are either inadequate or inefficient to handle such multicategorical outcomes. In this paper, we proposed a novel set-based association analysis method, sequence kernel association test (SKAT)-MC, the sequence kernel association test for multicategorical outcomes (nominal or ordinal), which jointly evaluates the relationship between a set of variants (common and rare) and disease subtypes. Through comprehensive simulation studies, we showed that SKAT-MC effectively preserves the nominal type I error rate while substantially increases the statistical power compared to existing methods under various scenarios. We applied SKAT-MC to the Polish breast cancer study (PBCS), and identified gene FGFR2 was significantly associated with estrogen receptor (ER)+ and ER- breast cancer subtypes. We also investigated educational attainment using UK Biobank data ( ) with SKAT-MC, and identified 21 significant genes in the genome. Consequently, SKAT-MC is a powerful and efficient analysis tool for genetic association studies with multicategorical outcomes. A freely distributed R package SKAT-MC can be accessed at https://github.com/Zhiwen-Owen-Jiang/SKATMC.