Miracle-dz/UniFAR-FTUs huggingface dataset:
Profiling the Phospho-status of the BKCa Channel α Subunit in Rat Brain Reveals Unexpected Patterns and Complexity*S

Molecular diversity of ion channel structure and function underlies variability in electrical signaling in nerve, muscle, and non-excitable cells. Protein phosphorylation and alternative splicing of pre-mRNA are two important mechanisms to generate structural and functional diversity of ion channels. However, systematic mass spectrometric analyses of in vivo phosphorylation and splice variants of ion channels in native tissues are largely lacking. Mammalian large-conductance calcium-activated potassium (BKCa) channels are tetramers of α subunits (BKα) either alone or together with β subunits, exhibit exceptionally large single channel conductance, and are dually activated by membrane depolarization and intracellular Ca2+. The cytoplasmic C terminus of BKα is subjected to extensive pre-mRNA splicing and, as predicted by several algorithms, offers numerous phospho-acceptor amino acids. Here we use nanoflow liquid chromatography tandem mass spectrometry on BKCa channels affinity-purified from rat brain to analyze in vivo BKα phosphorylation and splicing. We found 7 splice variations and identified as many as 30 Ser/Thr in vivo phosphorylation sites; most of which were not predicted by commonly used algorithms. Of the identified phosphosites 23 are located in the C terminus, four were found on splice insertions. Electrophysiological analyses of phospho- and dephosphomimetic mutants transiently expressed in HEK-293 cells suggest that phosphorylation of BKα differentially modulates the voltage- and Ca2+-dependence of channel activation. These results demonstrate that the pore-forming subunit of BKCa channels is extensively phosphorylated in the mammalian brain providing a molecular basis for the regulation of firing pattern and excitability through dynamic modification of BKα structure and function.
Grid Simulation Infrastructure Supporting Advance Reservation

Advance Reservation (AR) for global grids becomes an important research area as it allows users to gain concurrent access for their applications to be executed in parallel, and guarantees the availability of resources at specified future times. Evaluating various AR scenarios can not feasibly be carried out on a real grid environment due to its dynamic nature. Therefore, we extend a GridSim simulation package to support AR for repeatable and controlled evaluations. This paper discusses the design and implementation of AR within GridSim, together with the effects of AR from users’ and resources’ point of view in the experiments.
Vetten: machtige moleculen

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication
Functions, reciprocity and the obstruction to divisors on curves

Let k be a number field, X a smooth curve over k, and f a non‐constant element of the function field k(X). If ν is a prime of k then denote the completion of k at ν by kν, and let Xν ≔ X × kν. In this paper, we introduce an abelian extension l/k, depending on f in a natural way, which we call the class field of k belonging to f. We give an explicit homomorphism ∏ Pic(Xv) → Gal(l/k) such that the image of Pic(X) in ∏ Pic(Xv) is in the kernel of this map. We explain how this can often obstruct the existence of k‐rational divisors of certain degrees.
Bayesian classification for promoter prediction in human DNA sequences

Many Computational methods are yet available for data retrieval and analysis of genomic sequences, but some functional sites are difficult to characterize. In this work, we examine the problem of promoter localization in human DNA sequences. Promoters are regulatory regions that governs the expression of genes, and their prediction is reputed difficult, so that this issue is still open. We present the Chaos Game representation (CGR) of DNA sequences which has many interesting properties, and the notion of ‘genomic signature’ that proved relevant in phylogeny applications. Based on this notion, we develop a (naive) bayesian classifier, evaluate its performances, and show that its adaptive implementation enable to reveal or assess core‐promoter positions along a DNA sequence.
Quantum entanglement as information theoretic resource

We address the following criterion for quantifying the quantum information resources: classically simulable {\it vs.} classically non-simulable information processing. This approach gives rise to existence of a deeper level of quantum information processing--which we refer to as "quantum communication channel". We particularly show, that following the recipes of the standard theory of entanglement measures does not necessarily give rise to un-locking the quantum communication channel, which is naturally quantified by Bell inequalities.
A Robust Strategy for Negative Selection of Cre-LoxP Recombination-Based Excision of Transgenes in Induced Pluripotent Stem Cells

