nils-herrmann/clean_scirepeval huggingface dataset:
Modeling Non Gaussian Time Series with Nonparametric Bayesian Model
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence
Year: 2015

We present a class of Bayesian copula models whose major components are the marginal (limiting) distribution of a stationary time series and the internal dynamics of the series. We argue that these are the two features with which an analyst is typically most familiar, and hence that these are natural components with which to work. For the marginal distribution, we use a nonparametric Bayesian prior distribution along with a cdf inverse cdf transformation to obtain large support. For the internal dynamics, we rely on the traditionally successful techniques of normal theory time series. Coupling the two components gives us a family of (Gaussian) copula transformed autoregressive models. The models provide coherent adjustments of time scales and are compatible with many extensions, including changes in volatility of the series. We describe basic properties of the models, show their ability to recover non Gaussian marginal distributions, and use a GARCH modification of the basic model to analyze stock index return series. The models are found to provide better fit and improved short range and long range predictions than Gaussian competitors. The models are extensible to a large variety of fields, including continuous time models, spatial models, models for multiple series, models driven by external covariate streams, and non stationary models.
State of the art and future challenge in fine blanking technology
Venue: Prod. Eng.
Year: 2019

Fine blanking is an effective and economical precision forming process that plays an important role in the manufacturing industry. Several factors, such as material, shape, and blankholder, can affect the quality of products. This paper reports some state of the art research, which includes some changes in the material and shape of products, the evolution of blankholder, and the development of tools and presses. Meanwhile, some key facts about die roll, which is an important indicator when evaluating the quality of products, as well as digital technology, are introduced. Finally, an outlook of fine blanking is provided with respect to the present situation, demonstrating its challenges and applications in the development of electric vehicles.
Phonetroller: Visual Representations of Fingers for Precise Touch Input with Mobile Phones in VR
Venue: CHI
Year: 2021

Smartphone touch screens are potentially attractive for interaction in virtual reality (VR) However, the user cannot see the phone or their hands in a fully immersive VR setting, impeding their ability for precise touch input. We propose mounting a mirror above the phone screen such that the front facing camera captures the thumbs on or near the screen. This enables the creation of semi transparent overlays of thumb shadows and inference of fingertip hover points with deep learning, which help the user aim for targets on the phone. A study compares the effect of visual feedback on touch precision in a controlled task and qualitatively evaluates three example applications demonstrating the potential of the technique. The results show that the enabled style of feedback is effective for thumb size targets, and that the VR experience can be enriched by using smartphones as VR controllers supporting precise touch input.
Threats on the horizon: understanding security threats in the era of cyber physical systems
Venue: The Journal of Supercomputing
Year: 2019

Disruptive innovations of the last few decades, such as smart cities and Industry 4.0, were made possible by higher integration of physical and digital elements. In today's pervasive cyber physical systems, connecting more devices introduces new vulnerabilities and security threats. With increasing cybersecurity incidents, cybersecurity professionals are becoming incapable of addressing what has become the greatest threat climate than ever before. This research investigates the spectrum of risk of a cybersecurity incident taking place in the cyber physical enabled world using the VERIS Community Database. The findings were that the majority of known actors were from the US and Russia, most victims were from western states and geographic origin tended to reflect global affairs. The most commonly targeted asset was information, with the majority of attack modes relying on privilege abuse. The key feature observed was extensive internal security breaches, most often a result of human error. This tends to show that access in any form appears to be the source of vulnerability rather than incident specifics due to a fundamental trade off between usability and security in the design of computer systems. This provides fundamental evidence of the need for a major reevaluation of the founding principles in cybersecurity.
Graphene oxide driven interfacial coupling in laser 3D printed PEEK/PVA scaffolds for bone regeneration
Year: 2020

