Miracle-dz/UniFAR-FTUs huggingface dataset:
Estimating wave heights and water levels inside fringing reefs during extreme conditions

During extreme events, island nations with fringing reefs have been seen to experience higher water levels and more powerful bore waves than predicted by standard theory, based on their depth-limited shallow fringing reef conditions. When considering coastal processes in fringing reef situations, coastal engineering practice currently applies empirical equations which were derived from laboratory experiments under nonstorm conditions and typically monochromatic waves, compared to extreme conditions such as tropical cyclones. Furthermore, numerical models have proven relatively poor at resolving the complex wave and water level processes in fringing reef situations. It is therefore beneficial to develop a better understanding of coastal processes for fringing reefs during extreme conditions, and to develop improved empirical predictive methods. Within this investigation, a physical wave flume modelling program was undertaken with extreme cyclonic wave and water level conditions, and the resulting measured data sets used to assess the applicability of the available empirical equations for such conditions. Two dimensional wave flume modelling was performed for three reef profiles representing the envelope of reef and lagoon widths that occur on the north coast of Rarotonga in the Cook Islands. Tests were conducted for storm conditions that represented a documented historical cyclone, a 100 year Average Recurrence Interval event, as well as projected sea level rise. Comparison of new laboratory results tested with extreme conditions against previously reported results indicate that existing empirical equations typically over-predict wave setup and under-predict surf beat and extreme water levels during extreme events. Nearshore wave heights can also be largely underestimated with existing empirical relationships, in particular for locations with only a narrow fringing reef. New best-fit curves are presented and are suggested as suitable tools for making preliminary estimates of wave and water level conditions for fringing reefs during extreme events.
Bachelor thesis Information Science Radboud University Nijmegen Profiling knowledge workers using open online profiles

This thesis explores the creation of user terminology models containing the interests, topics and expertise of a knowledge worker. These models are generated from existing, open profiles found on the web, specifically user profiles from Twitter, LinkedIn and ArnetMiner. In order to correct for the sparseness of these profiles, information extracted from the network, related to the user, is used to enrich the profiles. The models are generated by using a frequency based scoring function, together with a background corpus. The generated models are analyzed for overlap between networks and evaluated by their owners. Terms are rated for relevancy, specificity and whether the term belongs to the user's professional or private profile. Ultimately, the generated models proved to be of high average precision, but the overlap between models was quite low. Terms included in LinkedIn profiles were rated with the highest specificity, terms from Twitter models the lowest. Academic profiles only contained professional terms, while terms from Twitter models were evenly distributed between private and professional. Including information from a user's network didn't show any improvement in the quality of the model.
Recent natural variability of the Iceland Scotland Overflows on decadal to millennial timescales: Clues from the ooze

Recent natural variability of the Iceland Scotland Overflows on decadal to millennial timescales: Clues from the ooze . 1 Potential for paleosalinity reconstructions to provide information about AMOC variability . 8 The potential for the long-lived bivalve Arctica islandica to contribute to our understanding of past AMOC dynamics . 13 The AMOC over decades to centuries: A workshop recap from May 2016 . 19 How variable is the Atlantic Ocean’s Meridional Overturning Circulation (AMOC)? This question has become increasingly important in recent years due to the ocean’s influence on climate and potential impacts on future climate development. The northward flow of warm near-surface waters and southward flow of cooler deep water comprising the AMOC redistributes a significant amount of heat within the Atlantic basin (Johns et al. 2011). This influences regional temperature and rainfall patterns (Enfield et al. 2001; Knight et al. 2006), including those on adjacent continents, and helps to ameliorate the human impacts of fossil fuel burning by absorbing CO2 from the atmosphere and transporting it into the deep ocean (Sabine et al. 2004).
EMERGING MEMORY TECHNOLOGIES

For almost last three years computer memory system use volatile, high speed memory technology like SRAM for cache, DRAM for main memory, flash memory for low power consumption applications. The fast access to memory is the major bottleneck for CPU performance. The emerging memory technology could improve the performance of CPU. The focus of this paper is to summarize the emerging technology of memory system design, presents these new memory technologies and survey the recent trends for memory technologies to advance memory hierarchies.
Equations, Contractions, and Unique Solutions

