Miracle-dz/UniFAR-FTUs huggingface dataset:
The Role of Social Networks in the Sustainability Transformation of Cabo Pulmo: A Multiplex Perspective

ABSTRACT Langle-Flores, A. ; Ocelík, P., and Pérez-Maqueo, O. , 2017. The role of social networks in the sustainability transformation of Cabo Pulmo: A multiplex perspective. In: Martinez, M.L. ; Taramelli, A. , and Silva, R. (eds.), Coastal Resilience: Exploring the Many Challenges from Different Viewpoints. Journal of Coastal Research, Special Issue No. 77, pp. 134–142. Coconut Creek (Florida), ISSN 0749-0208. Coastal tourism is often caught in a crossfire between economic benefits, ecological impacts and social tensions. Development of large-scale resorts can reduce the provision of certain ecosystem services and threat local people's livelihoods. Social networks might influence the transitions of governance systems into new adaptive models. We focus on the role of multiplex networks in the process of sustainability transformation by examining social networks that protected a marine reserve against the construction of a large scale development. The multiplex network exhibited a structure with five blocks: “scale-crossing brokers”, “visible leaders”, “ecosystem managers”, “visionaries” and “public sector”. This last block was structurally isolated from the rest of organizations. Multiplex networks facilitated the coordinated mobilization of information and resources across spatial scales. “Scale-crossing brokers” with the aid of “visible leaders” propelled up the local conflict toward national and global arenas, affecting the decision of Mexico's federal government to annul large scale resort's construction. Understanding the social processes that enable adaptive governance systems is crucial for sustainability transformations and resilience of coastal ecosystems.
Pengaruh Gaya Kepemimpinan Partisipatif, Motivasi, dan Lingkungan Kerja Terhadap Kinerja Karyawan Milenial di Banyuwangi

This research is a case study research carried out in 2022. The aim of this research is to assess whether participative leadership, motivation and work environment have a positive effect on the performance of millennial employees in Banyuwangi. Millennial employees in Banyuwangi are the younger generation of employees aged 20 to 28 years. To obtain data, this research used a questionnaire technique with a 5 point likert scale. The data analysis technique used in this research is descriptive analysis using partial least squares (PLS) warp analysis. The research results show that participative leadership, motivation and work environment have a positive effect on the performance of millennial employees in Banyuwangi.
ARS-Flow: A Design Space Exploration Flow for Accelerator-rich System based on Active Learning

Surrogate model-based design space exploration (DSE) is the mainstream method to search for optimal microarchitecture designs. However, it is hard to build accurate models for accelerator-rich systems within limited samples due to its high dimensional characteristic. Moreover, it is easy to fall into local optimal or difficult to converge. To solve these two problems, we propose a DSE flow based on active learning, namely ARS-Flow. It is featured with Pareto-region-oriented stochastic resampling method (PRSRS) and multiobjective genetic algorithm with self-adaptive hyperparameter control (SAMOGA). Taking the gem5-SALAM system for illustration, the proposed method can build more accurate models and find better microarchitecture designs with acceptable runtime costs.
Synthesis and Evaluation of Paeonol Derivatives as Potential Multifunctional Agents for the Treatment of Alzheimer’s Disease

Alzheimer’s disease (AD) is a progressive neurodegenerative brain disorder characterized by memory loss, language impairment, personality changes and intellectual decline. Taking into account the key pathological features of AD, such as low levels of acetylcholine, beta-amyloid (Aβ) aggregation, oxidative stress and dyshomeostasis of biometals, a new series of paeonol derivatives 5a–5d merging three different functions, i.e., antioxidant, anti-acetylcholinesterase (AChE) activity, metal chelating agents for AD treatment have been synthesized and characterized. Biological assays revealed that compared with paeonol (309.7 μM), 5a–5d had a lower DPPH IC50 value (142.8–191.6 μM). 5a–5d could significantly inhibit hydrogen peroxide-induced neuronal PC12 cell death assessed by MTT assay in the concentration range of 5–40 μM. AChE activity was effectively inhibited by 5a–5d, with IC50 values in the range of 0.61–7.04 μM. 5a–5d also exhibited good metal-chelating ability. All the above results suggested that paeonol derivatives may be promising multifunctional agents for AD treatment.
Co-simulation of components, controls and power systems based on open source software

