SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
9‐Hydroxycanthin‐6‐One Induces Penile Erection and Delays Ejaculation

Eurycoma longifolia Jack (Simaroubaceae) has the reputation as a male aphrodisiac because it is claimed to increase virility and sexual prowess. Nevertheless, whether or not E. longifolia regulates directly the muscle tone of corpus cavernosa and/or seminal vesicle (SV) remains unclear. Even until now, the compositions that could account for its aphrodisiac property are still unknownWe examined the effect of 9-hydroxycanthin-6-one (9-HC-6-one), a β-carboline alkaloid isolated from E. longifolia, on penile erection and ejaculation, and further elucidated the mechanism of action.9-HC-6-one induces penile erection and delays ejaculation.Drug's effect was studied on rat corpus cavernosum (CC) and SV in vitro, and on the changes in intracavernosal pressure (ICP) after IC injection and intraluminal pressure (ILP) of the SV after hypogastric nerve stimulation (HNS), respectively.9-HC-6-one relaxed significantly phenylephrine (PE)-precontracted CC. Such response was not attenuated by endothelium disruption, N(G) -nitro-L-arginine methyl ester, or 1H-[1,2,4]oxadiazolo[4,3-a]quinoxalin-1-one treatment, suggesting that a nitric oxide/cyclic guanosine monophosphate-dependent pathway was precluded. 9-HC-6-one attenuated PE-induced contraction by blocking cell surface and internal calcium channels with a higher potency for internal calcium release. This compound also antagonized calcium-evoked contraction in Ca2+ -free, high K+ -depolarizing condition, suggesting that interfering with the entry of calcium through voltage-dependent channels also contributed to 9-HC-6-one-induced corporal relaxation. After IC application of 9-HC-6-one, a significant rise in ICP was observed as compared with the application of normal saline. 9-HC-6-one relaxed significantly norepinephrine (NE)- and KCl-precontracted SV, and antagonized NE-induced oscillatory contraction as potent as clomipramine. Finally, the HNS-evoked increase in ILP was dose-dependently repressed after challenge by 9-HC-6-one.9-HC-6-one might be the active component that contributed to the aphrodisiac effect of E. longifolia by antagonizing the smooth muscle tone of CC as well as SV probably through interfering with Ca2+ mobilization.
Relational Logic with Framing and Hypotheses

Relational properties arise in many settings: relating two versions of a program that use different data representations, noninterference properties for security, etc. The main ingredient of relational verification, relating aligned pairs of intermediate steps, has been used in numerous guises, but existing relational program logics are narrow in scope. This paper introduces a logic based on novel syntax that weaves together product programs to express alignment of control flow points at which relational formulas are asserted. Correctness judgments feature hypotheses with relational specifications, discharged by a rule for the linking of procedure implementations. The logic supports reasoning about program-pairs containing both similar and dissimilar control and data structures. Reasoning about dynamically allocated objects is supported by a frame rule based on frame conditions amenable to SMT provers. We prove soundness and sketch how the logic can be used for data abstraction, loop optimizations, and secure information flow.
MODULAR SCREEN BELT

A modular belt constructed of belt modules having a large open area, making the belt suitable for use as a traveling water screen. The modules include an intermediate portion composed of intersecting sets of link elements and transverse elements that form a gridlike pattern. Openings bounded by the walls of consecutive link elements and transverse elements form channels through the belt for the flow of water. The modules are connected together by hinge rods to form a belt that can be used as a water screen. Detachable flights or scoops for lifting debris or fish out of a stream are attachable to base modules.
Implementation and Evaluation of the Reference Broadcast Infrastructure Synchronization Protocol

This paper describes reference broadcast infrastructure synchronization (RBIS), a clock synchronization protocol for IEEE 802.11 infrastructure wireless networks. The protocol is especially tailored for industrial and home automation networks, and in many application contexts, it offers several advantages compared with other solutions targeted at similar purposes. RBIS has been conceived to rely on conventional Wi-Fi equipment and, in particular, on unmodified access points. It is based on the master/slave approach and follows the receiver/receiver paradigm. An implementation of RBIS—carried out completely in software and based on timestamps taken at the interrupt handler level—has been developed, which achieves a synchronization error below $3\,{\upmu }{\rm s}$ . Then, a simple distributed hard real-time control application has been set up, which consists in two PCs running real-time application interface for Linux (RTAI) and connected through Wi-Fi. The actuation error, measured on the generation of synchronous pulses, is strictly below $13\,{\upmu}{\rm s}$ .
Method of and apparatus for the transport of solid carbon dioxide or 'dry ice'