Blending Polyetheretherketone (PEEK) with Polyvinyl alcohol (PVA) is promising to obtain a composite scaffold combining the excellent biomechanical properties of PEEK and the remarkable degradability of PVA. However, the weak interfacial bonding between nonpolar PEEK and polar PVA would result in poor mechanical properties. In this study, owing to its unique amphiphilic properties, graphene oxide (GO) was employed to enhance the interfacial bonding between PEEK and PVA in PEEK/PVA scaffolds that were fabricated by laser 3D printing. On the one hand, the large p conjugated structure of GO formed strong p p interactions with the benzene rings in PEEK. On the other hand, the oxygen containing groups of GO formed strong hydrogen bonds with the hydroxyl groups of PVA. As a result, the interfacial free energy between PEEK and PVA decreased from 37.4 to 29.6 mJ/m2 according to the harmonic mean rule, and the PVA phase in PEEK matrix became much fine and uniform, indicating a reinforced interfacial bonding. Correspondingly, the strength and modulus of PEEK/PVA scaffolds increased by 97.16% and 147.06% respectively, for a GO loading of 1% Furthermore, the scaffolds exhibited good hydrophilicity and degradability, and promoted cell attachment and proliferation in vitro and osteogenic differentiation and bone regeneration in vivo.
INTEGRASI HIGH ORDER THINKING SKILLS (HOTS) DALAM LEMBAR KERJA SISWA CERDAS DAN KRITIS BERBAHASA INDONESIA UNTUK KELAS IX SMP/MTs
Year: 2020

The purpose of this study is to describe the types and levels of high level thinking exercises in LKS Teks Tanggapan: Cerdas dan Kritis Berbahasa Indonesia kelas IX SMP/MTs which is the result of the development of teaching materials in 2019. The integration of higher order thinking skills is expected to provide input to the form of exercises to be designed for text learning to be more meaningful. This research is a qualitative analysis technique using content analysis to infer textual units into conceptual categories. The data form is exposure to nonverbal data of training in LKS. The results showed that there were six out of nine exercises that integrated the thinking processes of C4, C5, and C6 accompanied by additional information to the users of teaching materials
Pelatihan Manajemen Keuangan untuk Wirausaha Kecil Pada UMKM Kalipakem, Pundong, Bantul, Daerah Istimewa Yogyakarta
Venue: Jurnal Ilmiah Padma Sri Kreshna
Year: 2021

Tujuan kegiatan pengabdian ini adalah meningkatkan kinerja usaha dengan peningkatan potensi masyarakat UMKM Kalipakem sehingga memiliki implikasi pada upaya penanggulangan kemiskinan. Kegiatan ini menggunakan metode pendidikan masyarakat disertai pelatihan, dengan cara penyuluhan untuk meningkatkan pemahaman serta kesadaran para peserta, juga dilakukan demonstrasi untuk penyusunan laporan keuangan sederhana diikuti latihan bagi masing masing peserta untuk membuat perencanaan kas dan mengelola keuangan. Peserta pelatihan yaitu ibu ibu pelaku UMKM di Kalipakem, Pundong, Bantul sebanyak 18 peserta. Sebelum mengikuti latihan pencatatan dilakukan tidak rutin sehingga tedapat transaksi yang tidak masuk dalam laporan keuangan UMKM. Setelah mengikuti kegiatan pengabdian masyarakat peserta mampu untuk menyusun laporan keuangan sederhana
Reporting standards for the imaging based diagnosis of renal masses on CT and MRI: a national survey of academic abdominal radiologists and urologists
Venue: Abdominal Radiology
Year: 2016

