Miracle-dz/UniFAR-FTUs huggingface dataset:
Toward A Practical Multi-party Private Set Union

This paper studies a multi-party private set union ( mPSU ), a fundamental cryptographic problem that allows multiple parties to compute the union of their respective datasets without revealing any additional information. We propose an efficient mPSU protocol which is secure in the presence of any number of colluding semi-honest participants. Our protocol avoids computationally expensive homomorphic operations or generic multi-party computation, thus providing an efficient solution for mPSU . The crux of our protocol lies in the utilization of new cryptographic tools, namely, Member-ship Oblivious Transfer ( mOT ) and Conditional Oblivious Pseudorandom Function ( cOPRF ). We believe that the mOT and cOPRF may be of independent interest. We implement our mPSU protocol and evaluate their performance. Our protocol shows an improvement of up to 55 × and 776 . 18 × bandwidth cost compared to the existing state-of-the-art protocols.
Pulmonary Physiology and Pathophysiology in Obesity Onset of obesity in carboxypeptidase E-deficient mice and effect on airway responsiveness and pulmonary responses to ozone

Richard A. Johnston, Ming Zhu, Christopher B. Hernandez, Erin S. Williams, and Stephanie A. Shore Molecular and Integrative Physiological Sciences Program, Department of Environmental Health, Harvard School of Public Health, Boston, Massachusetts; and Division of Pulmonary, Allergy, and Critical Care Medicine, Department of Internal Medicine, The University of Texas Medical Branch, Galveston, Texas
Moderate-to-vigorous physical activity during recess and physical education among mexican elementary school students (Actividad física moderada a vigorosa durante el recreo y clase de educación física en niños mexicanos de escuela primaria)

Objective: To compare the moderate-to-vigorous physical activity of physical education classes taught by teachers and their students during recess. Method: In order to determine the physical activity intensity the system for observing fitness instruction time (SOFIT) was used, a descriptive cross-sectional comparative methodological design was used, 63 physical education classes were evaluated selecting randomly four students from each class (2 men and 2 women), the same procedure was followed to evaluate the same 4 students during the 30 minutes of recess. Results: The equality of variance was calculated using the Student t test for independent samples resulting a P-value=. 001 α≤ less than 0.05, with a percentage time of moderate-to-vigorous physical activity in physical education classes taught by teachers of 41%±17.7 and performed by students during recess of 50%±10.3, the percentage of difference (Δ%) was of 18% between the variables. Conclusion: The intensity of physical activity during recess was higher without teacher instruction in relation to physical education classes evaluated, due is important a feedback for the teachers in strategies for involving the students in moderate to vigorous physical activity as established by the World Health Organization. Resumen. Objetivo: Comparar la actividad fisica moderada a vigorosa de clases de educacion fisica impartidas por profesores y la intensidad de la actividad fisica de sus estudiantes durante el recreo. Metodo: Se utilizo como instrumento de evaluacion el sistema para observar el tiempo de instruccion de actividad fisica (SOFIT), el diseno metodologico fue transversal descriptivo comparativo, evaluando 63 clases de educacion fisica seleccionado al azar cuatro estudiantes de cada clase (2 hombres y 2 mujeres), el mismo procedimiento se siguio, evaluando a los mismos 4 estudiantes durante los 30 minutos del recreo. Resultados: La igualdad de la varianza se calculo mediante la prueba t Student para muestras independientes resultando una P-Valor=. 001 menor a α≤ 0.05, el porcentaje de tiempo de actividad fisica moderada a vigorosa en las clases de educacion fisica impartidas por profesores fue de 41%±17.7 y la realizada por los estudiantes durante el recreo resulto en 50%±10.3 y un porcentaje de diferencia (Δ%) de 18%. Conclusion: La intensidad de actividad fisica durante el recreo fue mayor sin instruccion docente en relacion a las clases de educacion fisica evaluadas, por lo anterior es importante retroalimentar de manera constructiva la manera de impartir la clase de los profesores mediante capacitacion con estrategias didacticas para involucrar al alumno en actividad fisica moderada a vigorosa como lo establece la Organizacion Mundial de la Salud.
The Qualitative