Viral vectors remain the most efficient and popular in deriving induced pluripotent stem cells (iPSCs). For translation, it is important to silence or remove the reprogramming factors after induction of pluripotency. In this study, we design an excisable loxP-flanked lentiviral construct that a) includes all the reprogramming elements in a single lentiviral vector expressed by a strong EF-1α promoter; b) enables easy determination of lentiviral titer; c) enables transgene removal and cell enrichment using LoxP-site-specific Cre-recombinase excision and Herpes Simplex Virus-thymidine kinase/ganciclovir (HSV-tk/gan) negative selection; and d) allows for transgene excision in a colony format. A reprogramming efficiency comparable to that reported in the literature without boosting molecules can be consistently obtained. To further demonstrate the utility of this Cre-loxP/HSV-tk/gan strategy, we incorporate a non-viral therapeutic transgene (human blood coagulation Factor IX) in the iPSCs, whose expression can be controlled by a temporal pulse of Cre recombinase. The robustness of this platform enables the implementation of an efficacious and cost-effective protocol for iPSC generation and their subsequent transgenesis for downstream studies.
Interaction and functional collaboration of p300 and C/EBPbeta

Transcriptional coactivators such as p300 and CREB-binding protein (CBP) function as important elements in the transcription factor network, linking individual transactivators via protein-protein interactions to the basal transcriptional machinery. We have investigated whether p300 plays a role in transactivation mediated by C/EBPbeta, a conserved member of the C/EBP family. We show that C/EBPbeta-dependent transactivation is strongly inhibited by adenovirus E1A but not by E1A mutants defective in p300 binding. Ectopic expression of p300 reverses the E1A-dependent inhibition and increases the transactivation potential of C/EBPbeta. Furthermore, we show that C/EBPbeta and p300 interact with each other and demonstrate that the sequences responsible for interaction map to the E1A binding region of p300 and the amino terminus of C/EBPbeta. Finally, we show that the minimal C/EBPbeta binding site of p300 acts as a dominant-negative inhibitor of C/EBPbeta. These observations identify p300 as a bona fide coactivator for C/EBPbeta. C/EBPbeta is highly expressed in the myelomonocytic lineage of the hematopoietic system and cooperates with Myb to activate mim-1, a gene specifically expressed during myelomonocytic differentiation. Recent evidence has shown that Myb recruits CBP (and presumably p300) as a coactivator and, in contrast to C/EBPbeta, interacts with the CREB binding site of p300-CBP. We show that p300 not only stimulates the activity of Myb and C/EBPbeta individually but also increases the synergy between them. Thus, our results reveal a novel function of p300: in addition to linking specific transcription factors to the basal transcriptional machinery, p300 also mediates the cooperation between transactivators interacting with different domains of p300.
Robot, Rabbit, or Red Herring? Societal Acceptance as a Function of Classification Ease

For people to accept robotic agents socially it is necessary for the robots to be easily classifiable. We propose three such kinds of classification for users: Type Classification (what is it? ), Role Classification (how should I interact with it? ), and Behavioral Classification (does it behave in concordance with its type and role? ). As HRI researchers we can design experiments that measure length of time until people classify a given robot's type and role, and a robot's behavior in terms of the number of classification violations it commits. These measurements can then be used to calculate an Ease of Classification score. This score could be used as a basis for comparison between different user groups, different physical interaction spaces, and even different robots. Further, it can help provide insight into the likelihood a given robot will be socially accepted.
A scenario for finite-time singularity in the quasigeostrophic model

Abstract A possible route to finite-time singularity in the quasigeostrophic system, via a cascade of filament instabilities of geometrically decreasing spatial and temporal scales, is investigated numerically using a high-resolution hybrid contour dynamical algorithm. A number of initial temperature distributions are considered, of varying degrees of continuity. In all cases, primary, secondary, and tertiary instabilities are apparent before the algorithm loses accuracy due to limitations of finite resolution. Filament instability is also shown to be potentially important in the closing saddle scenario investigated in many previous studies. The results do not provide a rigorous demonstration of finite-time singularity, but suggest avenues for further investigation.
Methods for Improving and Updating the Knowledge of a Generalization System

In this paper we present a method to improve and to update the knowledge used for the automation of the generalization of buildings based on agent paradigm. We propose to store 1/ each building decision, 2/ the reason why the decision was taken (the conflicts) 3/ the result of each algorithm (an improvement or not) and 4/ the successful process chain within all trials. At the end, the processes of all buildings are compared in order to identify the weakness (for example the case where a specific algorithm is often used but never succeeds). When a deficiency is identified we introduce new rules and we study the effect of this change on the efficiency of the process. It can be used either to improve existing knowledge or to introduce new rules associate to the use of a new measure or a new algorithm. The first study has been made on building independent generalization to set the learning methodology. We wish now to apply it on more complex cases such as contextual generalization which still needs knowledge improvement.
FSRM Feedback Algorithm based on Learning Theory

