检索结果-内蒙古大学图书馆

COHOMOLOGICAL SPLITTING, REALIZATION, AND FINITENESS

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Asgharzadeh, Mohsen

We search for some splitting (resp. finiteness) criteria of a given module M over a local ring (R, m, k) in terms of the splitting (resp. finiteness) property of certain cohomological functors evaluated at M, for example the splitting of Hm/i (M). In particular, we deal with the cohomological splitting question posted by Vasconcelos. We present a connection from our approach to the realization problem of Nunke. This is equipped with several applications. For instance, we recover some results of Jensen (and others) by applying simple methods. Additional applications, including a computation of the projective dimension of some injective modules, are given. This enables us to extend some results of Matlis (resp. Osofsky) on the projective dimension of ER(k) (resp. Q). Copyright © 2021, The Authors. All rights reserved.

关键词： computation theory

Granular computing and compositional complexity of biomolecular sequences

学校读者我要写书评

暂无评论

Granular computing and compositional complexity of biomolecu...

IEEE International Conference on Granular Computing (GRC)

作者： Jiannong Zhang Yongling Song Su-Shing Chen Research and Engineering Center Whirlpool Corporation Benton Harbor MI USA University of Florida Gainesville FL USA

ALBA: Adaptive Language-Based Assessments for Mental Health

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Varadarajan, Vasudha Sikström, Sverker Kjell, Oscar N.E. Andrew Schwartz, H. Department of Computer Science Stony Brook University United States Department of Psychology Lund University Sweden

Mental health issues differ widely among individuals, with varied signs and symptoms. Recently, language-based assessments have shown promise in capturing this diversity, but they require a substantial sample of words per person for accuracy. This work introduces the task of Adaptive Language-Based Assessment (ALBA), which involves adaptively ordering questions while also scoring an individual’s latent psychological trait using limited language responses to previous questions. To this end, we develop adaptive testing methods under two psychometric measurement theories: Classical Test theory and Item Response theory. We empirically evaluate ordering and scoring strategies, organizing into two new methods: a semi-supervised item response theory-based method (ALIRT) and a supervised Actor-Critic model. While we found both methods to improve over non-adaptive baselines, We found ALIRT to be the most accurate and scalable, achieving the highest accuracy with fewer questions (e.g., Pearson r ≈ 0.93 after only 3 questions as compared to typically needing at least 7 questions). In general, adaptive language-based assessments of depression and anxiety were able to utilize a smaller sample of language without compromising validity or large computational costs. © 2023, CC BY-NC-SA.

关键词： computation theory

Lorentz and permutation invariants of particles II

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Gripaios, Ben Haddadin, Ward Lester, C.G. Cavendish Laboratory University of Cambridge J.J. Thomson Avenue CambridgeCB3 0HE United Kingdom DAMTP University of Cambridge Wilberforce Road CambridgeCB3 0WA United Kingdom

Two theorems of Weyl tell us that the algebra of Lorentz- (and parity-) invariant polynomials in the momenta of n particles are generated by the dot products and that the redundancies which arise when n exceeds the spacetime dimension d are generated by the (d + 1)-minors of the n × n matrix of dot products. Here, we use the Cohen-Macaulay structure of the invariant algebra to provide a more direct characterisation in terms of a Hironaka decomposition. Among the benefits of this approach is that it can be generalized straightforwardly to cases where a permutation group acts on the particles, such as when some of the particles are identical. In the first non-trivial case, n = d + 1, we give a homogeneous system of parameters that is valid for the action of an arbitrary permutation symmetry and make a conjecture for the full Hironaka decomposition in the case without permutation symmetry. An appendix gives formulæ for the computation of the relevant Hilbert series for d ≤ 4. Copyright © 2020, The Authors. All rights reserved.

关键词： computation theory

Overcoming thermal noise in non-volatile spin wave logic

学校读者我要写书评

暂无评论

arXiv 2017年

作者： Dutta, Sourav Nikonov, Dmitri E. Manipatruni, Sasikanth Young, Ian A. Naeemi, Azad School of Electrical and Computer Engineering Georgia Institute of Technology AtlantaGA30332 United States Components Research Intel Corporation HillsboroOR97124 United States

Spin waves are propagating disturbances in magnetically ordered materials, analogous to lattice waves in solid systems and are often described from a quasiparticle point of view as magnons. The attractive advantages of Joule-heat-free transmission of information, utilization of the phase of the wave as an additional degree of freedom and lower footprint area compared to conventional charge-based devices have made spin waves or magnon spintronics a promising candidate for beyond-CMOS wave-based computation. However, any practical realization of an all-magnon based computing system must undergo the essential steps of a careful selection of materials and demonstrate robustness with respect to thermal noise or variability. Here, we aim at identifying suitable materials and theoretically demonstrate the possibility of achieving error-free clocked non-volatile spin wave logic device, even in the presence of thermal noise and clock jitter or clock skew. Copyright © 2017, The Authors. All rights reserved.

关键词： computation theory

Child Occupant Safety in Unconventional Seating for Vehicles with Automated Driving Systems

学校读者我要写书评

暂无评论

SSRN

SSRN 2023年

作者： Hu, Jingwen Boyle, Kyle Orton, Nichole Ritchie Manary, Miriam A. Reed, Matthew P. Klinich, Kathleen D. University of Michigan Transportation Research Institute Ann ArborMI United States