One of the most studied behavioural equivalences is bisimilarity. Its success is much due to the associated bisimulation proof method, which can be further enhanced by means of "up-to bisimulation" techniques such as "up-to context". A different proof method is discussed, based on unique solution of special forms of inequations called contractions, and inspired by Milner's theorem on unique solution of equations. The method is as powerful as the bisimulation proof method and its "up-to context" enhancements. The definition of contraction can be transferred onto other behavioural equivalences, possibly contextual and noncoinductive. This enables a coinductive reasoning style on such equivalences, either by applying the method based on unique solution of contractions, or by injecting appropriate contraction preorders into the bisimulation game. The techniques are illustrated on CCS-like languages; an example dealing with higher-order languages is also shown.
BioPreDyn-bench: a suite of benchmark problems for dynamic modelling in systems biology { Supplementary Information

1 Bioprocess Engineering Group, IIM-CSIC, Eduardo Cabello 6, 36208 Vigo, Spain 2 European Molecular Biology Laboratory, European Bioinformatics Institute (EMBL-EBI), Wellcome Trust Genome Campus, Hinxton, Cambridge CB10 1SD, UK 3 School of Computer Science, Manchester Centre for Integrative Systems Biology, The University of Manchester, 131 Princess Street, Manchester, M1 7DN, United Kingdom 4 Insilico Biotechnology AG, Meitnerstraße 8, 70563 Stuttgart, Germany 5 EMBL/CRG Research Unit in Systems Biology, Centre for Genomic Regulation (CRG), Dr. Aiguader 88, 08003 Barcelona, Spain 6 Universitat Pompeu Fabra (UPF), Plaça de la Mercé, 10, 08002 Barcelona, Spain
BIOINFORMATICS ORIGINAL PAPER

Motivation: Recent large-scale chromatin states mapping efforts have revealed characteristic chromatin modiﬁcation signatures for various types of functional DNA elements. Given the important inﬂuence of chromatin states on gene regulation and the rapid accumulation of genome-wide chromatin modiﬁcation data, there is a pressing need for computational methods to analyze these data in order to identify functional DNA elements. However, existing computational tools do not exploit data transformation and feature extraction as a means to achieve a more accurate prediction. Results: We introduce a new computational framework for identifying functional DNA elements using chromatin signatures. The framework consists of a data transformation and a feature extraction step followed by a classiﬁcation step using time-delay neural network. We implemented our framework in a software tool CSI-ANN (chromatin signature identiﬁcation by artiﬁcial neural network). When applied to predict transcriptional enhancers in the ENCODE region, CSI-ANN achieved a 65.5% sensitivity and 66.3% positive predictive value, a 5.9% and 11.6% improvement, respectively, over the previously best approach. Availability and Implementation: CSI-ANN is implemented in Matlab. The source code is freely available at http://www.medicine
The BHEF National Higher Education and Workforce Initiative

Partnerships between higher education and business have long been an important part of the academic landscape, but often they are based on shorter-term transactional objectives rather than on longer-term strategic goals. BHEF's National Higher Education and Workforce Initiative brings together business and academia at the institutional, regional and national levels to create sustainable new opportunities for undergraduates to learn about emerging fields such as data science and analytics, cybersecurity, energy, risk management, and social and mobile technologies through direct engagement with the companies working in these areas. These partnerships are built on a base of evidence, strategic business engagement and design principles that aim to align needs with existing and enhanced capacity.
RECENT PALEOCEANOGRAPHIC HISTORY OF THE SAN DIEGO MARGIN, CALIFORNIA: A BENTHIC FORAMINIFERAL PERSPECTIVE

Foraminiferal assemblages respond to changes in marine biogeochemistry and are widely used as biological proxies for oceanographic parameters. In this study, modern marine conditions are compared against recent environmental records using foraminiferal tests, in order to detail foraminiferal community response to oceanographic conditions. A set of sediment cores along a depth transect on the San Diego margin (7.5 km across; 861175 m below sea level; 32°48'36.00"N, 117°24'59.76"W) is utilized to explore how benthic foraminiferal assemblages respond to environmental variation across the modern continental margin and through a down-core record of the past 1800 years. Two types of benthic foraminifera, Bolivina spp. and Uvigerina peregrina, reveal a complex response to a suite of hydrographic parameters, including temperature, dissolved oxygen, carbonate chemistry, and organic matter flux. Core-top samples showed that the proportional abundance of both types increases into the oxygen minimum zone (OMZ) upper margin, below which abundance decrease substantially. Foraminiferal assemblages from two short cores, MV1217-3-3 (700 m water depth; 20 cm length) and MV1217-2-3 (528 m water depth; 26 cm length), are used to investigate recent temporal changes along this margin. Core MV1217-3-3, located within the modern OMZ, exhibits limited variation in foraminiferal abundances and supports a stable OMZ over the past 1800 years. Core MV1217-2-3, at the upper margin of the OMZ, exhibits variation in abundances indicating vertical range fluctuations of low oxygen waters over the same time period. Carbon, oxygen, and nitrogen isotopes suggest OMZ shifts are caused by climate changes that alter upwelling, ventilation, and productivity. These results provide an example for how evaluating oceanographic conditions over recent timescales via foraminiferal assemblages and geochemical data provides a mechanism for predicting and interpreting the future alteration of significant environmental parameters like oxygenation of coastal waters.
Similarity-based Classification : Concepts and Algorithms

This paper reviews and extends the field of similarity-based classification, presenting new analyses, algorithms, data sets, and a comprehensive set of exper imental results for a rich collection of classification problems. Specifically, the generalizabili ty of using similarities as features is analyzed, design goals and methods for weighting nearest-neig hbors for similarity-based learning are proposed, and different methods for consistently converti ng s milarities into kernels are compared. Experiments on eight real data sets compare eight approache s nd their variants to similarity-based learning.
Using Vibrotactile Cues for Virtual Contact and Data Display in Tandem

In this paper, we present a treatment of the issues that must be addressed in using vibrotactile cues for multiple purposes within a single simulation system. Similar to the problem of overloading the visual channel in typical graphical user interfaces, care must be taken to keep the added cognitive load devoted to the vibrotactile channel of the user to a minimum. Vibrotactile cues are typically used in virtual reality simulation systems to provide a sense of touch when the user interacts with virtual objects. Other systems use vibrotactile cues to display information to the user, such as directional cues to enhance spatial awareness. Combining these cues in a single, unified system could cause confusion, leading to a drop in performance of the target task. We propose the use of spatial and temporal cue characteristics as a way of disambiguating vibrotactile cues used for different purposes.
Title Metamorphic testing of programs on partial differentialequations : a case study

We study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation identified in the paper should also be applicable to other numerical methods that yield better approximations on the refinement of grid points or step sizes.
This paper is included in the Proceedings of the 2022 USENIX Annual Technical Conference.

In serverless computing, each function invocation is executed in a container (or a Virtual Machine), and container cold startup results in long response latency. We observe that some functions suffer from cold container startup, while the warm containers of other functions are idle. Based on the observation, other than booting a new container for a function from scratch, we propose to alleviate the cold startup by re-purposing a warm but idle container from another function. We implement a container management scheme, named Pagurus , to achieve the purpose. Pagurus comprises an intra-function manager for replacing an idle warm container to be a container that other functions can use without introducing additional security issues, an inter-function scheduler for scheduling containers between functions, and a sharing-aware function balancer at the cluster-level for balancing the workload across different nodes. Experiments using Azure serverless traces show that Pagurus alleviates 84.6% of the cold startup, and the cold startup latency is reduced from hundreds of milliseconds to 16 milliseconds if alleviated.
A human well-being approach for assessing the value of ecosystem services

The economics of subjective well-being provides an innovative theoretical and empirical approach of individual well-being analysis that has been increasingly applied in the recent past for valuing environmental amenities such as climate change. In this paper, this approach is extended for assessing the value of non-market ecosystem services by investigating people’s preferences for different types of areas such as agricultural areas, pasture, natural forests, natural grass- and scrubland, wetland and natural areas with little or no vegetation. In particular, a regression of life satisfaction on individual and household characteristics, climate measures and the percentage of different artificial and natural area categories is estimated on the NUTS 2 level for the EU 27 member states as well as Norway, Turkey and Macedonia, where regional differences are taken into consideration. Marginal values for natural areas are derived from the estimated relationship, which indicate that individuals would be willing to pay a significant amount of money for increasing ecosystem services providing areas. Implications of these results for the modeling of land use and ecosystem services in a CGE framework are discussed.
On the epistemic value of reputation The place of ratings and reputational tools in knowledge organization

In this paper we want to explore the epistemological relevance and value of reputation understood as evaluative social information. Using reputation to classify and assess an agent or an item can be epistemologically useful in the absence or – as is especially relevant today – overabundance of information. However, in order to be and remain epistemically useful and ethically just it has to be open to constant scrutiny and revision. We will introduce a model of rational consensus as an example for the rational use of reputation for epistemic purpose before analyzing different reputational tools on the Web. We will conclude our paper with a critical comment on the potential danger of using social information to evaluate information and knowledge claims, resp. to warn from epistemic injustices on the Web and elsewhere.
2 Technical Framework for Internetware : An Architecture Centric Approach

Being a new software paradigm evolved by the Internet, Internetware brings many challenges to the traditional software methods and techniques. Sponsored by the national basic research program (973), researchers in China have developed an architecture centric technical framework for the definition, incarnation and en-gineering of Internetware. First of all, a software model for Internetware is defined forwhat to be, including that Internetware entities should be packaged as components, behaving as agents, interoperating as services, collaborating in a structured and on demand manner, etc. Secondly, a middleware for Internetware is designed and implemented for how to be, including that Internetware entities are incarnated by runtime containers, structured collaborations are enabled by runtime software architecture, Internetware can be managed in a reflective and autonomic manner, etc. Thirdly, an engineering methodology for Internetware is proposed for how to do, including the way to develop Internetware entities and their collaborations by transforming and refining a set of software architectures which cover all the phases of software lifecycle, the way to identify and organize the disordered software assets by domain modeling, etc.
Archived in ANU Research repository

Each particle in a swarm maintains its current position and its personal best position. It is useful to think of these personal best positions as a population of attractors – updates to current positions are based on attractions to these personal best positions. If the population of attractors has high diversity, it will encourage a broad exploration of the search space with particles being drawn in many different directions. However, the population of attractors can converge quickly – attractors can draw other particles towards them, and these particles can update their own personal bests to be near the first attractor. This convergence of attractors can be reduced by having a particle update the attractor it has approached rather than its own attractor/personal best. This simple change to the update procedure in particle swarm optimization incurs minimal computational cost, and it can lead to large performance improvements in multi-modal search spaces.
Sentiment Analysis System for Mapping Hate Speech against 1 Women in Social Media using GIS System

7 This study aims to map hate speech against women in the Middle East using a Geographic 8 Information System (GIS) and sentiment analysis, with the goal of identifying patterns. The 9 hate speech terms that were utilized in the research were gathered from more than 3600 10 women in the study region, according to the data.
I nternatIonal J ournal of V Irtual and P ersonal l earnIng e nVIronments

Digital games can be powerful learning environments because they encourage active learning and participation within “affinity groups” (Gee, 2004). However, the use of games in formal educational environments is not always successful (O’Neil et al., 2005). There is a need to update existing theories of motivation and engagement in order to take recent game-related developments into account. Understanding the links between why people play games, what keeps them engaged in this process, and what they learn as a result could have a significant impact on how people value and use games for learning. This paper examines key research that relates to motivation, engagement, and informal learning through digital games, in order to highlight the need for
projections, an enhanced Projection Pursuit evolutionary algorithm (PPEA) is considered in target detection because of introducing a new technique zero-detection thresholding [14]. A novel method Legendre index for anomaly detection is considered based on projection pursuit, the designed PP techniqu

577 Published By: Blue Eyes Intelligence Engineering & Sciences Publication Retrieval Number: I11200789S219/19©BEIESP DOI : 10.35940/ijitee.I1120. 0789S219 Abstract— Hyperspectral image contains more information which are gathered from numerous narrow wavebands from one or more regions, and large amount of data are huddled. An basic problems in hyperspectral image processing are dimension reduction, target detection, target identification, and target classification. In this document, we reviewed the latest activities of target classification, most frequently used techniques for dimension reduction, target detection. Hyperspectral image processing is a complicated process which rely on mixed agents. Here we also recognized and reviewed problems faced by some methods and to overcome the problems, current techniques are discussed and highlighted good methods. To improving correctness, genuine classification techniques and Detection Techniques analysis are recommended.
Towards a Maturity Model for Research Portals

Research portals are websites that present information about certain research activities and their corresponding results in a structured manner. Institutions like universities, businesses, or governmental organizations use them as knowledge base to identify and communicate “who researches on what” or “where can the relevant information, people, or funds be found”. Furthermore, such portals are increasingly used as a marketing measure to manifest own research positions and compete against others for resources and reputation. However, research portals differ in their range of functionalities regarding their target audience and current development state. In this paper, we develop a maturity model for research portals according to a well-founded procedure model. We evaluate our maturity model on the sample of 287 real-life research portals and provide selected analyses as well as interpretations regarding the model’s feasibility. We conclude presenting promising directions of further model development and opportunities of transfer into practice.