477,834. Pneumatic conveyers. HESSLING, W. June 30, 1936, No. 18194. [Class 78 (i)] Solid carbon dioxide in small pieces is transported, for example from the place of manufacture to a place of storage, by a current of gas of which at least one half consists of carbon dioxide. In the apparatus shown, the " dry ice " is made by a plunger press 8 and carbon-dioxide gas is admitted through an ejector 15, the carbon-dioxide gas being derived through a pipe 11 from the pipe 9 supplying liquid carbon-dioxide to the press. An independent supply may be given by the pipe 13 and an additional supply of gas may be given through a pipe 16. The dry ice is carried to a storage silo B from which it is conveyed by a screw 1 to another pipe 5 forming part of a closed circuit in which carbon dioxide circulates and communicating with a chamber C in which the dry ice is packed.
DISC1 regulates expression of the neurotrophin VGF through the PI3K/AKT/CREB pathway

Disrupted in schizophrenia (DISC1) is a risk factor for chronic mental disease. In a previous proteomic study, we reported that knocking down DISC1 results in a sharp decrease in the levels of the neuropeptide precursor VGF (non-acronymic) and leads to reduced activation of cAMP response element-binding protein (CREB) and protein kinase B (AKT) in neurons. The main objective of this study is to complete the characterization of the route, or routes, involving AKT and CREB through which DISC1 modulates the expression of VGF. For that we explored known players upstream of AKT and the DISC1 binding partners glycogen synthase kinase-3 beta and Phosphodiesterase-4, which might in turn reach out to CREB in murine neuron primary culture. We found that DISC1 modulates the activation of Phosphatidylinositol-4,5-bisphosphate 3-kinase (PI3K). Furthermore, pharmacological inhibition of PI3K resulted in decreased expression of VGF. All this suggests that the PI3K/AKT pathway plays a role in mediating the effects of DISC1 silencing on VGF expression. Given the important roles of VGF in mental disease, and its drugability, the DISC1-VGF connection might prove to be important for efforts to develop new therapies for these diseases.
Domestic Violence during Pregnancy and Mental Health: Exploratory Study in Primary Health Centers in Peñalolén

Objective . To determine the prevalence of domestic violence in a sample of pregnant women attending Primary Health Centers in Peñalolén (Peñalolén is a low income district in the Metropolitan Region in Santiago de Chile.), to explore risk facts for domestic violence during pregnancy, and to establish associations with their psychological health. Method and Materials . 256 pregnant women were assessed with a domestic violence screening and a questionnaire on mental symptoms. Frequency and correlations analysis were developed. Results . 5, 9% of the participants reported physical violence during current pregnancy. Emotional violence ascended to 30, 1% of the cases. Main risk facts found were as follows: having suffered violence along lifetime and physical violence during the last year. Anxiety and depressive symptoms positively correlated to domestic violence during pregnancy, but also to previous domestic violence experiences. Conclusions . Domestic violence during pregnancy is a prevalent problem and domestic violence history constitutes an alert to its occurrence. Positive and significant association to psychological disturbances suggests the need to detect it early during antenatal care.
Zebra academy ready to market feasibility study

Stroke is the second cause of death world-wide and the second cause of disability-adjusted life in high-income countries.
The burden of stroke can be mitigated by emergent expert support. Much progress has been achieved for inhospital stroke
management, but a scalable solution to optimize prehospital care has not yet been established. Telemedicine is the prime
candidate to bridge this gap by transporting medical experts virtually to prehospital for immediate initiation of care during
ambulance transportation. Led by disruptive innovation, we were the first to develop a proof-of-concept for 24/7 inambulance
telestroke support using our dedicated telemedicine system. Over the past years, we have developed an
integrated audio-video and point-of-care medical device for acute stroke care which works across hospitals and emergency
vehicles. To achieve the proposed innovation we have gone through the following approaches to develop our first prototype
architecture which has been tested in a clinical environment, involving experienced researchers in stroke and emergency
care:
*Creation of the ICT platform: based on existing cloud telecommunication systems, we built the architecture with a focus on
open access of devices that has gone through several input cycles from many stakeholders. Zebra Academy has based the
development of its infrastructure on EU developed technology FIWARE. Zebra Academy is also one of the certified
successful stories (FIWARE VIP) in the use of this technology.
*Creation of the in-ambulance communication device: currently on its 6th phase we have gone through several lean cycles in
which physicians, patients and ambulance personnel have given input.
*Legal and ethical compliance: our legal experts have provided an overview and in-depth-analysis of applicable legal issues
with regards to data protection and privacy, fundamental rights and ethical questions, medical device regulations, liability
issues, reimbursement and cross-border healthcare.
New Regional governance of the Euromed area

