Miracle-dz/UniFAR-FTUs huggingface dataset:
Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types

As interest mounts in using hardware accelerators to speed up numerical scientific calculations, automation tool support is required to aid designers in mapping applications to custom hardware. One key step in designing this custom hardware is bit-width allocation where the known-art faces challenges when dealing with applications from the scientific computing domain, thus motivating the use of computational methods based on Satisfiability-Modulo Theory. Many real-life applications are, however, specified in terms of vectors and matrices which are of sufficient size to make expansion into scalar equations infeasible. The proposed vector-magnitude method and its extension via block vectors enable computational methods to be leveraged in tackling calculations of practically relevant complexity. Application to case studies confirms that through a more compact computational instance, search efficiency is improved leading to tighter bounds and thus smaller bit-widths.
Quantitative Security Assessment Method based on Entropy for Moving Target Defense

Moving Target Defense(MTD) provides a promising solution to reduce the chance of weakness exposure by constantly changing the target's attack surface. Though lots of MTD technologies have been researched to defend network attacks, there is little systematic study on security assessment of MTD. This paper proposes a novel method to quantify the security of MTD system which based on three factors: Vulnerability Entropy, Attack Entropy and Attenuation Entropy. This assessment model provides a theoretical and practical guidance for building MTD system and improving MTD technology.
Optimization design of a linear actuator using a genetic algorithm

This paper presents a method to optimize two linear actuator configurations. The method is stochastic and combines a genetic algorithm (GA) and FEM (Finite element method) model generated with the commercial software FEMM. The optimization is performed in order to respect the load curve and speed references during opening and closing of the actuator.
Fast in the Aorta, Slow in the Coronaries

Methodology There are several methods to assess arterial stiffness, wave reflections and central pressures [6] . Most of them are non-invasive, and thus applicable to large populations. However, invasively measured indices are more accurate, and may provide a more precise assessment. In the study by Tanriverdi et al. [5] , assessment of arterial stiffness was performed invasively, with measurement of central (ascending aortic) pressures by means of a fluid-filled system. Based on these measurements, aortic pulse pressure (systolic pressure minus diastolic pressure), fractional pulse pressure (pulse pressure divided by mean pressure) and pulsatility index (pulse pressure divided by diastolic pressure) were derived. The method used by the authors has several strengths and limitations. The major strength is its invasive nature: central pressures are measured directly at a central artery and pressure amplification (see ‘Pathophysiological Considerations’ below) did not compromise the results. On the other hand, pressures were measured using a fluidfilled system. Although it can record systolic and diastolic pressure with acceptable accuracy, this system is not as precise as a micromanometer. If pressure waveform analysis had to be made, a micromanometer should have been used instead to allow identification of specific features of Coronary Slow Flow
Error in approximation of Lyapunov exponents on inertial manifolds: The Kuramoto-Sivashinsky equation

We provide an analysis of the error in approximating Lyapunov exponents of dissipative PDEs on inertial manifolds using QR techniques. The reduction in the number of modes needed for an inertial form facilitates the error analysis. Numerical computations on the Kuramoto-Sivashinsky equation illustrate the results.
Detection of the Light Organ Symbiont, Vibrio fischeri, in Hawaiian Seawater by Using lux Gene Probes

