Miracle-dz/UniFAR-FTUs huggingface dataset:
Lazy Services: A Service Oriented Architecture based on Incremental Computations and Commitments ∗

A service oriented architecture (SOA) aims to structure complex distributed systems in terms of re-usable components, called services. To guarantee a good service interoperability these services must be weakly coupled and their description must be separated from their implementations. The interface of a service provides information on how it can be invoked: the logical location where it can be invoked, the supported communication protocol and the types of its input (parameters) and output (result). Traditionally, a service can only be invoked when its parameters are fully deﬁned and, symmetrically, these services only return their re-sults after they have been totally processed. In this paper, we promote a more liberal view of services by allowing them to consume their data lazily (i.e., as they need it) and produce their results incrementally (i.e., as they are produced). We develop this notion as ’lazy services’ by building up from the model of guarded attributed grammars that was recently introduced in the context of distributed collaborative systems. We abstract from this model and limit somewhat its expressiveness so that it can comply more broadly to SOA principles. We introduce an improvement on subscription management to optimize the distributed implementation of lazy services.
Computer muscle modelling State of the Art and Concept of PhD

Nowadays, computer muscle modelling plays a more and more important role in the threatment of various musculoskeletal diseases. For example, to find the appropriate artificial joint replacement, physicians should know the anatomy and dynamic properties of the specific patient. Various models and algorithms help physicians. In this report, state-of-the-art methods are discussed. Then, a competitive modified position-based dynamics approach is presented. The speed/quality ratio of the proposed method is adjustable and achieves certain results over a specified period. This work was supported by the projects SGS-2019-016 of the Czech Ministry of Education, GA 17-05534S of the Czech Science Foundation and partially by the project IDEG-2021-027 of the West Bohemia University. Copies of this report are available on http://www.kiv. zcu.cz/en/research/publications/ or by surface mail on request sent to the following address: University of West Bohemia Department of Computer Science and Engineering Univerzitní 8 30614 Plzeň Czech Republic Copyright © 2022 University of West Bohemia, Czech Republic
Functoriality in categorical symplectic geometry by Mohammed Abouzaid

Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya A1-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in the late 2000s, several authors have developed techniques for functorial manipulation of these invariants. We survey these functorial structures, including Wehrheim–Woodward’s quilted Floer cohomology and functors associated to Lagrangian correspondences, Fukaya’s alternate approach to defining functors between Fukaya A1categories, and the second author’s ongoing construction of the symplectic (A1; 2)-category. In the last section, we describe a number of direct and indirect applications of this circle of ideas, and propose a conjectural version of the Barr–Beck Monadicity Criterion in the context of the Fukaya A1-category.
Synthetic Image Detection Using a Modern CNN and Noise Patterns

Today, people enjoy unprecedented access to state-of-the-art artificial intelligence models. This generates great opportunities for innovation and development but also several problems. Artists working with images are now worried about deep learning models trained to replicate their styles, and public figures are increasingly concerned about AIs being able to mimic their appearance and voice. In general, people are now concerned about whether they can trust anything they see, hear, or read on the internet. One very present problem is to trust if an image is true or computer generated. In the paper, we evaluate whether new methods of image synthesis can still be recognized by deep learning models. This work evaluates the new developments in CNNs and pattern recognition applied to synthetic image detection. The results present improvements in the proposed model compared to previous works on the efficiency gains of new architectures of convolutional neural networks and on the generalization potential of models trained through pattern identification methods.
“ Effectiveness of serious game designs for software developers