Abstract Women possess characteristics and experiences unique and different from men. Biological processes such as puberty, menstruation, motherhood and menopause may present challenges to self-management for individuals living with type 1 (T1) diabetes mellitus. In this study, descriptive phenomenology was used to uncover the self-management experiences of nine women aged 22-30 years living with T1 diabetes. Data collection and analysis occurred simultaneously and followed the methodical structure of van Manen (1997). Study findings revealed five themes: 1) elusiveness of control; 2) dualism of technology; 3) forecasting and maintaining routines; 4) dealing with the “ups and downs”; and, 5) interfacing with the health care team. The essence of the experience for participants revolved around trying to achieve a state of “being in balance. ” For these young women, self-management encompassed a desire and need to be in balance with their life and blood sugar levels.
Produtividade e composição química de gramíneas tropicais na Zona da Mata de Pernambuco

This work was carried out to evaluate the productive potencial and chemical composition of five grasses (Pennisetum purpureum Schum. cv. Pioneiro, P. purpureum Schum cv. Mott; Panicum maximum Jacq. cv. Mombaca, P. maximum Jacq cv. Tanzânia, e Brachiaria brizantha (Hochst) Stapf. cv. Marandu). The cuts were performed at 35 days of intervals and 40 cm above ground. Pioneiro showed higher DM yield (7.35 t DM/ha/35 days) when compared to the Dwarf Elephantgrass (5.28 t DM/ha/35 days) and Tanzânia grass (5.23 t DM/ha/35 days), being similar to the others. Brachiaria brizantha presented the highest total tillering (538.72/m²) however the aerial tiller weight was the lowest for this species. The cultivars of P. purpureum showed higher aerial tillering and lower basal tillering, when compared to the cultivars of P. maximum. The CP concentration ranged from 6.96 to 10.20% and the cultivar Pioneiro presented the highest value. No difference was found among the forages for NDF and ADF, and the mean values were 73.83 and 39.20%, respectively. At the evaluated cut interval, the forages presented a high proportion of leaves (> 80%), showing potential to be used on livestock pasture-based operations in the Forest Zone of Pernambuco.
Enhancing emotional communication between autistic and non-autistic individuals through assistive Information Technology

Recognising people’s emotions is a promising research area in human-computer interaction as emotional communication plays a crucial role in humans’ lives. One of the main reasons for ineffective emotional communication is a deficit in understanding emotional signals such as facial expressions and body posture. There is a bidirectional challenge between autistic and non-autistic individuals since they display their emotional signals differently. This thesis discovers differences in emotional signals, in particular facial expressions, body posture, and physiological signals. Based on the interviews and questionnaires conducted in this thesis, the need to design an aid tool to assist autistic and non-autistic participants during their emotional communication is identified. Therefore, Emognition, a smartwatch, and its mobile application is designed to blur these differences and enhance the emotional communication between them. Furthermore, Emognition’s user evaluation indicates that the smartwatch could successfully detect non-autistic participants’ sadness and happiness. Also, they found the mobile application useful and aesthetically motivating to interact with. Even though we could not evaluate how well the Emognition recognises autistic participants’ sadness and happiness, it is promising to measure their emotions successfully by accurate sensors and, more importantly, by finding their autonomic response patterns to different emotions and enhance emotional communication between autistic and non-autistic people by Emognition.
SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle

The Minimum Circuit Size Problem (MCSP) is the task of deciding, given the truth table of a Boolean function f and a size parameter s, whether there is a circuit computing f of size at most s. It has been an open question since Levin’s seminal work on NP-completeness (1973) whether MCSP is NP-complete. This question has drawn further interest in light of recent connections between MCSP, learning theory, average-case complexity, and cryptography. We show that, with probability one, there is a black-box $\mathrm{P} /$ poly (as well as a $\mathrm{PO}^{\mathcal{O}}$) many-one reduction from (unrelativized) SAT to MCSP on circuits with access to a random oracle $\mathcal{O}$. This resolves an open question of Huang, Ilango, and Ren (STOC 2023) who conjectured the existence of such a reduction. Two important ingredients in our proof are 1) a relaxation of symmetry of information that we call pseudo symmetry of information and 2) a subroutine of the reduction that essentially is a cryptographic proof of work. Our reduction yields additive hardness of approximation that is optimal up to a constant factor and extends to a variety of other metacomplexity problems, including computing time-bounded Kolmogorov complexity $\left(\mathrm{K}^{t}\right)$. Applying the random oracle heuristic from cryptography, where one heuristically “instantiates” $\mathcal{O}$ with a real-world cryptographic hash function, we get a plethora of candidate deterministic polynomial-time many-one reductions from SAT to MCSP and $K^{t}$ in the standard unrelativized world. To our knowledge, no candidate reduction from SAT to MCSP or $\mathrm{K}^{t}$ was known previously. Moreover, the hardness of approximation in these candidate reductions would imply the NP-hardness of the gap version of $\mathrm{K}^{t}$ that Hirahara (FOCS 2018) shows has a non-black-box worst-case to average-case reduction. Intriguingly, as a consequence we get that the existence of sufficiently “unstructured” functions implies that a problem with a known (non-black-box) worst-case to average-case reduction is NP-complete.
Assessing Accountant's Satisfaction Through Accounting Benefits and Technology Acceptance Model (TAM) in ERP System Implementation: A Quantitative Study on SMEs in Indonesia

A significant portion of Indonesia's economic growth is contributed by small and medium-sized businesses (SMEs). The technological development nowadays have encouraged them to adapt in order to maintain their sustainability. ERP System has present as one of the information system software package that has been widely implemented by various business organizations. This study aims to test how accountant in SMEs will be satisfied in using ERP System by the accounting benefits provided in four aspects, IT, Operational, Organizational, and Managerial, and the acceptance of using new system by TAM (Technology Acceptance Model) which consists of Perceived Ease of Use (PEOU) and Perceived Usefulness (PU) aspects. The Partial Least Square Structural Equation Model (PLS-SEM) was used as the data analysis technique. The sample consists of 66 respondents (accountants) who operate the ERP System directly at their workplaces. The results show that IT and Managerial Accounting Benefits and TAM (PEOU and PU) do not significantly affect accountant satisfaction. Meanwhile, Operational and Organizational Accounting Benefits positively affect accountant satisfaction.
The Potential Use of Remotely Sensed Soil Moisture Estimates in Hydrological Modelling

This study aims to investigate the potential use of remotely sensed soil moisture (RSSM) estimates in calibrating a hydrological model in the Upper Peradeniya Catchment area in the Mahaweli Basin, a significant contributor to Sri Lanka’s economy. Hydrological observations in various kinds are essential for constraining a reliable set of parameters for hydrological simulations. Soil moisture, which is listed among the fifty essential climate variables by the Global Climate Observing System, plays a crucial role in this process. Due to practical issues, when estimating the spatial and temporal distribution of soil moisture in basin-scale hydrological modelling, RSSM products are a viable solution over in-situ measurements. In this study, the ABCD hydrological model was used to simulate soil moisture in different seasons of the watershed. Finally, the RSSM data from Soil Moisture Active Passive (SMAP L4) satellite were integrated with the soil moisture estimations from the hydrological model to recalibrate the parameters. The findings of this study suggest that the integration of SMAP L4 to the ABCD model has no significant impact in enhancing the accuracy. However, the study highlights the importance of using multiple inputs in hydrological model calibration to enhance the reliability in final output.
PMA: A Persistent Memory Allocator with High Efficiency and Crash Consistency Guarantee

Byte-addressable persistent memory (PM) exhibits salient features of low latency and high capacity. PM can be memory-mapped to the virtual address space of a process and be directly accessed via load and store instructions. Persistent memory allocator is a fundamental building block in PM-oriented programs, which provides dynamic memory allocation/deallocation primitives for developers to efficiently and safely leverage the PM. Different from DRAM allocators, a PM allocator needs to guarantee the integrity and consistency of metadata in the face of a crash. To this end, we propose a high-efficiency PM allocator, called PMA, with crash consistency guarantee. PMA uses a two-level memory management strategy and sets up a private memory pool for each thread to achieve low fragmentation and high concurrency. Furthermore, PMA employs per-thread write-ahead undo log to protect the integrity and consistency of metadata against crashes. PMA also designs a lightweight persistent pointer to reference an allocated persistent memory object across runtimes. PMA is implemented as an easy-to-use library that is independent of specific PM platforms. Extensive evaluation results on a real PM platform demonstrate the efficiency and efficacy of our proposed PMA, compared with state-of-the-art log-based PM allocators.
RRI Adaptive: A Standards Compliant Approach for Equitable and Stable Congestion Control in C-V2X Networks