The objective of this study was to use computational models to study how unconventional seating positions and orientations in vehicles with Automated Driving System (ADS) may affect occupant response metrics of children with various restraint conditions.A literature review was first conducted to frame a simulation plan, including selections of surrogate ADS-equipped vehicles, potential seating arrangements, impact scenarios, anthropomorphic test device (ATD) models, and child restraint system (CRS) models that are relevant to the selected ATD models. Due to the lack of impact tests with child ATDs and CRS in farside, oblique, and rear impacts, 17 sled tests were conducted with CRS harness-restrained ATDs and vehicle belt-restrained ATDs in frontal, farside, oblique, and rear impact conditions. The sled tests were then used to validate a set of MADYMO models. A total of 550 simulations were then conducted with four child ATDs and various CRS conditions across a range of conventional and unconventional seating locations and orientations under five impact directions. We did not find major safety concerns with ATDs restrained by harnessed CRSs based on the nature of ATD contacts. CRSs may rotate laterally in farside and oblique impacts, which could result in higher head and chest injury measures due to inertial loading to the CRS, and the larger lateral rotation of the CRS may lead to a contact between the CRS and vehicle interior. The major safety concern for vehicle belt-restrained ATDs is that they have the potential to contact the seat next to them or the instrument panel behind them in a farside or oblique impact. Unconventional seating does not necessarily create additional safety concerns beyond what we know with the conventional seating. However, due to the orientation of the unconventional seats, they may be involved in a higher percentage of oblique and rear-oblique impacts than conventional seats, which may be considered in the future safety design ***

关键词： computation theory

A study of question effectiveness using reddit "ask me anything" threads

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Arumae, Kristjan Qi, Guo-Jun Liu, Fei University of Central Florida 4000 Central Florida Blvd. OrlandoFL32816 United States

Asking effective questions is a powerful social skill. In this paper we seek to build computational models that learn to discriminate effective questions from ineffective ones. Armed with such a capability, future advanced systems can evaluate the quality of questions and provide suggestions for effective question wording. We create a large-scale, real-world dataset that contains over 400,000 questions collected from Reddit "Ask Me Anything"threads. Each thread resembles an online press conference where questions compete with each other for attention from the host. This dataset enables the development of a class of computational models for predicting whether a question will be answered. We develop a new convolutional neural network architecture with variable-length context and demonstrate the efficacy of the model by comparing it with state-of-the-art baselines and human judges. Copyright © 2018, The Authors. All rights reserved.

关键词： computation theory

Highly accurate and fine-scale estimation of equilibrium measures

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Wormell, Caroline L. Mathematical Sciences Institute The Australian National University Australia

Equilibrium measures are special invariant measures of chaotic dynamical systems and iterated function systems, commonly studied as salient examples of fractal measures. While useful analytic expressions are rare, computational exploration of these measures can yield useful insight, in particular in studying their Fourier decay. In this note we present simple, efficient computational methods to obtain weak estimates of equilibrium and related measures (i.e. as integrals against smooth functions) at high spatial resolution. These methods proceed via Chebyshev-Lagrange approximation of the transfer operator. One method, which estimates measures directly from spectral data, gives exponentially accurate estimates at spatial scales larger than the approximation's resolution. Another, method, which generates random point samples, has a Central Limit Theorem-style accuracy down to an exponentially small spatial resolution. This means that these measures and their Fourier decay can be studied very accurately, and at very high Fourier frequencies. Copyright © 2023, The Authors. All rights reserved.

关键词： computation theory

Findings of the 2nd photonics and electronics technology for extreme scale computing workgroup (REPETE): Design challenges for socket level photonic I/O

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Grutter, Karen Salter, Tom Horton, Tim

In mid 2011, the Department of Energy and the Department of Defense jointly sponsored a workgroup composed of subject matter experts spanning industry, academia, and government in high performance computing (HPC) system interconnect. Over a span of approximately six months, this workgroup developed a consensus on technology trends and key technical challenges related to HPC system interconnect where progress will have a major and lasting impact. The findings of this workgroup were released in a March 2012 workshop and report describing the findings to a wide audience of USG researchers, end users and program managers, system vendors, researchers from industry, academia and senior DoD, DoE, and USG leadership (1). The findings of this workgroup had a significant impact on USG strategic R&D priorities in HPC and photonic interconnect solutions and helped to direct USG investment and engagement with vendors of photonic integrated solutions over the last 7 years. The initial PETE workgroup studied HPC interconnect and estimated progress until approximately the 2016-2017 time frame. To inform research activities in HPC interconnect of strategic importance to the USG beyond 2018, In January of 2018, the DoD sponsored the 2nd Photonics and Electronics Technology for Extreme-scale Computing (REPETE) workgroup. REPETE investigated new challenges in the area of HPC interconnect inspired by technology trends and challenges of vital importance to USG stakeholders. The REPETE Working group investigated two focus areas of interest to the USG: 1. Socket Level Photonic I/O - Understand how performance limitations imposed on cross chip and off chip I/O (input/output) by copper interconnect impact technology roadmaps for socket I/O supporting memory, network, and coherent multiprocessor interconnect. Explore likely photonic solutions for overcoming the limitations imposed by copper interconnect, estimate impact on socket performance / capability / design, and document R&D challenges

关键词： computation theory