Games are generally considered to be motivating and engaging. Nowadays, people, especially the young, spend a lot of time playing different subgenres of games. Serious games, games that expand the traditional notion of gaming and have a different purpose other than pure entertainment, can be used in Computer Science education and propose a different type of learning and discussing relevant topics. Games are not only used in many ways in computer science education but also consist of a great part of students’ extracurricular activities. The main purpose of serious games sessions is to put their suitability to the test and discuss whether they can be considered as an efficient teaching method. The challenge of digital serious games is to identify which of these are most effective in meeting educational outcomes, enriching computing education and fitting into existing teaching methods. In serious games, we can define points of interest like player’s role, functionality, level of engagement, connection to other players, etc. Using and tweaking these dimensions we can thereafter produce not only an educational outcome but also an approach towards Human-Computer Interaction (HCI) methods and techniques. This Master Thesis targets to analyze serious games for Computer Science education in two ways: 1) for their design elements and 2) for the evaluation of their effectiveness. While thinking of the design elements, one can decide upon them by analyzing the mechanics, dynamics, and aesthetics of the game. All of them are essential and valuable parts of game design and comprise interconnected and interrelated concepts. Also, the main aim of the study is to focus on the design, development, and evaluation of different subgenres of games. The initial approach is to design, develop and evaluate games that will consist of different interfaces, but both are designed and developed for software developers and target accordingly fundamental programming concepts. Participants of the experiments will be users with an elementary knowledge of programming that will be invited to play one of the subgenres of the game with randomly assigned interfaces and activities. The effectiveness of each game genre will be evaluated concerning the interface by using experimental methods and conducting interviews with the participants asking their opinions regarding the comprehensibility of each game genre. All collected data will be used for revisions and improvements if needed, and the results of the evaluation will be used to summarize and conclude to what extent the defined goals are achieved.
BOISE STATE UNIVERSITY GRADUATE COLLEGE DEFENSE COMMITTEE AND FINAL READING APPROVALS

vi LIST OF TABLES . ix LIST OF FIGURES . x LIST OF ABBREVIATIONS . xii CHAPTER ONE: INTRODUCTION . 1 Overview . 1 Motivation . 1 Intellectual Merit . 3 Broader Impacts . 4 CHAPTER TWO: BACKGROUND. 6 Piezoelectric Materials . 6 Piezoelectric Sensor Configuration. 7 Direct Ink Writing . 8 CHAPTER THREE: RESEARCH DESIGN . 10 Objective 1: Print Uniform PVDF-trFE Films . 10 Summary . 10 Completed Work . 10
Evaluating Shared Memory Heterogeneous Systems Using Traverse-compute Workloads

1 PROBLEM/MOTIVATION The end of Moore’s law and Dennard’s scaling has led to an explosion of specialized processing units (PUs); combining different PUs creates a heterogeneous system. However, these PUs often interact in a coarse-grainedway, especially for accelerator-oriented systems, in which the trend is to offload nearly all computation to a discrete accelerator. However, many systems, especially SoCs found in mobile devices, are designed to be more balanced, featuring nearly equal CPU resources and accelerator resources [9]. In such cases, effectively utilizing both the CPU and the accelerator is essential. Moreover, the communication overhead associated with data transfer via PCIe and kernel launching makes the coarse-grained approaches less feasible for applications that require frequent communication between PUs. Recognizing these challenges and opportunities, academic researchers have increasingly explored novel heterogeneous systems. Numerous novel designs have emerged as open-source projects, promoting widespread access and collaboration. Many of these designs incorporate shared memory across PUs [4], enabling fine-grained interaction and minimizing communication overheads. Many applications can benefit from fine-grained PU interaction by decomposing the workload into smaller tasks and mapping them according to the architectural strengths of each PU. In this work, we present one such application class, which we call traverse-compute [12]. These applications are a special type of tree applications that involve repetitive traversals of tree data structures, combined with performing computations on data located at the leaf node. Traverse-compute applications have widespread implications in scientific computing, statistical learning, and computer graphics. In summary, this work will present how open-source hardware can be used to accelerate a pragmatic class of applications. Specifically, we show that the Duet [7] system can accelerate a suite of traverse-compute applications by up to 13.5× with a geomean of 6.43×. We will highlight the use of Grove [12]: an open-source benchmark suite of traverse-compute workloads that utilize finegrained synchronization across PUs, and thus can provide a way for architecture researchers to evaluate their heterogeneous designs.
Alpha-gal Syndrome – A Case Report of Tick-Borne Anaphylactic Shock

