Browsing Waterloo Research by Title
Now showing items 2203-2222 of 2463
-
A Survey on Cache Management Mechanisms for Real-Time Embedded Systems
(Association of Computing Machinery, 2015-11)Multicore processors are being extensively used by real-time systems, mainly because of their demand for increased computing power. However, multicore processors have shared resources that affect the predictability of ... -
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
(IEEE, 2015-05)Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ... -
Synchronization of coupled reaction-diffusion neural networks: Delay-dependent pinning impulsive control
(Elsevier, 2019-12)This paper studies the synchronization problem of coupled reaction-diffusion neural networks with time-varying delays. A novel pinning impulsive controller is proposed, where distributed delays and discrete delays are taken ... -
Synchronized closed path following for a differential drive and manipulator robot
(IEEE, 2016-05-23)We locally solve a synchronized path-following problem for a heterogeneous multiagent system consisting of a differential drive robot and a serial manipulator. Each is assigned a simple, regular, and closed curve in its ... -
Synergistic pH effect for reversible shuttling aptamer-based biosensors between graphene oxide and target molecules
(Royal Society of Chemistry, 2011-06-07)DNA aptamers are known to desorb from graphene oxide (GO) surface in the presence of target molecules. We demonstrate herein that the binding equilibrium can be shifted by simply tuning the solution pH. At lower pH, the ... -
Syntactic Complexities of Six Classes of Star-Free Languages
(Otto-von-Guericke-Universit¨at Magdeburg, 2012)The syntactic complexity of a regular language is the cardinality of its syntactic semi-group. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, ... -
Syntactic Complexities of Some Classes of Star-Free Languages
(Springer, 2012)The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, ... -
Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages
(Elsevier, 2012-08-31)The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of the class of regular languages is the maximal syntactic complexity of languages in ... -
Syntactic Complexity Of R- And J-Trivial Regular Languages
(World Scientific Publishing, 2014-11-01)The syntactic complexity of a subclass of the class of regular languages is the maximal cardinality of syntactic semigroups of languages in that class, taken as a function of the state complexity n of these languages. We ... -
Syntactic Complexity of Regular Ideals
(Springer, 2017-08-04)The state complexity of a regular language is the number of states in a minimal deterministic finite automaton accepting the language. The syntactic complexity of a regular language is the cardinality of its syntactic ... -
Syntactic Complexity of Suffix-Free Languages
(Elsevier, 2017-09-05)We solve an open problem concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a suffix-free language with n left quotients (that is, with state complexity n) is at most (n−1)n−2+n−2 ... -
Synthesis of carboxylated derivatives of poly(isobutylene-co-isoprene) by azide–alkyne “click” chemistry
(Springer, 2018-09-28)The synthesis of carboxylated derivatives of poly(isobutylene-co-isoprene) (isobutylene–isoprene rubber, IIR) with substitution levels ranging from 1 to 4 mol% and different spacer lengths was accomplished through azide–alkyne ... -
Synthesis of polyimides from α,αʹ-bis(3-aminophenoxy)-p-xylene: Spectroscopic, single crystal XRD and thermal studies
(Elsevier, 2018-05-15)The meta-catenated ether-based diamine monomer α,αʹ-bis(3-aminophenoxy)-p-xylene (3APX) was synthesized from dinitro precursor α,αʹ-bis(3-nitrophenoxy)-p-xylene (3NPX). FTIR, 1H and 13C NMR spectroscopic studies accompanied ... -
Synthesis of Vertically-Aligned Zinc Oxide Nanowires and Their Application as a Photocatalyst
(Multidisciplinary Digital Publishing Institute, 2017-01-11)Vertically aligned zinc oxide (ZnO) nanowires were hydrothermally synthesized on a glass substrate with the assistance of a pre-coated ZnO seeding layer. The crystalline structure, morphology and transmission spectrum of ... -
Synthetic quorum sensing in model microcapsule colonies
(Proceedings of the National Academy of Sciences, 2017-07-24)Biological quorum sensing refers to the ability of cells to gauge their population density and collectively initiate a new behavior once a critical density is reached. Designing synthetic materials systems that exhibit ... -
A system dynamics model for optimal allocation of natural gas to various demand sectors
(Elsevier, 2019-09-02)Natural gas is the most promising fossil fuel in the transition to a low-carbon energy future, and many countries have long term plans to increase its share in their energy supply mix through pricing regulations. While ... -
A systematic approach for modeling of waterflooding process in the presence of geological uncertainties in oil reservoirs
(Elsevier, 2018-03-04)In this paper, a systematic approach which is able to consider different types of geological uncertainty is presented to model the waterflooding process. The proposed scheme, which is based on control and system theories, ... -
A Systematic Review of Multimedia Tools for Cybersecurity Awareness and Education
(ACM, 2021-01-02)We conduct a comprehensive review covering academic publications and industry products relating to tools for cybersecurity awareness and education aimed at non-expert end-users developed in the past 20 years. Through our ... -
Systematic Reviews and the Evolving Role of Librarians
(2014-01-29)The demand for systematic reviews (SR) in research intensive health related departments is rapidly increasing, and academic librarians have the expertise necessary to support these comprehensive reviews. In summer 2013, ... -
Systematic Search and Reporting Techniques Applied to the Gray Literature: A Review of Canadian School Breakfast Program Guidelines
(2015-01-30)This poster was presented at the Mosaic ’16 (Medical Library Association) Conference on May 17, 2016, Toronto, Ontario. Abstract: Methods: A grey literature search plan was developed to incorporate four different searching ...