MEDGovernance is proposed by some of the most relevant regions of the area; it is aimed to analyse, to experiment, to realise and to capitalise an appropriate model of multilevel governance useful for States and Regions to support a polycentric and sustainable development of EuroMed area. The proposal is born from a supporting action from prestigious research institutes to the involved regions, it intends to operate inspired by the most successful experiences at global level (NordRegio, Council of Competitiveness of USA, and European Consortium for Political Research -ECPR) and make effective for the EuroMed regions: 1. the sharing of a common strategic vision 2. the sharing of orientations and political choices on themes of common interest, in a shared model of multilevel governance 3. to increase the efficacy of co-management of common interest’s policies among States, Regions and other administrative and political levels 4. a common action supporting the awareness of policy makers on the themes and the challenges of EuroMed area 5. the spreading of attention on the themes of polycentric development in the EuroMed area with particular attention to global dimension. The project will be addressed to make permanent the space to work, information, documentation and common capitalisation for the whole EuroMed area and it will be open to specialised research centres, universities, Regions and States.
Case study: Deployment of the 2D NoC on 3D for the generation of large emulation platforms

The evaluation of Network-On-Chip (NoC) architectures is an up to date problem in the design of System-on-Chip. Emulation on FPGA (Field Programmable Gate Array) is used to cover all possible NoC solutions in a reduced exploration time. Emulation requires multi-FPGA platform as the resources for large NoC is important and cannot be handling by one FPGA. In the same time, SoC community is exploring 3D technology for the next generation of large SoC with 3D NoC, making emulation more complex. This paper presents a case study of the deployment of the 2D NoC structure to 3D. A design flow is proposed for the automatic generation of a NoCtargeting3D on multi-FPGAs. The flow integrates emulation blocks used for the validation and exploration on the NoC. With this automatic aided tool, the designer can evaluate and explore the NoC architecture and extract performances of the NoC regardless of the multi-component platform. One may expect a communication performance improvement using an adapted partitioning of the NoC, as highlighted by the results given in this paper.
A Generic Layered Architecture for Context Aware Applications

Abstract As pervasive computing is at its preliminary stage a number of computing solutions were proposed and more are still under experimentation. In this paper a four layered generic architecture is proposed with a recommended components so as to support context awareness for pervasive applications. Detail of each layer is described sufficiently to insight the process of context generation from low level contextual data up to high level context reporting scheme in a given pervasive environment. The implementation section of this article describes how the context reasoning component employee different level of reasoning techniques such as knowledge acquisition, context based rule execution and the application of ontology in pervasive computing.
Extralytics: big data analytics for real estate

Data is becoming the key to effective decision making in more and more aspects of modern society. Big data analytics provide insight into complex processes considering a breadth of factors. This promises to increase the efficiency of decision making in areas such as policy making, research, product development, or financial and retail markets. Currently, big data analytics is employed only by technologically savvy organisations with control over the relevant data. This further exacerbates the information asymmetry that has been plaguing many of these areas: real estate where buyers have long suffered from limited information, often controlled by the seller; or retail markets where sellers are now employing sophisticated competitive price intelligence solutions unaffordable to buyers. Who can tell you if it is better to buy a house with a garden or with a garage; or where renovations will yield more rent over time? ExtraLytics answers these questions through a combination of big data extraction and analytics. ExtraLytics introduces analytics and prediction models into DIADEM’s platform for accurate big data extraction from the web, which is able to extract required data at massive scale from the web. For the proof-of-concept, ExtraLytics initially focuses on residential real estate in the UK, a £4,135bn market (UBS), where buyers and renters are required to make fast decision with limited information—time on market is often below a week or even below a day as for desirable rentals in Oxford. “In an age when ‘big data’ is shaping our every move, how come an industry that takes so much profit can’t keep pace with technology and use it to actually deliver a service worth the money they take in commission?” (The Telegraph). ExtraLytics addresses this lack of data-driven analytics by giving consumers and investors alike a tool for better understanding properties, their location, their neighborhood, and their investment potential compared to other properties.
Another look at climate sensitivity

Abstract. We revisit a recent claim that the Earth's climate system is characterized by sensitive dependence to parameters; in particular, that the system exhibits an asymmetric, large-amplitude response to normally distributed feedback forcing. Such a response would imply irreducible uncertainty in climate change predictions and thus have notable implications for climate science and climate-related policy making. We show that equilibrium climate sensitivity in all generality does not support such an intrinsic indeterminacy; the latter appears only in essentially linear systems. The main flaw in the analysis that led to this claim is inappropriate linearization of an intrinsically nonlinear model; there is no room for physical interpretations or policy conclusions based on this mathematical error. Sensitive dependence nonetheless does exist in the climate system, as well as in climate models – albeit in a very different sense from the one claimed in the linear work under scrutiny – and we illustrate it using a classical energy balance model (EBM) with nonlinear feedbacks. EBMs exhibit two saddle-node bifurcations, more recently called "tipping points," which give rise to three distinct steady-state climates, two of which are stable. Such bistable behavior is, furthermore, supported by results from more realistic, nonequilibrium climate models. In a truly nonlinear setting, indeterminacy in the size of the response is observed only in the vicinity of tipping points. We show, in fact, that small disturbances cannot result in a large-amplitude response, unless the system is at or near such a point. We discuss briefly how the distance to the bifurcation may be related to the strength of Earth's ice-albedo feedback.
METHODS FOR TREATING FIBROUS STRUCTURES

