Miracle-dz/UniFAR-FTUs huggingface dataset:
Simulation of dynamic power flows in the international grid control cooperation

In the past, the organization of the procurement and activation process of control power was primarily a national task in the European transmission grid. Since 2011, Denmark and Germany cooperate in the international grid control cooperation (IGCC) to avoid the counter activation of secondary control power and therefore to lower their costs. Today seven countries participate in the IGCC [1] and it is designated, to expand this cooperation in the future [2]. However, the international cooperation means that control power has to be transferred between the IGCC participants. As a result, additional control power flows occur. These control power flows have an impact on the grid utilization, especially on the interconnectors, which have to transfer the control power between the countries physically. To avoid interconnector overloads, a congestion management (CM) is implemented [3]. In this paper an approach for the integrated calculation of power flows and frequency in the IGCC is presented. For this purpose, the standard model for the analysis of frequency control is combined with a power flow analysis. As a result of this approach, the dynamic changes of the grid utilization in an IGCC can be simulated. The resulting model is used to simulate dynamic power flows in an eight-node system, considering the IGCC and its CM. It is shown that the CM is neither able to avoid overloads exactly nor to ensure an optimal utilization of the existing transmission capacity. This means, the CM is subject to a certain inaccuracy. In the future the presented model can make a contribution towards checking the CM accuracy at the European level and towards developing enhanced CM methods with an improved accuracy.
Hydrolyzed tilapia fish collagen induces osteogenic differentiation of human periodontal ligament cells

Alveolar bone regeneration has aroused worldwide attention and plays an important role in oral clinics. In recent years, the application of biomaterials to induce osteogenic differentiation of periodontal ligament cells has become the hot topic in the field of alveolar bone regeneration. At present, most existing biomaterials lack osteoinductivity, while extrinsic inducers carry the risk of unwanted side effects. The objective of this work was to study the in vitro functionality of a newly developed hydrolyzed tilapia fish collagen (HFC) for periodontal tissue regeneration. HFC was extracted from the scales of tilapia, human periodontal ligament cells (hPDL cells) were cultured with HFC without the addition of any inducing reagent, and the effects of HFC on cell viability and osteogenic differentiation were investigated. The results revealed that HFC promoted the cell viability of hPDL cells. Furthermore, the upregulation of osteogenic markers ALP, COL I, RUNX2, and OCN at the gene level and the production of osteogenic-related proteins (alkaline phosphatase and osteocalcin) proved the success of osteogenic differentiation of hPDL cells treated with HFC. In addition, we revealed that the effect of HFC was mediated by ERK signaling pathways. Taken together, the data presented in this paper suggested for the first time that HFC is a promising bioactive ingredient for biomaterials used in alveolar bone regeneration.
Recurrently Target-Attending Tracking

Robust visual tracking is a challenging task in computer vision. Due to the accumulation and propagation of estimation error, model drifting often occurs and degrades the tracking performance. To mitigate this problem, in this paper we propose a novel tracking method called Recurrently Target-attending Tracking (RTT). RTT attempts to identify and exploit those reliable parts which are beneficial for the overall tracking process. To bypass occlusion and discover reliable components, multi-directional Recurrent Neural Networks (RNNs) are employed in RTT to capture long-range contextual cues by traversing a candidate spatial region from multiple directions. The produced confidence maps from the RNNs are employed to adaptively regularize the learning of discriminative correlation filters by suppressing clutter background noises while making full use of the information from reliable parts. To solve the weighted correlation filters, we especially derive an efficient closedform solution with a sharp reduction in computation complexity. Extensive experiments demonstrate that our proposed RTT is more competitive over those correlation filter based methods.
THE THERAPEUTIC FRAME REVISITED: A CONTEMPORARY PERSPECTIVE

