Miracle-dz/UniFAR-FTUs huggingface dataset:
Grading of Frequency Spectral Centroid Across Resting-State Networks

Ongoing, slowly fluctuating brain activity is organized in resting-state networks (RSNs) of spatially coherent fluctuations. Beyond spatial coherence, RSN activity is governed in a frequency-specific manner. The more detailed architecture of frequency spectra across RSNs is, however, poorly understood. Here we propose a novel measure–the Spectral Centroid (SC)–which represents the center of gravity of the full power spectrum of RSN signal fluctuations. We examine whether spectral underpinnings of network fluctuations are distinct across RSNs. We hypothesize that spectral content differs across networks in a consistent way, thus, the aggregate representation–SC–systematically differs across RSNs. We therefore test for a significant grading (i.e., ordering) of SC across RSNs in healthy subjects. Moreover, we hypothesize that such grading is biologically significant by demonstrating its RSN-specific change through brain disease, namely major depressive disorder. Our results yield a highly organized grading of SC across RSNs in 820 healthy subjects. This ordering was largely replicated in an independent dataset of 25 healthy subjects, pointing toward the validity and consistency of found SC grading across RSNs. Furthermore, we demonstrated the biological relevance of SC grading, as the SC of the salience network–a RSN well known to be implicated in depression–was specifically increased in patients compared to healthy controls. In summary, results provide evidence for a distinct grading of spectra across RSNs, which is sensitive to major depression.
The linkage between TMT knowledge diversity and firm-level innovation: the role of organisational search scope and managerial discretion

In this study, we develop a new perspective on the linkage between the knowledge base of the top management team (TMT) and innovation performance. Using longitudinal data on the patent activities of 120 firms in US manufacturing industries, we find that the knowledge diversity based on a TMT's prior experiences affects organisational innovation. Specifically, firms can achieve greater innovativeness if their top teams have a higher degree of knowledge diversity, i.e., a more generalised knowledge base. In addition, the degree of organisational search scope positively moderates this linkage between TMT knowledge diversity and firm innovation. In addition, we also found that the degree of managerial discretion at the industry level enhances the linkage between TMT knowledge diversity and firm innovation.
Local and Hierarchical Refinement for Subdivision Gradient Meshes

Gradient mesh design tools allow users to create detailed scalable images, traditionally through the creation and manipulation of a (dense) mesh with regular rectangular topology. Through recent advances it is now possible to allow gradient meshes to have arbitrary manifold topology, using a modified Catmull‐Clark subdivision scheme to define the resultant geometry and colour [ LKSD17 ]. We present two novel methods to allow local and hierarchical refinement of both colour and geometry for such subdivision gradient meshes. Our methods leverage the mesh properties that the particular subdivision scheme ensures. In both methods, the artists enjoy all the standard capabilities of manipulating the mesh and the associated colour gradients at the coarsest level as well as locally at refined levels. Further novel features include interpolation of both position and colour of the vertices of the input meshes, local detail follows coarser‐level edits, and support for sharp colour transitions, all at any level in the hierarchy offered by subdivision.
Complete Genome Sequence Analysis of Two Divergent Groups of Sweet potato chlorotic fleck virus Isolates Collected from Korea

The Sweet potato chlorotic fleck virus (SPCFV), of the genus Carlavirus (family Betaflexiviridae), was first detected as one of several viruses infecting sweet potatoes (Ipomea batatas L.) in Korea. Out of 154 sweet potato samples collected in 2012 that were showing virus-like symptoms, 47 (31%) were infected with SPCFV, along with other viruses. The complete genome sequences of four SPCFV isolates were determined and analyzed using previously reported genome sequences. The complete genomes were found to contain 9,104-9,108 nucleotides, excluding the poly-A tail, containing six putative open reading frames (ORFs). Further, the SPCFV Korean isolates were divided into two groups (Group I and Group II) by phylogenetic analysis based on the complete nucleotide sequences; Group I and Group II had low nucleotide sequence identities of about 73%. For the first time, we determined the complete genome sequence for the Group II SPCFV isolates. The amino acid sequence identity in coat proteins (CP) between the two groups was over 90%, whereas the amino acid sequence identity in other proteins was less than 80%. In addition, SPCFV Korean isolates had a low amino acid sequence identity (61% CPs and 47% in the nucleotide- binding protein [NaBp] region) to that of Melon yellowing-associated virus (MYaV), a typical Carlavirus.
9 . Just 5 Questions: Toward a Design Framework for Immersive Analytics

