1,791 research outputs found
Appendices - Utilization of Palliative Care for Patients Undergoing Hematopoietic Stem Cell Transplantation During Hospitalization: A Population-Based National Study
No full textAppendices for Utilization of Palliative Care for Patients Undergoing Hematopoietic Stem Cell Transplantation During Hospitalization: A Population-Based National Study by Hedong Han, Yuzhou Liu, Yuchen Qin, Wei Guo, Yiming Ruan, Cheng Wu, Yang Cao, and Jia He in American Journal of Hospice and Palliative Medicine®</p
Improvements and augmentations to Learning Based Java: a Java based learning based programming language
No full textMachine Learning (ML) is the science that enables computers with the ability to learn without being explicitly programmed. ML is so pervasive today, with applications in speech recognition, recommendation systems, fraud detection and many more that we may not be aware of. To facilitate a rapid pace of development, it is important to create a framework with modularity and reusability. Learning Based Java (LBJava) was introduced by Cognitive Computation Group (CCG) to achieve such goal.
This thesis extends and introduces multiple components in LBJava. We begin by giving a comprehensive literature review relates to Learning Based Programming (LBP) and LBJava.
Then we introduce regression evaluation metrics to LBJava. In addition, we introduce Adaptive Sub- Gradient (AdaGrad) for regression. Then we add a comprehensive tutorial with example on regression. Furthermore, we extend both SGD and AdaGrad algorithms for classification. Then we evaluate across var- ious learning algorithms, with sparse and dense features, using large programmatically generated datasets.
Moreover, we introduce Neural Network (NN), in particular, Multilayer Perceptron (MLP), to LBJava. We also did some miscellaneous work.
Lastly, we conclude on all the extended and added components and provide recommendations for future work.Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2018-05-01The student, Yiming Jiang, accepted the attached license on 2016-04-25 at 16:00.The student, Yiming Jiang, submitted this Thesis for approval on 2016-04-25 at 16:12.This Thesis was approved for publication on 2016-04-26 at 15:44.DSpace SAF Submission Ingestion Package generated from Vireo submission #9486 on 2016-07-07 at 13:50:51Made available in DSpace on 2016-07-07T20:28:02Z (GMT). No. of bitstreams: 2
JIANG-THESIS-2016.pdf: 281764 bytes, checksum: edda791770387b6e34f11d5fbea738fc (MD5)
LICENSE.txt: 4209 bytes, checksum: 4dc5fa3024bef4bbd3986745ea525fdd (MD5)
Previous issue date: 2016-04-26Embargo set by: Seth Robbins for item 93179
Lift date: 2018-07-07T20:28:14Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 93179
Lift date: 2018-07-07T20:35:34Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemU of I Only Restriction Lifted for Item 93179 on 2018-07-08T09:15:20Z
RETRACTED ARTICLE: Study on the mechanical behavior of construction and demolition waste-based geopolymers under high-temperature conditions
No full textStatement of Retraction: Study on the mechanical behavior of construction and demolition waste-based geopolymers under high-temperature conditions We, the Editors and Publisher of Journal of Asian Architecture and Building Engineering, have retracted the following article: Yiming Chen (2025) Study on the mechanical behavior of construction and demolition waste-based geopolymers under high-temperature conditions, Journal of Asian Architecture and Building Engineering, 2025; 24(2): 650–665. DOI: 10.1080/13467581.2024.2308595. Since publication, significant concerns have been raised about the fact that this article has substantial overlap with the following article, Ioanna Giannopoulou, Ponsian M. Robert, Michael F. Petrou, Demetris Nicolaides (2024) Mechanical behavior of construction and demolition waste-based alkali activated materials exposed to fire conditions, Construction and Building Materials, DOI: 10.1016/j.conbuildmat.2024.134994 Upon query, the author has not been able to provide a satisfactory explanation for this significant level of overlap. As this is a serious breach of our Editorial Policies, we are retracting the article from the journal. The author has been informed of this decision. We have been informed in our decision-making by our editorial policies and the COPE guidelines. The retracted article will remain online to maintain the scholarly record, but it will be digitally watermarked on each page as ‘Retracted’
Fault estimation filter design with guaranteed stability using Markov parameters
No full textAccepted Author ManuscriptTeam Tamas KeviczkyTeam Raf Van de Pla
VERIFICATION OF PROBABILISTIC HYPERPROPERTIES ON MARKOV MODELS
No full textThesis (Ph.D.)--Michigan State University. Computer Science - Doctor of Philosophy, 2024Formal verification encapsulates the process of ensuring the correctness of systems withrespect to user-specified requirements, expressed as formal properties. This dissertation explores the different aspects of the verification of systems involving uncertainty, specified at an abstract level as Markov models, against system-level specifications, expressed as hyperproperties.In this context, we refer to models as frameworks used to capture the behaviour of systemswhile abstracting away the exact details of its inner workings. Such system models are rarely deterministic e.g., we may choose to simplify or remove elements that are irrelevant to the verification, we might not be aware of exact details of certain components in the system, or we might not be able to observe every aspect of the system. To this end, we chose to represent systems as Markov models due to their flexibility in representing uncertainty (in terms of nondeterminism, randomization, and partial observability), and its simplicity in using the current state to determine the future evolution of the system.The current ubiquitous nature of software demands verification of not only its isolatedbehaviours, but also ones relating to security, privacy, robustness, and efficiency. These additional requirements are more challenging to verify as they require simultaneous rea- soning across multiple system behaviours. Such requirements can be formally specified as hyperproperties. Prominent examples include noninterference of secret inputs on publicly observable outputs, observational determinism of public outputs, optimal path planning in robotics, individual fairness in models, side-channel timing attacks, conformance of different system versions, etc.Given this combination of model and properties, we explore the following:\u2022 We explored the parameter synthesis problem and developed an SMT-based solutionfor synthesizing values for unknown or missing parameters of the system, under the assumption of satisfaction of a given specification.\u2022 We generalize the probabilistic hyperlogic HyperPCTL by extending it to formally specifyrequirements involving nondeterministic choices and rewards in models. We discuss the expressive power of this extended logic, and how it makes the model checking problem for this logic undecidable, in general.\u2022 To provide tractable solutions to the model checking problem, we focused on a decidablefragment of HyperPCTL with a single existential quantifier and proposed an SMT- encoding-based model checking algorithm.\u2022 We identify two different fragments of HyperPCTL based on their ability to express thereachability requirement in most of our applications. For these two different fragments, we provide a randomized convex addition of a scheduler and a distribution-based ap- proach respectively.\u2022 We have developed prototypical implementations for each of the proposed algorithms.Specifically, to model check the nondeterministic and reward property extensions, we have built a tool HyperProb, which implements our SMT-based algorithm to sym- bolically model check restricted fragments of HyperPCTL.\u2022 To tackle the challenges of scalability, we explored statistical model checking as a pos-sible solution to model check a fragment of HyperPLTL and extended the tool PLASMA to evaluate our theory.Description based on online resource. Title from PDF t.p. (Michigan State University Fedora Repository, viewed ).Includes bibliographical references
Application of regional meteorology and air quality models based on MIPS and LoongArch CPU Platform
No full text<p>bcfile.zip: the clean boundary condition files.</p>
<p>emisfile.zip: the emission files.</p>
<p>icfile.zip: the clean initial condition files.</p>
<p>tuvfile.zip and o3mapfile.zip: the photolysis files.</p>
<p>outputfile.zip: the computation results outputted by CAMx model for MIPS and X86 platforms.</p>
<p>wrfcamx.zip: meteorological files.</p>
<p>outputfile_LoongArch_platform.tar.gz: the computation results outputted by CAMx model for LoongArch platforms.</p>
<p>bin_executable_on_LoongArch_platform.tar.gz: The executable files of CAMx model which can run stably on LoongArch platform, including noMPI, MPICH and OpenMP version.</p>
<p>bin_executable_on_MIPS_platform.tar.gz: The executable files of CAMx model which can run stably on MIPS platform, including noMPI, MPICH and OpenMP version</p>
A Screen-printed, Silver-nanowire-based Optically Transparent Wideband Reconfigurable Intelligent Surface for 5G mmWave Applications
No full textThe reconfigurable intelligent surface (RIS) can help establish secondary line-of-sight links for 5G mmWave and beyond applications to cater for the large path loss and blockage in millimeter-wave direct links. It is desirable that the RISs are optically transparent so that they can be placed on building windows, etc. However, traditional transparent designs with indium tin oxide films have challenges of high loss and low transparency, while metallic meshes suffer from a large feature size for millimeter wave designs. In this letter, we propose an optically transparent RIS using screen-printed silver nanowires (AgNW) and PIN diodes. The AgNW ink has more than 80% optical transparency and a decent conductivity of S/m. The RIS array size is 9x20, and each column serially connects 9 unit cells. The RIS can work from 23.5 GHz to 29.5 GHz with 30{\deg} angular stability. The measurement results of the RIS show up to 15 dB gain enhancement within 30{\deg} angle range, while maintaining high optical transparency and large bandwidth.This work was supported by Ericsson Research under Grant OSR #4606 (Corresponding author: Yiming Yang)
HIV-1 genetic diversity a challenge for AIDS vaccine development: A retrospective bibliometric analysis
No full textBackground: Despite recent advances in human immunodeficiency virus-1 (HIV-1) prevention, a fast, safe, and effective vaccine will probably be necessary to end the HIV/AIDS pandemic. This study was conducted to evaluate global research trends and map the key bibliometric indices in HIV-1 genetic diversity from 1998 to 2021.Methods: A comprehensive online search was conducted in the Web of Science Core Collection database to retrieve published literature on HIV-1 genetic diversity. Key bibliometric indicators were calculated and evaluated using HistCiteTM, Bibliometrix: An R-tool, and VOSviewer software for windows.Results: A total of 2,060 documents written by 9,201 authors and published in 250 journals were included in the final analysis. Year 2012 was the most productive year with 121 (5.87%) publications. The most prolific author was Shao Yiming (n = 74, 3.59%) from Chinese Center for Disease Control and Prevention. The United States of America was the highly contributing and influential country (n = 681, 33.05%). AIDS Research and Human Retroviruses was the most productive journal (n = 562, 27.2%). Network visualization shows that HIV-1 was the most widely used author keyword.Conclusion: This study provides global research trends and detailed information on HIV-1 genetic diversity. The amount of scientific literature on HIV-1 genetic diversity research has rapidly increased in the last two decades. The maximum number of articles on HIV-1 genetic diversity was published in developed countries; therefore, a scientific research collaboration among researchers and institutes in low-income countries should be promoted and supported
Author Correction: Plastic waste discharge to the global ocean constrained by seawater observations
No full textCorrection to: Nature Communications, published online 13 March 2023 The original version of this Article contained an error in Fig. 2, in which c was incorrectly described as “middle scenario” where it should have been described as “low scenario”. The correct version of Fig. 2 is: (Figure presented.) which replaces the previous incorrect version: (Figure presented.) This has been corrected in both the PDF and HTML versions of the Article.Coastal Engineerin
- …