PurposeTo define important elements of a structured radiology report of a CT or MRI performed to evaluate an indeterminate renal mass.MethodsIRB approval was waived for this multi site prospective quality improvement study. A 35 question survey investigating elements of a CT or MRI report describing a renal mass was created through an iterative process by the Society of Abdominal Radiology Disease Focused Panel on renal cell carcinoma. Surveys were distributed to consenting abdominal radiologists and urologists at nine academic institutions. Consensus within and between specialties was defined as =70% agreement. Respondent rates were compared with Chi Square test.ResultsThe response rate was 68% (117/171; 55% [39/71] urologists, 78% [78/100] radiologists) Inter specialty consensus was that the following were essential: mass size with comparison to prior imaging, mass type (cystic vs. solid) presence of fat, presence of enhancement, and radiologic stage. Urologists were more likely to prefer the Nephrometry score (75% [27/36] vs. 22% [17/76] p 0.0001) quantitative reporting of enhancement on CT (85% [32/38] vs. 46% [36/77] p 0.0001) and mass position with respect to the renal polar lines (67% [24/36] vs. 36% [27/76] p 0.002) There was inter specialty consensus that the Bosniak classification for cystic masses was preferred. Most urologists (60% [21/35] preferred management recommendations be omitted for solid masses or Bosniak III IV cystic masses.ConclusionsImportant elements to include in a CT or MRI report of an indeterminate renal mass are critical diagnostic features, the Bosniak classification if relevant, and the most likely specific diagnosis when feasible; including management recommendations is controversial.
Efficient Keyword Query Search over XML Data based on Context Based Diversification Technique
Year: 2017

Empowering customers to get entry to databases by using easy keywords can relieve the users from the steep studying curve of mastering a structured query language and expertise complicated and possibly fast evolving data schemas.While key word query empowers general customers to search huge quantity of data, the paradox of keyword query makes ittough to correctly answer key word queries, especially for small and vague keyword queries. To deal with this tough hassle, inthis paper we suggest an approach that systematically diversifies XML key word search based on its distinctive contexts within the XML records.The proposed keyword search returns the set of smallest trees containing all keywords, where a tree is specified as "smallest" if it consists of no tree that also includes all keywords.Given a shortest and indistinct key word query and XML records to be searched, we first derive keyword seek candidates of the query through an easy feature selection model. and then, we design an powerful XML keyword search diversification version to find and calculate the first class of each candidate. After that, efficient algorithms are proposed to incrementally compute top k qualified query candidates as the assorted search intentions.At last, a complete evaluation on real and artificial information units demonstrates the effectiveness of our proposed diversification model and the efficiency of our algorithms.
Improvement in Accuracy and Speed of Image Semantic Segmentation via Convolution Neural Network Encoder Decoder
Year: 2019

Recent researches on pixel wise semantic segmentation use deep neural networks to improve accuracy and speed of these networks in order to increase the efficiency in practical applications such as automatic driving. These approaches have used deep architecture to predict pixel tags, but the obtained results seem to be undesirable. The reason for these unacceptable results is mainly due to the existence of max pooling operators, which reduces the resolution of the feature maps. In this paper, we present a convolutional neural network composed of encoder decoder segments based on successful SegNet network. The encoder section has a depth of 2, which in the first part has 5 convolutional layers, in which each layer has 64 filters with dimensions of 3x3. In the decoding section, the dimensions of the decoding filters are adjusted according to the convolutions used at each step of the encoding. So, at each step, 64 filters with the size of 3x3 are used for coding where the weights of these filters are adjusted by network training and adapted to the educational data. Due to having the low depth of 2, and the low number of parameters in proposed network, the speed and the accuracy improve compared to the popular networks such as SegNet and DeepLab. For the CamVid dataset, after a total of 60,000 iterations, we obtain the 91% for global accuracy, which indicates improvements in the efficiency of proposed method.
Tratamiento biologico de aguas residuales: Principios, modelacion y diseno
Year: 2017

En las ultimas decadas, el conocimiento de los procesos de tratamiento de aguas residuales ha avanzado extensamente evolucionando de enfoques basados en procedimientos meramente empiricos a enfoques con principios basicos que abarcan la quimica, microbiologia, fisica, ingenieria de procesos y matematicas. La gran mayoria de estos avances han madurado a tal grado que han sido codificados en modelos matematicos para su simulacion en computadoras. La cantidad, complejidad y diversidad de estos nuevos desarrollos puede ser abrumador, en particular para una nueva generacion de jovenes cientificos e ingenieros que ingresan al area del tratamiento de aguas residuales, y tambien por que no existe un facil acceso a cursos avanzados de postgrado en tratamiento de aguas residuales para los profesionales de paises en vias de desarrollo y en transicion. Este libro tiene como objetivo resolver esta deficiencia ya que compila e integra el material de diversos cursos de postgrado de mas de una docena de grupos de investigacion de todo el mundo que han hecho contribuciones significativas para el desarrollo del tratamiento de aguas residuales. Cabe resaltar que la edicion en ingles del presente libro, forma parte del plan de estudios en tratamiento biologico de aguas residuales ofrecido por IHE Delft que incluye: (i) resumenes de las presentaciones y clases de los temas cubiertos en el libro, (ii) videos de las clases de los profesores autores de los capitulos del libro y (iii) ejercicios de auto aprendizaje para los participantes en los cursos. Al termino del plan de estudios antes mencionado, los ultimos avances en modelacion y simulacion de la operacion y diseno de los sistemas de tratamiento de aguas residuales (ya sean lodos activados, procesos de remocion biologica de nitrogeno y fosforo, clarificadores secundarios o sistemas de biopeliculas) pueden ser abordados con mayor profundidad, conocimientos mas avanzados y mayor confianza.  9781780409146 (eBook)
Parallel Efficient Sparse Matrix Matrix Multiplication on Multicore Platforms
Venue: ISC
Year: 2015

Sparse matrix matrix multiplication (SpGEMM) is a key kernel in many applications in High Performance Computing such as algebraic multigrid solvers and graph analytics. Optimizing SpGEMM on modern processors is challenging due to random data accesses, poor data locality and load imbalance during computation. In this work, we investigate different partitioning techniques, cache optimizations (using dense arrays instead of hash tables) and dynamic load balancing on SpGEMM using a diverse set of real world and synthetic datasets. We demonstrate that our implementation outperforms the state of the art using Intel\\textregistered Xeon\\textregistered processors. We are up to 3.8X faster than Intel\\textregistered Math Kernel Library (MKL) and up to 257X faster than CombBLAS. We also outperform the best published GPU implementation of SpGEMM on nVidia GTX Titan and on AMD Radeon HD 7970 by up to 7.3X and 4.5X, respectively on their published datasets. We demonstrate good multi core scalability (geomean speedup of 18.2X using 28 threads) as compared to MKL which gets 7.5X scaling on 28 threads.
Properties and structures of nonstoichiometric (K, Na)NbO3 based lead free ceramics
Year: 2018

The 0.968[(K0.48Na0.52)]Nb0.95+xSb0.05O3 0.032(Bi0.5Na0.5)ZrO3 [KNNxS BNZ] lead free ceramics with nonstoichiometric niobium ion were fabricated via conventional solid state sintering technique and their piezoelectric, dielectric and ferroelectric properties were investigated. When x= 0.010, enhanced piezoelectric properties (d33 421 pC/N and kp 0.47) were obtained due to the construction of rhombohendral tetragonal phase boundary near room temperature. The KNNxS BNZ ceramics possesses enhanced Curie temperature (Tc) with improved piezoelectric constant. A large d33 of 421 pC/N and a high Tc 256 degC can be simultaneously induced in the ceramics with x= 0.010. Especially, good thermal stability was observed in a broad temperature range. The results indicated that our work could benefit development of KNN based ceramics and widen their application range. This article is protected by copyright. All rights reserved.
Seabirds supply nitrogen to reef building corals on remote Pacific islets
Venue: Scientific Reports
Year: 2017

Seabirds concentrate nutrients from large marine areas on their nesting islands playing an important ecological role in nutrient transfer between marine and terrestrial ecosystems. Here we investigate the role of guano on corals reefs across scales by analyzing the stable nitrogen isotopic (d15N) values of the scleractinian coral Pocillopora damicornis on fringing reefs around two Pacific remote islets with large seabird colonies. Marine stations closest to the seabird colonies had higher nitrate nitrite concentrations compared to more distant stations. Coral and zooxanthellae d15N values were also higher at these sites, suggesting that guano derived nitrogen is assimilated into corals and contributes to their nitrogen requirements. The spatial extent of guano influence was however restricted to a local scale. Our results demonstrate that seabird derived nutrients not only spread across the terrestrial ecosystem, but also affect components of the adjacent marine ecosystem. Further studies are now needed to assess if this nutrient input has a positive or negative effect for corals. Such studies on remote islets also open fresh perspectives to understand how nutrients affect coral reefs isolated from other anthropogenic stressors.
Time memory trade off in Toom Cook multiplication: an application to module lattice based cryptography
Venue: IACR Cryptol. ePrint Arch.
Year: 2020

Since the introduction of the ring learning with errors problem, the number theoretic transform (NTT) based polynomial multiplication algorithm has been studied extensively. Due to its faster quasilinear time complexity, it has been the preferred choice of cryptographers to realize ring learning with errors cryptographic schemes. Compared to NTT, Toom Cook or Karatsuba based polynomial multiplication algorithms, though being known for a long time, still have a fledgling presence in the context of post quantum cryptography. In this work, we observe that the preand post processing steps in Toom Cook based multiplications can be expressed as linear transformations. Based on this observation we propose two novel techniques that can increase the efficiency of Toom Cook based polynomial multiplications. Evaluation is reduced by a factor of 2, and we call this method precomputation, and interpolation is reduced from quadratic to linear, and we call this method lazy interpolation. As a practical application, we applied our algorithms to the Saber post quantum key encapsulation mechanism. We discuss in detail the various implementation aspects of applying our algorithms to Saber. We show that our algorithm can improve the efficiency of the computationally costly matrix vector multiplication by 12 37% compared to previous methods on their respective platforms. Secondly, we propose different methods to reduce the memory footprint of Saber for Cortex M4 microcontrollers. Our implementation shows between 2.6 and 5.7 KB reduction in the memory usage with respect to the smallest implementation in the literature.
Brown, A G and Basell, L S and Toms, Phillip (2015) A stacked Late Quaternary fluvio periglacial sequence from the Axe valley, southern England with implications for landscape evolution and Palaeolithic archaeology. Quaternary Science
Year: 2017

15 The current model of mid latitudes late Quaternary gravel terrace sequences is that they are 16 uplift driven but climatically controlled terrace staircases relate to both regional scale crustal and 17 tectonic factors, and palaeohydrological variations forced by quasi cyclic climatic catchment 18 conditions in the 100 K world (post Mid Pleistocene Transition) This model appears to hold for 19 the majority of the river valleys draining into the English Channel which exhibit 8 15 terrace 20 levels over approximately 60 100m of altitudinal elevation. However, one valley, the Axe, has 21 only one major morphological terrace and has long been regarded as anomalous. This paper uses 22 both conventional and novel stratigraphical methods (digital granulometry and terrestrial laser 23 scanning) to show that this terrace is a stacked sedimentary sequence of 20 30m thickness with 24 a quasi continuous (i.e. with hiatuses) pulsed, record of fluvial and periglacial sedimentation over 25 at least the last 300 400 K yrs as determined principally by OSL dating of the upper two thirds 26 2 of the sequence. Since uplift has been regional, there is no evidence of anomalous neotectonics, 27 and climatic history must be comparable to the adjacent catchments (both of which have staircase 28 sequences) a catchment specific mechanism is required. The Axe is the only valley in North West 29 Europe incised entirely into the near horizontally bedded chert (crypto crystalline quartz) and 30 sand rich Lower Cretaceous rocks creating a buried valley. Mapping of the valley slopes has 31 identified many large landslide scars associated with past and present springs. It is proposed that 32 these are thaw slump scars and represent large hill slope failures caused by Vauclausian water 33 pressures and hydraulic fracturing of the chert during rapid permafrost melting. A simple 1D 34 model of this thermokarstic process is used to explore this mechanism and it is proposed that the 35 resultant anomalously high input of chert and sand into the valley during terminations caused 36 pulsed aggradation until the last termination. It is also proposed that interglacial and interstadial 37 incision may have been prevented by the over sized and interlocking nature of the sub angular 38 chert clasts until the lateglacial when confinement of the river overcame this immobility 39 threshold. One result of this hydrogeologically mediated valley evolution was to provide a 40 sequence of proximal Palaeolothic archaeology over two MIS cycles. This study demonstrates 41 that uplift tectonics and climate alone do not fully determine Quaternary valley evolution and 42 that lithological and hydrogeological conditions are a fundamental cause of variation in terrestrial 43 Quaternary records and landform evolution. 44 45