There exists no universal tool to analyze the increasing complexity in smart grids. Domain specific simulation and engineering tools partly address the challenges of complex system behavior. Different component technologies, customer behavior and controls in the power networks are interacting in a highly dynamic manner. Results of isolated simulations may be not accurate enough on the system level. Free and open available tools like GridLAB-D, PSAT, OpenModelica and 4DIAC are well known and widely used because of their excellent domain specific expertise. With co-simulation approaches the individual strengths of each tool can be exploited to model and simulate the various aspects of complex smart grids. The achieved level of detail and realism potentially surpasses the results that the individual analyses would gain. This paper demonstrates a local smart charging control strategy implemented with the IEC 61499-based standard for distributed control systems. It is simulated with different electric vehicle driving patterns, modeled with the multi-agent environment GridLAB-D. Battery models are defined in OpenModelica and embedded as individual dynamic loads. The power system is simulated using PSAT. This work shows that boundaries and restriction in terms of modeling cross-domain specific problems can be overcome by coupling these open source applications.
EFFICIENT PART-BASED 3D OBJECT REPRESENTATION FROM SINGLE VIEWPOINT RANGE IMAGE

This paper addresses the problem of representing 3D objects for the purpose of recognition from single viewpoint range data by using hierarchical surface and volumetric descriptions. We assumed that our target 3D objects are composed of convex volumetric primitive parts and can be modeled by superquadrics, which are composed together in a solid constructive modeling manner using union operation. For the volumetric description, we used a modified superquadric-based recover-and-select segmentation paradigm which takes input as a 3D range image. We segmented and decomposed the input object into several parts because superquadrics can be recovered directly from range data without considering any other geometric models. For each decomposed volumetric superquadric part, we calculate both surface normals and curvatures to describe surface type and surface relationships for the next recognition level. The proposed system has been tested on both synthetic and real range images, and the related experimental results are presented.
Examining the impact of different street classification scenarios on active transportation equity. Insights from Athens, Greece

Transport equity is an essential characteristic of a just city and a concept related to social inclusion. This study examined how different street classification scenarios will affect active transportation equity. Four different scenarios with different planning rationales were developed that reformulate the street classification in a municipality within a metropolitan area, i.e., Kallithea in Athens, Greece. These scenarios give rise to new street categories that reallocate street space favoring active transport users. The evaluation of active transportation equity was carried out by utilizing spatial analysis and welfare economics through the lens of egalitarian and sufficientarian approaches. Based on the results, scenarios that propose new urban centers as well as a readable street classification with traffic calming zones determined by ring roads seem to be more efficient in accommodating vulnerable users in an equitable way. Hence, new planning schemes should rely on active modes, leaving automobiles behind. In general, measuring the impact of street classification scenarios through the lens of equity is critical for improving the quality of life in cities. Additionally, it is noteworthy knowledge for policy makers, planners, and local administrators. Finally, this research may inspire new studies, enriching the scientific debate.
Automatic Saline Monitoring System Using IoT

The need for health prevention is raising every day as the earth's population rises. Thus, everyone in our planet must take adequate care of their health. Due to technical breakthroughs in the domains medical treatment has improved fast in recent years, using sensors, microcontrollers, and computers to ensure quick patient recovery in hospitals. Every patient should receive better care, better monitoring, and the proper amount of essential nutrients at the proper time. By using an Internet of Things (IoT) to remotely monitor the saline system, the suggested method makes it possible to regulate saline drip rate using an improved technique. The suggested system includes a sensor for determining when the saline liquid level in the saline container has decreased to a risky level and a mechanism for stopping the saline flow automatically once the saline bottle is fully empty or at a specific level. The patients will benefit much from this, especially at night. Additionally, because air bubbles in blood may instantly kill a patient, this technique eliminates the deadly chance of their getting into their circulation. Such a gadget will guarantee that patients won't suffer any damage.
Reverse Execution of Java Bytecode

We demonstrate a model, including operational semantics, for the reverse execution of stack-based code. We discuss our modification of the Kaffe implementation of the Java Virtual Machine, supporting a debugger capable of running Java bytecode backwards. We achieve reverse execution by logging the state lost during each operation or by directly reversing instructions. Our debugger has facilities for stepping, stepping over methods and running to breakpoints, in both directions. Multi-threading is supported. It is also possible to step through the bytecode when the Java source code is not available. The debugger has both a command line user interface and a graphical user interface with facilities for editing code and running the Java compiler.
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL

A formal and automatic verification of a real-life protocol is presented. The protocol, about 2800 lines of assembler code, has been used in products from the audio/video company Bang & Olufsen throughout more than a decade, and its purpose is to control the transmission of messages between audio/video components over a single bus. Such communications may collide, and one essential purpose of the protocol is to detect such collisions. The functioning is highly dependent on real-time considerations. Though the protocol was known to be faulty in that messages were lost occasionally, the protocol was too complicated in order for Bang & Olufsen to locate the bug using normal testing. However using the real-time verification tool UPPAAL, an error trace was automatically generated, which caused the detection of "the error" in the implementation. The error was corrected and the correction was automatically proven correct, again using UPPAAL. A future, and more automated, version of the protocol, where this error is fatal, will incorporate the correction. Hence, this work is an elegant demonstration of how model checking has had an impact on practical software development. The effort of modeling this protocol has in addition generated a number of suggestions for enriching the UPPAAL language. Hence, it's also an excellent example of the reverse impact.
Optimal scheduling of biochemical analyses on digital microfluidic systems

