Miracle-dz/UniFAR-FTUs huggingface dataset:
Developing and setting up a platform and protocols for microscopy image driven-based modeling in context of Systems Biology

During the last decade systems biology – the systematic study of such functional networks as cellular metabolism, signaling and gene expression – matured into a distinct, interdisciplinary field of research. Systems biology can strongly benefit from applying methods of Computer Science. This interdisciplinary approach may facilitate the understanding of various biological systems [1]. As a part of this systematic approach, it is often required to integrate and standardize the data coming from different biological protocols (e.g. micro-array, 2D-gels, mass spectrometry). In this respect Computer Science appears to be especially effective and efficient. An application of standard Computer Science routines allows for systematic integration of the biological data into models through the development of (i) standards such as Systems Biology Markup Language (SBML) [2] (ii) the open-access signaling databases [3] and iii) software such as Copasi or CellDesigner [4, 5] allowing to systematically integrate these data into models. Recently, the progress in single cell microscopy such as fluorescent proteins (FP), used as reporters of bio-molecular interactions [6], together with new image acquisition techniques (e.g. multichannel confocal microscopy [7] and two-photon microscopy [8]) led to a significant increment of the role of the imaging methods in molecular biology. These techniques open up many new areas of research the popularization of a spatial context to name explicitly one of the most important among them. Currently, a common technique is to deal with images in a qualitative way images are attached to the publications and their properties are literally listed in the articles. A step forward from this methodology is to quantify the information within these images (e.g. the measurements of the light intensities coming from FP expressions in different parts of the cell) in a spatially resolved way. This approach has two major advantages: i) it enables us to broaden the usage of imagining techniques in Systems Biology, which require quantified data ii) it increases the quality of the information and allows for further automatic processing (e.g. analysis and modeling). However, this crucial step requires definition of a new methodology, formulation of new approaches and algorithms, their experimental evaluation and last but not least development of specifically dedicated software based on the proposed methods
Cluster of tangle graph

In this paper we will introduce how to cluster of tangle graph. We will study clustering by normalized tangle graph cut and markov cluster. We will explain the cluster by examples. We will illustrate algorism to understand the cluster. Keywards: Tangle graph, cluster, normalized, markov model.
Evaluating distributed metadata in HPC

In this paper we present a completely distributed metadata method that provides efficient metadata management and seamlessly adapts to general purpose and scientific computing filesystem workloads. The throughput performance is measured by metadata benchmark and compared with several parallel filesystems. The results show great scalability in metadata benchmark even on a single directory accessed by multiple clients.
Effectiveness of Acupressure to Reduce Vomiting Nausea in Patients Receiving Chemotherapy

Vomiting nausea is one of the side effects of cytostatics and is often found in patients receiving chemotherapy. Vomiting nausea felt by patients receiving chemotherapy causes discomfort and can even affect the quality of life of patients. Acupressure is one way to treat vomiting nausea in patients receiving chemotherapy. Data collection was carried out using assessment questionnaires developed by Ahmad and Alafafsheh (2016) based on the rhodes index for nausea, vomiting and retching (INVR) instruments. This research is a quasi-experimental study with a total of 70 respondents consisting of 35 control groups and 35 intervention groups selected by simple random sampling technique. Statistical analysis using the wilcoxon signed rank test showed that there were differences to vomiting nausea in the control group and the intervention group (p = 0.064; p = 0.000) and the mann-whitney test showed that there were differences in vomiting nausea between the control group and the intervention group after acupressure administration. and antiemetic (p = 0,000). The results of multivariate analysis showed that the experience of vomiting nausea was not controlled, history of alcohol consumption, history of motion sickness, chemotherapy drugs were not a confounding factor. Based on research results, vomiting nausea can decrease after acupressure. It is recommended to nurses to make acupressure one of the independent nursing interventions.
Verifying Linearizability and Lock-Freedom with Temporal Logic

The development and analysis of efficient concurrent algorithms is currently an active field of research. Lock-free implementations try to better utilize the capacity of modern multi-core computers, by increasing the potential to run in parallel. This leads to a high degree of possible interference which makes the verification of these algorithms challenging. Many techniques have been proposed to prove safety and liveness properties of these implementations. Our approach is fully mechanized and based upon rely-guarantee reasoning and the temporal logic framework of the interactive theorem prover KIV. By means of a slightly improved version of Michael and Scott’s lock-free queue algorithm we describe how the most complex parts of the proofs can be reduced to simple steps of symbolic execution.
BIFACIAL P-TYPE SILICON PERL SOLAR CELLS WITH SCREEN-PRINTED PURE SILVER METALLIZATION AND 89% BIFACIALITY

