Results 81 to 90 of about 311,744 (293)
Pamiętnik Teatralny, 2016 As colonial scholars at the turn of the 19th and 20th centuries surmised, the traditional Java shadow theatre, i.e. wayang kulit, probably originated from animistic rituals of prehistoric Java.
Marianna Lis
doaj +1 more source
Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset
, 2015 Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J is provided with a test suite and at least one failing test case that triggers the bug.
Durieux, Thomas +4 more
core +1 more source
Abstraction and Verification of Properties of a Real-Time Java [PDF]
, 2013 We present a tool for analysing resource sharing conflicts in multithreaded Java programs. Java programs are translated to timed automata models verified afterwards by the Uppaal model checker. Analysed programs are annotated with timing information indicating the execution duration of a particular statement.
Nadezhda Baklanova, Martin Strecker
openaire +2 more sources
Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors
Advanced Science, EarlyView.This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung +7 more
wiley +1 more source
Capacitive Pixelated CMOS Electronic Nose
Advanced Electronic Materials, EarlyView.A 1024‐pixel CMOS capacitive E‐nose with inkjet‐printed MOFs and polymer layers yields gas‐specific capacitance fingerprints under humid conditions, discriminating toluene from 2‐butanone at low power. ABSTRACT Although some of the human senses can nowadays be replaced by low‐cost electronic sensors such as microphones and image sensors, a compact low ...
M. A. Basyooni‐M. Kabatas +7 more
wiley +1 more source
Exploring model-based development for the verification of real-time Java code [PDF]
, 2008 Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important.
Duke, Roger +2 more
core +2 more sources
Advanced Electronic Materials, EarlyView.This work proposes a machine‐vision‐based tool for predicting the thickness of in‐line deposited perovskite films, enabling real‐time decision making to control deposition parameters. The workflow integrates perovskite deposition and annealing with uniformity analysis and minimodule fabrication.
Juan Pablo Velásquez +9 more
wiley +1 more source
Traceability system and its performance for SILOPANG (Food Logistics System): Research Framework [PDF]
BIO Web of ConferencesTraceability of food products is an important requirement for improving food safety and consumer confidence. An effective global food traceability system can reduce food waste, improve safety, and minimize economic losses.
Pembayun Lintar Sekar +3 more
doaj +1 more source
Beyond the Ban—Shedding Light on Smallholders' Price Vulnerability in Indonesia's Palm Oil Industry
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT The Indonesian government imposed a palm oil export ban in April 2022 to address rising cooking oil prices. This study explores oil palm smallholders' vulnerability to the policy using descriptive statistics, Lasso, and post‐Lasso OLS regressions.
Charlotte‐Elena Reich +3 more
wiley +1 more source
Aspect-Oriented Approach of Non-Functional Requirements for Embedded System-Based IoT Applications
IEEE AccessDesigning high-performance embedded devices is usually time consuming and error-prone due to conflicting non-functional requirements (NFRs) like performance, timeliness, and sustainability.
Anirban Bhar +2 more
doaj +1 more source