Since it was first proposed, the therapeutic frame has been widely adopted and transmitted in a relatively unquestioned manner despite major modifications in clinical theory and practice. A reexamination of the frame from a contemporary perspective is presented. While traditional conceptions of the frame emphasize its function for the client, it is argued that this structure also serves a crucial purpose for the therapist. By minimizing the opportunity for selfindulgence, the frame enables the clinician to maintain a therapeutic stance and create an environment that fosters comprehension of the client.
Changing green subjectivities in outdoor and environmental education: a qualitative study

This article draws on a longitudinal qualitative study of Australian tertiary students studying Outdoor and Environmental Education. It draws on the work of Foucault and Darier to consider how ‘environmental governmentality’ shapes the conduct, desires and attitudes of these students over time. Attention is drawn to normalising and disciplinary effects of mainstream environmental discourse alongside an exploration of some of the inconsistencies and ruptures in how participants interact with discourses of environmentalism.
Time-triggered communication scheduling analysis for real-time multicore systems

The demand for more computing power in current real-time systems carries on the development and research on multicore devices. Especially for hard real-time applications, like an engine control system, the software needs to be distributed and scheduled effectively. These applications consist of many tasks, which communicate data among each other. Considering a multicore system, communication between cores may require a lot of time. A bus architecture becomes a communication bottleneck with an increasing number of cores. Therefore, we consider a scalable communication structure like a Network-on-Chip (NoC). This paper studies the schedulability analysis of tangled tasks by resolving the communication dependencies with a Time-Triggered Constant Phase (TTCP) scheduler. A TTCP scheduler assigns periodic time slots for each computation and each communication entity. With the TTCP approach, we can highly utilize the NoC and the cores considering a tangled task model. However, this approach requires a method getting a feasible set of these time slots. We provide a schedulability analysis and a heuristic algorithm, that runs in pseudo-polynomial time complexity, for assigning the time slots. Experiments confirm this result and show the effectiveness of our heuristic algorithm for assigning the time slots for our approach. For typical industrial task sets with 1000 tasks, our approach can utilize the NoC by around 60%, while holding all real-time constraints.
Investigating project managers' work values by repertory grids interviews

Purpose – The purpose of the research is to investigate project managers' work values and their relationship with project managers' competence.Design/methodology/approach – In this research, the authors conducted semi‐structured interviews using repertory grid techniques on 18 Chinese project managers. Three different approaches are utilised to analyse data obtained from the interviews.Findings – The authors categorised work values with different perspectives. Project managers' core work values are identified.Research limitations/implications – The authors recommend that work values are an important dimension in relation to project manager's competence. The understanding of a project manager's work values has a potential application in human resources development and competence‐based management development.Originality/value – This paper presents an innovative approach to the investigation of a project manager's competence.
Monte Carlo Search Algorithm Discovery for One Player Games

Much current research in AI and games is being devoted to Monte Carlo search (MCS) algorithms. While the quest for a single unified MCS algorithm that would perform well on all problems is of major interest for AI, practitioners often know in advance the problem they want to solve, and spend plenty of time exploiting this knowledge to customize their MCS algorithm in a problem-driven way. We propose an MCS algorithm discovery scheme to perform this in an automatic and reproducible way. We first introduce a grammar over MCS algorithms that enables inducing a rich space of candidate algorithms. Afterwards, we search in this space for the algorithm that performs best on average for a given distribution of training problems. We rely on multi-armed bandits to approximately solve this optimization problem. The experiments, generated on three different domains, show that our approach enables discovering algorithms that outperform several well-known MCS algorithms such as Upper Confidence bounds applied to Trees and Nested Monte Carlo search. We also show that the discovered algorithms are generally quite robust with respect to changes in the distribution over the training problems.
An Outline of Separation Logic

