Related Experiment Video

Updated: Jan 28, 2026

Simplified Human Neutrophil Extracellular Traps NETs Isolation and Handling
09:43

Simplified Human Neutrophil Extracellular Traps NETs Isolation and Handling

Published on: April 16, 2015

31.5K

On-line verification of initial-state opacity by Petri nets and integer linear programming

Xuya Cong1, Maira Pia Fanti2, Agostino Marcello Mangini2

  • 1School of Electro-Mechanical Engineering, Xidian University No. 2 South Taibai Road, Xi'an 710071, China; Department of Electrical and Information Engineering, Polytechnic of Bari, 70125 Bari, Italy.

ISA Transactions
|February 26, 2019
PubMed

Keywords:
Initial-state opacityInteger linear programmingPetri nets

More Related Videos

Programmed Electrical Stimulation in Mice07:29

Programmed Electrical Stimulation in Mice

Published on: May 26, 2010

21.3K
Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements09:36

Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements

Published on: June 25, 2021

3.5K

Related Concept Videos

Self-Evaluation: Self-Enhancement and Self-Verification03:00

Self-Evaluation: Self-Enhancement and Self-Verification

Social psychologists have documented that feeling good about ourselves and maintaining positive self-esteem is a powerful motivator of human behavior (Tavris & Aronson, 2008). In the United States, members of the predominant culture typically think very highly of themselves and view themselves as good people who are above average on many desirable traits (Ehrlinger, Gilovich, & Ross, 2005). Often, our behavior, attitudes, and beliefs are affected when we experience a threat to our...
5.8K
Strategies of Self-Presentation II: Self-Verification01:17

Strategies of Self-Presentation II: Self-Verification

Self-verification is a fundamental psychological drive wherein individuals seek affirmation of their self-concept from others, striving for consistency between their internal self-view and external perceptions. This drive operates even when the self-concept is negative, influencing interpersonal behavior and feedback preferences in complex and often counterintuitive ways. Unlike the self-enhancement motive, which seeks positive evaluations, self-verification prioritizes coherence and...
187
Initiation of Translation02:33

Initiation of Translation

Initiating translation is complex because it involves multiple molecules. Initiator tRNA, ribosomal subunits, and eukaryotic initiation factors (eIFs) are all required to assemble on the initiation codon of mRNA. This process consists of several steps that are mediated by different eIFs.
First, the initiator tRNA must be selected from the pool of elongator tRNAs by eukaryotic initiation factor 2 (eIF2). The initiator tRNA (Met-tRNAi) has conserved sequence elements including modified bases at...
38.9K
Initiation of Translation02:33

Initiation of Translation

8.1K
Linear Circuits01:17

Linear Circuits

A linear circuit is characterized by its output having a direct proportionality to its input, adhering to the linearity property, which encompasses the principles of homogeneity (scaling) and additivity. Homogeneity dictates that when the input, also referred to as the excitation, is multiplied by a constant factor, the output, known as the response, is correspondingly scaled by the same constant factor. For instance, if the current is multiplied by a constant 'k,' the voltage likewise...
869
Linear Equations01:27

Linear Equations

Linear equations form the foundation of many algebraic and real-world applications, characterized by their simplicity and utility. A linear equation is an algebraic statement in which each term is either a constant or a product of a constant and a single variable. These equations represent straight lines when plotted on a Cartesian coordinate plane, reflecting a constant rate of change between two quantities.A typical linear equation in one variable has the form: ax + b = c, where a, b, and c...
462