In order to resolve the "semantic gap" problem between the image low-level features and high-level semantic features, this paper proposed a FSRM algorithm based on the learning theory. To compress the dimension of FSRM, the algorithm divided the image database into "related" and "irrelevant" two classes by retrieval of low-level features image. Then, the weights were adjusted in FSRM based on user feedback. Finally, after a finite time feedback, the weights were adjusted in FSRM using the learning theory FSRM algorithm, and the new retrieval results were returned to the user. The experiment shows that this algorithm can express the semantics contained in the image and can present a good description of the semantic similarity between images; therefore, the proposed algorithm has certain significance.
WordNet, EuroWordNet and Global WordNet

On se propose de presenter ici brievement l’architecture de la base de donnees WordNeet, concue pour representer des relations conceptuelles et construite initialement pour l’anglais, ainsi que les prolongements qui en ont ete faits sous le nom de EuroWordNet pour sept autres langues europeennes.
An Auction Mechanism for Cloud Spot Markets

Dynamic forms of resource pricing have recently been introduced by cloud providers that offer Infrastructure as a Service (IaaS) capabilities in order to maximize profits and balance resource supply and demand. The design of a mechanism that efficiently prices perishable cloud resources in line with a provider’s profit maximization goal remains an open research challenge, however. In this article, we propose the Online Extended Consensus Revenue Estimate mechanism in the setting of a recurrent, multiunit and single price auction for IaaS cloud resources. The mechanism is envy-free, has a high probability of being truthful, and generates a near optimal profit for the provider. We combine the proposed auction design with a scheme for dynamically calculating reserve prices based on data center Power Usage Effectiveness (PUE) and electricity costs. Our simulation-based evaluation of the mechanism demonstrates its effectiveness under a broad variety of market conditions. In particular, we show how it improves on the classical uniform price auction, and we investigate the value of prior knowledge on the execution time of virtual machines for maximizing profit. We also developed a system prototype and conducted a small-scale experimental study with a group of 10 users that confirms the truthfulness property of the mechanism in a real test environment.
On the Complexity of System Throughput Derivation for Static 802.11 Networks

The exploding popularity of 802.11 Wireless Local Area Networks (WLAN) has drawn intense research interest in the optimization of WLAN performance through channel assignment to access points (AP), AP-client association control, and transmission scheduling-we refer to any combination of the three approaches as WLAN management. No matter what degrees of freedom are enabled in WLAN management for performance optimization in a particular WLAN setting, a fundamental question is the corresponding maximum achievable system throughput. We show that for a particular network setting, the derivation of the system throughput (where system throughput is aggregate throughput of all clients or max-min throughput), for any combination of channel assignment, association control and transmission scheduling, is NP-hard and hard to approximate in polynomial time.
Embedding Audio Message in Images Using Integer Wavelet Transform-A Detailed Survey

Data hiding is method where secret data is embedded into an original image in a reversible manner. Usually RDH spatial-domain photographs are encrypted. The reversible data hiding can thought as a data carrier that hide secret information . The proposed system encrypts the JPEG bit stream in to an ordered structure. Then it embeds secret information by adjusting the JPEG BIT stream. The bits for data hiding are then identified. To have an ideal knowledge removal and picture recovery, error correction codes are used in coding the secret data. Encryption and embedding keys are used in encryption and embedding purpose. The message bits are encoded and embedded into the encrypted bit stream by changing the appended bits. Using the encryption and embedding keys, the receiver may remove the data and completely restore the original image. Once embedding key is missing, the initial picture could be more or less recovered with adequate quality without removing the hidden data.
Environmental maternal effects on seed morphology and germination in Sinapis arvensis (Cruciferae)

Summary Pioneer plants are adapted to grow in unpredictable environments. These plants have evolved several traits related to seed morphology and germination to cope with this unpredictability. The main aim of this study was to investigate the effect of plant identity and maternal environment on seed mass and germination of Sinapis arvensis. This study was undertaken with S. arvensis plants grown in four experimentally manipulated resource availability scenarios: (i) nitrogen addition, (ii) water addition, (iii) nitrogen and water simultaneously added, and (iv) control. Plants grew under field conditions in an emerging plant community. Germination response was mainly affected by maternal plant identity. This reflects not only genotype quality but also phenotypic plasticity, which allows adaptation to habitat conditions. Seed coat colour together with mean seed mass per plant explained significant fractions of the variability in germination rate. Changes in the germination response because of maternal environmental effects were also detected. Germination rate decreased in seeds from nitrogen-enriched conditions; this may be due to the induction of dormancy caused by high concentration of nitrogen in the seeds. Addition of water to maternal environment caused a decrease in total germination percentage and germination rate of seeds. Thus, our results provide evidence for maternal environmental effects on germination under field conditions. Furthermore, changes in germination timing, as detected in our study, may determine plant development and fitness in unpredictable conditions.
A 12-Pole Narrowband Highly Selective High-Temperature Superconducting Filter for the Application in the Third-Generation Wireless Communications