Separation Logic is an effective Program Logic for proving programs that involve pointers. Reasoning with pointers becomes difficult especially when there is aliasing arising due to several pointers to a given cell location. In this paper, we try to explore the problems with aliasing through some simple examples and introduce the notion of separating conjunction as a tool to deal with it. We introduce Separation Logic as an extension of the standard Hoare Logic with the help pf a programming language that has four pointer manipulating commands. These commands perform the usual heap operations such as lookup, update, allocation and deallocation. The new set of assertions and axioms of Separation Logic is presented in a semi-formal style. Examples are given to illustrate the unique features of the new assertions and axioms. Finally the paper concludes with the proofs of some real programs using the axioms of Separation Logic.
Towards Problem Solving Agents that Communicate and Learn

Agents that communicate back and forth with humans to help them execute non-linguistic tasks are a long sought goal of AI. These agents need to translate between utterances and actionable meaning representations that can be interpreted by task-specific problem solvers in a context-dependent manner. They should also be able to learn such actionable interpretations for new predicates on the fly. We define an agent architecture for this scenario and present a series of experiments in the Blocks World domain that illustrate how our architecture supports language learning and problem solving in this domain.
Runtime 3-D stacked cache data management for energy minimization of 3-D chip-multiprocessors

In a 3-D processor-memory system, multiple cache dies can be stacked onto multi-core die to reduce latency and power of the on-chip wires connecting the cores and the cache, which finally increases the power efficiency. However, there are two challenging issues. The first is the high power density (resulting from multiple die stacking) that incurs many temperature-related problems including temperature-dependent leakage power. The second is the processor-cache traffic congestions that occur at through-silicon vias (TSVs) shared by multiple stacked caches. In this paper, a runtime cache data mapping is proposed for 3-D stacked L2 caches to minimize the overall energy of 3-D chip multiprocessors (CMPs). The proposed method considers both temperature distribution and memory traffic of 3-D CMPs. Experimental result shows that the proposed method achieves up to 22.88% energy reduction compared to an existing solution which considers only the temperature distribution.
Performance Evaluation of Timing Synchronization in OFDM-Based Cognitive Radio Systems

In this paper, the performance of Schmidl and Cox (S&C) timing estimator in cognitive radio systems under a fractional bandwidth (FBW) scenario is investigated. The synchronization preamble is appropriately modified in order to avoid transmission in the subbands where primary users (PU) are active. However, at the receiver, the timing synchronizer processes all received signal samples within the given OFDM band without any knowledge of a PU presence, thus being affected by interference. Statistical properties of timing metric in the presence of interference caused by PU are derived for an AWGN channel.
Durable response after VNCOP-B and rituximab in an elderly patient with high-grade B-cell lymphoma

Abstract Objectives and Methods: High-grade B-cell lymphoma, NOS (HGBL) have an aggressive clinical behavior and poor outcome using regimens currently employed for diffuse large B-cell lymphoma (DLBCL) such as rituximab, cyclophosphamide, doxorubicin, vincristine, and prednisone (R-CHOP). Promising results have been reported with more intensive regimens but this strategy is not suitable for elderly or unfit patients. Rituximab in association with cyclophosphamide, mitoxantrone, vincristine, etoposide, bleomycin, and prednisone (R-VNCOP-B) demonstrated high efficacy and manageable toxicity as first-line treatment for elderly aggressive non-Hodgkin lymphoma patients. Results and Conclusion: In this case study, we report the rapid improvement, long-lasting complete remission, and mild toxicity of R-VNCOP-B regimen in an elderly, triple-expressor HGBL patient, with aggressive disease and poor-risk profile.
Parathyroid imaging using simultaneous double-window recording of technetium-99m-sestamibi and iodine-123.

