Results 31 to 40 of about 400,814 (331)
The installation of Prince Mangkubumi Performing Javanese history
Wacana: Journal of the Humanities of Indonesia, 2016 Representation of Javanese history in performance plays an important role in the self-characterization of the Special Region of Yogyakarta. It legitimizes the power of the rulers and strengthens the identity of the city and its inhabitants. The audiences
Els Bogaerts
doaj +1 more source
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
International Conference on Computer Aided Verification, 2018 We present a bounded model checking tool for verifying Java bytecode, which is built on top of the CPROVER framework, named Java Bounded Model Checker (JBMC).
L. Cordeiro +4 more
semanticscholar +1 more source
TINJAUAN SEMENTARA TENTANG ARCA MENHIR GUNUNG KIDUL
Berkala Arkeologi, 1980 Berbieara tentang area menhir tidak dapat dilepaskan dari tradisi megalitik, terutama dengan kons'ep latar belakang kepereayaannya. Hal tersebut disebabkan oleh karena didalam tradisi Megalitik dikenal suatu konsep adanya kehidupan kembali sesudah mati ...
Sumijati Atmosudiro
doaj +1 more source
3D visualization of objects and molecules: An integrative Java software [PDF]
Computational Ecology and Software, 2023 An integrative Java software, visual3D 1.0, for 3D visualization of objects and chemical molecules was developed in present study. The software uses a XYZ or OBJ file to generate the 3D graphics represented by the file.
WenJun Zhang
doaj
Safety-critical Java on a Java processor [PDF]
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012 The safety-critical Java (SCJ) specification is developed within the Java Community Process under specification request number JSR 302. The specification is available as public draft, but details are still discussed by the expert group. In this stage of the specification we need prototype implementations of SCJ and first test applications that are ...
Juan Ricardo Rios, Martin Schoeberl
openaire +1 more source
HMS: Um Sistema Aberto para Automação Residencial
Colloquium Exactarum, 2011 HMS (House Management System) é um sistema para automação residencial, desenvolvido na plataforma JAVA, que permite controlar aparelhos eletrônicos utilizando uma unidade de controle local ou uma unidade de controle remota, que deve estar conectada por ...
Paulo C.A. Feitosa Jr +3 more
doaj +2 more sources
Sistem Pendukung Keputusan untuk Penyakit Sapi berbasis Android
Emitor: Jurnal Teknik Elektro, 2018 Sapi merupakan salah satu hewan ternak yang paling banyak dipelihara oleh masyarakat Indonesia. Hal ini dikarenakan oleh banyaknya bagian tubuh sapi yang dapat dimanfaatkan, khususnya untuk bahan pangan seperti daging, kulit dan juga susu sapi.
Muhammad Miftakhul Jannan +1 more
doaj +1 more source
Molecular Oncology, EarlyView.In thyroid cancer patients, high‐dose (≥7.4 GBq) radioactive iodine therapy (RAIT) was associated with a higher prevalence of clonal hematopoiesis (variant allele frequency >2%) in individuals aged ≥50 years (OR = 2.44). In silico analyses showed that truncating PPM1D mutations conferred a selective advantage under these conditions.
Jaeryuk Kim +11 more
wiley +1 more source
Linguistic reflection in Java [PDF]
Software: Practice and Experience, 1998 Reflective systems allow their own structures to be altered from within. Here we are concerned with a style of reflection, called linguistic reflection, which is the ability of a running program to generate new program fragments and to integrate these into its own execution.
Kirby, Graham Njal Cameron +2 more
openaire +5 more sources
JFIX: semantics-based repair of Java programs via symbolic PathFinder
International Symposium on Software Testing and Analysis, 2017 Recently there has been a proliferation of automated program repair (APR) techniques, targeting various programming languages. Such techniques can be generally classified into two families: syntactic- and semantics-based. Semantics-based APR, on which we
X. Le +4 more
semanticscholar +1 more source