Miracle-dz/UniFAR-FTUs huggingface dataset:
Forward Light Cuts: A Scalable Approach to Real‐Time Global Illumination

We present Forward Light Cuts, a novel approach to real‐time global illumination using forward rendering techniques. We focus on unshadowed diffuse interactions for the first indirect light bounce in the context of large models such as the complex scenes usually encountered in CAD application scenarios. Our approach efficiently generates and uses a multiscale radiance cache by exploiting the geometry‐specific stages of the graphics pipeline, namely the tessellator unit and the geometry shader To do so, we assimilate virtual point lights to the scene's triangles and design a stochastic decimation process chained with a partitioning strategy that accounts for both close‐by strong light reflections, and distant regions from which numerous virtual point lights collectively contribute strongly to the end pixel. Our probabilistic solution is supported by a mathematical analysis and a number of experiments covering a wide range of application scenarios. As a result, our algorithm requires no precomputation of any kind, is compatible with dynamic view points, lighting condition, geometry and materials, and scales to tens of millions of polygons on current graphics hardware.
Control of Floral Meristem Determinacy in Petunia by MADS-Box Transcription Factors1[W]

The shoot apical meristem (SAM), a small group of undifferentiated dividing cells, is responsible for the continuous growth of plants. Several genes have been identified that control the development and maintenance of the SAM. Among these, WUSCHEL (WUS) from Arabidopsis (Arabidopsis thaliana) is thought to be required for maintenance of a stem cell pool in the SAM. The MADS-box gene AGAMOUS, in combination with an unknown factor, has been proposed as a possible negative regulator of WUS, leading to the termination of meristematic activity within the floral meristem. Transgenic petunia (Petunia hybrida) plants were produced in which the E-type and D-type MADS-box genes FLORAL BINDING PROTEIN2 (FBP2) and FBP11, respectively, are simultaneously overexpressed. These plants show an early arrest in development at the cotyledon stage. Molecular analysis of these transgenic plants revealed a possible combined action of FBP2 and FBP11 in repressing the petunia WUS homolog, TERMINATOR. Furthermore, the ectopic up-regulation of the C-type and D-type homeotic genes FBP6 and FBP7, respectively, suggests that they may also participate in a complex, which causes the determinacy in transgenic plants. These data support the model that a transcription factor complex consisting of C-, D-, and E-type MADS-box proteins controls the stem cell population in the floral meristem.
A form of feasible interpolation for constant depth Frege systems

Abstract Let L be a first-order language and Φ and Ψ two L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle ChainL,Φ,Ψ(n, m) holds: For any chain of finite L-structures C1, …, Cm with the universe [n] one of the following conditions must fail: For each fixed L and parameters n, m the principle ChainL,Φ,Ψ(n,m) can be encoded into a propositional DNF formula of size polynomial in n, m. For any language L containing only constants and unary predicates we show that there is a constant CL such that the following holds: If a constant depth Frege system in DeMorgan language proves ChainL,Φ,Ψ(n, cL . n) by a size s proof then the class of finite L-structures with universe [n] satisfying Φ can be separated from the class of those L-structures on [n] satisfying ψ by a depth 3 formula of size 2log(S)O(1) and with bottom fan-in log(S)O(1).
Real-time scalable object detection

Real-time, scalable, multi-view object detection is an active area of research, particularly in robot vision community. An efficient template-based object detection algorithm has recently been proposed [1] that utilizes both color and depth information, and works on texture-less objects. However, the approach scales linearly with the number of objects and views. This project explores a variation of the algorithm that uses a fixed dictionary of templates instead of linearly large, sparse templates, which will allow us to use efficient approximate nearest neighbour methods for efficient matching instead of an exhaustive linear search.
Immunophenotypical Characterization of Macrophages in Rat Bleomycin-Induced Scleroderma

Scleroderma is a skin disorder characterized by persistent fibrosis. Macrophage properties influencing cutaneous fibrogenesis remain to be fully elucidated. In this rat (F344 rats) model of scleroderma, at 1, 2, 3, and 4 weeks after initiation of daily subcutaneous injections of bleomycin (BLM; 100 μl of 1 mg/ml daily), skin samples were collected for histological and immunohistochemical evaluations. Immunohistochemically, the numbers of cells reacting to ED1 (anti-CD68; phagocytic activity) and ED2 (anti-CD163; inflammatory factor production) began to increase at week 1, peaked at week 2, and decreased thereafter. In contrast, the increased number of cells reacting to OX6 (anti–MHC class II molecules) was seen from week 2 and remained elevated until week 4. α–Smooth muscle actin–positive myofibroblasts were increased for 4 weeks. Double labeling revealed that galectin-3, a regulator of fibrogenic factor TGF-β1, was expressed in CD68+, CD163+, and MHC class II+ macrophages and myofibroblasts. mRNA expression of TGF-β1, as well as MCP-1 and CSF-1 (both macrophage function modulators), were significantly elevated at weeks 1 to 4. This study shows that the increased number of macrophages with heterogeneous immunophenotypes, which might be induced by MCP-1 and CSF-1, could participate in the sclerotic lesion formation, presumably through increased fibrogenic factors such as galectin-3 and TGF-β1; the data may provide useful information to understand the pathogenesis of the human scleroderma condition.
On effective dynamic search systems

