Reviewerly/exHarmony huggingface dataset:
Reversible Computing with Fast Fully Static Fully Adiabatic CMOS.

To advance the energy efficiency of general digital computing far beyond the thermodynamic limits that apply to conventional digital circuits will require utilizing the principles of reversible computing. It has been known since the early 1990s that reversible computing based on switching is possible in CMOS, although almost all of the adiabatic CMOS logic families in the literature are not actually fully adiabatic, which limits their achievable energy savings. The first CMOS logic style that achieved truly, fully operation if leakage was negligible (CRL) is not fully static, which leads to a number of practical engineering difficulties in the presence of certain nonidealities. Later, static logic families were described, but they were not actually fully adiabatic, or fully static, and were much slower. In this paper, we describe a new logic family, Static 2-Level Adiabatic Logic (S2LAL), which is, to our knowledge, the first CMOS logic family that is both fully static, and truly, fully (modulo leakage). In addition, S2LAL is, we think, the fastest possible such family (among fully pipelined sequential circuits), having a latency per logic stage of one tick (transition time), and a minimum clock period (initiation interval) of 8 ticks. S2LAL requires 8 phases of a trapezoidal power-clock waveform (plus constant power and ground references) to be supplied. We argue that, if implemented in a suitable fabrication process designed to aggressively minimize leakage, S2LAL should be capable of demonstrating a greater level of energy efficiency than any other semiconductor-based digital logic family known today.
Discussion on Computer Network Security and Its Countermeasures

New era; The computer; Network security; Problem; countermeasures
An Overview of the SEBAMAT Project.

SEBAMAT (semantics-based MT) is a Marie Curie project intended to con-tribute to the state of the art in machine translation (MT). Current MT systems typically take the semantics of a text only in so far into account as they are implicit in the underlying text corpora or dictionaries. Occasionally it has been argued that it may be difficult to advance MT quality to the next level as long as the systems do not make more explicit use of semantic knowledge. SEBAMAT aims to evaluate three approaches incorporating such knowledge into MT.
UB LibGuides: Library Orientation Assignment: 6. Finding Information on the Internet

This purpose of this guide is to provide new students with an orientation to the University of The Bahamas Libraries. Please contact your instructor for the written assignment that accompanies this guide.
Intelligent Control of Ultrasonic Motor Using PID Control Combined with Artificial Bee Colony Type Neural Networks

In this research, to obtain satisfactory control performance of ultrasonic motor (USM) in position control, a hybrid intelligent method based on PID control using neural networks (NNs) combined with Artificial Bee Colony (ABC) algorithm is proposed. Using the proposed intelligent control method, the gains of PID control are auto-tuned to minimize the errors in position control. The proposed method is with simple structure and easy to be implemented in estimation. It is designed to compensate the nonlinearity and characteristic changes in position control. The proposed hybridization of NN and ABC makes the intelligent scheme superior in usefulness and effectiveness. In this paper, the control performance and effectiveness of the proposed method were confirmed and studied according to experimental results on an existing USM servo system.
The Study on Direction of the Software Education - focused on the freshman students of the College of Social Sciences -

This paper presents direction for efficient software education. Due to the impact of the Fourth Industrial Revolution, the whole world is interested in software education. However, simply teaching how to code is not software education. The thinking abilities used in coding for software implementation are even more important. Therefore, computational thinking is getting great attention. Several institutions suggest factors for computational thinking and encourage to teach in a relevant way based on the suggestion. In this study, the verification of the factors they suggested was conducted through a questionnaire. The total of 419 freshman students of the College of Social Sciences who were taking “Computational Thinking and Software Coding” class participated in the survey at the beginning and the end of the semester. We first analyzed Wing''s proposal that summarized the concept of computational thinking, and reviewed the proposal of ISTE (International Society for Technology in Education) for defining computational thinking factors for coding education, also checked on the suggestion of Google for factors necessary for software coding. As a result of research analysis, this paper suggests a direction for efficient software education.
Non-Malleable Secret Sharing against Bounded Joint-Tampering Attacks in the Plain Model.