The most common cause of vasoplegic shock in critical care is sepsis. However, although rarely and only in specifically sensitised individuals previously bitten by a tick, red meat may provoke a delayed allergic reaction called an alpha-gal syndrome. We present a case of a protracted life-threatening manifestation of alpha-gal syndrome, which, due to an unusual absence of typical features of anaphylaxis can masquerade as septic shock and calls attention to the premature diagnostic closure as a contributor to diagnostic error. Alpha-gal syndrome is a relatively new, but increasingly recognised health issue. We propose that alpha-gal syndrome should be considered in the differential diagnosis of vasoplegic shock of unclear aetiology even in the absence of typical allergic symptomatology and typical allergen exposure since alpha-gal is present in a wide variety of carriers. LEARNING POINTS Alpha-gal syndrome, otherwise known as “red meat allergy”, is a potentially life-threatening allergic syndrome induced by the immunological properties of tick saliva. A typical case of alpha-gal syndrome is a patient bitten by a tick who develops an allergic reaction, anaphylaxis or anaphylactic shock even after an ingestion of a significant amount of alpha-gal, typically present in red mammalian meat or organs. As global warming continues, we may expect tick-borne diseases to spread wider around the globe and due to the possibility of complete absence of typical allergic symptomatology and the delayed onset of symptoms, this syndrome needs to be considered when encountering vasoplegic shock of uncertain origin.
Dynamic susceptibility contrast perfusion-weighted and diffusion-weighted magnetic resonance imaging findings in pilocytic astrocytoma and H3.3 and H3.1 variant diffuse midline glioma, H3K27-altered

Objective This study compared the dynamic susceptibility contrast (DSC) magnetic resonance imaging parameters and apparent diffusion coefficient (ADC) between pilocytic astrocytoma (PA) and diffuse midline glioma, H3K27-altered (DMG) variants. Methods The normalized relative cerebral blood volume (nrCBV), normalized relative flow (nrCBF), percentile signal recovery (PSR), and normalized mean ADC (nADCmean) of 23 patients with midline PAs (median age, 13 years [range, 1–71 years]; 13 female patients) and 40 patients with DMG (8.5 years [1–35 years]; 19 female patients), including 35 patients with H3.3- and five patients with H3.1-mutant tumors, treated between January 2016 and May 2022 were statistically compared. Results DMG had a significantly lower nADCmean (median: 1.48 vs. 1.96; p = 0.00075) and lower PSR (0.97 vs. 1.23, p = 0.13) but higher nrCBV and nrCBF (1.66 vs. 1.17, p = 0.058, respectively, and 1.87 vs. 1.19, p = 0.028, respectively) than PA. The H3.3 variant had a lower nADCmean than the H3.1 variant (1.46 vs. 1.80, p = 0.10). Conclusion DMG had lower ADC and PSR and higher rCBV and rCBF than PA. The H3.3 variant had a lower ADC than the H3.1 variant. Recognizing the differences and similarities in the DSC parameters and ADC between these tumors may help presurgical diagnosis.
On the small Krull dimension of modules

ABSTRACT We introduce and study the concept of small Krull dimension of a module which is Krull-like dimension extension of the concept of DCC on small submodules. Using this concept we extend some of the basic results for modules with this dimension, which are almost similar to the basic properties of modules with Krull dimension. When for a module A with small Krull dimension, whose Rad(A) is quotient finite dimensional, then these two dimensions for Rad(A) coincide. In particular, we prove that if an R-module A has finite hollow dimension, then A has small Krull dimension if and only if it has Krull dimension. Consequently, we show that if A has properties AB5* and qfd, then A has s.Krull dimension if and only if A has Krull dimension.
A new scoring system with simple preoperative parameters as predictors of early recurrence of pancreatic ductal adenocarcinoma