We present an initial design framework for immersive analytics based on Brehmer and Munzner’s “ W hat-Why-How” data visualisation framework. We extend their framework to take into account Who are the people or teams of people who are going to use the system, and Where is the system to be used and what are the available devices and technology. In addition, the How component is extended to cater for collaboration, multisensory presentation, interaction with an underlying computational model, degree of fidelity and organisation of the workspace around the user. By doing so we provide a framework for understanding immersive analytics research and applications as well as clarifying how immersive analytics differs from traditional data visualisation and visual analytics.
AnyDSL: a partial evaluation framework for programming high-performance libraries

This paper advocates programming high-performance code using partial evaluation. We present a clean-slate programming system with a simple, annotation-based, online partial evaluator that operates on a CPS-style intermediate representation. Our system exposes code generation for accelerators (vectorization/parallelization for CPUs and GPUs) via compiler-known higher-order functions that can be subjected to partial evaluation. This way, generic implementations can be instantiated with target-specific code at compile time. In our experimental evaluation we present three extensive case studies from image processing, ray tracing, and genome sequence alignment. We demonstrate that using partial evaluation, we obtain high-performance implementations for CPUs and GPUs from one language and one code base in a generic way. The performance of our codes is mostly within 10%, often closer to the performance of multi man-year, industry-grade, manually-optimized expert codes that are considered to be among the top contenders in their fields.
Mechanical and surface properties analysis of restorative materials submitted to erosive challenges in situ

ABSTRACT Objective: This study aims to evaluate the effect of acidic solutions (AS) on surface roughness (Ra) and microhardness of restorative materials (RM). Materials and Methods: Eight volunteers wore intraoral palatal devices (IPD) containing samples of RM: Ketac Nano (KN); Ketac Nano + Biscover LV (KN-B); Esthet-X (EX); Esthet-X + Biscover LV (EX-B); Supreme XT (SXT); Supreme XT + Biscover LV (SXT-B); and bovine enamel. The samples were submitted to three phases: (1) immersion in 0.01M hydrochloric acid (HCl) – 10 min, three times/day (14 days); (2) immersion in soft drink (Sprite®) – 10 min, three times/day (14 days); and (3) keeping in saliva (14 days). Changes in Ra/microhardness were measured before/after the three phases. Statistical Analysis: ANOVA (α = 0.05) and Fisher's test. Results: Materials sealed with Biscover LV (B) presented lowest values in all periods. KN glass ionomer cement showed highest Ra values after exposure in AS. Application of B did not reduce the Ra for the composites studied, except for EX after immersion in HCl. AS promoted changes in Ra/microhardness of RM, except for sealed materials. Conclusions: The acids used were able to change the Ra and microhardness of RM, except of the sealed materials. The resin-modified GIC showed the most significant changes after immersion in AS; and the composites sealed with B, even after immersion in acidic solutions (AS), showed the lowest Ra values and the least degradation in microhardness, especially when subjected to low pH solutions.
Instant Stippling on 3D Scenes

In this paper, we present a novel real‐time approach to generate high‐quality stippling on 3D scenes. The proposed method is built on a precomputed 2D sample sequence called incremental Voronoi set with blue‐noise properties. A rejection sampling scheme is then applied to achieve tone reproduction, by thresholding the sample indices proportional to the inverse target tonal value to produce a suitable stipple density. Our approach is suitable for stippling large‐scale or even dynamic scenes because the thresholding of individual stipples is trivially parallelizable. In addition, the static nature of the underlying sequence benefits the frame‐to‐frame coherence of the stippling. Finally, we propose an extension that supports stipples of varying sizes and tonal values, leading to smoother spatial and temporal transitions. Experimental results reveal that the temporal coherence and real‐time performance of our approach are superior to those of previous approaches.
Perceptual Hashing Based Forensics Scheme for the Integrity Authentication of High Resolution Remote Sensing Image

High resolution remote sensing (HRRS) images are widely used in many sensitive fields, and their security should be protected thoroughly. Integrity authentication is one of their major security problems, while the traditional techniques cannot fully meet the requirements. In this paper, a perceptual hashing based forensics scheme is proposed for the integrity authentication of a HRRS image. The proposed scheme firstly partitions the HRRS image into grids and adaptively pretreats the grid cells according to the entropy. Secondly, the multi-scale edge features of the grid cells are extracted by the edge chains based on the adaptive strategy. Thirdly, principal component analysis (PCA) is applied on the extracted edge feature to get robust feature, which is then normalized and encrypted with secret key set by the user to receive the perceptual hash sequence. The integrity authentication procedure is achieved via the comparison between the recomputed perceptual hash sequence and the original one. Experimental results have shown that the proposed scheme has good robustness to normal content-preserving manipulations, has good sensitivity to detect local subtle and illegal tampering of the HRRS image, and has the ability to locate the tampering area.
The next 700 unit of measurement checkers

