Results 41 to 50 of about 311,378 (293)
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
Algorithm time complexity is an important topic to be learned for programmer; it could define whether an algorithm is practical to be used on real environment or not. However, learning such material is not a trivial task.
Gisela Kurniawati, Oscar Karnalim
doaj +1 more source
Towards Verifying Safety Properties of Real-Time Probabilistic Systems [PDF]
Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven engineering method for reactive systems SPACE and its tool-set Reactive ...
Fenglin Han +3 more
doaj +1 more source
Laser‐Induced Graphene from Waste Almond Shells
Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
Previously, people who want to visit a tourist attraction should come to that place. If you can’t visit it normally, you can only read or heard from a source. Therefore made 3-dimensional visualization application.
Irham Fa'idh Faiztyan +2 more
doaj +1 more source
A tandem gas diffusion electrode (GDE) leveraging hierarchically engineered microgranules enables efficient CO2 electroreduction under dilute CO2 conditions. A key innovation lies in the solvent‐free precision assembly of metal–organic‐frameworks, carbon nanotubes, and copper nanoparticles.
Kai‐Jen Wu +7 more
wiley +1 more source
Exhaustive testing of safety critical Java [PDF]
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance.
Kalibera, Tomas +3 more
core +4 more sources
Vehicle transportation accounts for 80% of the dangerous chemicals transport volume in China, and it is of great significance to ensure safe transportation of dangerous chemicals.
He Liu, Wanchun Li, Wen Han
doaj +1 more source
Web-Based Technology for Remote Viewing of Radiological Images: App Validation
BackgroundInternet technologies can create advanced and rich web-based apps that allow radiologists to easily access teleradiology systems and remotely view medical images. However, each technology has its own drawbacks.
Min, Qiusha +3 more
doaj +1 more source
An Edible H2O2 Biosensor for Gastrointestinal Metabolites and Peroxidase Enzyme Quantification
We present an edible biosensor for gastric fluid analysis that integrates a caffeic acid–horseradish peroxidase redox system into an edible electrolyte‐gated transistor. The device enables rapid, low‐volume detection of H2O2 and, with minimal modification, metabolites and enzyme activity in simulated gastrointestinal conditions.
Valerio Francesco Annese +10 more
wiley +1 more source