Digital microfluidic systems (DMFS) are an emerging class of lab-on-a-chip systems that manipulate individual droplets of chemicals on a planar array of electrodes. The biochemical analyses are performed by repeatedly moving, mixing, and splitting droplets on the electrodes. In this paper, we focus on minimizing the completion time of biochemical analyses by exploiting the parallelism among the operations. We consider a binary tree representation of chemical analyses to schedule operations. Using pipelining, we overlap mixing operations with input and transportation operations. We find the lower bound of the mixing completion time according to the tree structure of given reactions, and calculate the minimal number of mixers S required to achieve the lower bound. We present a scheduling algorithm for the case with a specified number of mixers no more than S, and prove it is optimal to minimize the mixing completion time. We also analyze resource constraint issues for two extreme cases. For the case with one mixer, we prove that all schedules result in the same mixing completion time as long as the mixer is kept busy at all times and then design a scheduling algorithm to minimize the number of storage units. For the case with zero storage units, we find the minimum number of mixers required. Finally, we demonstrate the benefits of our scheduling methods on an example of DNA polymerase chain reaction (PCR) analysis.
Lifelong Educational and Decolonization Programs for the Batwa Indigenous People of Southwestern Uganda

This article is based on a study conducted among the Batwa Indigenous people in southwestern Uganda between 2021 and 2022. The study aimed to explore culturally relevant lifelong education and decolonization programs for the Batwa people. Using indigenous research methodology, 60 participants comprising of elders, parents, children and teachers were recruited from the Batwa community for the study. We used Egalitarian liberalism and justice in education (ELJE) theory as analytical framework. Key findings demonstrate that participants were conscious of the challenges faced by their community and collectively brainstormed practical redress measures. These measures include but are not limited to setting up an entrepreneurship education program, vocational and skilling programs, and promotion of Rutwa language. Besides, some specific Batwa life skills identified by participants are briefly described as imperative for integration in the schooling system to achieve the decolonization mission
18F-FDG PET Uptake Characterization Through Texture Analysis: Investigating the Complementary Nature of Heterogeneity and Functional Tumor Volume in a Multi–Cancer Site Patient Cohort

Intratumoral uptake heterogeneity in 18F-FDG PET has been associated with patient treatment outcomes in several cancer types. Textural feature analysis is a promising method for its quantification. An open issue associated with textural features for the quantification of intratumoral heterogeneity concerns its added contribution and dependence on the metabolically active tumor volume (MATV), which has already been shown to be a significant predictive and prognostic parameter. Our objective was to address this question using a larger cohort of patients covering different cancer types. Methods: A single database of 555 pretreatment 18F-FDG PET images (breast, cervix, esophageal, head and neck, and lung cancer tumors) was assembled. Four robust and reproducible textural feature–derived parameters were considered. The issues associated with the calculation of textural features using co-occurrence matrices (such as the quantization and spatial directionality relationships) were also investigated. The relationship between these features and MATV, as well as among the features themselves, was investigated using Spearman rank coefficients for different volume ranges. The complementary prognostic value of MATV and textural features was assessed through multivariate Cox analysis in the esophageal and non–small cell lung cancer (NSCLC) cohorts. Results: A large range of MATVs was included in the population considered (3–415 cm3; mean, 35; median, 19; SD, 50). The correlation between MATV and textural features varied greatly depending on the MATVs, with reduced correlation for increasing volumes. These findings were reproducible across the different cancer types. The quantization and calculation methods both had an impact on the correlation. Volume and heterogeneity were independent prognostic factors (P = 0.0053 and 0.0093, respectively) along with stage (P = 0.002) in non–small cell lung cancer, but in the esophageal tumors, volume and heterogeneity had less complementary value because of smaller overall volumes. Conclusion: Our results suggest that heterogeneity quantification and volume may provide valuable complementary information for volumes above 10 cm3, although the complementary information increases substantially with larger volumes.
Temporal Control In the EyeHarp Gaze-Controlled Musical Interface

In this paper we describe the EyeHarp, a new gaze-controlled musical instrument, and the new features we recently added to its design. In particular, we report on the EyeHarp new controls, the arpeggiator, the new remote eye-tracking device, and the EyeHarp capacity to act as a MIDI controller for any VST plugin virtual instrument. We conducted an evaluation of the EyeHarp Temporal accuracy by monitoring 10 users while performing a melody task, and comparing their gaze control accuracy with their accuracy using a computer keyboard. We report on the results of the evaluation.
FineMap: A Fine-grained GPU-parallel LUT Mapping Engine