Secret sharing enables a dealer to split a secret into a set of shares, in such a way that certain authorized subsets of share holders can reconstruct the secret, whereas all unauthorized subsets cannot. Non-malleable secret sharing (Goyal and Kumar, STOC 2018) additionally requires that, even if the shares have been tampered with, the reconstructed secret is either the original or a completely unrelated one.
SmartDHX: Diffie-Hellman Key Exchange with Smart Contracts.

Blockchain technologies enable decentralized applications (DApps) that run on distributed infrastructures without any central authority. All transactions for communication and data storage are public and can be verified by all participants. DApps interacting with a smart contract typically require client-side code, which is not part of the smart contract, and therefore do not hold the same verifiability properties. Following the vision of a verifiable DApp, we propose SmartDHX, a Diffie-Hellman key exchange (DHKE) scheme, fully implemented as a smart contract. That is, SmartDHX communicates only via the Ethereum blockchain and provides both backend and client-side code with the smart contract. The application code can therefore be verified and deployed without external trust requirements. By executing DHKE on-chain, we gain a number of properties, including asynchronicity as well as message integrity and authenticity. We generalize the two-party SmartDHX to emphasize that our approach is able to handle complex cryptographic protocols. In our analysis, we expose an efficiency tradeoff when executed on chain. In particular, we provide a proof-of-concept implementation and analyze the runtime and transaction fees. Since DHKE is used by many cryptographic algorithms, SmartDHX contributes a fundamental building block in the domain of DApps.
Vocabulary Agreement between Academic Korean and Korean Language Course Textbook Review and Implications

본 연구는 2017년에 수정 고시된 개정 한국어(KSL) 교육과정과 국어과 교육과정 간의 연계성을 기반으로 한 효과적인 교육 방안을 구상할 근거를 마련하고자 하는 데에 목적을 두었다. 우선 본 연구의 대상자인 중도입국 한국어 학습자를 위해 이러한 목적을 달성하기 위하여, 개정 한국어(KSL)에서의 ‘학습 한국어’의 영역과 관련 문헌에 대한 비판적 고찰을 한 데 이어, 그 해당 어휘 목록과 국어과 교재 간의 일치율까지 검토해 보았다. 이러한 문헌 분석과 말뭉치 분석 방법(corpus analysis)을 통해 도출된 연구 결과는 다음과 같았다. 먼저 개정 전과 후의 한국어(KSL)에서의 학습 한국어 어휘 수가 크게 늘었음을 알 수 있었다. 그 다음으로는 개정 한국어(KSL)의 중·고등학교 학습 한국어와 국어과 교재 간의 어휘 일치율을 통하여 특정 출판사(두산 2, 신사 1, 2)에 해당하는 교재가 난이도 측면에서 낮거나 학습 부담감을 가장 크게 덜어줄 수 있음을 알 수 있었다. 이에 본 연구는 개정 한국어(KSL) 교육과정과 국어과 교육과정이 연계된 수업 현장에서 교사가 실제 활용 가능한 교재를 선정하는 데에 있어 참고할 만한 구체적 단서를 얻었으면서, 차후에는 보다 실질적인 교재 내용의 구상으로 반영될 것을 기대할 수 있었다.The purpose of this study is to provide a basis for the development of an effective educational plan based on the connectivity between the revised Korean as a Second Language Curriculum and the Korean Language Course. In order to achieve the purpose of this study, for immigrant adolescent Korean learners, critical review of the area of Learning Korean in the revised Korean as a Second Language Curriculum and related document was conducted. A review of agreement between their related vocabulary and Korean Language Course Textbook Vocabulary was conducted as well. The study results derived from the document analysis and corpus analysis were as follows. First of all, it was found that the number of Korean language vocabulary of revised Korean as a Second Language Curriculum was increased greatly after revision. In the second place, through the agreement of vocabulary between middle and high school learning Korean of revised Korean as a Second Language Curriculum and Korean Language Course Textbook of revised Korean as a Second Language Curriculum, the textbooks corresponding to specific publishers (Doosan 2, Shinsa and 1,2) are the lowest in terms of difficulty or the burden of learning is lowest. Therefore, this study found the specific clues that can be used for selecting practical teaching materials that teachers can use in the classrooms linked with the revised Korean as a Second Language Curriculum and Korean Language Course and in the future, it could be expected to reflect more substantive textbook contents.
LibGuides: Searching Articles, Books, & More: Altmetric Score

