Property:Query string

"Query string" is a predefined property that describes the conditions of the query as a string and is provided by Semantic MediaWiki. This property is pre-deployed (also known as special property) and comes with additional administrative privileges but can be used just like any other user-defined property.

Usage278

previous 202050100250500next 20

Filter<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>

Showing 20 pages using this property.

T

Temporal Logic Specifications for Control System Design in Automotive Systems +

[[Category:Group member]] [[Previous projects::Temporal Logic Specifications for Control System Design in Automotive Systems]]

Temporal Logic Specifications for Control System Design in Automotive Systems +

[[Category:Papers]] [[Funding::Temporal Logic Specifications for Control System Design in Automotive Systems]]

V

VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems +

[[Category:Group member]] [[Previous projects::VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems]]

VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems +

[[Category:Papers]] [[Funding::VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems]]

R

Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping +

[[Category:Group member]] [[Previous projects::Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping]]

Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping +

[[Category:Papers]] [[Funding::Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping]]

Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors +

[[Category:Group member]] [[Previous projects::Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors]]

Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors +

[[Category:Papers]] [[Funding::Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors]]

I

Image gallery +

[[Category:Image]]

S

Synthesizing flight software (FSW) discrete controllers from formal specifications +

[[Category:Group member]] [[Previous projects::Synthesizing flight software (FSW) discrete controllers from formal specifications]]

Synthesizing flight software (FSW) discrete controllers from formal specifications +

[[Category:Papers]] [[Funding::Synthesizing flight software (FSW) discrete controllers from formal specifications]]

Safety-Critical Autonomy and Verification for Space Missions +

[[Category:Group member]] [[Previous projects::Safety-Critical Autonomy and Verification for Space Missions]]

Safety-Critical Autonomy and Verification for Space Missions +

[[Category:Papers]] [[Funding::Safety-Critical Autonomy and Verification for Space Missions]]

A

A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior +

[[Category:Papers]] [[Funding::A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior]]

D

Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress +

[[Category:Papers]] [[Funding::Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress]]

G

Genetic Circuits for Multi-Cellular Machines +

[[Category:Group member]] [[Previous projects::Genetic Circuits for Multi-Cellular Machines]]

Genetic Circuits for Multi-Cellular Machines +

[[Category:Papers]] [[Funding::Genetic Circuits for Multi-Cellular Machines]]

F

Field-Programmable, Recombinase-Based Biomolecular Circuits +

[[Category:Papers]] [[Funding::Field-Programmable, Recombinase-Based Biomolecular Circuits]]

E

Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping +

[[Category:Group member]] [[Previous projects::Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping]]

Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping +

[[Category:Papers]] [[Funding::Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping]]