Results 101 to 110 of about 2,659,274 (336)

An advection-diffusion-reaction size-structured fish population dynamics model combined with a statistical parameter estimation procedure: Application to the Indian Ocean skipjack tuna fishery

Mathematical Biosciences and Engineering, 2005
We develop an advection-diffusion size-structured fish populationdynamics model and apply it to simulate the skipjack tunapopulation in the Indian Ocean.
Blaise Faugeras, Olivier Maury
doaj   +1 more source

Inverse Co‐Design of Mechanical And Sensory Properties in Soft Lattice Foams for Multifunctional Wearables

Advanced Science, EarlyView.
An inverse co‐design framework integrates neural networks and physics‐based models to engineer soft lattice foams with independently tunable mechanical and sensory properties. By layering architected foams and optimizing electrode placement, this method enables multifunctional wearable sensors.
Qinghua Guan, Benhui Dai, Harshal Sonar, Josie Hughes   +3 more
wiley   +1 more source

GEANT4 Target Simulations for Low Energy Medical Applications [PDF]

, 2013
The GEANT4 code offers an extensive set of hadronic models for various projectiles and energy ranges. These models include theoretical, parameterized and, for low energy neutrons, data driven models.
Barlow, Roger, Bungau, Adriana, Bungau, Cristian, Cywinski, R., Ratcliffe, Naomi   +4 more
core  

Deep Fluids: A Generative Network for Parameterized Fluid Simulations

, 2018
This paper presents a novel generative model to synthesize fluid simulations from a set of reduced parameters. A convolutional neural network is trained on a collection of discrete, parameterizable fluid simulation velocity fields.
Azevedo, Vinicius C., Gross, Markus, Kim, Byungsoo, Kim, Theodore, Solenthaler, Barbara, Thuerey, Nils   +5 more
core   +1 more source

Controllable Generation of Pathogen‐Specific Antimicrobial Peptides Through Knowledge‐Aware Prompt Diffusion Model

Advanced Science, EarlyView.
KPPepGen is a knowledge‐aware prompt diffusion model for the controllable generation of pathogen‐specific AMPs. It outperforms existing methods and is capable of simultaneously generating peptides for distinct pathogens, demonstrating superior performance with favorable properties and docking efficacy.
Yongkang Wang, Menglu Li, Feng Huang, Minyao Qiu, Wen Zhang   +4 more
wiley   +1 more source

Checking Parameterized Promela Models of Cache Coherence Protocols

Труды Института системного программирования РАН, 2018
This paper introduces a method for scalable verification of cache coherence protocols described in the Promela language. Scalability means that resources spent on verification (first of all, machine time and memory) do not depend on the number of ...
V. S. Burenkov, A. S. Kamkin
doaj   +1 more source

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

, 2014
We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache coherence protocol domain and consistent with the internal definition of ...
A. Bouajjani, A. Kaiser, A. Pnueli, A. Pnueli, B. Bingham, B. Bingham, B. Boigelot, C.-T. Chou, D. Dams, E. Clarke, E. Clarke, E.A. Emerson, E.A. Emerson, E.M. Clarke, K. Baukus, K.L. Mcmillan, K.L. McMillan, K.L. McMillan, M. Abadi, M. Abadi, M. Talupur, P. Abdulla, P.A. Abdulla, R.C. Holt, S. Das, T. Arons, Y. Fang, Y. Resten   +27 more
core   +1 more source

Revealing a Pathway for Low‐Temperature Recrystallization in Germanium

Advanced Science, EarlyView.
This study reports the discovery that energy transferred to electrons and atoms by highly ionizing ions results in a disorder‐order (amorphous‐crystalline) phase transformation in noncrystalline (amorphous) Ge. This discovery unlocks low‐temperature recrystallization pathways in Ge, offering a nonthermal strategy for fabricating Ge‐based devices that ...
Gihan Velişa, Eva Zarkadoula, Decebal Iancu, Maria D. Mihai, Alexandre Boulle, Yang Tong, Da Chen, Yanwen Zhang, William J. Weber   +8 more
wiley   +1 more source

PARSIFAL: Parametrized simulation of triple-GEM and micro-RWELL response to a charged particle [PDF]

EPJ Web of Conferences
PARSIFAL (PARametrized SImulation) is a software tool that can reproduce the complete response of both triple-GEM and micro-RWELL-based trackers. It takes into account the involved physical processes by their simple parametrization and thus in a very ...
Farinelli R.
doaj   +1 more source

The Potential of Cognitive‐Inspired Neural Network Modeling Framework for Computer Vision

Advanced Science, EarlyView.
In article number 202507730, Guorun Li, Lei Liu, Yuefeng Du, and co‐workers present a cognitive modeling framework (CMF) to bridge the ‘representation gap’ and ‘conceptual gap’ between cognitive theory and vision deep neural networks (VDNNs). The research findings provide new insights and solid theoretical support for VDNN modeling inspired by ...
Guorun Li, Lei Liu, Xiaoyu Li, Yuefeng Du, Zhenghe Song, Xiuheng Wu   +5 more
wiley   +1 more source