Sage Journals: Discover world-class research

Open access

Research article

First published 2021

Using Hoare Logic in a Process Algebra Setting

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2026-3

HyperSBINN: A Hypernetwork-Enhanced Systems Biology-Informed Neural Network for Efficient Drug Cardiosafety Assessment

Inass Soukarieh, Gerhard Hessler, Hervé Minoux [...]

Journal of Computational Biology

Retricted access

Research article

First published 2008-8

4. A Relational Event Framework for Social Action

Carter T. Butts

Sociological Methodology

Retricted access

Research article

First published 2025-12

A Spatiotemporal Model as an Approach for Parameterizing the Inherited Cosmopolitan Urban Areas: Eastern Harbor,Alexandria-Egypt

Walaa El-Sayed Yoseph

Journal of Planning Education and Research

Retricted access

Research article

First published 2011-4

An evolutionary tuning technique for type-2 fuzzy logic controller

S.M.A. Mohammadi, A.A. Gharaveisi, M. Mashinchi [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2025-6

Exploring facade structural information: Harnessing the power of parametric analysis case study: 16th street (Shahid Farshi Moghaddam),Tehran

Fatemeh Ghozatlou, Ali Sharghi

International Journal of Architectural Computing

Free access

Research article

First published 2014-7

Application of PK/PD Modeling and Simulation to Dosing Regimen Optimization of High-Dose Human Regular U-500 Insulin

Amparo de la Peña, Xiaosu Ma, Shobha Reddy [...]

Journal of Diabetes Science and Technology

Retricted access

Research article

First published 2018-7

Modeling air leakage in buildings caused by the cyclic variation of the atmospheric pressure

Monica Patrascu, Tudor Baracu, Viorel Badescu [...]

Building Services Engineering Research & Technology

Search results