Symbiotic bacteria that inhabit the light-emitting organ of the Hawaiian squid Euprymna scolopes are distinctive from typical Vibrio fischeri organisms in that they are not visibly luminous when grown in laboratory culture. Therefore, the abundance of these bacteria in seawater samples cannot be estimated simply by identifying them among luminous colonies that arise on nutrient agar plates. Instead, we have used luxR and polymerase chain reaction generated luxA gene probes to identify both luminous and non-visibly luminous V. fischeri colonies by DNA-DNA hybridization. The probes were specific, hybridizing at least 50 to 100 times more strongly to immobilized DNAs from V. fischeri strains than to those of pure cultures of other related species. Thus, even non-visibly luminous V. fischeri colonies could be identified among colonies obtained from natural seawater samples by their probe-positive reaction. Bacteria in seawater samples, obtained either within or distant from squid habitats, were collected on membrane filters and incubated until colonies appeared. The filters were then observed for visibly luminous V. fischeri colonies and hybridized with the lux gene probes to determine the number of total V. fischeri colonies (both luminous and non-visibly luminous). We detected no significant differences in the abundance of luminous V. fischeri CFU in any of the water samples observed (≤1 to 3 CFU/100 ml). However, probe-positive colonies of V. fischeri (up to 900 CFU/100 ml) were found only in seawater collected from within the natural habitats of the squids. A number of criteria were used to confirm that these probe-positive strains were indistinguishable from symbiotic V. fischeri. Therefore, the luxA and luxR gene probes were species specific and gave a reliable estimate of the number of culturable V. fischeri colonies in natural water samples.
Density and Climate Influence Seasonal Population Dynamics in an Arctic Ungulate

ABSTRACT The locally migratory behavior of the high arctic muskox (Ovibos muschatus) is a central component of the breeding and winter survival strategies applied to cope with the highly seasonal arctic climate. However, altered climate regimes affecting plant growth are likely to affect local migration dynamics of the muskox. In this study, we apply long-term local-scale data on the seasonal distribution of muskoxen in the Zackenberg Valley, Northeast Greenland, to assess the degree of climatic influence on local seasonal muskox dynamics. Specifically, we analyze how seasonal climate (temperature, snow cover), forage availability (length of growth season), and the number of adult females available per male (operational sex ratio) influence changes in the seasonal density dependence, abundance, and immigration rate of muskoxen into the valley. The results suggested summer temperature as the major controlling factor in the seasonal, local-scale migration of muskoxen at Zackenberg. Specifically, higher summer temperatures, defined as the cumulative average daily positive degrees in June, July, and August, resulted in decreased density dependence and, consequently, increase in the seasonal abundance of muskox in the valley. Additionally, a longer growth season was found to increase the seasonal abundance of muskox in the Zackenberg Valley. In contrast, changes in spring snow cover displayed no direct relation to the seasonal immigration rate. Our study suggests that access to high-quality forage is important for the short-term, local scale population dynamics of muskoxen in Northeast Greenland.
Internet Exchange BGP Route Server

This document outlines a specification for multilateral interconnections at Internet Exchange Points (IXPs). Multilateral interconnection is a method of exchanging routing information among three or more External BGP (EBGP) speakers using a single intermediate broker system, referred to as a route server. Route servers are typically used on shared access media networks, such as IXPs, to facilitate simplified interconnection among multiple Internet routers.
Performance Analysis of a Flux-Concentrating Field-Modulated Permanent-Magnet Machine for Direct-Drive Applications

This paper presents a field-modulated permanent magnet (FMPM) machine using spoke-magnet-array outer rotor for direct-drive applications. The operating principle with detailed theoretical derivation is analyzed to reveal the evidence for high torque capability of the proposed machine, just due to the utilization of effective harmonic flux adding to the contribution of air-gap fundamental flux for energy conversion. Using the finite element analysis, the performance characteristics of the proposed machine are assessed and compared with permanent magnet synchronous machine counterparts to verify the theoretical analysis. A prototype machine is also fabricated for experimental validation of the proposed machine. The analytical discussions also form an important foundation for research in various high-performance FMPM machines.
Effect of Insulation Trenches on Micromachined Silicon Thermal Wind Sensors

In this paper, the effect of insulation trenches on micromachined silicon thermal wind sensors is explored. The sensor is composed of a central heater and four thermistors. It measures wind speed and direction through detecting the airflow-induced temperature difference on the chip surface. Three different forms of insulation trenches are designed and fabricated to explore their effects on the performance of wind sensors. The experimental results show that when the sensors work in constant voltage mode, the center and arch trenches enhance the performance, while the arch trenches have the most significant effect on the sensitivity improvement. Moreover, all the three kinds of insulation trenches reduce the power consumption for the sensors operated in constant temperature difference mode. The insulation trench design in this paper can provide a valuable reference for the design and fabrication of micromachined silicon thermal wind sensors.
High occurrence and unusual serotype diversity of non-typhoidal Salmonella in non-clinical niches, Angola

