Miracle-dz/UniFAR-FTUs huggingface dataset:
Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning

We address the problem of spatial conservation planning in which the goal is to maximize the expected spread of cascades of an endangered species by strategically purchasing land parcels within a given budget. This problem can be solved by standard integer programming methods using the sample average approximation (SAA) scheme. Our main contribution lies in exploiting the separable structure present in this problem and using Lagrangian relaxation techniques to gain scalability over the flat representation. We also generalize the approach to allow the application of the SAA scheme to a range of stochastic optimization problems. Our iterative approach is highly efficient in terms of space requirements and it provides an upper bound over the optimal solution at each iteration. We apply our approach to the Red-cockaded Woodpecker conservation problem. The results show that it can find the optimal solution significantly faster---sometimes by an order-of-magnitude---than using the flat representation for a range of budget sizes.
Impact of Digital Library and Internet Technology on Learner's Usability and Satisfaction

This study concentrates upon the impact of digital library and Internet technology in higher education using attributes of the digital libraries and the Internet, multimedia and different software, which can be addressed by multi-tasks, full time, and problem-solving using BDL web site and Internet facilities. This paper analyses the relationship between learners' education by the means of digital library, Internet technology and their usability and satisfaction. One model, which can explain education, digital library and Internet techniques, has been established and tested. Using AMOS 5 program, it explained 35% of variance for digital library usability (DLUS), 41% of variance for education usability (EDUS), and 37% of variance for Internet usability (IntUS), with good model fit. The subjects make use of the multimedia in full time and multi-tasks such as searching, browsing, downloading (audio and video), copying text, listening and watching audio & video, reading, writing, extracting and abstracting information. They also use chat room for more discussions in the category of online collaborative and finally report their information in different styles through assignments, projects on WWW, or face-to-face in the classroom meeting with the help of their teachers.
Contextual Decision Processes with low Bellman rank are PAC-Learnable

This paper studies systematic exploration for reinforcement learning (RL) with rich observations and function approximation. We introduce contextual decision processes (CDPs), that unify most prior RL settings. Our first contribution is a complexity measure, the Bellman rank, that we show enables tractable learning of near-optimal behavior in CDPs and is naturally small for many well-studied RL models. Our second contribution is a new RL algorithm that does systematic exploration to learn near-optimal behavior in CDPs with low Bellman rank. The algorithm requires a number of samples that is polynomial in all relevant parameters but independent of the number of unique contexts. Our approach uses Bellman error minimization with optimistic exploration and provides new insights into efficient exploration for RL with function approximation.
Attacking and Fixing Helios: An Analysis of Ballot Secrecy

Helios 2.0 is an open-source web-based end-to-end verifiable electronic voting system, suitable for use in low-coercion environments. In this paper, we analyse ballot secrecy and discover a vulnerability which allows an adversary to compromise the privacy of voters. This vulnerability has been successfully exploited to break privacy in a mock election using the current Helios implementation. Moreover, the feasibility of an attack is considered in the context of French legislative elections and, based upon our findings, we believe it constitutes a real threat to ballot secrecy in such settings. Finally, we present a fix and show that our solution satisfies a formal definition of ballot secrecy using the applied pi calculus.
Does Platform Owner's Entry Crowd Out Innovation? Evidence From Google Photos

We study how platform owners’ decision to enter complementary markets affects innovation in the ecosystem surrounding the platform. Despite heated debates on the behavior of platform owners toward complementors, relatively little is known about the mechanisms linking platform owners’ entry and complementary innovation. We exploit Google’s 2015 entry into the market for photography apps on its own Android platform as a quasi-experiment. We conclude based on our analyses of a time-series panel of 6,620 apps that Google’s entry was associated with a substantial increase in complementary innovation. We estimate that the entry caused a 9.6% increase in the likelihood of major updates for apps affected by Google’s entry, compared to similar but not affected apps. Further analyses suggest that Google’s entry triggered complementary innovation because of the increased consumer attention for photography apps, instead of competitive “racing” or “Red Queen” effects. This attention spillover effect was particularly p.
Ribosomal genes in focus

T he organization of transcriptionally active ribosomal genes in animal cell nucleoli is investigated in this study in order to address the long-standing controversy with regard to the intranucleolar localization of these genes. Detailed analyses of HeLa cell nucleoli include direct localization of ribosomal genes by in situ hybridization and their indirect localization via nascent ribosomal transcript mappings. On the light microscopy (LM) level, ribosomal genes map in 10–40 fluorescence foci per nucleus, and transcription activity is associated with most foci. We demonstrate that each nucleolar focus observed by LM corresponds, on the EM level, to an individual fibrillar center (FC) and surrounding dense fibrillar components (DFCs). The EM data identify the DFC as the nucleolar subcompartment in which rRNA synthesis takes place, consistent with detection of rDNA within the DFC. The highly sensitive method for mapping nascent transcripts in permeabilized cells on ultrastructural level provides intense and unambiguous clustered immunogold signal over the DFC, whereas very little to no label is detected over the FC. This signal is strongly indicative of nascent “Christmas trees” of rRNA associated with individual rDNA genes, sampled on the surface of thin sections. Stereological analysis of the clustered transcription signal further suggests that these Christmas trees may be contorted in space and exhibit a DNA compaction ratio on the order of 4–5.5.
Sexual segregation of seasonal foraging habitats in a non-migratory marine mammal