Lookup-table (LUT) mapping is an indispensable step in FPGA design flows, and also serves as a building block in many technology-independent optimization algorithms. Therefore, it is crucial to accelerate LUT mapping in order to satisfy the demand for synthesizing high-quality, large-scale VLSI designs. Previous work on GPU LUT mapping suffers from low speedup due to limited degree of parallelism. In this paper, we propose an ultra-fast GPU-parallel LUT mapping engine named FineMap, which is composed of a novel fine-grained mapping phase with a high degree of parallelism, a parallel cut expansion phase and a parallel timing analysis pass. The mapping phase is enhanced by specifically tailored cut evaluation and memory management algorithms for GPUs that enable fast mapping of large circuits with limited GPU memory. Experiments show that compared with the high-performance mapper implemented in ABC, FineMap achieves 128.7× speedup with better quality in terms of area on large benchmarks.
Micellar electrokinetic chromatography: A convenient alternative to colorimetric and high performance liquid chromatographic detection to monitor protease activity

High performance capillary electrophoresis (HPCE) has been exploited as an analytical method alternative to current procedures for the determination of proteolytic activity of elastases from different sources. Due to some drawbacks with capillary zone electrophoresis (CZE), the mode of operation employed for the assay of elastolytic activity was micellar electrokinetic chromatography (MEKC). Using a background electrolyte consisting of 35 mM sodium tetraborate, pH 9.3, containing 65 mM SDS and 15% v/v methanol, separation of intact peptide substrate from products of proteolytic reaction was easily achieved in a fused‐silica capillary of 50 cm effective length × 75 μm ID. This allowed us to determine the rate of hydrolysis of substrates and to calculate the kinetic parameters Km and kcat of the proteases investigated. A comparison of these data with those obtained from high performance liquid chromatography (HPLC)‐based experiments showed that MEKC is a convenient technique for studying protease kinetics.
Scheduled Routing in an Optical Hypercube

In this work we present an all-optical hypercube architecture and a systolic routing protocol for it. An r-dimensional optical hypercube network (OHC) consists of N = 2r processing nodes and r2r optical links. We study a systolic routing protocol that is based on cyclic changes of states of routers and scheduled sendings of packets. The protocol ensures that no electro-optical conversions are needed in the intermediate routing nodes and all the packets injected into the routing machinery reach their targets without collisions. A work-optimal routing of an h-relation is achieved with a reasonable size of h in omega(NlogN).
Novel View Synthesis and Dataset Augmentation for Hyperspectral Data Using NeRF

Hyperspectral data for the 3D domain is relatively difficult to acquire. Existing hyperspectral datasets are unsuitable for 3D research, suffer from issues of severe data scarcity, and a lack of multi-perspective images of the same object, etc. To address these challenges, data augmentation with limited data is essential. In this study, we applied neural rendering method (such as Neural Radiance Field) to hyperspectral images for dataset augmentation. We conducted experiments on novel view synthesis for hyperspectral images from 360-degree multi-perspectives, demonstrating that our method can generate high-quality hyperspectral images from various perspectives. Through experiments involving key points extraction and 3D reconstruction, we validated the efficacy of generating a substantial volume of high-quality hyperspectral images from a restricted set of varying perspectives. These results contribute to addressing the challenges associated with data augmentation. We also conducted experiments of neural radiance fields in the hyperspectral data domain under different network parameters and training conditions to find the appropriate settings.
A Flexible Client-Driven 3DTV System for Real-Time Acquisition, Transmission, and Display of Dynamic Scenes

Abstract3D experience and free-viewpoint navigation are expected to be two essential features of next generation television. In this paper, we present a flexible 3DTV system in which multiview video streams are captured, compressed, transmitted, and finally converted to high-quality 3D video in real time. Our system consists of an camera array, 16 producer PCs, a streaming server, multiple clients, and several autostereoscopic displays. The whole system is implemented over IP network to provide multiple users with interactive 2D/3D switching, viewpoint control, and synthesis for dynamic scenes. In our approach, multiple video streams are first captured by a synchronized camera array. Then, we adopt a lengthened-B-field and region of interest- (ROI-) based coding scheme to guarantee a seamless view switching for each user as well as saving per-user transmission bandwidth. Finally, a convenient rendering algorithm is used to synthesize a visually pleasing result by introducing a new metric called Clarity Degree (CD). Experiments on both synthetic and real-world data have verified the feasibility, flexibility, and good performance of our system.