Background Pancreatic ductal adenocarcinoma (PDAC) often recurs early after radical resection, and such early recurrence (ER) is associated with a poor prognosis. Predicting ER is useful for determining the optimal treatment. Methods One hundred fifty-three patients who underwent pancreatectomy for PDAC were divided into an ER group (n = 54) and non-ER group (n = 99). Clinicopathological factors were compared between the groups, and the predictors of ER and prognosis after PDAC resection were examined. Results The ER group had a higher platelet count, higher platelet-to-lymphocyte ratio (PLR), higher preoperative CA19-9 concentration, higher SPan-1 concentration, larger tumor diameter, and more lymph node metastasis. The receiver operating characteristic (ROC) curve analysis identified cut-off values for PLR, carbohydrate antigen 19–9 (CA19-9), SPan-1, and tumor diameter. In the multivariate analysis, a high PLR, high CA19-9, and tumor diameter of >3.1 cm were independent predictors of ER after resection (all p < 0.05). When the parameter exceeded the cut-off level, 1 point was given, and the total score of the three factors was defined as the ER prediction score. Next, our new ER prediction model using PLR, CA19-9 and tumor diameter (Logit(p) = 1.6 + 1.2 × high PLR + 0.7 × high CA19-9 + 0.5 × tumor diameter > 3.1cm) distinguished ER with an area under the curve of 0.763, a sensitivity of 85.2%, and a specificity of 55.6%. Conclusions ER after resection of PDAC can be predicted by calculation of a score using the preoperative serum CA19-9 concentration, PLR, and tumor diameter.
Mathematical modeling of Dengue virus serotypes propagation in Mexico

The Dengue virus (DENV) constitutes a major vector borne virus disease worldwide. Prediction of the DENV spread dynamics, prevalence and infection rates are crucial elements to guide the public health services effort towards meaningful actions. The existence of four DENV serotypes further complicates the virus proliferation forecast. The different serotypes have varying clinical impacts, and the symptomatology of the infection is dependent on the infection history of the patient. Therefore, changes in the prevalent DENV serotype found in one location have a profound impact on the regional public health. The prediction of the spread and intensity of infection of the individual DENV serotypes in specific locations would allow the authorities to plan local pesticide spray to control the vector as well as the purchase of specific antibody therapy. Here we used a mathematical model to predict serotype-specific DENV prevalence and overall case burden in Mexico.
Significance of changes in FGF23 levels in childhood primary nephrotic syndrome and children who progress to end‑stage renal disease

Fibroblast growth factor 23 (FGF23) is an important phosphaturic hormone, yet few studies have focused on FGF23 in children with primary nephrotic syndrome (PNS) and children who progressed to end-stage renal disease (ESRD). This cross-sectional study investigated the significance of changes in FGF23 levels in childhood PNS and children who progressed to ESRD. Of the 41 children included in the study, 17 had PNS with proteinuria and normal renal function (PNS group), 4 had ESRD (ESRD group), and 20 were healthy (control group). Following corticosteroid treatment, patients with PNS and proteinuria entered the remission phase. Serum levels of FGF23, phosphate, parathyroid hormone (PTH), 25-hydroxyvitamin D (25-OH-D), and calcium were measured. It was found that FGF23 levels in the PNS and ESRD groups were higher than those in the control group, while serum 25-OH-D levels were lower. Serum PTH levels increased significantly in the ESRD group. In the control group, FGF23 levels were negatively correlated with serum PTH and positively correlated with serum 25-OH-D. FGF23 levels were positively correlated with serum calcium and corrected calcium levels in children with PNS during the remission phase. Increased FGF23 levels in children with PNS, particularly in children who progressed to ESRD. It was also confirmed that serum FGF23 levels begin to rise in children with PNS prior to Stage 1 chronic kidney disease. These findings indicated that increased FGF23 levels may be associated with the progression and severity of nephrosis in children, and that serum FGF23 levels were useful for early detection of abnormal mineral metabolism in children with PNS.
Psychological intervention for gambling disorder: A systematic review and meta-analysis

