Results 41 to 50 of about 2,913,967 (326)
Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core +2 more sources
CellPolaris decodes how transcription factors guide cell fate by building gene regulatory networks from transcriptomic data using transfer learning. It generates tissue‐ and cell‐type‐specific networks, identifies master regulators in cell state transitions, and simulates TF perturbations in developmental processes.
Guihai Feng +27 more
wiley +1 more source
Recent advances in materials and device engineering enable continuous, real‐time monitoring of muscle activity via wearable and implantable systems. This review critically summarizes emerging technologies for tracking electrophysiological, biomechanical, and oxygenation signals, outlines fundamental principles, and highlights key challenges and ...
Zhengwei Liao +4 more
wiley +1 more source
Eksperimentasi Model Pembelajaran Kooperatif Tipe Group Investigation (Gi), Think Pair Share (Tps), Dan Pembelajaran Langsung Pada Materi Aljabar Ditinjau Dari Kecerdasan Majemuk Siswa SMP Negeri Se-kota Surakarta Tahun Pelajaran 2015/2016 [PDF]
This research aimed to find out: 1) which one providing better mathematics learning achievement: Group Investigation (GI) model, Think Pair Share (TPS) model, or direct instructional model, 2) which one providing better mathematics learning achievement:
Budiyono, B. (Budiyono) +2 more
core
Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang +17 more
wiley +1 more source
A Coding Theoretic Study on MLL proof nets
Coding theory is very useful for real world applications. A notable example is digital television. Basically, coding theory is to study a way of detecting and/or correcting data that may be true or false. Moreover coding theory is an area of mathematics,
Girard +4 more
core +1 more source
We demonstrate a hybrid WS2/CuInP2S6/graphene heterostructure integrated on a silicon nitride microring resonator for non‐volatile optical phase modulation with ultra‐low energy consumption and low insertion loss. While CIPS alone does not provide efficient optical index modulation, the engineered proposed device structure converts ferroelctric domain ...
Lalit Singh +10 more
wiley +1 more source
Collector\u27s Corner, Round 5 [PDF]
Martin Gardner\u27s 300th article for Scientific American appeared in their August, 1998 issue (Cover: New Thinking about Back Pain). It\u27s title A Quarter-Century of Recreational Mathematics, highlights Gardner\u27s 297 Mathematical Games columns ...
Farrell, Jeremiah
core +2 more sources
Determination of Significant Parameters on the Basis of Methods of Mathematical Statistics, and Boolean and Fuzzy Logic [PDF]
Yulia Shichkina +2 more
openalex +1 more source
High‐Entropy Chemical Composition Design for Ultrahigh Capacitive Energy Storage
La‐donor doping suppresses defect charges and reduces domain size via local random fields. Conversely, NaNbO3 addition in BNT‐based ceramics stabilizes the orthorhombic phase. This creates R‐O‐T multiphase polar nanoregions within a cubic matrix, which lowers the energy barrier, delays polarization saturation, and enables a high breakdown strength ...
Muhammad Habib +10 more
wiley +1 more source