Busca dinâmica em dominios especializados e uma tarefa desafiadora, em que sistemas devem aprender sobre a necessidade do usuario atraves da sua exploracao interativa. Apesar das recentes iniciativas para melhorar o estado da arte para essa tarefa, avancos limitados foram alcancados ate entao, com os melhores sistemas de busca dinâmica conseguindo melhorias marginais em relacao aos sistemas de busca ad-hoc. Nesta dissertacao, nos realizamos uma analise abrangente do impacto de varios componentes de um sistema de busca dinâmico generico sobre a eficacia de todo o sistema. Atraves de uma serie de simulacoes, discutimos o impacto da producao de um ranking inicial de documentos candidatos, da modelagem dos possiveis aspectos subjacentes a consulta do usuario com seu feedback, da utilizacao dos aspectos modelados para dinamicamente reordenar o ranking inicial de candidatos e da decisao de quando parar o processo interativo. Alem disso, apresentamos resultados preliminares de instanciacoes praticas do componente de reranking dinâmico por meio de abordagens para diversificacao interativa de resultados da busca. Nossos resultados usando dados das colecoes de teste da TREC 2015-2016 Dynamic Domain track demonstram o impacto de cada componente e apresentam diretrizes para o projeto de sistemas eficazes para busca dinâmica em dominios especializados.
Effects of three spinal stabilization techniques on activation and thickness of abdominal muscle

In this study, we examine the thickness of the abdominal muscle and its activity during the performance of the three drawing-in methods. The subjects were 20 healthy male and female students in their 20s. Using ultrasonography and electromyography, the experimenter measured the thickness of the transversus abdominis (TrA) muscle, internal oblique (IO) muscle and external oblique (EO) muscle. The ultrasonography measurements for the drawing-in manoeuver (DI), abdominal bracing, and posterior pelvic tilt (PT) techniques were 0.64±0.20, 0.54±0.15, and 0.46±0.12, respectively, with significant differences for the TrA. The electromyography results of the DI, SA, and PT techniques were 4.35±1.72, 3.00±1.48, and 2.70±1.52, respectively, for the IO. There was a significant difference in the DI, SA, and PT techniques for the EO (5.10±3.30, 3.85±3.89, 2.25±1.29, respectively). The DI method activated the oblique abdominal muscles, but there was no great change in their thickness; the TrA, however, was selectively strengthened through changes in its thickness.
Dynamic Modeling of a Moment Exchange Unicycle Robot

In this paper a three dimensional non-linear model has been derived to describe the dynamics of an unstable moment exchange unicycle robot. The robot uses a driving wheel to provide stabilization in longitudinal direc- tion, while a second moment exchange wheel with a large inertia is used for stabilization in lateral direction. For validation purposes, the resulting equations of motion are compared independently against the simulation results of a finite element package called SPACAR. The model includes the coupling between the lateral and longitudinal motion, which makes it possible to control the yaw angle and the model can be used to design a stabilizing feedback controller.
It Can Drain Out Your Energy: An Energy-Saving Mechanism Against Packet Overhearing in High Traffic Wireless LANs

Energy efficiency is a critical issue of wireless devices. As the packets are broadcast to the devices in the wireless transmission media, all active neighboring devices have to spend their energy receiving the packets though the packets are not addressed to them, which is called as the packet overhearing problem. The real-world traffic trace analysis reveals that the energy cost on the packet overhearing accounts for the majority of the devices’ energy inefficiency in high traffic wireless local area networks (WLANs). In this paper, we propose a novel sample-address sample-duration (SASD) scheme to solve the energy inefficiency of the packet overhearing problem. By adding a new SASD header, which contains the critical information, in front of the data packet at the physical layer, the SASD enables the devices to discern the required information in the energy-saving downclocking mode. Consequently, the non-destination devices of the packet can switch to the sleeping mode to avoid the packet overhearing problem. We demonstrate the feasibility of the SASD through hardware experiments and evaluate its energy-saving performance through ns-2 simulations. The results show that the SASD can greatly outperform the existing approaches in the high traffic WLAN scenario.
Prediction and measurement of electromagnetic radiation at Krajina square in the city of Banja Luka