This guide gives you basic information about how Summon works to find things owned by University of Rochester Libraries
Quantum dynamics in Weyl-Heisenberg coherent states

The article explores a new formalism for describing motion in quantum mechanics. The construction is based on generalized coherent states with evolving fiducial vector. Weyl-Heisenberg coherent states are utilised to split quantum systems into `classical' and `quantum' degrees of freedom. The decomposition is found to be equivalent to quantum mechanics perceived from a semi-classical frame. The split allows for introduction of a new definition of classical state and is a convenient starting point for approximate analysis of quantum dynamics. An example of a meta-stable state is given as a practical illustration of the introduced concepts.
TEKNOLOGI ALIH MEDIA DAN PENYELAMATAN ISI BUKU LANGKA

The digitalization technology is growing rapidly, especially DSLR cameras and contactless scanners. This study describes the two technologies, along with various problems that arise in its application for the preservation of rare book contents in UGM’s Library. Divided into sub topics of technological innovation, editing software, performance achievements and problems encountered during 4 years of its implementation. The explanations of digitalization technology over contactless scanners and digital cameras are focused on a variety of fundamental and indispensable main settings, tailored to the advancement of science and technology. It was found that the biggest problems are inadequate human resource capacity, limited storage, limited infrastructure, and rare collection management. Although encountered various obstacles and limitations, the achievement of digitalization activities is quite proud, as it successfully digitized a number of 1,407 rare book titles. Keywords: rare collection, digitization, preservation, digitalization technology, DSLR, camera, scanner contactless
HUBUNGAN PEKERJAAN DAN PENDIDIKAN DENGAN PERKEMBANGAN BAHASA PADA ANAK USIA TODDLER DI WILAYAH KERJA PUSKESMAS LUBUK BUAYA PADANG TAHUN 2018

Late language delay in the early period, can cause various problems in the learning process at school age. Children who experience speech and language delays are at risk of learning difficulties, reading and writing difficulties, communicating with others, leading to underachieving academic achievement, this can continue until young adulthood. Language delay in toddler can be caused by family characteristics such as, father / mother education and employment. This study aims to determine the employment and education with language development in Toddler in work area Puskesmas Lubuk Buaya Padang 2018. This research type was analytical with cross sectional design. The population in this study was 58 mothers who have children aged toddler in RW 1 and 2 Rimbo Jariang Lubuk Buaya Padang, the study was conducted on July 6 until July 9, 2018. This study used total sampling with a questionnaire research instrument. Data analysis was done in univariate analysis and bivariate analysis using chi-square test in computer. The result of this research shows that there is no correlation between employment with language development ( p value 1,000> 0,05) and there is no correlation between education with language development ( p value 0,472> 0,05). It is recommended for the Puskesmas to provide counseling for mothers about how to stimulate children so that their development is appropriate for age. Literature : 27 (2009-2017) Keywords: Toddler, Employment, Education, Language Development.
Improving the Processes for Disclosing Security Vulnerabilities to Government Entities in India

This policy brief draws from knowledge that has been gathered from various sources, including information sourced from newspaper and journal articles, current law and policy, as well as from interviews the researchers conducted with various members of the Indian information security community. This policy brief touches upon the issue of vulnerability disclosures, specifically those that are made by individuals to the Government, while exploring prevalent challenges with the same and making recommendations as to how the Government’s vulnerability disclosure processes could potentially be improved.
Creativity in digital reality