Many animal species segregate by sex. Such segregation may be social in nature, or ecological, or both. Grey seals (Halichoerus grypus), like many large mammals, are sexually size dimorphic. In size dimorphic species, allometric differences in morphology, metabolic rate and reproductive costs are likely. Such differences may require the sexes to use different foraging strategies or different habitats. To investigate sexual segregation of habitat in grey seals, we used satellite tracks from 95 (male 46; female 49) adults breeding at Sable Island, Nova Scotia (44 °N, 60 °W) collected from 1995 to 2005. Location estimates were made from satellite fixes using a state-space movement model to estimate true locations and regularize them in time. Location estimates were used to calculate home range kernels of male and female habitat use each month. Month by sex kernel home ranges revealed striking differences and dynamics in habitat use between males and females on spatial scales broader than most terrestrial examples and at temporal and spatial resolutions rarely available for marine species. Differences were most pronounced just before (October–December) and immediately after breeding (February–March). During both periods, males primarily used areas along the continental shelf break, while females mainly used mid-shelf regions. Coupled with previously identified sex-specific seasonal patterns of energy storage, diving and diet, our findings suggest that males and females differ profoundly in their spatial foraging strategies. These differences may serve to maximize fitness by reducing intersexual competition during key foraging periods.
Relevance and Therapeutic Possibility of PTEN-Long in Renal Cell Carcinoma

PTEN-Long is a translational variant of PTEN (Phosphatase and Tensin Homolog). Like PTEN, PTEN-Long is able to antagonize the PI3K-Akt pathway and inhibits tumor growth. In this study, we investigated the role PTEN-Long plays in the development and progression of clear cell renal cell carcinoma (ccRCC) and explored the therapeutic possibility using proteinaceous PTEN-Long to treat ccRCC. We found that the protein levels of PTEN-Long were drastically reduced in ccRCC, which was correlated with increased levels of phosphorylated Akt (pAkt). Gain of function experiments showed overexpression of PTEN-Long in the ccRCC cell line 786-0 suppressed PI3K-Akt signaling, inhibited cell proliferation, migration and invasion, and eventually induced cell death. When purified PTEN-Long was added into cultured 786-0 cells, it entered cells, blocked Akt activation, and induced apoptosis involving Caspase 3 cleavage. Furthermore, PTEN-Long inhibited proliferation of 786-0 cells in xenograft mouse model. Our results implicated that understanding the roles of PTEN-Long in renal cell carcinogenesis has therapeutic significance.
Plastic Pollution in the World's Oceans: More than 5 Trillion Plastic Pieces Weighing over 250,000 Tons Afloat at Sea

Plastic pollution is ubiquitous throughout the marine environment, yet estimates of the global abundance and weight of floating plastics have lacked data, particularly from the Southern Hemisphere and remote regions. Here we report an estimate of the total number of plastic particles and their weight floating in the world's oceans from 24 expeditions (2007–2013) across all five sub-tropical gyres, costal Australia, Bay of Bengal and the Mediterranean Sea conducting surface net tows (N = 680) and visual survey transects of large plastic debris (N = 891). Using an oceanographic model of floating debris dispersal calibrated by our data, and correcting for wind-driven vertical mixing, we estimate a minimum of 5.25 trillion particles weighing 268,940 tons. When comparing between four size classes, two microplastic <4.75 mm and meso- and macroplastic >4.75 mm, a tremendous loss of microplastics is observed from the sea surface compared to expected rates of fragmentation, suggesting there are mechanisms at play that remove <4.75 mm plastic particles from the ocean surface.
Marine cloud brightening: regional applications

The general principle behind the marine cloud brightening (MCB) climate engineering technique is that seeding marine stratocumulus clouds with substantial concentrations of roughly monodisperse sub-micrometre-sized seawater particles might significantly enhance cloud albedo and longevity, thereby producing a cooling effect. This paper is concerned with preliminary studies of the possible beneficial application of MCB to three regional issues: (1) recovery of polar ice loss, (2) weakening of developing hurricanes and (3) elimination or reduction of coral bleaching. The primary focus is on Item 1. We focus discussion herein on advantages associated with engaging in limited-area seeding, regional effects rather than global; and the levels of seeding that may be required to address changing current and near-term conditions in the Arctic. We also mention the possibility that MCB might be capable of producing a localized cooling to help stabilize the West Antarctic Ice Sheet.
Environmental Education Program