This work is only a small part of the research carried out in the project: “Prediction, measurement and analysis of composite electromagnetic (EM) field of artificial radiation sources”, funded by the Ministry of Science and Technology of the Republic of Srpska. The main objective of the project is to locate the representative measuring points for future monitoring network for continuous measurements and recordings of maximum levels of EM non-ionizing radiation, in the spreading center of Banja Luka area of about 10km2. Regarding that, previously was conducted verification with a software package used for a smaller area, by comparing the predicted and measured values of electromagnetic fields strength. For this purpose the pedestrian zones were treated, which are the surfaces and routes with the largest population flow. This paper gives a brief description of the research of EM radiation levels on the surface of 0.008km2 in the frequency range from 50MHz to 3GHz.
Phosphatidylinositol 3-Kinase Promotes V-ATPase Activation and Vacuolar Acidi fi cation and Delays Methyl Jasmonate-Induced Leaf Senescence 1

PI3K and its product PI3P are both involved in plant development and stress responses. In this study, the down-regulation of PI3K activity accelerated leaf senescence induced by methyl jasmonate (MeJA) and suppressed the activation of vacuolar H-ATPase (V-ATPase). Yeast two-hybrid analyses indicated that PI3K bound to the V-ATPase B subunit (VHA-B). Analysis of bimolecular fluorescence complementation in tobacco guard cells showed that PI3K interacted with VHA-B2 in the tonoplasts. Through the use of pharmacological and genetic tools, we found that PI3K and V-ATPase promoted vacuolar acidification and stomatal closure during leaf senescence. Vacuolar acidification was suppressed by the PIKfyve inhibitor in 35S:AtVPS34-YFP Arabidopsis during MeJA-induced leaf senescence, but the decrease was lower than that in YFP-labeled Arabidopsis. These results suggest that PI3K promotes V-ATPase activation and consequently induces vacuolar acidification and stomatal closure, thereby delaying MeJA-induced leaf senescence.
GRASPER: A Multisensory Based Manipulation System for Underwater Operations

This paper presents the progress that has been made recently in the TRITON project. The TRITON project is an on going research project being carried out in Spain which has as principal objective the production of an AUV capable of autonomous underwater interventions. The GRASPER sub-project focuses on developing the necessary manipulation skills. Currently, a lot of research in the underwater robotics context is developing increasing levels of autonomy for all kinds of intervention operations, which always require some kind of physical interaction. However, if autonomous robotic manipulation on land remains a relatively undeveloped field, the situations is at an even more primitive stage in underwater scenarios where currently the systems are tele-operated by an expert user from a surface vessel. Only very few underwater systems have the capacity to carry out manipulation without any kind of umbilical cables teleoperating these actions. In particular, this work introduces a new approach for increasing the autonomy levels of an underwater manipulation system, discussing also preliminary results. In order to test this concept, different objects, without predefined models, are approached and recovered from the bottom in water tank conditions. To achieve this purpose, a scan of the scene is performed using a structured laser beam attached to the forearm of the manipulator. At the same time, a digital video camera is used to capture the scene with the laser beam projected onto the object. The laser stripes are triangulated to obtain a 3D point cloud. Moreover, the underwater robot gripper is provided with strain gauge tactile sensors, which enable the execution of a more reliable grasp. On the other hand, the process is shown inside an underwater simulator previously developed, named UWSim, acting in this case as a virtual representation of the real environment. This virtual representation allows the user to specify the grasp, highlighting how the virtual grasp will be defined for the selected target. The feasibility and reliability of the underwater manipulation system is demonstrated though the experimental results.
Bolli New Initiatives to Improve Rigor and Reproducibility 473

The rampant irreproducibility of scientific articles is arguably the most serious problem that bedevils biomedical research. It is a veritable plague that undermines the credibility of published studies, hinders clinical translation of basic work, and impedes the progress of medicine. Disquietingly, the problem seems to be getting worse rather than better. Although the causes of irreproducibility are multifarious, inadequate rigor is probably the most important; thus, it will be impossible to augment reproducibility without augmenting methodological rigor. It is not the purpose of this editorial to revisit the nature, origins, mechanisms, and consequences of irreproducibility, all of which have been discussed innumerable times in recent years, both in the literature and in ad hoc workshops. There has been enough discussion; now it is time for action. Much of this action must come from editors. Publication of methodologically flawed or suboptimal research can be limited by promulgating, and diligently applying, higher standards during editorial evaluation of submitted work. The editors of Circulation Research believe that the journal has a responsibility to implement initiatives that promote more rigorous and, therefore, more reproducible scientific work. It is for this reason that Circulation Research has published several reviews, editorials, Viewpoints, and News & Views articles focused on this issue. It is for this reason that the journal has joined other leading journals to promote reproducibility of biomedical research by endorsing the National Institutes of Health principles and guidelines for reporting preclinical research, and it is for this very reason that we have recently chosen to publish a study showing that only a minority of preclinical animal experiments reported in leading cardiovascular journals (including Circulation Research) adheres to basic criteria necessary to assure rigor: for example, it was found that during a 10-year span, blinding was reported in 33% of the articles examined, randomization in 22%, and a priori sample size calculation in 2%. The most troubling aspect of this report is that, with the exception of stroke research, there has been no improvement in the level of rigor in the past decade. The purpose of this editorial is to announce new initiatives aimed at enhancing the rigor, transparency, and reproducibility—and, thus, the overall robustness—of articles published in our journal. Three distinct initiatives will be implemented: checklists for rigor, measures to improve transparency, and a policy on refutations.
Early Extracorporeal Life Support as Rescue for Wegener Granulomatosis With Diffuse Alveolar Hemorrhage and Acute Respiratory Distress Syndrome: A Case Report and Literature Review

