Off-chain trading for micro grid systems

As micro grids and blockchain gained the interest and attention of both academia and the industry, the interaction between the two technologies seems inevitable. However, there are challenges to overcome in order to actually realize the integration between micro grids and blockchains. In this article, we review the solutions proposed to enhance micro grids with blockchains. We discuss the scalability challenges and the opportunities derived from the off-chaining computing techniques. In this context, we draft a design to implement a micro grid-based peer-to-peer local energy market, powered by an off-chain computing protocol called DIVERSITY. DIVERSITY aims to shift the computational burden from a main blockchain to an intermediate layer of nodes, aggregating data and executing smart contracts off-chain. We simulate different data logging approaches, and it is found that DIVERSITY allows an actual saving on fees and power consumption derived from using a public blockchain platform, such as Ethereum, in order to assure a truly decentralized renewable energy distribution at a lower cost

Compiler fuzzing: how much does it matter?

Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of fuzzer-found compiler bugs on real-world applications has barely been assessed. We present the first quantitative and qualitative study of the tangible impact of miscompilation bugs in a mature compiler. We follow a rigorous methodology where the bug impact over the compiled application is evaluated based on (1) whether the bug appears to trigger during compilation; (2) the extent to which generated assembly code changes syntactically due to triggering of the bug; and (3) whether such changes cause regression test suite failures, or whether we can manually find application inputs that trigger execution divergence due to such changes. The study is conducted with respect to the compilation of more than 10 million lines of C/C++ code from 309 Debian packages, using 12% of the historical and now fixed miscompilation bugs found by four state-of-the-art fuzzers in the Clang/LLVM compiler, as well as 18 bugs found by human users compiling real code or as a by-product of formal verification efforts. The results show that almost half of the fuzzer-found bugs propagate to the generated binaries for at least one package, in which case only a very small part of the binary is typically affected, yet causing two failures when running the test suites of all the impacted packages. User-reported and formal verification bugs do not exhibit a higher impact, with a lower rate of triggered bugs and one test failure. The manual analysis of a selection of the syntactic changes caused by some of our bugs (fuzzer-found and non fuzzer-found) in package assembly code, shows that either these changes have no semantic impact or that they would require very specific runtime circumstances to trigger execution divergence

Late-onset major depressive disorder: exploring the therapeutic potential of enhancing cerebral brain-derived neurotrophic factor expression through targeted microRNA delivery

Major depressive disorder (MDD) is a severe psychiatric condition that significantly impacts the overall quality of life. Although MDD can occur across all age groups, it is notably prevalent among older individuals, with the aggravating circumstance that the clinical condition is frequently overlooked and undertreated. Furthermore, older adults often encounter resistance to standard treatments, experience adverse events, and face challenges associated with polypharmacy. Given that late-life MDD is associated with heightened rates of disability and mortality, as well as imposing a significant economic and logistical burden on healthcare systems, it becomes imperative to explore novel therapeutic approaches. These could serve as either supplements to standard guidelines or alternatives for non-responsive patients, potentially enhancing the management of geriatric MDD patients. This review aims to delve into the potential of microRNAs targeting Brain-Derived Neurotrophic Factor (BDNF). In MDD, a significant decrease in both central and peripheral BDNF has been well-documented, raising implications for therapy response. Notably, BDNF appears to be a key player in the intricate interplay between microRNA-induced neuroplasticity deficits and neuroinflammation, both processes deeply implicated in the onset and progression of the disease. Special emphasis is placed on delivery methods, with a comprehensive comparison of the strengths and weaknesses of each proposed approach. Our hypothesis proposes that employing multiple microRNAs concurrently, with the ability to directly influence BDNF and activate closely associated pathways, may represent the most promising strategy. Regarding vehicles, although the perfect nanoparticle remains elusive, considering the trade-offs, liposomes emerge as the most suitable option

Cyclin B1-Cdk1 facilitates MAD1 release from the nuclear pore to ensure a robust spindle checkpoint.

How the cell rapidly and completely reorganizes its architecture when it divides is a problem that has fascinated researchers for almost 150 yr. We now know that the core regulatory machinery is highly conserved in eukaryotes, but how these multiple protein kinases, protein phosphatases, and ubiquitin ligases are coordinated in space and time to remodel the cell in a matter of minutes remains a major question. Cyclin B1-Cdk is the primary kinase that drives mitotic remodeling; here we show that it is targeted to the nuclear pore complex (NPC) by binding an acidic face of the kinetochore checkpoint protein, MAD1, where it coordinates NPC disassembly with kinetochore assembly. Localized cyclin B1-Cdk1 is needed for the proper release of MAD1 from the embrace of TPR at the nuclear pore so that it can be recruited to kinetochores before nuclear envelope breakdown to maintain genomic stability

A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications

Symbolic execution is a technique which enables automatically generating test inputs (and outputs) exercising a set of execution paths within a program to be tested. If the paths cover a sufficient part of the code under test, the test data offer a representative view of the program's actual behaviour, which notably enables detecting errors and correcting faults. Relational databases are ubiquitous in software, but symbolic execution of pieces of code that manipulate them remains a non-trivial problem, particularly because of the complex structure of such databases and the complex behaviour of SQL statements. In this work, we define a direct symbolic execution for database manipulation code and integrate it with a more traditional symbolic execution of normal program code. The database tables are represented by relational symbols and the SQL statements by relational constraints over these symbols and the symbols representing the normal variables of the program. An algorithm based on these principles is presented for the symbolic execution of Java methods that implement business use cases by reading and writing in a relational database, the latter subject to data integrity constraints. The algorithm is integrated in a test generation tool and experimented over sample code. The target language for the constraints produced by the tool is the SMT-Lib standard and the used solver is Microsoft Z3. The results show that the proposed approach enables generating meaningful test data, including valid database content, in reasonable time. In particular, the Z3 solver is shown to be more scalable than the Alloy solver, used in our previous work, for solving relational constraints

Analysis of Secreted Proteins from Prepubertal Ovarian Tissues Exposed In Vitro to Cisplatin and LH

It is well known that secreted and exosomal proteins are associated with a broad range of physiological processes involving tissue homeostasis and differentiation. In the present paper, our purpose was to characterize the proteome of the culture medium in which the oocytes within the primordial/primary follicles underwent apoptosis induced by cisplatin (CIS) or were, for the most part, protected by LH against the drug. To this aim, prepubertal ovarian tissues were cultured under control and in the presence of CIS, LH, and CIS + LH. The culture media were harvested after 2, 12, and 24 h from chemotherapeutic drug treatment and analyzed by liquid chromatography–mass spectrometry (LC-MS). We found that apoptotic conditions generated by CIS in the cultured ovarian tissues and/or oocytes are reflected in distinct changes in the extracellular microenvironment in which they were cultured. These changes became evident mainly from 12 h onwards and were characterized by the inhibition or decreased release of a variety of compounds, such as the proteases Htra1 and Prss23, the antioxidants Prdx2 and Hbat1, the metabolic regulators Ldha and Pkm, and regulators of apoptotic pathways such as Tmsb4x. Altogether, these results confirm the biological relevance of the LH action on prepuberal ovaries and provide novel information about the proteins released by the ovarian tissues exposed to CIS and LH in the surrounding microenvironment. These data might represent a valuable resource for future studies aimed to clarify the effects and identify biomarkers of these compounds’ action on the developing ovary

VST: the telescope progress toward stars

The VST telescope is in an advanced stage of integration in Chile, after a period of work spent mainly on the active optics system, started in mid-2007. We present the results of the recent work on the primary and secondary mirror support systems and on the mirror cell auxiliary units

Comprehensive longitudinal non-invasive quantification of healthspan and frailty in a large cohort (n = 546) of geriatric C57BL/6 J mice

Frailty is an age-related condition characterized by a multisystem functional decline, increased vulnerability to stressors, and adverse health outcomes. Quantifying the degree of frailty in humans and animals is a health measure useful for translational geroscience research. Two frailty measurements, namely the frailty phenotype (FP) and the clinical frailty index (CFI), have been validated in mice and are frequently applied in preclinical research. However, these two tools are based on different concepts and do not necessarily identify the same mice as frail. In particular, the FP is based on a dichotomous classification that suffers from high sample size requirements and misclassification problems. Based on the monthly longitudinal non-invasive assessment of frailty in a large cohort of mice, here we develop an alternative scoring method, which we called physical function score (PFS), proposed as a continuous variable that resumes into a unique function, the five criteria included in the FP. This score would not only reduce misclassification of frailty but it also makes the two tools, PFS and CFI, integrable to provide an overall measurement of health, named vitality score (VS) in aging mice. VS displays a higher association with mortality than PFS or CFI and correlates with biomarkers related to the accumulation of senescent cells and the epigenetic clock. This longitudinal non-invasive assessment strategy and the VS may help to overcome the different sensitivity in frailty identification, reduce the sample size in longitudinal experiments, and establish the effectiveness of therapeutic/preventive interventions for frailty or other age-related diseases in geriatric animals

Speeding up biomolecular interactions by molecular sledding

Numerous biological processes involve association of a protein with its binding partner, an event that is preceded by a diffusion-mediated search bringing the two partners together. Often hindered by crowding in biologically relevant environments, three-dimensional diffusion can be slow and result in long bimolecular association times. Similarly, the initial association step between two binding partners often represents a rate-limiting step in biotechnologically relevant reactions. We demonstrate the practical use of an 11-a.a. DNA-interacting peptide derived from adenovirus to reduce the dimensionality of diffusional search processes and speed up associations between biological macromolecules. We functionalize binding partners with the peptide and demonstrate that the ability of the peptide to one-dimensionally diffuse along DNA results in a 20-fold reduction in reaction time. We also show that modifying PCR primers with the peptide sled enables significant acceleration of standard PCR reactions