UNLABELLED Technetium-99m-sestamibi represents an important advance in the scintigraphic location of parathyroid neoplasms. However, the optimal procedure for 99mTc-sestamibi parathyroid scanning has not been defined. The first objective of this work was to optimize the technical aspects of subtraction scanning, using simultaneous double-window recording of 99mTc-sestamibi and 1231 instead of successive image recording. The second objective was to compare two protocols for detecting abnormal parathyroid glands: subtraction scanning and single-tracer double-phase scanning. METHODS Thirty patients referred for first surgery of primary hyperparathyroidism had both subtraction scanning and double-phase scanning in the same imaging session. Images of 99mTc-sestamibi and 123I were recorded simultaneously in nonoverlapping windows and then subtracted. For double-phase scanning, images of 99mTc-sestamibi, acquired 15 min and 120 min after tracer injection, were visually compared. Surgery disclosed a solitary adenoma in 27 patients, bilateral adenomata in 2 patients and 3 hyperplastic glands in the last patient. No patient had persistent hypercalcemia. RESULTS Preoperative 99mTc-sestamibi/123I subtraction scanning located 25 of 27 solitary adenomas, the bilateral adenomata and 3 of 3 hyperplastic glands. The overall sensitivity for enlarged parathyroids was 94%, and the false-positive image rate was 3%. The 99mTc-sestamibi single-tracer technique located 22 of 27 solitary adenomas, the bilateral adenomata and 1 of 3 hyperplastic glands. Overall sensitivity was 79% and the false-positive image rate was 10%. The gamma camera imaging time was 30 min for the subtraction technique and 50 min for the single-tracer double-phase study. An ectopic adenoma in the sheath of the right carotid artery was detected by both techniques. CONCLUSION These results, together with other data in the literature, indicate that 99mTc-sestamibi/123I subtraction imaging is accurate in locating enlarged parathyroids. Classical difficulties of this technique (motion artifacts and prolonged immobilization) were avoided by using simultaneous recording of the two isotopes. In this series subtraction imaging was more rapid and more sensitive (p < 0.04) than the single-tracer technique.
A 62mV 0.13μm CMOS standard-cell-based design technique using schmitt-trigger logic

Sub-threshold circuits have recently gained attention mainly due to the possibility of operating at the minimum energy per operation point [1]. There are applications where a supply voltage reduction below this point is advantageous though, even at the cost of increasing active energy per operation. Always-on circuits, e.g. wake-up circuitry for chips sleeping at ultra-low supply voltages, reduce power consumption with decreasing supply. Furthermore, energy-harvesting applications are often limited by the very low output voltages of the harvesting devices, thus the minimum VDD of the electronic circuits dictates when active operation can start (e.g. thermoelectric harvesters [2]).
Functional Connection Between the Clb5 Cyclin, the Protein Kinase C Pathway and the Swi4 Transcription Factor in Saccharomyces cerevisiae

The rsf12 mutation was isolated in a synthetic lethal screen for genes functionally interacting with Swi4. RSF12 is CLB5. The clb5 swi4 mutant cells arrest at G2/M due to the activation of the DNA-damage checkpoint. Defects in DNA integrity was confirmed by the increased rates of chromosome loss and mitotic recombination. Other results suggest the presence of additional defects related to morphogenesis. Interestingly, genes of the PKC pathway rescue the growth defect of clb5 swi4, and pkc1 and slt2 mutations are synthetic lethal with clb5, pointing to a connection between Clb5, the PKC pathway, and Swi4. Different observations suggest that like Clb5, the PKC pathway and Swi4 are involved in the control of DNA integrity: there is a synthetic interaction between pkc1 and slt2 with rad9; the pkc1, slt2, and swi4 mutants are hypersensitive to hydroxyurea; and the Slt2 kinase is activated by hydroxyurea. Reciprocally, we found that clb5 mutant is hypersensitive to SDS, CFW, latrunculin B, or zymolyase, which suggests that, like the PKC pathway and Swi4, Clb5 is related to cell integrity. In summary, we report numerous genetic interactions and phenotypic descriptions supporting a close functional relationship between the Clb5 cyclin, the PKC pathway, and the Swi4 transcription factor.
Towards Black-box Iterative Machine Teaching

In this paper, we make an important step towards the black-box machine teaching by considering the cross-space teaching setting, where the teacher and the learner use different feature representations and the teacher can not fully observe the learner's model. In such scenario, we study how the teacher is still able to teach the learner to achieve a faster convergence rate than the traditional passive learning. We propose an active teacher model that can actively query the learner (i.e., make the learner take exams) for estimating the learner's status, and provide the sample complexity for both teaching and query, respectively. In the experiments, we compare the proposed active teacher with the omniscient teacher and verify the effectiveness of the active teacher model.
Design and evaluation of algorithms for mapping and scheduling of virtual network functions

