Miracle-dz/UniFAR-FTUs huggingface dataset:
Crime mapping report mobile application using GIS

Criminal rates around Metro Manila has been increasing over the past years and it remains a challenge for Philippine National Police (PNP) to get accurate data because of some unreported crimes. As cited from PNP NCPRO officials that unreported crimes rate as much as 60% which presents a worsening peace and order situation in the country. As the new era strengthens the advances of technology, reporting of crime incidents in real time is now possible using the smartphones. Different tools and techniques are being used in order to address the issues of crime but implementing the Geographic Information System (GIS) through mobile application is not yet common. Thus, this papers intends to create a GIS-based android mobile application to report crime on a location-based information. This will let the students be aware that a crime has taken place by using the smartphones. This research will benefit both the local police and citizens living in Metro Manila. This project also aims to protect students in Ubelt campuses who are the usual target victims of the crimes.
Planar Bipedal Jumping Gaits With Stable Landing

In this paper, landing stability of jumping gaits is studied for a four-link planar biped model. Rotation of the foot during the landing phase leads to underactuation due to the passive degree of freedom at the toe, which results in nontrivial zero dynamics (ZD). Compliance between the foot and ground is modeled as a spring-damper system. Rotation of the foot along with the compliance model introduces switching in the ZD. The stability conditions for the ldquoswitching ZD rdquo and closed-loop dynamics (CLD) are established. ldquoCritical potential index rdquo and ldquocritical kinetic indexrdquo are introduced as measures of the stability of the CLD of the biped during landing. Landing stability is achieved by utilizing the stability conditions. Stable jumping motion is experimentally realized on a biped robot.
An integrated mobile surveillance and wireless sensor (iMouse) system and its detection delay analysis

Wireless sensor networks (WSN) provide an inexpensive and convenient way to monitor physical environments. Integrating the context-aware capability of WSN into surveillance systems is an attractive direction. We thus propose an <u>i</u>ntegrated <u>mo</u>bile s<u>r</u>veillance and wireless <u>se</u>nsor (iMouse) system, which consists of a large number of inexpensive static sensors and a small number of more expensive mobile sensors. The former is to monitor the environment, while the latter can move to certain locations and takes more advanced actions. The iMouse system is a mobile, context-aware surveillance system. We demonstrate our current prototyping for home security applications. Besides, we analyze its event detection delay under an any-sensor-detection model.
MEASUREMENT OF THE TREE AND SHRUB HEIGHT WITH THE HELP OF UNMANNED AERIAL VEHICLES

An important factor in maintaining modern forestry and park gardening is high quality and accuracy of forestry and tax indicators in the process of inventory and forest and park management and other related studies. One of the promising directions for development of the modern technologies is the involvement of unmanned aerial vehicles (UAVs) to undertake various researches. Therefore, we worked out the possibility of quadrocopter application to measure forestry and taxis indicators in the process of inventory of greenery and for the needs of forest and park management, including for tree and shrub height measuring. An experiment was conducted by the authors of this research. In this work researchers used Phantom 3 Advanced quadrocopter to get the information about the tree height by guiding the sight of the UAV camera to the bottom and top of the tree trunk. The shooting was carried out perpendicularly to the pivotal axis of the trunk. This approach allows fixing its parameters with a GPS receiver in a three-dimensional coordinate system. This information can be used to determine the height of the measured object with getting the spatial and high-altitude attributive information in digital form together with the photograph of the top of trees. Approbation of the proposed method of height measurement was carried out on the basis of mixed tree plantation of the State Berezhany Forestry and park plantations in the Berezhany Prizamkovyj Park in the Ternopil region. At the same time, in order to compare the accuracy of the measurement, we simultaneously determined tree and shrub heights using a Nikon Forestry 550 laser altimeter, an optical altimeter VA, and a forest altimeter-goniometer VUL-1. It is revealed that the proposed method for determining the height of trees and shrubby species allowed obtaining results of high accuracy (with a deviation of up to 2 %) without the need to define a reference distance in measurements. In addition, this approach allows making a precise sight at the actual top of the tree and makes it easier to determine the height in conditions of the thickened stands.
Propulsive efficiency of a biomorphic pulsed-jet underwater vehicle