We present 6-inch bifacial p-type Czochralski-grown silicon passivated emitter and rear locally-diffused (PERL) solar cells with “pPassDop” layer stack on the cell’s rear side. The “pPassDop” layer stack consists of an aluminum oxide and a boron-doped silicon nitride layer serving as both surface passivation and doping source. Local laser processing introduces boron and aluminum atoms from the “pPassDop” layer stack into the silicon. The electrical contacting of the formed line-shaped p-doped back surface field is realized by screen-printed and fired pure silver contacts (i.e. without aluminum). The fabricated PERL solar cells reach high bifaciality of up to 89%. The monofacial peak front side energy conversion efficiency, measured with contact bars on both sides on a black non-conducting chuck, is given by 19.8%. Fill factors of more than 79% and specific contact resistances in the single-digit mΩcm2range prove the successful low-resistance contacting on both sides. It is important to stress that the same commercial state-of-the-art firing-through pure silver screen-printing paste is used for the cell’s front and rear side metallization. A special alignment procedure ensures that the rear silver grid with finger widths of about 65 μm is placed over the whole wafer on top of the about 37 μm-wide laser-doped and opened structures.
Group cooperation against an incumbent

In this paper, I study the ability of group members to cooperate against an incumbent in a repeated rent-seeking game and where group members and the incumbent have di¤erent valuations of the prize. I rst consider that group members use Nash Reversion Strategies (NRS) to support cooperative behavior and show that full cooperation within the group is more easily sustained as a Stationary Subgame Perfect (Nash) Equilibrium (SSPE) as either group size, or the heterogeneity in the valuation of the prize, increases. In turn, I show that full cooperation within the challenger group can also be sustained as a Weakly Renegotiation-Proof Equilibrium (WRPE). Yet, an increase in group size makes it more di¢ cult to sustain within-group cooperation but an increase in the relative valuation of the prize by group members still facilitates group cooperation.
A Secure Wireless Transport Layer for MANET

MANETs is a type of ad hoc networks that can change the locations and configure itself on the fly. Main unique features are open communication channels, dynamic network topology, limited device capabilities bandwidth and lack of infrastructure or central administration support etc have made secure efficient and reliable end-to-end operation in manet is a challenging task. The primary focus of this paper is to provide transport layer security for end-to-end communication through data encryption. The proposed model provides, authentication, privacy, integrity and also to protect against denial of service(DoS) attacks. Hence this is found to be a good security solution in the networks.
Recollection of repeated events

Willén, R. M. (2015). Recollection of repeated events: Difficulties and possibilities. Department of Psychology, University of Gothenburg, Sweden. Survey based research about self-reported incidents and legal investigations concerning sexual abuse, terrorism, and refugee status determination often involves reporting about selfexperienced events that are similar to each other and has occurred repeatedly. Such repeated events tend to be recalled in a general manner and as a cluster of events. It can therefore be difficult for a respondent or witness to specify which individual episode a particular detail belongs to and to describe the individual episodes in detail. The overall aims of the present thesis were to investigate whether peoples’ memories of repeated events can be improved by mnemonics and how memory specificity should be measured. Two studies were conducted and both were based on interviews with 95 dental care patients about all dental visits they had made during the past ten years. Objective truth was established by analysing their dental records. Both studies employed two measures of memory specificity (number of individual events recalled and recalled amount of details about the events). Amount of details was measured by categorising the respondents’ utterances as generic, specific, or specific-extended in line with established coding procedures for measuring overgeneral memory. Study I investigated the effect of context-specific cues on peoples’ ability to remember individual events and details about the events. The main results showed that context-specific cues tended to be more effective for recollection of individual events than cues commonly used in legal practice. The context-specific cues did also generate somewhat more details than the comparison cues. The results imply that recollection of repeated events can be enhanced by mnemonics such as context-specific cues. Study II showed that the two measures of memory specificity (i.e., number of individual events recalled and recalled amount of details about the events) were influenced differently by all five investigated factors (interviewees’ age, number of experienced events, interviewer, perceived unpleasantness concerning the events, and how much the interviewee had rehearsed their memories). For instance, number of experienced events positively influenced the number of events recalled but had no effect on the amount of details. It was additionally found that the respondents often underestimated how many visits they had made. An important implication of the study is that future research should make clear distinctions between the two types of memory specificity. In sum, the studies suggest that mnemonics can aid recollection of repeated events, although the research on the subject has methodological issues that need to be resolved.
CEP Discussion Paper No 1420 April 2016 Global Firms