Network function virtualization has received attention from both academia and industry as an important shift in the deployment of telecommunication networks and services. It is being proposed as a path towards cost efficiency, reduced time-to-markets, and enhanced innovativeness in telecommunication service provisioning. However, efficiently running virtualized services is not trivial as, among other initialization steps, it requires first mapping virtual networks onto physical networks, and thereafter mapping and scheduling virtual functions onto the virtual networks. This paper formulates the online virtual function mapping and scheduling problem and proposes a set of algorithms for solving it. Our main objective is to propose simple algorithms that may be used as a basis for future work in this area. To this end, we propose three greedy algorithms and a tabu search-based heuristic. We carry out evaluations of these algorithms considering parameters such as successful service mappings, total service processing times, revenue, cost etc, under varying network conditions. Simulations show that the tabu search-based algorithm performs only slightly better than the best greedy algorithm.
Deadline-based approach for improving delivery of SVC-based HTTP Adaptive Streaming content

HTTP Adaptive Streaming (HAS) has several advantages compared to traditional streaming protocols, such as easy traversal of firewalls and reuse of widely deployed HTTP infrastructure. HAS content is temporally segmented, and encoded at different quality representations, allowing the video player to autonomously adapt to network conditions by adapting play-out quality between subsequent segment downloads. However, to guarantee continuous playback, current-generation HAS protocols require a large play-out buffer. This makes them ill-suited for live television, as it significantly increases the live signal delay. This paper proposes a novel HAS solution for live streaming services. A HAS video player was designed that can cope with buffers as small as 2 seconds. This obviously requires the player to more rapidly react to bandwidth changes, which was achieved by using the Scalable Video Coding (SVC) extension of the H.264 Advanced Video Coding (AVC) video codec. Moreover, an intelligent network proxy was developed that guarantees the delivery of the SVC base quality layer using Differentiated Services (DiffServ). Furthermore, a more dynamic deadline-based approach is proposed which allows the client itself to decide which segments should be prioritized based on the risk of running into a buffer starvation. This enables more efficient use of the prioritized channel, leading to less freezes and increased quality and stability. The combination of these technologies allows the video player to align its quality adaptation decisions to the available bandwidth more efficiently and completely avoid buffer starvations. The small buffer size also reduces the total live signal delay from multiple dozens to only a few seconds.
Two different interfaces to visualize patient histories on a PDA

PHiP (Patient History in Pocket) is a tool designed for a mobile device that displays patient histories and permits to visually query patient data stored in the hospital database. It exploits Information Visualization techniques and it is able to accommodate on the screen a good amount of information that physicians require in their analysis of clinical cases. Two different user interfaces for PHiP have been implemented and informal user testing has been performed to compare their impact on users.
Quaternary dynamics and plasticity underlie small heat shock protein chaperone function

Small Heat Shock Proteins (sHSPs) are a diverse family of molecular chaperones that prevent protein aggregation by binding clients destabilized during cellular stress. Here we probe the architecture and dynamics of complexes formed between an oligomeric sHSP and client by employing unique mass spectrometry strategies. We observe over 300 different stoichiometries of interaction, demonstrating that an ensemble of structures underlies the protection these chaperones confer to unfolding clients. This astonishing heterogeneity not only makes the system quite distinct in behavior to ATP-dependent chaperones, but also renders it intractable by conventional structural biology approaches. We find that thermally regulated quaternary dynamics of the sHSP establish and maintain the plasticity of the system. This extends the paradigm that intrinsic dynamics are crucial to protein function to include equilibrium fluctuations in quaternary structure, and suggests they are integral to the sHSPs’ role in the cellular protein homeostasis network.