Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-3

Customized Nudging to Improve FAFSA Completion and Income Verification

Lindsay C. Page, Benjamin L. Castleman, Katharine Meyer

Educational Evaluation and Policy Analysis

Retricted access

Research article

First published 2018

The Complexity of Diagnosability and Opacity Verification for Petri Nets

Béatrice Bérard, Stefan Haar, Sylvain Schmitz [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2008-08

Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

Jinjun Chen, Yun Yang

The International Journal of High Performance Computing Applications

Open access

Research article

First published 2023-06-01

Complex graph neural networks for medication interaction verification

Gustavo Westarb, Stefano Frizzo Stefenon, Aurélio Faustino Hoppe [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1993-10

Verification and Validation of Complex Systems: Human Factors Issues

John A. Wise, V. David Hopkin, Richard S. Gibson [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2021

Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case *

Domenico Cantone, Andrea De Domenico, Pietro Maugeri [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1994-11

The Use of Case Tools as an Aid to the Verification of Complex Software Systems

David W. Gledhill

SIMULATION

Free access

Research article

First published 1989-2

Simulation and Experimental Verification of Completely Closed Cavity Die Forging on a Mechanical Press

A O A Ibhadode, T A Dean

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Open access

Research article

First published 2016-11

VP 2 RQ: Efficient verifiable privacy-preserving range query processing in two-tiered wireless sensor networks

Hua Dai, Qingqun Ye, Xun Yi [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 1999-11

Verification of a Simulation Model for Resin Film Infusion of Complex Shaped Composite Structures

A. C. Caba, D. Rattazzi, R. Batra [...]

Journal of Reinforced Plastics and Composites

Search results