Research in international trade has changed dramatically over the last twenty years, as attention has shifted from countries and industries towards the firms actually engaged in international trade. The nowstandard heterogeneous firm model posits a continuum of firms that compete under monopolistic competition (and hence are measure zero) and decide whether to export to foreign markets. However, much of international trade is dominated by a few “global firms,” which participate in the international economy along multiple margins and are large relative to the markets in which they operate. We outline a framework that allows firms to be of positive measure and to decide simultaneously on the set of production locations, export markets, input sources, products to export, and inputs to import. We use this framework to interpret features of U.S. firm and trade transactions data and highlight interdependencies across these margins of firm international participation. Global firms participate more intensively along each margin, magnifying the impact of underlying differences in firm characteristics, and explaining their dominance of aggregate international trade.
Embedding Rely-Guarantee Reasoning in Temporal Logic

The combination of temporal logic and rely-guarantee reasoning is a solid approach for the verification of concurrent programs. We describe a formalization of rely-guarantee reasoning within the temporal logic framework of the interactive prover KIV. Our previous encoding has been enhanced to permit simpler rely conditions and enriched to make it more expressive. Moreover, an instance of the new theory is defined to better exploit the symmetry inherent in many concurrent systems, by considering a single pair of processes only. We verify the resulting local proof obligations, applying symbolic execution to show memory safety, linearizability and lock-freedom of a shared stack that recycles memory.
A genetic algorithm to optimize the fitting of avalanches observed from a pulsed Townsend experiment

Electron detachment from negative ions and ion-mole cule reactions in SF 6 have been scarcely studied in comparison with other processes such as ionization, attachment, and ion/electron transport [1]. Indeed, there still remain gaps regarding the relative importance of electron detachment from its daughter negative ions and the ion-molecule reactio ns leading to fragment ions and clusters from parent SF6. A reaction scheme for ions and electrons in SF 6, is presented in Fig. 1 [2], and preliminary simulations aimed at fitting the ionic transients i n SF6 have been made with the avalanche simulator SIMAV-4 [3] by fitting the calculated ionic avalanc hes to the measurements derived from a pulsed Townsend experiment (PTE) [4] at E/N=360 Td for SF 6 pressures in the range 5-30 Torr. Thus far, a trial and error procedure has been followed to fit the avalanches by making educated guesses of the reaction coefficients, a process that turns out to be lengthy. A means to avoid this fastidious and ti me consuming procedure an optimization code based on g enetic algorithm (GA) [5] has been developped and used to reproduce the measurements performed wi th the PTE at E/N=350 Td for several pressures.
Modeling SiCl4/O2 plasmas used for depositing SiO2 coatings or mask damage recovery

Coating the reactor chamber before each etch experiment is a widely used preparation step for obtaining higher etch uniformity and higher wafer-to-wafer reproducibility. A commonly used plasma mixture for introducing a SiO2 coating consists of SiCl4 and O2 [1]. In this work, we will present numerical simulations for a SiCl4/O2 ICP. Bulk properties of this discharge as well as information on the surface processes are obtained from the simulations. Plasma properties such as species densities, temperatures and plasma potential are calculated, as well as fluxes of the various plasma species towards the reactor surfaces. Based on these fluxes, surface properties such as chemical composition of the surface layer(s), etch or deposition rate and uniformity are obtained.
The Trade Facilitation Agreement and its impacts on the Brazilian transformation industry

The WTO Agreement on Trade Facilitation (TFA) will have a great impact on and could unlock important potential for the Brazilian transformation industry. As a developing country, Brazil would have to make significant changes in its legislation in order to adopt a single window (“Portal Único”) for exporters and importers. This chapter concludes that the TFA will have a positive impact on the Brazilian economy in the years to come. Indeed, as Brazil is one of the world’s 10 largest economies, its Portal Único Programme has the potential, once fully implemented, to produce significant impacts on the Brazilian economy, increasing GDP by nearly US$ 70 billion per year in the long term. Empirical analyses in this chapter also suggest that the reduction of transaction costs may have positive effects not only for Brazil but also for many other WTO members.
Author’s response to reviews Title: Impaired awareness of hypoglycemia in children and adolescents with type 1 diabetes mellitus in North of Jordan Authors:

Author's comment: As indicated in Methods section, this study was conducted at outpatients' clinics of Princess Rahma Pediatric Hospital which is the only pediatric referral hospital in the North of Jordan and it receives cases from the four northern governorates of Jordan (Irbid, Ajloun, Jerash and Mafraq). According to hospital's records, 130 Type 1 diabetic children and adolescents (age ≤ 16 years) receive their treatment at these clinics. So, this number represents most of the diagnosed cases of Type 1 diabetes in this area of Jordan. Accordingly, our sample size was calculated according to the previously reported prevalence (22.4%) of Impaired Awareness of Hypoglycemia (IAH) in children and adolescents as determined by Graveling et al study [1] using Clarke's method.
THE INTERFACE OF FOOTBALLING AND GAMBLING SAGA AMONG MUSLIM YOUTHS IN NIGERIA: CONTEMPORARY CHALLENGES AND ISLAMIC SOLUTION