In scientific applications, physical quantities and units of measurement are used regularly. If the inherent incompatibility between these units is not handled properly it can lead to major, sometimes catastrophic, problems. Although the risk of a miscalculation is high and the cost equally so, almost none of the major programming languages has support for physical quantities. Instead, scientific code developers often make their own tools or rely on external libraries to help them spot or prevent these mistakes. We employed a systematic approach to examine and analyse all available physical quantity open-source libraries. Approximately 3700 search results across seven repository hosting sites were condensed into a list of 82 of the most comprehensive and well-developed libraries currently available. In this group, 30 different programming languages are represented. Out of these 82 libraries, 38 have been updated within the last two years. These 38 are summarised in this paper as they are deemed the most relevant. The conclusion we draw from these results is that there is clearly too much diversity, duplicated efforts, and a lack of code sharing and harmonisation which discourages use and adoption.
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)

This tool paper presents the design and tool-support of Messir, an approach centered on textual domain-specific languages supported by our open-source UML requirements engineering tool, named Excalibur. The novelty of our approach is the actual integration in a single workbench (Excalibur) of textual DSLs richly covering the requirements and analysis phases, i.e. improved use-cases, environment, conceptual and operations models; and the read-only visualisation of the requirements with UML-compliant views; and the generation of scientific requirements analysis documents in LATEX; and the formal simulation of test cases requirements. We designed our Messir language, with a grammar-based approach generating a textual editor, using the XText framework as an Eclipse plugin. Messir DSL’s static semantics is defined as a set of validation rules guiding end-users through the requirements analysis phase. Messir DSL’s semantics is given as a semi-automatic translation to prolog code. We also generate, from the requirements model elements, read-only graphical views (using the Sirius eclipse plugin) as well as a complete requirements analysis document in LATEX. This approach and tool have been used as a requirements engineering educational tool in several bachelor and master semesters.
A New Uniform Format for 360 VR Videos

Recent breakthroughs in VR technologies, especially in economic VR headsets and massive smartphones are creating a fast‐growing demand for 3D immersive VR content. 360 VR videos record a surrounding environment in every direction and give users a fully immersive experience. Thanks to a ton of 360 cameras that launched in the past years, 360 video content creation is exploding and 360 VR videos are becoming a new video standard in the digital industry. When ERP and CMP are perhaps the most prevalent projection and packing layout for storing 360 VR videos, they have severe projection distortion, internal discontinuous seams or disadvantages in aspect ratio. We introduce a new format for packing and storing 360 VR videos using two stage mappings. Hemispheres are seamlessly and uniformly mapped onto squares. Two respective squares are stitched to form a rectangle with the aspect ratio 2:1. Our approach is able to avoid internal discontinuity and generate uniform pixel distribution, while keeping the aspect ratio close to the majority standard aspect ratio of 16 : 9.
Concurrency-aware object-oriented programming with roles

Object-oriented Programming has been effective in reducing code complexity in sequential programs, but in current practice, concurrent programs still present a number of challenges. We present here a model of object-oriented programming that identifies concurrent tasks and the relationship between objects and tasks, effectively making objects concurrency-aware. This awareness is formalized in a parallel programming model where every object plays a role in every task (e.g., the readonly role). When an object is shared with a new task, it adapts to the new sharing pattern by changing its roles, and therefore its behavior, i.e., the operations that can be performed with this object. This mechanism can be leveraged to prevent interfering accesses from concurrently executing tasks, and therefore makes parallel execution deterministic. To this end, we present a role-based programming language that includes several novel concepts (role transitions, guarding, slicing) to enable practical, object-oriented deterministic parallel programming. We show that this language can be used to safely implement programs with a range of different parallel patterns. The implementations to 8 widely used programming problems achieve substantial parallel speedups and demonstrate that this approach delivers performance roughly on par with manually synchronized implementations.
Identifying refactoring opportunities for replacing type code with subclass and state

Refactoring is a program transformation that restructures existing code without altering its behaviour and is a key practice in popular software design movements, such as Agile. Identification of potential refactoring opportunities is an important step in the refactoring process. In large systems, manual identification of useful refactoring opportunities requires a lot of effort and time. Hence, there is a need for automatic identification of refactoring opportunities. However, this problem has not been addressed well for many non-trivial refactorings. Two such non-trivial, yet popular refactorings are “Replace Type Code with Subclass” (SC) and “Replace Type Code with State” (ST) refactorings. In this paper, we present new approaches to identify SC and ST refactoring opportunities. Our proposed approach is based around the notion of control-fields. A control-field is a field of a class that exposes the different underlying behaviors of the class. Each control-field can lead to a possible SC/ST refactoring of the associated/interacting classes. We first present a formal definition of control-fields and then present algorithms to identify and prune them; each of these pruned control-fields represents a refactoring opportunity. Further, we present a novel flow- and context-sensitive analysis to classify each of these refactoring opportunities into one of the SC and ST opportunities. We have implemented our proposed approach in a tool called Auto-SCST, and demonstrated its effectiveness by evaluating it against eight open-source Java applications.
Enhancing mobile services with DVB‐S2X superframing