SUMMARY Non-typhoidal Salmonella is an important burden, particularly in developing countries of the African region. We report for the first time in Angola, a sub-Saharan African country with commercial/travel relationships with Europe, an unexpectedly high occurrence of Salmonella (n = 12/63, 19%) from a high diversity of sources, particularly farm and wild animals. The detection of diverse serotypes (n = 12), involving putative new S. enterica subsp. salamae serotypes, is also of note, reinforcing the need for a comprehensive surveillance in Angola critical to identify animal/food/environmental sources of salmonellosis with impact on animal health, local people, tourists and exported products.
Endonuclease-mediated mRNA Decay Requires Tyrosine Phosphorylation of Polysomal Ribonuclease 1 (PMR1) for the Targeting and Degradation of Polyribosome-bound Substrate mRNA*

PMR1 is an endonuclease that is activated by estrogen to degrade Xenopus albumin mRNA. A previous report showed that the functional unit of endonuclease-mediated mRNA decay is a ∼680-kDa polysome-bound complex that contains both PMR1 and substrate mRNA. PMR1 contains two domains involved in endonuclease targeting to polysomes, an N-terminal domain that lies between residues 200 and 250, and a C-terminal domain that lies within the last 100 residues. Loss of either domain inactivated PMR1 targeting to polysomes and stabilized albumin mRNA. The current study identified a phosphorylated tyrosine residue within the C-terminal polysome-targeting domain and showed that this modification is required for PMR1-mediated mRNA decay. Changing this tyrosine to phenylalanine inactivated the targeting of PMR1 to polysomes, blocked binding of PMR1 to the functional complex containing its substrate mRNA, prevented the targeting of a green fluorescent protein fusion protein to this complex, and stabilized albumin mRNA to degradation by PMR1 in vivo. A general tyrosine kinase inhibitor inhibited the phosphorylation of PMR1, which in turn inhibited PMR1-catalyzed degradation of albumin mRNA. These results indicate that one or more tyrosine kinases functions as a regulator of endonuclease-mediated mRNA decay.
High‐resolution methylation analysis of the hMLH1 promoter in sporadic endometrial and colorectal carcinomas

Microsatellite instability (MSI) has been reported in endometrial carcinoma (EC) and in colorectal carcinoma (CRC), primarily as a result of defective DNA mismatch repair (MMR). The MMR gene hMLH1 commonly is inactivated in both EC and CRC. In the current study, epigenetic mechanisms involved in hMLH1 inactivation have been investigated to further elucidate the role of these mechanisms in the pathogenesis of EC and CRC.
Testing of Image Quality Parameters of Digital Cameras for Photogrammetric Surveying with Unmanned Aircrafts

Nowadays, unmanned aircrafts are more frequently used for measurement purposes. Size of aircrafts is often proportional to its price and load. Aircraft load of 2–3 kg, as required to lift DSLR camera, lens and gimbal (camera stabilizer) in the air, are higher-priced (>50, 000 kn). Those kinds of aircrafts have their limits within the law, but also practical limitations because of its size. With the development of autonomous small size cameras such as action cameras appeared the ability to use cheaper, smaller and unmanned aircrafts with lower load in photogrammetric purposes. Of course, to use such a camera in measuring purposes first it is necessary to carry out adequate calibration method and define the elements of internal orientation of the camera. It is important to emphasize that the geometric calibration, or the elimination of geometric errors in the mapping is the key precondition to create idealized images i.e. images of actual optical mapping. This paper researches the quality of content mapped on images with the purpose of investigating the possibility of using action cameras in measuring purposes. The study is based on objective indicators such as global statistical image quality parameters, Modulation Transfer Function and visual analysis of test field images. For the purpose of the paper a modified test field based on the ISO 12233 standard was developed and for the first time used.
New Insights into Host Factor Requirements for Prokaryotic β-Recombinase-mediated Reactions in Mammalian Cells*