Online football betting has become prevalent among Nigerian youths and for which Muslim youth are deeply involved. Betting of any kind is prohibited in Islam with evidence stated in many verses of the Glorious Qur’an and Ahadith. Therefore, this paper studied how Muslim youths participate in online football betting and the negative effects therein. It is also observed that due to the get rich quick syndrome and lack of the true Islamic knowledge led most of the Muslim youths into online football betting. The paper discussed most of the prevailing effects of betting/gambling on Muslim youth. The work suggested ways to eradicate or reduce the growing prevalence of online betting among Muslim youth. Furthermore, it has discussed the Islamic rulings regarding all forms of gambling or betting with verses from the Glorious Qur’an and Ahadith of Prophet Muhammad (may the peace and blessings of Allah be upon him). Content analysis was adopted as the methodology for the research.
Anisotropic exchange in Nd–Fe–B permanent magnets

ABSTRACT The exchange is critical for designing high-performance Nd–Fe–B permanent magnets. Here we demonstrate through multiscale simulations that the exchange in Nd–Fe–B magnets, including bulk exchange stiffness (Ae) in Nd2Fe14B phase and interface exchange coupling strength () between Nd2Fe14B and grain boundary (GB), is strongly anisotropic. Ae is larger along crystallographic a/b axis than along c axis. Even when the GB FexNd1–x has the same composition, for (100) interface is much higher than that for (001) interface. The discovered anisotropic exchange is shown to have profound influence on the coercivity. These findings enable more freedom in designing Nd–Fe–B magnets by tuning exchange. GRAPHICAL ABSTRACT IMPACT STATEMENT Bulk exchange stiffness in Nd2Fe14B and interface exchange coupling strength between Nd2Fe14B and grain boundary are found strongly anisotropic, which have profound influence on the coercivity of Nd–Fe–B magnets.
THE EXPLICIT NONLINEAR WAVE SOLUTIONS OF THE GENERALIZED b-EQUATION

In this paper, we study the nonlinear wave solutions of the generalized b-equation involving two parameters b and k. Let c be constant wave speed, c5 = 1 2 ( 1 + b− √ (1 + b)(1 + b− 8k) ) , c6 = 1 2 ( 1 + b+ √ (1 + b)(1 + b− 8k) ) . We obtain the following results: 1. If −∞ < k < 1+b 8 and c ∈ (c5, c6), then there are three types of explicit nonlinear wave solutions, hyperbolic smooth solitary wave solution, hyperbolic peakon wave solution and hyperbolic blow-up solution. 2. If −∞ < k < 1+b 8 and c = c5 or c6, then there are two types of explicit nonlinear wave solutions, fractional peakon wave solution and fractional blowup solution. 3. If k = 1+b 8 and c = b+1 2 , then there are two types of explicit nonlinear wave solutions, fractional peakon wave solution and fractional blow-up solution. Not only is the existence of these solutions shown, but their concrete expressions are presented. We also reveal the relationships among these solutions. Besides, the correctness of these solutions is tested by using the software Mathematica.
Sahul Continental Shelf Dynamic for Fishing Ground

The water masses pattern is once of the current system around Dangkalan Sahul as an upwelling from undercurrent thus enchances and nutrified Arafura Sea. Water parcels traveling along the coast of western of Papua across the fishing area where’s kind of fishing boat working in the whole year, at presence of boundary any fishermen are confined in the Sahul Continent that is low current from south. The southern exchange window it’s subducted waters from the eastern Indian Ocean can reaches the continent, and recirculate back to the south entrance Nusa Tenggara Timur waters. The consequence on temperature, salinity and oxygen gradients from some points where may have an important implication to the local dynamic on slopes area between the deepest to the shallow water near the coast. Some parcel from west to eastward of Banda Sea can reach in the shallow water area with lower temperature from10.0 ̊C to 8.0 ̊C at 300m depth, and 34.50‰ to 34.85‰ recirculate back to the deepest layer with higher salinity and the stable dissolved oxygen in the deep. These water dynamic at the shelf boundary there may have an implication to the fishing area, specially for bottom trawling. In the same time, from two fishing vessels they catched 17,439,21kgs/hauling in west area and 44.0-80kgs/hauling in east coast. The seasonal to interannual upwelling fluctuations from west to east coast of Banda Sea because of resulting deeper thermocline attenuate fluctuations in respon to local pumping, the opposite is true in sea surface temperature.
BRINELL HARDNESS: IMAGE ANALYSIS AND UNCERTAINTY

In the present work, all steps involved in the measurement of Brinell hardness indentations were studied, with the main purpose of evaluating the contribution of each step to the total uncertainty of the process. For the measurement of the indentations an expert system using digital image processing was developed. This automatic procedure can be very helpful as it reduces by orders of magnitude the time needed to perform the measurements and makes the process more reproducible by reducing the influence of the human operator.