The effect of the velocity program and duty cycle (StL) on the propulsive efficiency of pulsed-jet propulsion was studied experimentally on a self-propelled, pulsed-jet underwater vehicle, dubbed Robosquid due to the similarity of essential elements of its propulsion system with squid jet propulsion. Robosquid was tested for jet slug length-to-diameter ratios (L/D) in the range 2–6 and StL in the range 0.2–0.6 with jet velocity programs commanded to be triangular or trapezoidal. Digital particle image velocimetry was used for measuring the impulse and energy of jet pulses to calculate the pulsed-jet propulsive efficiency and compare it with an equivalent steady jet system. Robosquid's Reynolds number (Re) based on average vehicle velocity and vehicle diameter ranged between 1300 and 2700 for the conditions tested. The results indicated better propulsive efficiency of the trapezoidal velocity program (up to 20% higher) compared to the triangular velocity program. Also, an increase in the ratio of the pulsed-jet propulsive efficiency to the equivalent steady jet propulsive efficiency (ηP/ηP, ss) was observed as StL increased and L/D decreased. For cases of short L/D and high StL, ηP/ηP, ss was found to be as high as 1.2, indicating better performance of pulsed jets. This result demonstrates a case where propulsion using essential elements of a biological locomotion system can outperform the traditional mechanical system equivalent in terms of efficiency. It was also found that changes in StL had a proportionately larger effect on propulsive efficiency compared to changes in L/D. A simple model is presented to explain the results in terms of the contribution of over-pressure at the nozzle exit plane associated with the formation of vortex rings with each jet pulse.
Tapping vs. circling selections on pen-based devices: evidence for different performance-shaping factors

Tapping-based selection methods for handheld devices may need to be supplemented with other approaches as increasingly complex tasks are carried out using those devices. Circling selection methods (such as the Lasso) allow users to select objects on a touch screen by circling with a pen. An experimental comparison of the selection time and accuracy between a circling method and a traditional tapping style of selection was carried out. The experiment used a two dimensional grid (varying in terms of the sizes and the distances of the targets). Analysis of variance showed that tapping selection time differed significantly depending on the size and spacing of the targets. In contrast, circling selection times differed significantly for different levels of target cohesiveness and shape complexity. The results are discussed in terms of implications for design of new pen-based selection methods for handheld devices, and also in terms of evaluation methodology for input selection methods.
FRIT of feedforward controller approximated by Kautz expansion in 2DOF for linear time delay system

In this paper, we focus on time-delay linear systems with unknown dynamics. The optimal parameters for a feedforward controller are tuned in two degree-of-freedom (2DOF) control structure with fictitious reference iterative tuning (FRIT) which is one of data-driven controller tuning methods. We propose a new method in which Kautz expansion is used to approximate a linear time-delay system as well as to obtain the optimal parameters for the feedforward controller. The proposed method can also reduce some assumptions in conventional FRIT and give some freedoms for unknown plant. The significant difference from other data-driven methods related to time-delay system is that we unify the lumped part and time delay part as a parameterized lumped transfer function with Kautz expansion. A numerical example is used to show the effectiveness and validity of our proposed method.
Hydroxynatropyrochlore, (Na,Сa,Ce)2Nb2O6(OH), a new member of the pyrochlore group from the Kovdor phoscorite–carbonatite pipe, Kola Peninsula, Russia