The prokaryotic β-recombinase catalyzes site-specific recombination between two directly oriented minimalsix sites in mammalian cells, both on episomic and chromatin-integrated substrates. Using a specific recombination activated gene expression system, we report the site-specific recombination activity of an enhanced green fluorescent protein (EGFP) fused version of β-recombinase (β-EGFP). This allows expression of active β-recombinase detectable in vivo and in fixed cells by fluorescence microscopy. In addition, cellular viability is compatible with a substantial level of expression of the β-EGFP protein. Using fluorescence-activated cell sorting, we have been able to enrich cell populations expressing this fusion protein. Application of this strategy has allowed us to study in more depth the host factor requirements for this system. Previous work showed that eukaryotic HMG1 protein was necessary and sufficient to help β-recombinase activity in vitro. The influence of ectopic expression of HMG1 protein in the recombination process has been analyzed, indicating that HMG1 overexpression does not lead to a significant increase on the efficiency of β-recombinase-mediated recombination both on episomal substrates and chromatin-associated targets. In addition, β-recombinase-mediated recombination has been demonstrated in HMG1 deficient cells at the same levels as in wild type cells. These data demonstrate the existence of cellular factors different from HMG-1 that can act as helpers for β-recombinase activity in the eukaryotic environment.
DigitalCommons@UNO DigitalCommons@UNO

Propositional satisfiability (or satisfiability) and answer set programming are two closely related subareas of Artificial Intelligence that are used to model and solve difficult combinatorial search problems. Satisfiability solvers and answer set solvers are the software systems that find satisfying interpretations and answer sets for given propositional formulas and logic programs, respectively. These systems are closely related in their common design patterns. In satisfiability, a propositional formula is used to encode problem specifications in a way that its satisfying interpretations correspond to the solutions of the problem. To find solutions to a problem it is then sufficient to use a satisfiability solver on a corresponding formula. Niemel¨a, Marek, and Truszczy´nski coined answer set programming paradigm in 1999: in this paradigm a logic program encodes problem specifications in a way that the answer sets of a logic program represent the solutions of the problem. As a result, to find solutions to a problem it is sufficient to use an answer set solver on a corresponding program. These parallels that we just draw between paradigms naturally bring up a question: what is a fundamental difference between the two? This paper takes a close look at this question.
The CO Photodissociation and Recombination Dynamics of the W172Y/F282T Ligand Channel Mutant of Rhodobacter sphaeroides aa3 Cytochrome c Oxidase

In the ligand channel of the cytochrome c oxidase from Rhodobacter sphaeroides (Rs aa3) W172 and F282 have been proposed to generate a constriction that may slow ligand access to and from the active site. To explore this issue, the tryptophan and phenylalanine residues in Rs aa3 were mutated to the less bulky tyrosine and threonine residues, respectively, which occupy these sites in Thermus thermophilus (Tt) ba3 cytochrome oxidase. The CO photolysis and recombination dynamics of the reduced wild‐type Rs aa3 and the W172Y/F282T mutant were investigated using time‐resolved optical absorption spectroscopy. The spectral changes associated with the multiple processes are attributed to different conformers. The major CO recombination process (44 μs) in the W172Y/F282T mutant is ~500 times faster than the predominant CO recombination process in the wild‐type enzyme (~23 ms). Classical dynamic simulations of the wild‐type enzyme and double mutant showed significant structural changes at the active site in the mutant, including movement of the heme a3 ring‐D propionate toward CuB and reduced binuclear center cavity volume. These structural changes effectively close the ligand exit pathway from the binuclear center, providing a basis for the faster CO recombination in the double mutant.
Wasabi Framework An Open Service Infrastructure for Collaborative Work