An ultra-selective high-temperature superconducting bandpass filter was designed and fabricated to satisfy the demands of the third-generation wireless communications. This filter was designed to have 12-pole quasi-elliptic response with 4.68-MHz bandwidth in the third-generation communications band (a fractional bandwidth of 0.0023). Full-wave simulations were conducted by using Sonnet software. A novel, compact, and low radiation resonator with a high-quality (Q) factor value was developed to reduce the parasitical coupling. In order to satisfy the demand of high band-edge steepness, three pairs of transmission zeros at finite frequencies were introduced in the cascaded quadruplet coupling structure. The filter was fabricated on a 2-in-diameter 0.43-mm-thick sapphire wafer with double-sided YBCO films. The measurements showed that the passband center frequency (f0) of the filter is 2.038 GHz at 67 K with a midband insertion loss of 0.67 dB and the return loss better than 15 dB. The measured response of the filter also exhibited ultra-high band-edge steepness of 140-220 dB/MHz. Better than 60 dB of out-of-band rejections for frequencies very close to the band edge (|f-f0|>2.7 MHz), better than 90 dB at frequencies 7.5 MHz away from the center frequency and up to 100 dB of wideband rejections were achieved
RRBS: Reliable broadcasting over unreliable wireless links in resilient ad-hoc networks

This paper addresses the minimum transmission broadcast problem in resilient ad-hoc networks and presents efficient solutions, including centralized heuristic algorithms and a distributed algorithm. In disaster-resilient networks, wireless links are unreliable due to harsh environments. Distinct from related work in the literature which typically assumes wireless links are reliable, we address the issue of broadcasting over both reliable wireless links and unreliable wireless links. Our main contributions are as follows: First, we develop heuristic algorithms for both reliable- and unreliable-link model. Second, we propose a distributed algorithm based on 1-hop neighbor information. Using simulation, we confirm that the proposed heuristic algorithms can reduces the number of transmissions significantly and the proposed distributed algorithm performs comparably well to the centralized heuristic algorithms in terms of both delivery ratio and the number of transmissions.
Theory with Cosmological Term as a Topological Quantum Field Theory

Starting from a Lie group G whose Lie algebra is equipped with an invariant nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory with cosmological term gives rise to a TQFT satisfying a generalization of Atiyah’s axioms to manifolds equipped with principal G-bundle. The case G = GL(4,R) is especially interesting because every 4-manifold is then naturally equipped with a principal G-bundle, namely its frame bundle. In this case, the partition function of a compact oriented 4-manifold is the exponential of its signature, and the resulting TQFT is isomorphic to that constructed by Crane and Yetter using a state sum model, or by Broda using a surgery presentation of 4-manifolds.
Application of DMSP/OLS Nighttime Light Images: A Meta-Analysis and a Systematic Literature Review

Abstract: Since the release of the digital archives of Defense Meteorological Satellite Program Operational Line Scanner (DMSP/OLS) nighttime light data in 1992, a variety of datasets based on this database have been produced and applied to monitor and analyze human activities and natural phenomena. However, differences among these datasets and how they have been applied may potentially confuse researchers working with these data. In this paper, we review the ways in which data from DMSP/OLS nighttime light images have been applied over the past two decades, focusing on differences in data processing, research trends, and the methods used among the different application areas. Five main datasets extracted from this database have led to many studies in various research areas over the last 20 years, and each dataset has its own strengths and limitations. The number of publications based on this database and the diversity of authors and institutions involved have shown promising growth. In addition, researchers have accumulated vast experience
Coordinated labor Supply within the Firm: Evidence and Implications

This paper studies individual and plant-wide adjustment in days worked. Matched firm-worker data for North-East Italy show signicant variation in mean days worked per month within plants: a one-standard deviation change amounts to about four days of worker per month. The paper then looks within the plant to document the extent of co-movement, or coordination, of labor supply among a plant's workers. After adjusting for individual and plant-specic effects, we find that the days worked of one's co-workers accounts for 20 percent of the variation in individual days worked. The effect of co-workers trumps other standard controls, such as the worker's own (daily) wage. It has been known that such an incentive to coordinate labor input can lead to downwardly-biased estimates of the labor supply elasticity if the identifying variation is idiosyncratic to a worker. Reacting to this, we study the (intensive) labor supply elasticity within the context of a model in which workers' time inputs are complements in production. This model can be estimated via minimum distance, which recovers the technology and preference parameters consistent with the observed degree of coordination and intensive-margin adjustment.