Methods for treating a fibrous structure in need of treatment with a chemical additive, such as a chemical softener, and products produced therefrom, are provided.
RECONFIGURABLE FPGA BASED SOFT-CORE PROCESSOR FOR SIMD APPLICATIONS

Objective: The prospective need of SIMD (Single Instruction and Multiple Data) applications like video and image processing in single system requires greater flexibility in computation to deliver high quality real time data. This paper performs an analysis of FPGA (Field Programmable Gate Array) based high performance Reconfigurable OpenRISC1200 (ROR) soft-core processor for SIMD.Methods: The ROR1200 ensures performance improvement by data level parallelism executing SIMD instruction simultaneously in HPRC (High Performance Reconfigurable Computing) at reduced resource utilization through RRF (Reconfigurable Register File) with multiple core functionalities. This work aims at analyzing the functionality of the reconfigurable architecture, by illustrating the implementation of two different image processing operations such as image convolution and image quality improvement. The MAC (Multiply-Accumulate) unit of ROR1200 used to perform image convolution and execution unit with HPRC is used for image quality improvement.Result: With parallel execution in multi-core, the proposed processor improves image quality by doubling the frame rate up-to 60 fps (frames per second) with peak power consumption of 400mWatt. Thus the processor gives a significant computational cost of 12ms with a refresh rate of 60Hz and 1.29ns of MAC critical path delay.Conclusion:This FPGA based processor becomes a feasible solution for portable embedded SIMD based applications which need high performance at reduced power consumptions
Investments to improve the production capacity and increase the export potential of VES & TON OOD

“Ves & TON” Ltd. has the activity “Manufacture of other special purpose machines, not elsewhere classified” with code according to KID-2008-28.99 and specialises in the production of special purpose machinery and equipment used in medicine and military industry, machine parts and measuring equipment. The applicant needs to meet the increased consumer demand with full production capacity, to improve the quality and competitiveness of its production, to expand its position on national and international markets. The company operates old technologies and equipment to carry out production processes that lead to low productivity, high production costs, poor quality of the products produced, the need for optimisation of the production process, and a lack of sufficient production capacity to meet market demand volumes. In order to meet these needs, the project is aimed at implementing activity to improve the production capacity of the company, through investments in high-tech production equipment, namely the purchase of 1 piece of milling center, under the regional investment aid regime, related to the expansion of the capacity of the existing establishment of the Candidate.The expected results of the project are related to improving the production capacity and competitiveness of the enterprise, increasing its export potential by achieving higher productivity and increasing the volume of production produced, optimising the production process, reducing the production costs per unit of production, and improving the quality of the products offered. The project is aimed directly at equality and non-discrimination, as well as sustainable development.
EDUCAÇÃO FÍSICA ESCOLAR: OS DESAFIOS PARA A INCLUSÃO DE ALUNOS COM NECESSIDADES EDUCATIVAS ESPECIAIS

O direito à educação, e a uma educação de qualidade, é um direito de todos! Alunos com ousem necessidades educativas especiais têm o direito de estarem na escola e com todas as suasdiferenças respeitadas e superadas. E a escola regular, receber, incluir e garantir uma educaçãode qualidade aos alunos com necessidades educativas especiais tem sido um grande desafio.Os professores precisam estar preparados e comprometidos com todos os seus alunosindependentemente das suas diferenças ou condições, sejam elas físicas, sociais, emocionaisou de aprendizagem. Nesse cenário, como os professores de Educação Física do EnsinoFundamental II das escolas de Lucas do Rio Verde estão preparados para atender a demandada inclusão educacional de alunos com necessidades educativas especiais? Descobrir comoesses professores estão preparados para trabalhar com esses alunos, inseridos na escolaregular, foi então o objetivo geral desta pesquisa, que teve como sujeitos 07 professores deEducação Física do Ensino Fundamental II da rede municipal e privada de ensino da cidadede Lucas do Rio Verde MT. Estes responderam a um questionário previamente elaborado eenviado por e-mail entre os meses de março e abril de 2021. Os dados demonstraram que otrabalho que está sendo realizado pelos professores é o de observar as especificidades dessesalunos para então organizar o planejamento e as aulas, e que para isso podem contar com oapoio da gestão da escola que, segundo eles, sempre está presente e em constante contato comas famílias. A importância deste trabalho baseia-se em despertar nos professores e futurosprofessores um olhar mais sensível e cuidadoso para os alunos com necessidades educativasespeciais, e para a aprendizagem destes.