Abstract Background and aims Increasingly, gambling features migrate into non-gambling platforms (e.g., online gaming) making gambling exposure and problems more likely. Therefore, exploring how to best treat gambling disorder (GD) remains important. Our aim was to review systematically and quantitatively synthesize the available evidence on psychological intervention for GD. Methods Records were identified through searches for randomized controlled trials (RCTs) evaluating psychological intervention for GD via six academic databases without date restrictions until February 3, 2023. Study quality was assessed with the revised Cochrane risk-of-bias tool for randomized trials (RoB2). Primary outcomes were GD symptom severity and remission of GD, summarized as Hedges' g and odds ratios, respectively. The study was preregistered in PROSPERO (#CRD42021284550). Results Of 5,541 records, 29 RCTs (3,083 participants analyzed) were included for meta-analysis of the primary outcomes. The efficacy of psychological intervention across modality, format and mode of delivery corresponded to a medium effect on gambling severity (g = −0.71) and a small effect on remission (OR = 0.47). Generally, risk of bias was high, particularly amongst early face-to-face interventions studies. Discussion and conclusions The results indicate that psychological intervention is efficacious in treating GD, with face-to-face delivered intervention producing the largest effects and with strongest evidence for cognitive behavioral therapy. Much remains to be known about the long-term effects, and investigating a broader range of treatment modalities and digital interventions is a priority if we are to improve clinical practice for this heterogeneous patient group.
The Geometry of Landau-Ginzburg Models

In this thesis we address several questions around mirror symmetry for Fano manifolds and Calabi-Yau varieties. Fano mirror symmetry is a relationship between a Fano manifold X and a pair (Y,w) called a Landau-Ginzburg model, which consists of a manifold Y and a regular function w on Y . The goal of this thesis is to study of Landau-Ginzburg models as geometric objects, using toric geometry as a tool, and to understand how K3 surface fibrations on Calabi-Yau varieties behave under mirror symmetry. These two problems are very much interconnected and we explore the relationship between them. As in the case of Calabi-Yau varieties, there is a version of Hodge number mirror symmetry for Fano varieties and Landau-Ginzburg models. We study the Hodge numbers of Landau-Ginzburg models and prove that Hodge number mirror symmetry holds in a number of cases, including the case of weak Fano toric varieties with terminal singularities and for many quasi-Fano hypersurfaces in toric varieties. We describe the structure of a specific class of degenerations of a d-dimensional Fano complete intersection X in toric varieties to toric varieties. We show that these degenerations are controlled by combinatorial objects called amenable collections, and that the same combinatorial objects produce birational morphisms between the Landau-Ginzburg model of X and (C×)d. This proves a special case of a conjecture of Przyjalkowski. We use this to show that if X is “Fano enough”, then we can obtain a degeneration to a toric variety. An auxiliary result developed in the process allows us to find new Fano manifolds in dimension 4 which appear as hypersurfaces in smooth toric Fano varieties. Finally, we relate so-called Tyurin degenerations of Calabi-Yau threefolds to K3 fibrations on their mirror duals and speculate as to the relationship between these K3 surface fibrations and Landau-Ginzburg models, giving a possible answer to a question of Tyurin [141]. We show that this speculative relationship holds in the case of Calabi-Yau threefold hypersurfaces in toric Fano varieties. We show that if V is a hypersurface in a Fano toric variety associated to a polytope ∆, then a bipartite nef partition of ∆ defines a degeneration of V to the normal crossings union of a pair of smooth quasi-Fano varieties and that the same data describes a K3 surface fibration on its Batyrev-Borisov mirror dual. We relate the singular fibers of this fibration to the quasi-Fano varieties involved in the degeneration of V . We then classify all Calabi-Yau threefolds which admit fibrations by mirror quartic surfaces and show that their Hodge numbers are dual to the Hodge numbers of Calabi-Yau threefolds obtained from smoothings of unions of specific blown up Fano threefolds.
TinO2n-1 Magneli phases studied using density functional theory

Defects in the rutile TiO${}_2$ structures have been extensively studied, but the intrinsic defects of the oxygen deficient Ti${}_n$O${}_{2n-1}$ phases have not been given the same amount of consideration. Those structures, known as Magn\'eli phases, are characterized by the presence of ordered planes of oxygen vacancies, also known as shear-planes, and it has been shown that they form conducting channels inside TiO-based memristor devices. Memristors are excellent candidates for a new generation of memory devices in the electronics industry. In this paper we present DFT-based electronic structure calculations for Ti${}_n$O${}_{2n-1}$ Magn\'eli structures using PBESol+U ($0 \leq U \leq 5$ eV) and HSE functionals, showing that intrinsic defects present in these structures are responsible for the appearance of states inside the bandgap, which can act as intrinsic dopants for the enhanced conductivity of TiO${}_2$ memristive devices.