Abstract Hydroxynatropyrochlore, (Na,Сa,Ce)2Nb2O6(OH), is a new Na–Nb–OH-dominant member of the pyrochlore supergroup from the Kovdor phoscorite–carbonatite pipe, Kola Peninsula, Russia. It is cubic, Fd$\bar{3}$m, a = 10.3211(3) Å, V = 1099.46(8) Å3 and Z = 8 (from powder diffraction data) or a = 10.3276(5) Å, V = 1101.5(2) Å3 and Z = 8 (from single-crystal diffraction data). Hydroxynatropyrochlore is a characteristic accessory mineral of the low-carbonate phoscorite in the contact zone of the phoscorite–carbonatite pipe with host foidolite as well as in the carbonate-rich phoscorite and carbonatite of the pipe axial zone. It usually forms zonal cubic or cubooctahedral crystals (up to 0.5 mm in diameter) with irregularly shaped relics of amorphous U–Ta-rich hydroxykenopyrochlore inside. Characteristic associated minerals include rock-forming calcite, dolomite, forsterite, hydroxylapatite, magnetite and phlogopite, accessory baddeleyite, baryte, barytocalcite, chalcopyrite, chamosite–clinochlore, galena, gladiusite, juonniite, ilmenite, magnesite, pyrite, pyrrhotite, quintinite, spinel, strontianite, valleriite and zirconolite. Hydroxynatropyrochlore is pale brown, with an adamantine to greasy lustre and a white streak. The cleavage is average on {111} and the fracture is conchoidal. Mohs hardness is ~5. In transmitted light, the mineral is light brown, isotropic and n = 2.10(5) (λ = 589 nm). The calculated and measured densities are 4.77 and 4.60(5) g cm−3, respectively. The mean chemical composition determined by electron microprobe is: F 0.05, Na2O 7.97, CaO 10.38, TiO2 4.71, FeO 0.42, Nb2O5 56.44, Ce2O3 3.56, Ta2O5 4.73, ThO2 5.73, UO2 3.66, total 97.65 wt. %. The empirical formula calculated on the basis of Nb + Ta + Ti = 2 apfu is (Na1.02Ca0.73Ce0.09Th0.09 U0.05${\rm Fe}_{{\rm 0}{\rm. 02}}^{2 +} $)Σ2. 00(Nb1.68Ti0.23Ta0.09)Σ2. 00O6.03(OH1.04F0.01)Σ1. 05. The simplified formula is (Na,Ca,Ce)2Nb2O6(OH). The mineral dissolves slowly in hot HCl. The strongest X-ray powder-diffraction lines [listed as (d in Å)(I)(hkl)] are as follows: 5.96(47)(111), 3.110(30)(311), 2.580(100)(222), 2.368(19)(400), 1.9875(6)(333), 1.8257(25)(440) and 1.5561(14)(622). The crystal structure of hydroxynatropyrochlore was refined to R1 = 0.026 on the basis of 80 unique observed reflections. The mineral belongs to the pyrochlore structure type A2B2O6Y1 with octahedral framework of corner-sharing BO6 octahedra with A cations and OH groups in the interstices. The Raman spectrum of hydroxynatropyrochlore contains characteristic bands of the lattice, BO6, B–O and O–H vibrations and no characteristic bands of the H2O vibrations. Within the Kovdor phoscorite–carbonatite pipe, hydroxynatropyrochlore is the latest hydrothermal mineral of the pyrochlore supergroup, which forms external rims around grains of earlier U-rich hydroxykenopyrochlore and separated crystals in voids of dolomite carbonatite veins. The mineral is named in accordance with the pyrochlore supergroup nomenclature.
Multi-engine machine translation guided by explicit word matching

We describe a new approach for synthetically combining the output of several different Machine Translation (MT) engines operating on the same input. The goal is to produce a synthetic combination that surpasses all of the original systems in translation quality. Our approach uses the individual MT engines as “black boxes” and does not require any explicit cooperation from the original MT systems. An explicit word matcher is first used in order to identify the words that are common between the MT engine outputs. A decoding algorithm then uses this information, in conjunction with confidence estimates for the various engines and a trigram language model in order to score and rank a collection of sentence hypotheses that are synthetic combinations of words from the various original engines. The highest scoring sentence hypothesis is selected as the final output of our system. Experiments conducted using three Chinese-to-English online translation systems demonstrate that our multi-engine combination system provides an improvement of about 6% over the best original system, and is about equal in translation quality to an “oracle” capable of selecting the best of the original systems on a sentence-by-sentence basis. A second oracle experiment shows that our new approach produces synthetic combination sentence hypotheses that are far superior to the hypotheses currently selected by the system, but our current scoring is not yet capable of adequately identifying the best hypothesis.
TEMPERATURE CONTROLLED POROSITY/PERMEABILITY REDUCTION, FLUID MIGRATION, AND PETROLEUM EXPLORATION IN SEDIMENTARY BASINS