espanolLos entornos digitales — simulaciones, juegos y realidades — han ganado cada vez mas atencion en la investigacion de la conducta, a medida que la tecnologia relevante se ha tornado mas avanzada y asequible. Esta mayor atencion ha ido en paralelo con la creciente cantidad de estudios de investigacion, una fraccion de los cuales corresponden a los estudios sobre la creatividad en entornos digitales. Este mini analisis destaca los hilos conductores de dicha fraccion, y se enfoca en la utilizacion de los entornos digitales en la educacion y la industria. EnglishDigital environments — simulations, games and realities — have been gaining more attention in behaviour research as the relevant technology has become more advanced and affordable. This increased attention has been paralleled by the growing research literature, a corner of which belongs to studies of creativity in digital environments. This mini review highlights the main threads of this corner, focusing on the utilization of digital environments in education and industry.
State estimation of aerial vehicles flying near the ground

Autonomous vehicles represent an enormous technological advance. Nevertheless, theroad toward a completely autonomous vehicle platform is still being drawn, containingnumerous challenges that involve control, guidance, and state estimation. Among thevehicle systems, the state estimation systems are vital components for self-guided vehicles,since they provide information used by guidance and control systems. However, estimatingthe vehicle states is not a trivial task, especially for those operating near the ground inthe presence of vegetation, buildings, and mountains, where degradation or even theabsence of the signal from global navigation systems, such as GPS, directly interferes inthe estimation. In addition, for vehicles that perform aggressive maneuvers and have theability to perform 6-degree of freedom movements, the problem is even more challenging.In this context, this thesis addresses the problem of state estimation of mobile systemsoperating near the ground, which presents the difficulties mentioned above, but also allowsfor the use of different sensors, such as cameras and LiDARs. Special attention is given toair vehicles equipped with such sensors, in which velocity, position, and orientation are themain states to be estimated. Taking into account the nonlinear nature of the system, newunscented Kalman filter-based sensor fusion algorithms are proposed to robustly mergeheterogeneous sensor data and still maintain the constraint of unitary norm imposedon the unit quaternion representation of the vehicle attitude. Being able to adapt touncertainty time variations in sensor data, the proposed algorithms can mitigate theeffects of unknown measurement errors thus providing a good estimation of the states.Several experimental results with air vehicles in situations of time-varying measurementuncertainty, which include a race airplane equipped with camera performing acrobaticmaneuvers and a quadrotor equipped with planar LiDAR flying in a dense forest, arepresented.
LibGuides: Workshops in the Library Research Series: Learning to Bluebook

Reference librarians are pleased to offer research workshops on various topics throughout the semester. Workshop content will be available here.
Digital Divide Among Adolescents

BackgroundThe study of the digital divide is a study that initiated from the discovery of several phenomena that occur amid of society related to the existence of technology. The digital divide in the use of the internet by Mojokerto adolescents needs serious attention from the community. A 'smart city' can be a solution to overcome this divide.Objective The objective of this study is to determine the divide in the use of ICT tools among Mojokerto adolescents.Method This study uses a multistage random sampling technique with a sample of 100 adolescents that proportionally counted.Result The results indicate that based on the operational skill, 3.49 adolescents in Mojokerto are classified in the moderate category, while 3.64 are classified as a high category at the formal skill, 3.11 are classified as a moderate category at the information skill, and 3.19 are classified as a moderate category at strategic abilities. Then for the stage of utilization, especially on the frequency of use of ICT and the internet, it shows that Mojokerto adolescents are classified in the high category with an average score of 3.99 or high.Conclusion The operational and strategic abilities of Mojokerto adolescents in utilizing ICT are relatively sufficient since the frequency of use of ICT is relatively high.
Classification of LISS-III Image Using Fuzzy Logic