Today's collaborative systems are usually designed as single, monolithic applications. Whenever additional functionality is needed, users are confronted with several independent applications, leading to discontinuances and media breaches in their workflows. It is therefore essential to integrate different applications into a common service-oriented infrastructure to enable such a collaborative system to offer various functionalities without unnecessary discontinuities. Atop on our now ten years of experience in the design of collaborative systems, we present a flexible and extensible service-oriented framework for collaborative systems. Our "Wasabi" framework builds upon modern enterprise architecture technologies.
Digital Image Stabilizing Algorithms Based On Bit-plane Matching

In this paper, we present a new digital image stabilization (DIS) scheme based on bit-plane matching (BPM). The proposed DIS system performs motion estimation using 1-bit planes which are extracted from a video sequence. This motion estimation technique can be realized using only Boolean functions which have significantly reduced computational complexity, while the accuracy of motion estimation is maintained. In the second part of this paper, a median-based motion correction scheme is proposed which is robust to various irregular conditions such as moving objects and intentional panning. Simulation results show that the proposed DIS algorithm exhibits better performance compared with existing other algorithms when applied to real video signals.
Identification of the prothoracicotropic hormone (Ptth) coding gene and localization of its site of expression in the pea aphid Acyrthosiphon pisum

Insect hormones control essential aspects of physiology, behaviour and development in insects. The majority of insect hormones are peptide hormones that perform a highly diverse catalogue of functions. Prothoracicotropic hormone (PTTH) is a brain neuropeptide hormone whose main function is to stimulate the secretion of ecdysone (the moulting hormone) by the prothoracic glands in insect larvae thus playing a key role in the control of moulting and metamorphosis. Moreover, both PTTH release or blockade have been reported to act as a switch to terminate or initiate larval and pupal diapauses. In insects, diapause is a prevalent response often regulated by the photoperiod. It has been shown that PTTH participates as an output of the circadian clock and a role in photoperiodic processes is suggested in some insect species. Aphids (Hemiptera: Aphididae) reproduce by cyclical parthenogenesis with a sexual phase, induced by short photoperiods, that leads to the production of diapausing eggs. With the availability of the pea aphid (Acyrthosiphon pisum) genome, efforts to identify and characterize genes relevant to essential aspects of aphid biology have multiplied. In spite of its relevance, several genomic and transcriptomic studies on aphid neuropeptides failed to detect aphid PTTH amongst them. Here we report on the first identification of the aphid PTTH coding gene and the neuroanatomical localization of its expression in the aphid brain.
Costruzione dello stato e costruzione d’archivio: ordinamenti delle scritture della repubblica fiorentina a metà Quattrocento

Al centro dell’attenzione di questo intervento sono gli apparati della cancelleria di uno degli stati protagonisti della competizione politica del Quattrocento italiano, la repubblica fiorentina. Questa indagine intende affrontare gli assetti che si vennero a costituire in corrispondenza dell’avvento al potere di Cosimo dei Medici, in un periodo cruciale per la gestazione della Lega italica, gli anni Trenta-Cinquanta del Quattrocento. Del complesso apparato di distinti uffici e organizzazioni documentarie tradizionalmente denominato come “Cancelleria della repubblica fiorentina” non viene descritta la gia fin troppo nota Cancelleria delle lettere, incaricata della comunicazione con i potentati esteri, oltre che della gestione organizzativa della diplomazia fiorentina, oggetto di attenzione sara piuttosto l’ ufficio delle Riformagioni, incaricato della produzione e conservazione documentaria a carattere “legislativo”. Anche in tale ufficio e possibile vedere all’opera intorno alla meta del Quattrocento interventi di trasformazione tanto dell’apparato organizzativo (modifiche istituzionali dell’ufficio e delle persone operanti in esso) che dell’arsenale di scritture sedimentate (operazioni di ordinamento, inventariazione e classificazione delle carte), interventi che vanno riesaminati alla luce di un uso strategico, nuovo e di lunga durata, delle risorse professionali e documentarie ai fini della conservazione del sistema di potere mediceo.