Objective The study’s objective was to report a case and review the literature on the use of extracorporeal life support in the face of severe pulmonary hemorrhage for acute respiratory distress syndrome. Study Selection This study is a single case report of a pediatric patient who was successfully managed on venovenous extracorporeal life support for severe acute respiratory distress syndrome with acute pulmonary hemorrhage secondary to Wegener disease. Conclusions Extracorporeal life support can be used successfully in selected patients with respiratory failure with pulmonary hemorrhage. The cautious use of anticoagulation should be balanced with the risk of bleeding, mindful of the need for other measures to mitigate severe bleeding if this should occur.
UCLOCK: automated design of high-performance unclocked state machines

A new automated method is described for the correct design of asynchronous state machines. The method builds upon recent work using "burst-mode" specifications, a class of specifications which allow multiple-input change fundamental-mode operation. Implementations are built as unclocked Huffman machines, requiring no latches or other sequential elements. The method has several significant advantages over both the classical methods of Unger (1969) Friedman and Menon (1968) and Mago (1971) as well as recent methods of Nowick et al. (1991), Yun et al. (1992) and Davis et al. (1993). The synthesis method is applied to several design examples. <<ETX>>
LHP1 Regulates H3K27me3 Spreading and Shapes the Three-Dimensional Conformation of the Arabidopsis Genome

Precise expression patterns of genes in time and space are essential for proper development of multicellular organisms. Dynamic chromatin conformation and spatial organization of the genome constitute a major step in this regulation to modulate developmental outputs. Polycomb repressive complexes (PRCs) mediate stable or flexible gene repression in response to internal and environmental cues. In Arabidopsis thaliana, LHP1 co-localizes with H3K27me3 epigenetic marks throughout the genome and interacts with PRC1 and PRC2 members as well as with a long noncoding RNA. Here, we show that LHP1 is responsible for the spreading of H3K27me3 towards the 3’ end of the gene body. We also identified a subset of LHP1-activated genes and demonstrated that LHP1 shapes local chromatin topology in order to control transcriptional co-regulation. Our work reveals a general role of LHP1 from local to higher conformation levels of chromatin configuration to determine its accessibility to define gene expression patterns.
Key management system for WSNs based on hash functions and elliptic curve cryptography

Due to hostile environment and wireless communication channel, security mechanisms are essential for wireless sensor networks (WSNs). Existence of a pair of shared key is a prerequisite for many of these security mechanisms; a task that key management system addresses. Recently, an energy efficient method based on public key cryptography (PKC) was proposed. We analyze this protocol and show that it is vulnerable to denial of service (DOS) attacks and adversary can exhaust memory and battery of nodes. Then, we analyze this protocol and show that using a more knowledgeable BS this vulnerability can be solved very efficiently. Based on this observation we propose a modified version of the protocol that achieves immediate authentication and can prevent DOS attacks. We show that the improved protocol achieves immediate authentication at the expense of 1.82 mj extra energy consumption while retaining other desirable characteristics of the basic method.
Development and validation of analytic equations of the electromagnetic fields radiated by the elementary dipoles in time domain

In this paper, we will present the development of the analytic equations and the corresponding calculating code to models and evaluate the electromagnetic field radiated by the elementary dipoles in time domain. Results obtained with analytic equations are compared to those obtained after simulations made with software based on numerical method in the time domain. Then, they are compared to results obtained with analytic and numerical methods working in frequency domain. In this paper, the development of analytic resolution is carried out in order to implement the electromagnetic inverse method in time domain.
The cDNA and derived amino acid sequences for rat and human synaptophysin.

The letters on the left of the sequence designate the species origin (R=rat, H=human). The deduced amino acid sequence is shown in single letter code. Putative transmembrane spanning regions are delineated by a dotted line and labeled Ml to M4. Peptide sequences determined from purified rat synaptophysin are underlined and designated PI to P4. The 15 positions where there are differences between the human synaptophysin amino acid sequences are marked with asterisks. The vertical arrows denote the position of two mapped introns in the rat synaptophysin gene. The conserved AT-sequence in the 3' untranslated regions is boxed.