A key topic of interest in all vehicular networking technologies is their ability to deal with dense radio environments as widespread deployment becomes a reality. This requires congestion control mechanisms to maintain adequate communication performance. The current Cellular Vehicle-to-Everything (C-V2X) and its successor New Radio V2X (NR-V2X) standardised congestion control approach is table-based, utilising packet dropping. As shown in past works by the authors of this paper, these approaches exhibit congestion instability and require extensive configuration. To overcome this, algorithmic approaches were standardised, namely ETSI’s DCC Adaptive. Although this can be effective for wireless vehicular communications, it cannot be applied directly to NR-V2X/C-V2X due to incompatibility with the underlying radio scheduling approach, Sensing-Based Semi-Persistent Scheduling (SB-SPS). In previous work, the authors of this paper investigated in detail why this is the case and proposed an algorithmic approach that was compatible with the SB-SPS scheduler, namely RRIAdaptive. This paper provides an in-depth evaluation of RRIAdaptive. Importantly, its efficacy is evaluated not simply from the perspective of maintaining a desired channel load, but also from the perspective of maintaining effective application quality of service. This paper also describes the first study of fairness and stability in the context of C-V2X/NR-V2X congestion control. These are of increased importance, given dynamic channel conditions in vehicular scenarios, and reduced awareness due to degraded quality of service or vehicles starved of radio resources, may increase the likelihood of collisions.
Beyond Compression Ratio: A Throughput Analysis of Memory Compression Techniques for GPUs

Memory compression is increasingly used as a technique to synthetically increase the off-chip memory bandwidth of GPUs by transferring data in a compressed format between on-chip and off-chip memory. The increased memory bandwidth results in a speedup for the bandwidth-limited applications. State-of-the-art memory compression techniques often target a high compression ratio, however, a high compression ratio alone is not sufficient for full integration into throughput-oriented GPUs. To deploy a memory compression technique, the throughput of the compression technique has to keep up with the bandwidth of the off-chip memory of GPUs. Unfortunately, the throughput of the state-of-the-art memory compression techniques is often not discussed in detail and mostly the emphasis is only placed on the achieved compression ratio. In this work, we present a throughput analysis of several state-of-the art memory compression techniques and study their capability to match modern GPUs memory bandwidth. We implement several memory compression techniques in hardware and synthesize designs using Synopsys Design Compiler with 14 nm ASIC libraries to analyze the throughput, area, and power consumption. Our analysis shows that simple compression techniques that have moderate compression ratios but higher throughput are more suitable for practical implementation in GPUs considering the area (up to 11.8× lower), power consumption (up to 7× lower), and the complexity of implementation.
Assessment of riparian conditions in the Nooksack River Basin with the combination of LiDAR, multi-spectral imagery and GIS

iv Acknowledgments v List of Figures viii List of Tables ix 1.0 Introduction 1 1.1 Research Objectives 2 1.2 Study Area 3 2.0 Background 6 2.1 Riparian Forests 6 2.2 LWD Function 9 2.3 Shade Function 10 2.4 Riparian Assessment 11 2.5 Restoration Strategies 12 2.6 Image Assessment 13 2.6. 1 LiDAR 13 2.6. 2 Multi-spectral Imagery 15 2.6. 3 Data Fusion 18 3.0 Materials and Methods 20 3.1 Materials: Data sources 20 3.1.1 LiDAR 20 3.1.2 WorldView-2 23 3.1. 3 GIS data 23 3.1. 4 Field data 23 3.2 Methods 25 3.2.1 Image pre-processing 26 3.2.2 Image Segmentation 32 3.2.3 Image Classification 36 4.0 Results 39 4.1 Field Summary 39 4.2 Correlations between LiDAR and field based forest metrics 42
A New Framework for RTL Test Points Insertion Facilitating a “Shift-Left DFT” Strategy