Findings mainly from the Norwegian Continental Shelf indicate that at temperatures greater than approximately 60°C, internally sourced quartz cementation and diagenetic clay become important porosity and permeability reduction factors, respectively. Porosity loss due to quartz cementation in sandstones and siltstones proceeds mainly independent of effective stress or fluid pressure. Porosity loss rates approach those required to generate high fluid overpressures at approximately 120°C, which can result in hydrofracturing of the overlying low permeability shales. In thick low permeable sediment sequences, the probability of km scale vertical fluid migration increases. These thermally driven processes are capable of generating and sustaining fluid overpressure and facilitate fluid migration for up to tens of millions of years. Unlike mechanical compaction models, this model predicts that porosity loss and therefore fluid migration will continue despite the buildup of overpressure, even during periods of no sedimentation. In sealed compartments, fluid flow from more deeply buried high permeable lithologies will occur by hydrofracturing of overlying low permeable lithologies, preferentially along near vertical faults if present. When hydrofractures are induced from high permeable sediments, they will propagate vertically through overlying low permeable sediments, unless they enter lithologies with sufficient permeability and volume to bleed off the fracture fluid propagation pressure. Quantitative analysis of the mineral reactions causing porosity loss cannot only identify sediments in thermal zones which are expelling fluids, but also lithologies in thermal zones which are likely to receive those fluids, in addition to the timing and rates of fluid migration. The model has important applications for evaluating petroleum exploration risks and the potential for remigrated hydrocarbon plays both at basin scale and prospect level.
Unsupervised Disentanglement Learning Model for Exemplar-Guided Paraphrase Generation

Exemplar-guided paraphrase generation is the task of generating a paraphrase for a source sentence when given another exemplar sentence as syntactic guidance information. The target sentence must convey the semantics of the source sentence in surface form, which is the same as or similar to that of the exemplar sentence. The existing supervised learning methods rely on large-scale human-annotated supervised datasets, which are expensive and time-consuming to collect. To mitigate the need for human annotations, it is necessary to develop an unsupervised learning method for the exemplar-guided paraphrase generation task in other languages or domains that lack supervised datasets. This study proposes an Unsupervised Disentanglement Learning (UDL) model to solve the exemplar-guided paraphrase generation task by learning to disentangle the semantic and syntactic representations of a sentence and reconstruct the sentence with these disentangled representations. We investigate the difficulty of implementing the unsupervised learning scheme and design a scrambling module for our UDL model to address this difficulty. Experiments demonstrate that our UDL model achieves state-of-the-art performance among the tested unsupervised methods and is comparable to supervised learning methods that require no pretraining.
Putting the horse before the cart: formulating and exploring methods for studying cognitive technology