This work originated from a proposal by the Rio de Janeiro State University (UERJ). Oceanography Department, and Human Sciences and Social Integration Department of Colegio de Aplicacao-UERJ for the development of an Environmental Education Program having the Copacabana beach as its theme. The central aim would be to develop pedagogic instruments, to be used at elementary and secondary levels, by means of creating and adapting material for research in three subjects: History, Geography and Oceanography. Thus the beach and its location areas were considered, in a first stage, under those different points of view. The project does not simply consist of informing beach users how to proceed. It aims at imparting the knowledge of how beach dynamics act upon space, and how man must interact with them in a harmonious relationship. The project does not only propose to show 'what to do', but mainly to inform 'why to do it'.
From private attitude to public opinion: A dynamic theory of social impact.

A computer simulation modeled the change of attitudes in a population resulting from the interactive, reciprocal, and reeursive operation of Latan~'s (198 I) theory of social impact, which specifies principles underlying how individuals are affected by their social environment. Surprisingly, several macrolevel phenomena emerged from the simple operation of this microlevei theory, including an incomplete polarization of opinions reaching a stable equilibrium, with coherent minority subgroups managing to exist near the margins of the whole population. Computer simulations, neglected in group dynamics for 20 years, may, as in modern physics, help determine the extent to which group-level phenomena result from individual-level processes. Writing about social phenomena, social scientists have produced empirical generalizations and theoretical analyses of social processes representing differing levels of social reality. Some analyses concern the cognitions, feelings, and behavior of individuals; others deal with small, medium, or large groups, collectivities, and organizations; still others involve such largescale human aggregates and systems as nations, societies, or cultures. Theories can be and are formulated and tested independently for phenomena at each of these levels, but one can also ask about the relations between mechanisms operating at different levels (Doise, 1986; Kenny, 1987; Nowak, 1976). These relations may be of two kinds. The functioning of higher level units (e.g., social groups) may be partly or completely determined and therefore explained by mechanisms known from theories describing phenomena at lower levels (e.g., human individuals). Alternatively, the functioning of lower level units (e.g., individuals) may be affected by the higher level units to which they belong. In other words, individuals in a given social context behave differently than they would outside that context. These relations, taken together, suggest that the interactive impact of individuals and their social context can result in the emergence of new regularities at the levels of both the individual
New HEAVY Models for Fat-Tailed Returns and Realized Covariance Kernels

We develop a new model for the multivariate covariance matrix dynamics based on daily return observations and daily realized covariance matrix kernels based on intraday data. Both types of data may be fat-tailed. We account for this by assuming a matrix-F distribution for the realized kernels, and a multivariate Student’s t distribution for the returns. Using generalized autoregressive score dynamics for the unobserved true covariance matrix, our approach automatically corrects for the effect of outliers and incidentally large observations, both in returns and in covariances. Moreover, by an appropriate choice of scaling of the conditional score function we are able to retain a convenient matrix formulation for the dynamic updates of the covariance matrix. This makes the model highly computationally efficient. We show how the model performs in a controlled simulation setting as well as for empirical data. In our empirical application, we study daily returns and realized kernels from 15 equities over the period 2001-2012 and find that the new model statistically outperforms (recently developed) multivariate volatility models, both in-sample and out-of-sample. We also comment on the possibility to use composite likelihood methods for estimation if desired.
Ultra high-speed Robot Based on 1 kHz vision system

This video introduces an ultra high-speed robot as a milestone in the history of intelligent manipulation systems. To develop the ultra high-speed robot under the concept of dynamics matching, we began with the development of a 1 kHz vision system. Next, we developed a sensory-motor fusion system by introducing the 1 kHz vision system. In addition, we have developed a new high-torque mini actuator and a high-speed multi-fingered hand with these incorporated. Integration of these components brings real-time dexterous manipulations unlike commonly-used control based on prediction or learning.
CT Angiography-Source Image Hypoattenuation Predicts Clinical Outcome in Posterior Circulation Strokes Treated With Intra-Arterial Therapy

