20 papers · ranked by Valyu relevance
Jose E. Zalacain Llanes
There are many initiatives in presents-days for interaction between Java and Prolog programming languages. These initiatives allow combine two programming paradigms, Object Oriented Programming and Logic Programming. Every proposed interface has specifics features depending of the final use. The present paper…
Jialun Cao, Zhiyong Chen, Jia‐Rong Wu, Shing-Chi Cheung + 1 more
Large Language Models on JavaBench Authors: ['Jialun Cao' 'Zhiyong Chen' 'Jia‐Rong Wu' 'Shing-Chi Cheung' 'Chang Xu'] Code generation benchmarks such as HumanEval are widely adopted to evaluate LLMs' capabilities. However, after consolidating the latest 24 benchmarks, we noticed three significant imbalances. First…
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
'Peter Schrammel'] Abstract. JBMC is an open-source SAT- and SMT-based bounded model checking tool for verifying Java bytecode. JBMC relies on an operational model of the Java libraries, which conservatively approximates their semantics, to verify assertion violations, array out-of-bounds, unintended arithmetic…
Federico Bono, Frank Reyes, Aman Sharma, Benoît Baudry + 1 more
Dependency Resolution and Java Classloading Authors: ['Federico Bono' 'Frank Reyes' 'Aman Sharma' 'Benoît Baudry' 'Martin Monperrus'] We introduce Java-Class-Hijack, a novel software supply chain attack that enables an attacker to inject malicious code by crafting a class that shadows a legitimate class that is in the…
Diego Marcilio, Carlo A. Furia
When a method throws an exception- its exception precondition-is a crucial element of the method’s documentation that clients should know to properly use it. Unfortunately, exceptional behavior is often poorly documented, and sensitive to changes in a project’s implementation details that can be onerous to keep…
Jonas Schaub, Julian Zander, Achim Zielesny, Christoph Steinbeck
The concept of molecular scaffolds as defining core structures of organic molecules is utilised in many areas of chemistry and cheminformatics, e.g. drug design, chemical classification, or the analysis of high-throughput screening data. Here, we present Scaffold Generator, a comprehensive open library for the…
Zao Liu, Zhiwei Chen, Kan Song
Background Software for nuclear magnetic resonance (NMR) spectrometers offer general functionality of instrument control and data processing; these applications are often developed with non-scripting languages. NMR users need to flexibly integrate rapidly developing NMR applications with emerging technologies.…
John MacCormick
This document is intended as a stand-alone textbook chapter to be used for introducing some functional programming concepts into a course in which the primary teaching language is Java. For details of the approach, please see the paper "Functional programming, in the data structures course, in Java" by J. MacCormick…
Jiawen Xiong, Yong Shi, Boyuan Chen, Filipe R. Cogo + 1 more
'Zhen Ming Jiang'] Build verifiability refers to the property that the build of a software system can be verified by independent third parties and it is crucial for the trustworthiness of a software system. Various efforts towards build verifiability have been made to C/C++-based systems, yet the techniques for…
Ilham Saiful Fauzi, Nuning Nuraini, Regina Wahyudyah Sonata Ayu, Bony Wiem Lestari
'Bony Wiem Lestari'] Dengue fever is a notable vector-borne viral disease, currently becoming the most dreaded worldwide health problem in terms of the number of people affected. A data set of confirmed dengue incidences collected in the province of West Java has allowed us to explore dengue's temporal trends and…
Rebecca N Lewis, Anthony Kwong, Masayo Soma, Selvino R de Kort + 1 more
Linguistic laws, which describe common statistical patterns in human language, are often studied in animal communication systems. Despite good evidence for the existence of these laws in non-human primates, data is still limited for other taxa. Birdsong is often used as a model for human language development due to…
Rebecca N Lewis, Anthony Kwong, Masayo Soma, Selvino R de Kort + 1 more
Linguistic laws, which describe common statistical patterns in human language, are often studied in animal communication systems. Despite good evidence for adherence to these laws in non-human primate communication, there is still a paucity of data on other taxa. Birdsong is often used as a model for human language…
Ratna Dwi Wulandari, Agung Dwi Laksono, Nikmatur Rohmah, Hadi Ashar + 1 more
The analysis found that the average primary healthcare utilization in Java Region in 2018 was 5.1%. Meanwhile, [pone.0283709.t001] shows descriptive statistics of direct healthcare utilization and respondents’ characteristics in Indonesia in 2018. The result indicates that Yogyakarta Province has the highest primary…
Sota Kikuchi, Noriko Kondo, Hiroki Koda, David S Vicario
In human turn-taking, speakers alternate at very short intervals while avoiding overlaps. If speakers do not receive a vocal response from another party, they often repeat their utterance after the expected response time has elapsed to elicit a reply. Intra-individual intervals tend to be longer than inter-individual…
Sota Kikuchi, Noriko Kondo, Hiroki Koda
Vocal exchange or turn-taking - an interaction in which vocalizer alternation occurs at very short intervals to avoid overlapping vocalizations - occurs not only in human conversation but also in animal communications, characterized by temporal regularities in the timing of spontaneous and response vocalizations. This…
Felix Bänsch, Jonas Schaub, Betül Sevindik, Samuel Behr + 3 more
Developing and implementing computational algorithms for the extraction of specific substructures from molecular graphs (in silico molecule fragmentation) is an iterative process. It involves repeated sequences of implementing a rule set, applying it to relevant structural data, checking the results, and adjusting the…
Abdillah Azzam Wahyudin, Yudithia Maxiselly, Intan Ratna Dewi Anjarsari, Citra Bakti + 4 more
Liberoid coffee (Coffea liberica), a type of coffee cultivated in certain regions in Indonesia. West Java is one of the Indonesian provinces that cultivates liberoid coffee, include Liberica and Excelsa, with limited diversity records. This study aimed to assess the current status of Liberoid coffee in West Java…
Authors not listed
Coffee is one of the most popular beverages worldwide, and the preparation of the perfect espresso has become an entire culinary discipline that combines science and craftsmanship. Espresso involves the extraction of finely ground coffee under high pressure, yielding a concentrated coffee rich in emulsified lipids…
Rebecca N. Lewis, Hiroharu Makioka, R. Tucker Gilman, Masayo Soma
Songs play an important role in mate choice for a range of bird species. Many female birds show preferences for specific song features, such as complexity and temporal characteristics, or song familiarity. These features may indicate male quality, or help females to identify locally adapted or genetically compatible…
Lauren Verleysen, Robrecht Bollen, Jean-Léon Kambale, Ebele Tshimi + 8 more
Cultivation of Robusta coffee is likely to gain importance because of its high disease resistance and climate envelope, but substantial effort must be made to improve its cupping quality and other agronomic traits. Robusta coffee genetic resources conserved in field genebanks can play an important role in this context…