The First International Conference on Cognitive Technology (CT'95, Hong Kong, 1995) explored a radically new way of thinking about the impact computer technology has on humans, especially on the human mind. Our main aim at that time was a consideration of these effects with respect to rendering the interface between people and computers more humane. And we exemplified our approach by pointing to existing trends and tendencies in the vast new loosely organized field of research often referred to as 'HCI' ('human computer interaction'; the replacement for the politically and factually 'incorrect' MMI, 'man machine interface').
Early diagnosis of Alzheimer's disease using cortical thickness: impact of cognitive reserve

Brain atrophy measured by magnetic resonance structural imaging has been proposed as a surrogate marker for the early diagnosis of Alzheimer's disease. Studies on large samples are still required to determine its practical interest at the individual level, especially with regards to the capacity of anatomical magnetic resonance imaging to disentangle the confounding role of the cognitive reserve in the early diagnosis of Alzheimer's disease. One hundred and thirty healthy controls, 122 subjects with mild cognitive impairment of the amnestic type and 130 Alzheimer's disease patients were included from the ADNI database and followed up for 24 months. After 24 months, 72 amnestic mild cognitive impairment had converted to Alzheimer's disease (referred to as progressive mild cognitive impairment, as opposed to stable mild cognitive impairment). For each subject, cortical thickness was measured on the baseline magnetic resonance imaging volume. The resulting cortical thickness map was parcellated into 22 regions and a normalized thickness index was computed using the subset of regions (right medial temporal, left lateral temporal, right posterior cingulate) that optimally distinguished stable mild cognitive impairment from progressive mild cognitive impairment. We tested the ability of baseline normalized thickness index to predict evolution from amnestic mild cognitive impairment to Alzheimer's disease and compared it to the predictive values of the main cognitive scores at baseline. In addition, we studied the relationship between the normalized thickness index, the education level and the timeline of conversion to Alzheimer's disease. Normalized thickness index at baseline differed significantly among all the four diagnosis groups (P < 0.001) and correctly distinguished Alzheimer's disease patients from healthy controls with an 85% cross-validated accuracy. Normalized thickness index also correctly predicted evolution to Alzheimer's disease for 76% of amnestic mild cognitive impairment subjects after cross-validation, thus showing an advantage over cognitive scores (range 63–72%). Moreover, progressive mild cognitive impairment subjects, who converted later than 1 year after baseline, showed a significantly higher education level than those who converted earlier than 1 year after baseline. Using a normalized thickness index-based criterion may help with early diagnosis of Alzheimer's disease at the individual level, especially for highly educated subjects, up to 24 months before clinical criteria for Alzheimer's disease diagnosis are met.
On the Semantic Security in the General Bounded Storage Model: A New Proof

In the bounded storage model introduced by Maurer, the adversary is computationally unbounded and has a bounded storage capacity. In this model, information-theoretic secrecy is guaranteed by using a publicly available random string whose length is larger than the adversary storage capacity. The protocol proposed by Maurer is simple, from the perspective of implementation, and efficient, from the perspective of the initial secret key size and random string length. However, he provided the proof of the security for the case where the adversary can access a constant fraction of the random string and store only original bits of the random string. In this paper, we provide a new proof of the security of the protocol proposed by Maurer for the general bounded storage model, i.e., the adversary can access all bits of the random string, and store the output of any Boolean function on the string. We reaffirm that the protocol is absolutely semantically secure in the general bounded storage model.
A NEW METHODOLOGY FOR SEGMENTATION OF FUNCTIONAL MAGNETIC RESONANCE IMAGING USING FUNCTIONAL ECHO STATE NEURAL NETWORK

In this paper a new intelligent segmentation of functional magnetic resonance imaging (fMRI) has been implemented using echo state neural network (ESNN). fMRI is a non-invasive method which can be used to indirectly localize neuronal activations in the human brain. The term segmentation includes not only the detection and localization, but also the delineation of activation region in the brain. Perfect segmentation is important especially for the detection and position of brain tumor. In spite of the existing segmentation methods, we have proposed a novel estimation method for accurate segmentation irrespective of noise level. The Recurrent ESNN is an estimation method able to produce an accurate segmentation when compared to the contextual clustering segmentation method. In order to show the accuracy of segmentation, the existing Contextual clustering (CC) segmentation method has been considered. Peak Signal to Noise Ratio (PSNR) of the segmented image of ESNN is 6 and found to be higher than PSNR of CC 57. The segmented images can be used in Medical Imaging application like 3D Reconstruction.
Content Based Description of Audio in the Context of AXMEDIS

The enormous growth of digital music databases has led to a comparable growth in the need for methods that help users organize and access such information. One area in particular that has seen much recent research activity is the use of automated techniques to describe audio content and to allow its identification, browsing and retrieval. This paper presents algorithms for audio content analysis, description and identification that are developed and implemented in the context of the AXMEDIS project