DVB‐S2X is the cornerstone for satellite communication standards forming the state of the art of broadband satellite waveforms. In this paper, we propose new application scenarios and advanced techniques, including a reference design implementing superframing, predistortion, a robust synchronization chain, and a plug‐and‐play channel interleaver. We demonstrate by means of software simulations and hardware tests that the DVB‐S2X can be a common technology enabler for land‐mobile, aeronautical, and maritime satellite scenarios in addition to the more traditional VSAT scenario, even in very challenging conditions (eg, very low signal‐to‐noise ratio).
Distributed system development with ScalaLoci

Distributed applications are traditionally developed as separate modules, often in different languages, which react to events, like user input, and in turn produce new events for the other modules. Separation into components requires time-consuming integration. Manual implementation of communication forces programmers to deal with low-level details. The combination of the two results in obscure distributed data flows scattered among multiple modules, hindering reasoning about the system as a whole. The ScalaLoci distributed programming language addresses these issues with a coherent model based on placement types that enables reasoning about distributed data flows, supporting multiple software architectures via dedicated language features and abstracting over low-level communication details and data conversions. As we show, ScalaLoci simplifies developing distributed systems, reduces error-prone communication code and favors early detection of bugs.
Sit & Relax: Interactive Design of Body‐Supporting Surfaces

We propose a novel method for interactive design of well‐fitting body‐supporting surfaces that is driven by the pressure distribution on the body's surface. Our main contribution is an interactive modeling system that utilizes captured body poses and computes an importance field that is proportional to the pressure distribution on the body for a given pose. This distribution indicates where the body should be supported in order to easily hold a particular pose, which is one of the measures of comfortable sitting. Using our approximation, we propose the entire workflow for interactive design of C2 smooth surfaces which serve as seats, or generally, as body supporting furniture for comfortable sitting. Finally, we also provide a design tool for Rhinoceros/Grasshopper that allows for interactive creation of single designs or entire multi‐person sitting scenarios. We also test the tool with design students and present several results. Our method aims at interactive design in order to help designers to create appropriate surfaces digitally without additional empirical design passes.
Effect handlers for the masses

Effect handlers are a program structuring paradigm with rising popularity in the functional programming language community and can express many advanced control flow abstractions. We present the first implementation of effect handlers for Java - an imperative, object oriented programming language. Our framework consists of three core components: A type selective CPS transformation via JVM bytecode transformation, an implementation of delimited continuations on top of the bytecode transformation and finally a library for effect handlers in terms of delimited continuations.
Online Global Non‐rigid Registration for 3D Object Reconstruction Using Consumer‐level Depth Cameras

We investigate how to obtain high‐quality 360‐degree 3D reconstructions of small objects using consumer‐level depth cameras. For many homeware objects such as shoes and toys with dimensions around 0.06 – 0.4 meters, their whole projections, in the hand‐held scanning process, occupy fewer than 20% pixels of the camera's image. We observe that existing 3D reconstruction algorithms like KinectFusion and other similar methods often fail in such cases even under the close‐range depth setting. To achieve high‐quality 3D object reconstruction results at this scale, our algorithm relies on an online global non‐rigid registration, where embedded deformation graph is employed to handle the drifting of camera tracking and the possible nonlinear distortion in the captured depth data. We perform an automatic target object extraction from RGBD frames to remove the unrelated depth data so that the registration algorithm can focus on minimizing the geometric and photogrammetric distances of the RGBD data of target objects. Our algorithm is implemented using CUDA for a fast non‐rigid registration. The experimental results show that the proposed method can reconstruct high‐quality 3D shapes of various small objects with textures.
Reentry attitude tracking via coupling effect-triggered control subjected to bounded uncertainties

ABSTRACT The attitude tracking control issue for hypersonic reentry vehicle subjected to bounded uncertainties is investigated in this paper. The uncertainties are estimated by a disturbance observer with a simple structure whose parameter tuning methodology is provided to guarantee the system robustness. The coupling effect of the hypersonic reentry vehicle is analysed with a binary form based on a coupling effect indicator. The positive or negative value of indicator represents the harmful or beneficial coupling effect on the system. Then, a coupling effect-triggered control is developed to cancel the harmful couplings while utilising the beneficial couplings. The trigger point in the controller occurs when the property of the coupling effect happens to change. The specific criterion is introduced to quantify the performance improvement via the proposed scheme. Application to the hypersonic reentry tracking is presented to demonstrate the validity of the proposed method.