Background and Purpose— The aim of this study was to correlate CT angiography-source image (CTA-SI) parenchymal hypoattenuation with clinical outcome in patients with vertebrobasilar occlusion treated with intra-arterial thrombolysis. Methods— In 16 patients with vertebrobasilar occlusion treated with intra-arterial thrombolysis, we graded CTA-SI parenchymal hypoattenuation in the medulla, pons, midbrain, thalamus, cerebellum, occipital lobe, inferior parietal lobe, and medial temporal lobe. The grading scale was: 0, no hypoattenuation; 1, <50% hypoattenuation; and 2, >50% hypoattenuation. On CTA, we assessed clot location and length and collaterals. Outcome was measured with modified Rankin score. Results— Mean patient age was 68.3 years (range, 47 to 86 years), National Institutes of Health Stroke Scale was 28 (range, 11 to 40), time to CTA was 5.2 hours (range, 0.69 to 15.32), and time from CTA to intra-arterial thrombolysis was 5 hours (range, 2.25 to 10.38 hours). There were 4 basilar, 2 vertebral, and 10 combined occlusions. Eleven patients had near complete, 4 had partial, and one had no recanalization. Independent outcome predictors measured as modified Rankin score at 3 months were CTA-SI pons and midbrain scores(cumulative r=0.81, P<0.001). For outcome dichotomized into death versus survival, the CTA-SI pons score (P=0.0037) was the only independent predictor. Conclusion— Hypoattenuation in the pons and midbrain on pretreatment CTA-SI correlates highly with clinical outcome in patients with vertebrobasilar occlusion treated with intra-arterial thrombolysis.
Novel Targets of the CbrAB/Crc Carbon Catabolite Control System Revealed by Transcript Abundance in Pseudomonas aeruginosa

The opportunistic human pathogen Pseudomonas aeruginosa is able to utilize a wide range of carbon and nitrogen compounds, allowing it to grow in vastly different environments. The uptake and catabolism of growth substrates are organized hierarchically by a mechanism termed catabolite repression control (Crc) whereby the Crc protein establishes translational repression of target mRNAs at CA (catabolite activity) motifs present in target mRNAs near ribosome binding sites. Poor carbon sources lead to activation of the CbrAB two-component system, which induces transcription of the small RNA (sRNA) CrcZ. This sRNA relieves Crc-mediated repression of target mRNAs. In this study, we have identified novel targets of the CbrAB/Crc system in P. aeruginosa using transcriptome analysis in combination with a search for CA motifs. We characterized four target genes involved in the uptake and utilization of less preferred carbon sources: estA (secreted esterase), acsA (acetyl-CoA synthetase), bkdR (regulator of branched-chain amino acid catabolism) and aroP2 (aromatic amino acid uptake protein). Evidence for regulation by CbrAB, CrcZ and Crc was obtained in vivo using appropriate reporter fusions, in which mutation of the CA motif resulted in loss of catabolite repression. CbrB and CrcZ were important for growth of P. aeruginosa in cystic fibrosis (CF) sputum medium, suggesting that the CbrAB/Crc system may act as an important regulator during chronic infection of the CF lung.
The Importance of Being Relevant

This review aims at an understanding of the binding process by synthesizing the extant perspectives regarding binding. It begins with a consideration of the biological explanations of binding, viz., conjunctive coding, synchrony, and reentrant mechanisms. Thereafter binding is reviewed as a psychological process guided by top-down signals. The stages and types of binding proposed by various researchers are discussed in this section. The next section introduces Working Memory (WM) as the executive directing the top-down signals. After that it is described how WM works by selecting relevant sensory input, followed by a detailed consideration of the debate regarding objects vs. features with the conclusion that relevance is the key factor determining what is processed. The next section considers other factors affecting the selection of relevant input. Then, we shift focus to describe what happens to irrelevant input – whether it is discarded at the outset or is gradually inhibited, and whether inhibition is a perceptual or post-perceptual process. The concluding section describes the process of binding as currently understood on the basis of the literature included in the review. To summarize, it appears that initially the “object” is conceptualized as an instantaneous bundle of all features. However, only relevant features of stimuli are gradually integrated to form a stable representation of the object. Concomitantly, irrelevant features are removed from the object representations. Empirical evidence suggests that the inhibition of irrelevant features occurs over time and is presumably a process within WM.
P6- and triangle-free graphs revisited: structure and bounded clique-width

The Maximum Weight Stable Set (MWS) Problem is one of the fundamental problems on graphs. It is well-known to be NP-complete for triangle-free graphs, and Mosca has shown that it is solvable in polynomial time when restricted to P6- and triangle-free graphs. We give a complete structure analysis of (nonbipartite) P6- and triangle-free graphs which are prime in the sense of modular decomposition. It turns out that the structure of these graphs is extremely simple implying bounded clique-width and thus, efficient algorithms exist for all problems expressible in terms of Monadic Second Order Logic with quantification only over vertex predicates. The problems Vertex Cover, MWS, Maximum Clique, Minimum Dominating Set, Steiner Tree, and Maximum Induced Matching are among them. Our results improve the previous one on the MWS problem by Mosca with respect to structure and time bound but also extends a previous result by Fouquet, Giakoumakis and Vanherpe which have shown that bipartite P6-free graphs have bounded clique-width. Moreover, it covers a result by Randerath, Schiermeyer and Tewes on polynomial time 3-colorability of P6- and triangle-free graphs.