Results 101 to 110 of about 22,226,095 (257)
07011 Abstracts Collection – Runtime Verification [PDF]
, 2008 From January 2--6 2007 the Dagstuhl Seminar 07011 {\em `Runtime Verification'} was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Sokolsky, Oleg +3 more
core +1 more source
Advanced Science, EarlyView.Using a minimal set of experimentally labeled antimicrobial and non‐antimicrobial peptides, we reconstruct the effective lipid composition of a pathogenic membrane ‐demonstrated at the example of bacterial membranes‐ through a physics‐based evolutionary molecular dynamics (Evo‐MD) approach. Optimization based on peptide insertion reveals broad‐spectrum
Maximilian Krebs, Herre Jelger Risselada
wiley +1 more source
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity [PDF]
Logical Methods in Computer ScienceThere are many evaluation strategies for term rewrite systems, but automatically proving termination or analyzing complexity is usually easiest for innermost rewriting.
Jan-Christoph Kassing, Jürgen Giesl
doaj +1 more source
Machine Learning of Temperature‐Dependent Chemical Kinetics Using Parallel Droplet Microreactors
Advanced Science, EarlyView.An integrated droplet microfluidics and machine learning framework enables high‐throughput characterization of temperature‐dependent reaction kinetics. Time‐resolved measurements from thousands of droplets train Neural ODE models that accurately predict nonlinear reaction dynamics across diverse thermal environments, bridging large‐scale ...
Mamoru Saita, Yutaka Hori
wiley +1 more source
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification [PDF]
, 2022 Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code.
Falzon, Ryan +3 more
core
Advanced Science, EarlyView.STWave transforms massive microscopic‐resolution spatial transcriptomics into interpretable fine‐scale tissue maps through patch‐wise inference, wavelet‐based multi‐scale encoding, and dual‐domain reconstruction. It reduces noise while preserving weak spatial signals, enabling efficient analysis of 6 40 000 spots of 2.47 GB GPU memory and revealing ...
Tao Jiang +9 more
wiley +1 more source
Making runtime monitoring of parametric properties practical [PDF]
, 2012 Software reliability has become more important than ever in recent years, as a wide spectrum of software solutions are being used on various platforms.
Jin, Dongyun
core
Investigations of the Evolved Molecular Basis for Terpenoid Biosynthesis in Marine Sponges
Advanced Science, EarlyView.Confirming and extending a previous observation in another Bubarida sponge, genomic and functional analyses of A. cavernosa reveal that sponges retain the mevalonate pathway and employ single α‐domain T1TSs and UbiA‐type TSs for terpenoid biosynthesis. The absence of T1TSs clustering with other biosynthetic genes tentatively suggests, based on limited ...
Fangyan Chen +6 more
wiley +1 more source
Advanced Science, EarlyView.An optimized Cas9‐enriched nanopore sequencing workflow, combined with STRiker, enables simultaneous analysis of disease‐associated STR loci from patient blood. The nCATS–STRiker workflow detects repeat expansions, de novo repeat motifs, interruption patterns, and methylation in a single assay, improving the genetic diagnosis of previously undiagnosed ...
Seungbok Lee +11 more
wiley +1 more source
Probabilistic Computing via Gate‐Tunable Random Telegraph Noise
Advanced Science, EarlyView.Intrinsic random telegraph noise in metal–oxide–semiconductor field‐effect transistors is harnessed to create gate‐tunable probabilistic bits. By modulating carrier‐trapping dynamics, the device produces stochastic binary outputs with a continuous bias‐to‐probability transfer.
Gyungwon Yun +8 more
wiley +1 more source