The LISS-III is the multi-phantom camera working in four groups. The main reason behind accompanying the work is to apply calculation dependent on regulated characterization of systems to comprehend the land spread and land utilized region in Mumbai. Here, we have used the IRS P6 LISS-III satellite picture of Mumbai locale is utilized to group the regions of Mumbai, Navi Mumbai, and Thane district. The classifier utilized is a fuzzy inference system and band pictures. The various regions of Mumbai locale are grouped, for example, zone secured by mangroves, forest, water, and developed area. It is been seen that the accuracy of fuzzy inference system is 77.88%.
Interference of two diverging beams reflected from a plane parallel plate: stationary fringes with characteristic stable period

We investigated interference fringes due to superposition of diverging light waves reflected from the two sides of a plane parallel plate. A non-localized fringe pattern of high contrast was obtained as a function of incident angle when we used a coherent diverging beam. We found that the fringe density increased to a certain angle and then decreased thereafter, against the common belief that the fringe density increases monotonically with the angle of incidence. Because the fringe density is maximum at this angle and does not change rapidly in the vicinity, we could employ Fourier analysis to estimate interferometric parameters, such as thickness, refractive index, and wavelength, that determine the characteristic stationary fringe density.
Enhancing English Learning Achievement through Problem Based Learning: An Action Research at SMAN 1 Jepara

This research aims to describe the learning achievements of the English Language through Problem Based Learning (PBL) Model. This study used a two cycle-classroom action research as the design and assigned 30 graders of X Science Class of SMAN 1 Mlonggo Jepara Regency in the year 2018/2019.  Each cycle consisted of four stages: planning, implementing, observing, and reflecting. Indicators of success are determined for which the students achieved a minimum 75% of mastery learning after they are exposed to the PBL Model.  The research results show (1) the average learning achievement in the first cycle was 6.92 and in the second cycle the cycle was 8.67; (2) minimum mastery learning in the first cycle was 13 (36.11%) and 23 (63.89%) in the second cycle; and (3) completeness in the classical learning in cycle I was 36.11% and 100.00% in cycle. In addition, the students’ participation and motivation after the implementation of PBL increase somewhat 82.4% and of 82.47% students’ states strongly agree to the implementation of PBL model.
BP Neural Network-Based Stripe Width Computation For Adaptive Control Of Line Structured Light Sensors

To enhance the measurement quality of line structured light sensor (LSLS), an adaptive control method is proposed which can modulate the average stripe width (ASW) within a favorite range by tuning of camera exposure time. As the prerequisite to achieve the control, the ASW is computed based on the back-propagation (BP) neural network that can be well trained in advance. During measurement process, only the forward computation is needed and the computation efficiency can be guaranteed. According to the approximate linear relationship between ASW and exposure time, a linear iteration method is developed to obtain the favorite exposure time. The experiment results show that this method can avoid the over/under exposure of stripe and lead to smoother center extraction results. Moreover, the measurement integrity can also be improved. The proposed method does not need the modification of sensor hardware, and can be easily applied.
Automated Analysis of Brain Microvasculature: From Segmentation to Anatomical Modeling

Two-photon microscopy (TPM) can provide a detailed microscopic information of cerebrovascular structures. Extracting anatomical vascular models from TPM angiograms remains a tedious task due to image degeneration associated with TPM acquisitions and the complexity of microvascular networks. Here, we propose a fully automated pipeline capable of providing useful anatomical models of vascular structures captured with TPM. In the proposed method, we segment blood vessels using a fully convolutional neural network and employ the resulting binary labels to create an initial geometric graph enclosed within vessels boundaries. The initial geometry is then decimated and refined to form graphed curve skeletons that can retain both the vascular shape and its topology. We validate the proposed method on 3D realistic TPM angiographies and compare our results with that obtained through manual annotations.
LibGuides: Virtual Summer in the City: Library

Your one stop shop to check out all of the fun summer activities the city of San Antonio has to offer. This guide compiles various virtual exhibits, services, and activities this summer.
LibGuides: Staley Library Tour: COVID-19 & Staley Library

A virtual tour of the Staley Library in the University Commons. Changes at Staley Library necessitated by COVID-19.