This paper proposes a new framework for inserting test points at RTL (Register Transfer Level) enabling better Power-Performance-Area-Testability (PPAT) optimization during synthesis and yielding quick turn-around time and faster Time-to-Market (TTM). It introduces the concept of editable nodes in RTL designs and avoids locations that are difficult to modify. Early identification of editable nodes in the RTL to guide and drive the test point analysis engine helps in improving the quality of test points inserted into the design. In addition, the proposed methodology involves optimization of the RTL, a quick synthesis of the design, and test point analysis at the netlist-level by avoiding locations that are pre-marked as ‘don't-touch’. Once the test point locations are identified in an internal unmapped gate representation, they are back annotated and inserted in the RTL. Some locations can be directly mapped back, whereas some other locations can be mapped back to expression and sub-expression boundaries in RTL with the help of additional information that is exported during the logic synthesis step. Experimental results on several industrial designs show that the effectiveness of test points inserted at RTL closely matches their counterparts at the gate-level with added benefits of better area, timing, test coverage, and pattern count optimization early in the design flow.
Factors that Influence Innovation Acceptance on Bioactive Paper for Fruit Shelf Life Extension

Bioactive paper is an innovation that slows down the bacterial growth of vegetables and fruits. This innovation has not been used widely. Therefore, this research paper studies factors influencing user acceptance of Bioactive papers. A qualitative method was used, and the samples were divided into consumers and entrepreneurs. Purposive sampling was used to select a group of participants who met the needs of the research. Consumers and entrepreneurs were given Bioactive papers to try for 14 days. The survey results revealed that consumers and entrepreneurs agreed that innovations could be used but could not accept the purchase due to the innovation's limited uses. Therefore, the suggestion is that innovation should be brought back to improve and develop. To be able to meet the needs of consumers better than ever for the acceptance of future innovations.
DCR: Decomposition-Aware Column Re-Mapping for Stuck-At-Fault Tolerance in ReRAM Arrays

The ReRAM-based neuromorphic computing system (NCS) has been widely used as an energy-efficient platform for deep neural network (DNN) acceleration. However, ReRAM commonly suffers from stuck-at-fault (SAF), resulting in permanent device failure. SAF tolerance is an essential task to ensure the reliability of the system by minimizing the DNN inference accuracy degradation. Since hardware-based solutions incur additional overhead and power consumption, it is necessary to seek a solution that can be executed offline to mitigate the impact of SAF. In this work, we propose a decomposition-aware column re-mapping (DCR) for SAF tolerance in analog ReRAM arrays (RAs). Our DCR consists of the column re-mapping technique combined with fault-aware weight decomposition and an advanced sensitivity metric. As a result, it generates a final weight map optimized for the fault map. Our DCR achieves only about 1% loss of inference accuracy on CIFAR-10 and CIFAR-100 for the analog RAs with the SAF rate of 2% and 1%, respectively, without any hardware-based solution or re-training.
Trajectory Prediction for Surrounding Traffic Participants via Local Perception and Attentive Map Encoding

Predicting the trajectory of the surrounding traffic participants is a pivotal factor in autonomous driving. The prevalent methods in trajectory prediction hinge upon offline pre-stored high-precision maps to incorporate driving environment data. However, updating high-precision map in real time is a huge challenge in real-world scenarios. Based on the observation, we propose a novel local perception-based trajectory prediction method, which utilizes a bird’s eye view (BEV) local perception map to replace the demand for high-precision map. Our BEV local perception map is built by leveraging sensor perception information, including semantic segmentation, 3D object detection and lidar point cloud data. Then, an attentive map encoding (AME) module is designed to extract the traffic environment features from the local perception map. Finally, an encoder-decoder structure based on Transformer is applied to achieve the trajectory prediction. Comprehensive experiments are conducted on the nuScenes dataset, demonstrating that our method can maintain prediction accuracy while avoiding dependence on high-precision maps.