Relevant bibliographies by topics / PSL

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'PSL'

Author: Grafiati
Published: 4 June 2021
Last updated: 18 September 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'PSL.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "PSL"

1

Ghafoor, Aamir, Iain D. Hay, and Bernd H. A. Rehm. "Role of Exopolysaccharides in Pseudomonas aeruginosa Biofilm Formation and Architecture." Applied and Environmental Microbiology 77, no. 15 (June 10, 2011): 5238–46. http://dx.doi.org/10.1128/aem.00637-11.

Full text
Abstract:
ABSTRACTPseudomonas aeruginosais an opportunistic human pathogen and has been established as a model organism to study bacterial biofilm formation. At least three exopolysaccharides (alginate, Psl, and Pel) contribute to the formation of biofilms in this organism. Here mutants deficient in the production of one or more of these polysaccharides were generated to investigate how these polymers interactively contribute to biofilm formation. Confocal laser scanning microscopy of biofilms formed in flow chambers showed that mutants deficient in alginate biosynthesis developed biofilms with a decreased proportion of viable cells than alginate-producing strains, indicating a role of alginate in viability of cells in biofilms. Alginate-deficient mutants showed enhanced extracellular DNA (eDNA)-containing surface structures impacting the biofilm architecture. PAO1 ΔpslAΔalg8overproduced Pel, and eDNA showing meshwork-like structures presumably based on an interaction between both polymers were observed. The formation of characteristic mushroom-like structures required both Psl and alginate, whereas Pel appeared to play a role in biofilm cell density and/or the compactness of the biofilm. Mutants producing only alginate, i.e., mutants deficient in both Psl and Pel production, lost their ability to form biofilms. A lack of Psl enhanced the production of Pel, and the absence of Pel enhanced the production of alginate. The function of Psl in attachment was independent of alginate and Pel. A 30% decrease in Psl promoter activity in the alginate-overproducing MucA-negative mutant PDO300 suggested inverse regulation of both biosynthesis operons. Overall, this study demonstrated that the various exopolysaccharides and eDNA interactively contribute to the biofilm architecture ofP. aeruginosa.
APA, Harvard, Vancouver, ISO, and other styles
2

FREYRE, SEBASTIÁN, MATÍAS GRAÑA, and LEANDRO VENDRAMIN. "ON NICHOLS ALGEBRAS OVER PGL(2, q) AND PSL(2, q)." Journal of Algebra and Its Applications 09, no. 02 (April 2010): 195–208. http://dx.doi.org/10.1142/s0219498810003823.

Full text
Abstract:
We compute necessary conditions on Yetter–Drinfeld modules over the groups PGL(2, q) = PGL(2, 𝔽q) and PSL(2, q) = PSL(2, 𝔽q) to generate finite-dimensional Nichols algebras. This is a first step towards a classification of pointed Hopf algebras with group of group-likes isomorphic to one of these groups. As a by-product of the techniques developed in this work, we prove that any finite-dimensional pointed Hopf algebra over the Mathieu groups M20 or M21 = PSL(3, 4) is the group algebra.
APA, Harvard, Vancouver, ISO, and other styles
3

Singerman, David. "PSL(2, q) as an image of the extended modular group with applications to group actions on surfaces." Proceedings of the Edinburgh Mathematical Society 30, no. 1 (February 1987): 143–51. http://dx.doi.org/10.1017/s001309150001806x.

Full text
Abstract:
The modular group PSL(2, ℤ), which is isomorphic to a free product of a cyclicgroupof order 2 and a cyclic group of order 3, has many important homomorphic images. Inparticular, Macbeath [7] showed that PSL(2, q) is an image of the modular group if q ≠ 9. (Here, as usual, q is a prime power.) The extended modular group PGL(2, ℤ) contains PSL{2, ℤ) with index 2. It has a presentationthe subgroup PSL(2, ℤ) being generated by UV and VW.
APA, Harvard, Vancouver, ISO, and other styles
4

GOSHIMA, Eiichi, Keigo YASUDA, Yoshiyuki FUWA, Kayoko ADACHI, Yoshiaki MINAMORI, Hiroshi MURASE, Masanori MURAYAMA, Noriyoshi YAMAKITA, and Kiyoshi MIURA. "Pharmacokinetics of Prednisolone (PSL) during PSL Treatment." Folia Endocrinologica Japonica 62, no. 6 (1986): 697–712. http://dx.doi.org/10.1507/endocrine1927.62.6_697.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

GOSHIMA, Eiichi, Keigo YASUDA, Yoshiyuki FUWA, Kayoko ADACHI, Yoshiaki MINAMORI, Hiroshi MURASE, Masanori MURAYAMA, Noriyoshi YAMAKITA, and Kiyoshi MIURA. "Pharmacokinetics of Prednisolone (PSL) during PSL Treatment." Folia Endocrinologica Japonica 63, no. 5 (1987): 675–94. http://dx.doi.org/10.1507/endocrine1927.63.5_675.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Edge, W. L. "PGL(2, 11) and PSL(2, 11)." Journal of Algebra 97, no. 2 (December 1985): 492–504. http://dx.doi.org/10.1016/0021-8693(85)90061-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Shiwei, Shan Yu, Zhenyin Zhang, Qing Wei, Lu Yan, Guomin Ai, Hongsheng Liu, and Luyan Z. Ma. "Coordination of Swarming Motility, Biosurfactant Synthesis, and Biofilm Matrix Exopolysaccharide Production in Pseudomonas aeruginosa." Applied and Environmental Microbiology 80, no. 21 (August 29, 2014): 6724–32. http://dx.doi.org/10.1128/aem.01237-14.

Full text
Abstract:
ABSTRACTBiofilm formation is a complex process in which many factors are involved. Bacterial swarming motility and exopolysaccharides both contribute to biofilm formation, yet it is unclear how bacteria coordinate swarming motility and exopolysaccharide production. Psl and Pel are two key biofilm matrix exopolysaccharides inPseudomonas aeruginosa. This opportunistic pathogen has three types of motility, swimming, twitching, and swarming. In this study, we found that elevated Psl and/or Pel production reduced the swarming motility ofP. aeruginosabut had little effect on swimming and twitching. The reduction was due to decreased rhamnolipid production with no relation to the transcription ofrhlAB, two key genes involved in the biosynthesis of rhamnolipids. Rhamnolipid-negativerhlRandrhlABmutants synthesized more Psl, whereas exopolysaccharide-deficient strains exhibited a hyperswarming phenotype. These results suggest that competition for common sugar precursors catalyzed by AlgC could be a tactic forP. aeruginosato balance the synthesis of exopolysaccharides and rhamnolipids and to control bacterial motility and biofilm formation inversely because the biosynthesis of rhamnolipids, Psl, and Pel requires AlgC to provide the sugar precursors and an additionalalgCgene enhances the biosynthesis of Psl and rhamnolipids. In addition, our data indicate that the increase in RhlI/RhlR expression attenuated Psl production. This implied that the quorum-sensing signals could regulate exopolysaccharide biosynthesis indirectly in bacterial communities. In summary, this study represents a mechanism that bacteria utilize to coordinate swarming motility, biosurfactant synthesis, and biofilm matrix exopolysaccharide production, which is critical for biofilm formation and bacterial survival in the environment.
APA, Harvard, Vancouver, ISO, and other styles
8

Cole, Stephanie J., Angela R. Records, Mona W. Orr, Sara B. Linden, and Vincent T. Lee. "Catheter-Associated Urinary Tract Infection by Pseudomonas aeruginosa Is Mediated by Exopolysaccharide-Independent Biofilms." Infection and Immunity 82, no. 5 (March 4, 2014): 2048–58. http://dx.doi.org/10.1128/iai.01652-14.

Full text
Abstract:
ABSTRACTPseudomonas aeruginosais an opportunistic human pathogen that is especially adept at forming surface-associated biofilms.P. aeruginosacauses catheter-associated urinary tract infections (CAUTIs) through biofilm formation on the surface of indwelling catheters.P. aeruginosaencodes three extracellular polysaccharides, PEL, PSL, and alginate, and utilizes the PEL and PSL polysaccharides to form biofilmsin vitro; however, the requirement of these polysaccharides duringin vivoinfections is not well understood. Here we show in a murine model of CAUTI that PAO1, a strain harboringpel,psl, andalggenes, and PA14, a strain harboringpelandalggenes, form biofilms on the implanted catheters. To determine the requirement of exopolysaccharide duringin vivobiofilm infections, we tested isogenic mutants lacking thepel,psl, andalgoperons and showed that PA14 mutants lacking these operons can successfully form biofilms on catheters in the CAUTI model. To determine the host factor(s) that induces the ΔpelDmutant to form biofilm, we tested mouse, human, and artificial urine and show that urine can induce biofilm formation by the PA14 ΔpelDmutant. By testing the major constituents of urine, we show that urea can induce apel-,psl-, andalg-independent biofilm. Thesepel-,psl-, andalg-independent biofilms are mediated by the release of extracellular DNA. Treatment of biofilms formed in urea with DNase I reduced the biofilm, indicating that extracellular DNA supports biofilm formation. Our results indicate that the opportunistic pathogenP. aeruginosautilizes a distinct program to form biofilms that are independent of exopolysaccharides during CAUTI.
APA, Harvard, Vancouver, ISO, and other styles
9

KÖHLER, ARNE. "The genus Pseudolycoriella Menzel & Mohrig, 1998 (Diptera, Sciaridae) in New Zealand." Zootaxa 4707, no. 1 (December 12, 2019): 1–69. http://dx.doi.org/10.11646/zootaxa.4707.1.1.

Full text
Abstract:
In the course of the present study 28 species of the genus Pseudolycoriella Menzel & Mohrig, 1998 from New Zealand were described as new to science: Pseudolycoriella aotearoa sp. n., Psl. dagae sp. n., Psl. dentitegmenta sp. n., Psl. fiordlandia sp. n., Psl. gonotegmenta sp. n., Psl. hauta sp. n., Psl. huttoni sp. n., Psl. jaschhofi sp. n., Psl. jejunella sp. n., Psl. kaikoura sp. n., Psl. maddisoni sp. n., Psl. mahanga sp. n., Psl. nahenahe sp. n., Psl. orite sp. n., Psl. plicitegmenta sp. n., Psl. porehu sp. n., Psl. porotaka sp. n., Psl. puhihi sp. n., Psl. raki sp. n., Psl. robustotegmenta sp. n.,Psl. subtilitegmenta sp. n., Psl. sudhausi sp. n., Psl. teo sp. n., Psl. tewaipounamu sp. n., Psl. tuakana sp. n., Psl. wernermohrigi sp. n., Psl. whakahara sp. n., and Psl. whena sp. n. Pseudolycoriella cavatica (Skuse, 1888), a widely distributed species, was recorded from New Zealand for the first time, and recognised as a senior synonym of Spathobdella setigera Hardy, 1960 syn. n. Apart from Psl. kaikoura and Psl. cavatica all New Zealand Pseudolycoriella species group in four different clusters: the Psl. bispina complex, the Psl. jejuna complex, the Psl. macrotegmenta complex, and the Psl. zealandica complex. The monophyly of those four species complexes was confirmed by a genetic analysis based on two mitochondrial genes (COI and 16S) and one nuclear gene (28S). A key to the species is given.
APA, Harvard, Vancouver, ISO, and other styles
10

Thas, Koen. "Generalized quadrangles admitting PSL(2,q) × PSL(2,q)." Journal of Combinatorial Designs 13, no. 6 (2005): 425–34. http://dx.doi.org/10.1002/jcd.20053.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "PSL"

1

Eronen, A. (Antti). "Ryhmän PSL(2,K) yksinkertaisuus." Master's thesis, University of Oulu, 2017. http://urn.fi/URN:NBN:fi:oulu-201705232038.

Full text
Abstract:
Tutkielmassa on perehdytty lineaarisiin ryhmiin ja erityisesti astetta kaksi olevan projektiivisen erityisen lineaarisen ryhmän kunnan K suhteen, eli ryhmän PSL(2,K), yksinkertaisuuteen. Olennaisena osana tutkielmassa on siis yksinkertaisuus ja ryhmä on määritelmän mukaan yksinkertainen, mikäli sillä on ainoastaan triviaalit normaalit aliryhmät, eli neutraalialkio ja ryhmä itse. Alussa esitellään ryhmäteorian olennaisia peruskäsitteitä ja tarpeellisia peruslauseita, sekä valaistaan hieman matriisiteoriaa 2 x 2 -matriiseille. Näille lauseille ei kuitenkaan esitetä todistuksia, sillä nämä käsitellään enemmänkin perustietona, joihin lukija voi halutessaan perehtyä lähdemateriaalin avulla tarkemmin. Seuraavaksi määritellään tutkielmassa tarpeelliset kolme erilaista lineaarista ryhmää 2 x 2 -matriiseilla. Lineaariset ryhmät ovat matriiseista matriisien välisellä kertolaskulla muodostettuja ryhmiä ja matriisin alkiot ovat kunnan K alkioita. Lineaarisia ryhmiä koskevat lemmat todistetaan käyttäen hyväksi alussa esitettyjä tietoja. Tutkielmassa määriteltävää astetta kaksi olevaa yleistä lineaarista ryhmää kunnan K suhteen, eli ryhmää GL(2,K), ei käsitellä tarkasti. Se on kuitenkin hyödyllinen astetta kaksi olevan erityisen lineaarisen ryhmän kunnan K suhteen, eli ryhmän SL(2,K), määrittelyyn. Ryhmä SL(2,K) muodostuu matriiseista, joiden determinantti on kunnan K ykkösalkio. Pääpainona tutkielmassa on kuitenkin ryhmän SL(2,K) tekijäryhmässä, eli ryhmässä PSL(2,K). Tekijäryhmä muodostetaan ryhmän SL(2,K) keskuksen avulla. Tämän jälkeen keskitytään tutkimaan ryhmän PSL(2,K) yksinkertaisuutta. Aluksi osoitetaan, että mikäli kunnan K kertaluku on 2 tai 3, niin PSL(2,K) ei ole yksinkertainen. Kun kunnan K kertaluku on 2, käytetään hyväksi sopivaa syklistä aliryhmää ja kun kunnan K kertaluku on 3, tehdään ryhmälle PSL(2,K) konjugointiluokkatarkastelu. Tämän jälkeen tehdään merkittävästi laajemmat konjugointiluokkatarkastelut, joiden avulla havaitaan, että ryhmä PSL(2,K) on yksinkertainen, kun kunnan K kertaluku on 4 tai 5. Lopuksi tutkitaan yleistä tapausta käyttäen hyväksi transvektioita ja havaitaan, että ryhmä PSL(2,K) on yksinkertainen, jos ja vain jos kunnan K kertaluku on suurempi kuin kolme. Lopuksi valaistaan ryhmän PSL(m,K) yksinkertaisuutta, kun m. Nyt ei kuitenkaan todisteta enää varsinaisesti mitään, vaan tuloksia esitellään kerronnallisessa muodossa. Esimerkin avulla osoitetaan, miksi ryhmien PSL(2,K) ja PSL(m,K) yksinkertaisuuden osoittaminen ei onnistu samalla metodilla ja siten nämä tulee käsitellä erillisinä tapauksina. Lopussa tavoitteena ei ole perehdyttää lukijaa yleisen tapauksen todistuksiin, vaan valaista, mitä aiheeseen enemmän perehtyvä voi olettaa löytävänsä edestään.
APA, Harvard, Vancouver, ISO, and other styles
2

Vanden, Cruyce Patricia. "Géométries des groupes PSL(2, q)." Doctoral thesis, Universite Libre de Bruxelles, 1985. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/213618.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

CASTRO, THAMARA SANTOS DE. "THE USE OF THE CONCESSIVE CONNECTIVES IN PNL: CONTRIBUTIONS TO THE TEACHING IN PSL." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2012. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=20658@1.

Full text
Abstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
PROGRAMA DE SUPORTE À PÓS-GRADUAÇÃO DE INSTS. DE ENSINO
De maneira geral, nas gramáticas tradicionais de Língua Portuguesa, as conjunções / locuções conjuntivas concessivas são expostas em uma lista sem qualquer observação sobre suas condições de uso e seus aspectos semânticos, como se pudessem ser utilizadas de forma aleatória. Isso dificulta o ensino de Português, principalmente como segunda língua. Como há construções intrínsecas aos usuários nativos da língua, essas precisam ser mais bem detalhadas para que o falante não nativo consiga atingir um nível relevante de competência linguística. Para isso, baseando-nos na perspectiva funcionalista da linguagem, que entende que as escolhas gramaticais dependem do contexto em que estão inseridos os enunciados, este trabalho tem o objetivo de verificar as estruturas morfossintáticas em que ocorrem as orações concessivas e de observar os diferentes sentidos secundários que cada conjunção ou locução conjuntiva concessiva pode trazer ao enunciado. Com isso, faremos um estudo que tentará facilitar o ensino das conjunções / locuções conjuntivas concessivas, visando à aprendizagem dos falantes não nativos de português.
In an ordinary way, in Portuguese traditional grammars, the concessive conjunctions are exposed on a list without any observation about their conditions of use and their semantic aspects, as if they could be used in an interchangeable manner. This makes difficult the teaching of Portuguese, especially as second language. There are constructions that are intrinsic to the native speakers of the language, so they need to be well detailed so that the non-native speaker achieve a relevant level of linguistic competence. For this propose, we based ourselves on the functionalist perspective of language, which understands that the grammatical choices depend on the context where the phrases are placed. Our goal is to verify the morphosyntatic structures where the concessive sentences appear and to observe the different secondary senses that each concessive conjunction can have in a sentence. Then, we will do a work that will facilitate the teaching of concessive conjunctions, aiming the learning of non-native speakers of Portuguese.
APA, Harvard, Vancouver, ISO, and other styles
4

Simpson, Glen E. "PSL(2,7)-Extensions with Certain Ramification at Two Primes." Diss., CLICK HERE for online access, 2004. http://contentdm.lib.byu.edu/ETD/image/etd469.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bell, Kathleen. "Cayley Graphs of PSL(2) over Finite Commutative Rings." TopSCHOLAR®, 2018. https://digitalcommons.wku.edu/theses/2102.

Full text
Abstract:
Hadwiger's conjecture is one of the deepest open questions in graph theory, and Cayley graphs are an applicable and useful subtopic of algebra. Chapter 1 will introduce Hadwiger's conjecture and Cayley graphs, providing a summary of background information on those topics, and continuing by introducing our problem. Chapter 2 will provide necessary definitions. Chapter 3 will give a brief survey of background information and of the existing literature on Hadwiger's conjecture, Hamiltonicity, and the isoperimetric number; in this chapter we will explore what cases are already shown and what the most recent results are. Chapter 4 will give our decomposition theorem about PSL2 (R). Chapter 5 will continue with corollaries of the decomposition theorem, including showing that Hadwiger's conjecture holds for our Cayley graphs. Chapter 6 will finish with some interesting examples.
APA, Harvard, Vancouver, ISO, and other styles
6

Singh, Chandan. "Fixing Power Bugs at RTL Stage using PSL Assertions." University of Cincinnati / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1384426036.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kamuti, Ireri Nthiga. "Combinatorial formulas, invariants and structures associated with primitive permutation representations of PSL(2,q) and PGL(2,q)." Thesis, University of Southampton, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.332660.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tesfagaber, Genet. "Application of PSL to construction process information specification and exchange." Thesis, Loughborough University, 2004. https://dspace.lboro.ac.uk/2134/33859.

Full text
Abstract:
This study explores the potential use of PSL as a standard language for process information exchange between software applications in construction. The applicability of PSL in construction was investigated and the impact of the language on software interoperability was evaluated. To investigate the applicability of PSL in construction, the construction process information representations (data types) within the pre-construction stages were identified through a technical analysis of the supporting software applications.
APA, Harvard, Vancouver, ISO, and other styles
9

Zalewski, Frédéric. "La reconversion du Parti Paysan Polonais PSL (Polskie Stronnictwo Ludowe) 1988-1998." Paris 10, 2002. http://www.theses.fr/2002PA100016.

Full text
Abstract:
Cette thèse a pour objet la reconversion, en Pologne, d'un ancien "parti satellite", le ZSL (Zjednoczone Stronnictwo Ludowe, Parti Paysan Unifié) en parti paysan adapté au jeu politique démocratique post-communiste. Le nouveau parti, le PSL (Polskie Stronnictwo Ludowe, Parti paysan polonais) proclame sa filiation avec les partis paysans ayant existé en Pologne jusqu'en 1945 et en reprend l'un des sigles. Une première partie vise à étudier les diverses formes, pratiques ou symboliques, prises par le mouvement paysan sous le régime communiste en Pologne. . . Une deuxième partie porte ensuite sur les changements démocratiques de 1989 à proprement parler. .
This thesis deals with the political conversion of a former "satellite party" in Poland, the ZSL (Zjednoczone Stronnictwo Ludowe, Unified Peasant Party), into a peasant party adapted to the democratic rules of postcommunism. The new party, the PSL (Polskie Stronnictwo Ludowe, Polish Peasant Party), claims to be in direct line with the peasant parties that had existed until 1945,and takes up one of their acronyms. The aim of the first part is to study the various forms, either practical or symbolical, taken on by the peasant movement in Poland during the communist regime. . . The second part is precisely about the democratic changes that occurred in 1989. .
APA, Harvard, Vancouver, ISO, and other styles
10

Ricci, Davide. "Il Gruppo PSL(2,7) e una sua realizzazione come Gruppo di Galois." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23648/.

Full text
Abstract:
L'obiettivo di questa tesi è realizzare il gruppo PSL(2,7) come gruppo di Galois di un polinomio a coefficienti razionali. Si studiano i generatori di PSL(n,q) e la sua semplicità. Si dimostra che PSL(2,7) è isomorfo a GL(3,2), che è il gruppo degli automorfismi del piano di Fano. Un ruolo notevole è svolto dalla caratterizzazione di PSL(2,7) come l'unico sottogruppo proprio del gruppo alterno su 7 elementi che contiene un 7-ciclo e una permutazione prodotto di due trasposizioni disgiunte.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "PSL"

1

Andress, Michael. PSL model railway guide. Wellingborough: Stephens, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jak powstał PSL "Piast". Lublin: Wydawn. "Norbertinum", 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Andress, Michael. PSL complete guide to model railways. London: Guild Pub., 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Les enseignements de Seydina Limamou Lahi (PSL). [Senegal: s.n., 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Vesanen, Ari. On connected transversals in PSL (2, g). Helsinki: Suomalainen Tiedeakatemia, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

IEEE Computer Society. Design Automation Standards Committee. IEEE standard for property specification language (PSL). New York: Institute of Electrical and Electronics Engineers, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gonçalves, Adilson. A characterization of PSL(2,p), p>7. Recife, Brasil: Universidade Federal de Pernambuco, Centro de Ciências Exatas e da Natureza, Departamento de Matemática, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

The Selberg trace formula for PSL₂ (IR)n̳. Providence, R.I., USA: American Mathematical Society, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Gilman, Jane. Two-generator discrete subgroups of PSL (2, R). Providence, R.I: American Mathematical Society, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Arrighi, Robert S. PSL: The Propulsion Systems Laboratory, No. 1 & 2. Washington, DC: National Aeronautics and Space Administration, NASA History Division, Office of External Relations, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "PSL"

1

Glazberg, Ziv, Mark Moulin, Avigail Orni, Sitvanit Ruah, and Emmanuel Zarpas. "PSL: Beyond Hardware Verification." In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 245–60. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Grüninger, Michael. "Using the PSL Ontology." In Handbook on Ontologies, 423–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-92673-3_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Eibensteiner, Florian, Rainer Findenig, and Markus Pfaff. "SynPSL: Behavioral Synthesis of PSL Assertions." In Computer Aided Systems Theory - EUROCAST 2009, 69–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04772-5_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vardi, Moshe Y. "From Löwenheim to PSL and SVA." In Lecture Notes in Computer Science, 78–102. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-45321-2_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cummins, C., and S. Pauli. "Congruence subgroups of PSL(2,ℤ)." In CRM Proceedings and Lecture Notes, 23–29. Providence, Rhode Island: American Mathematical Society, 2004. http://dx.doi.org/10.1090/crmp/034/03.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Claessen, Koen, and Johan Mårtensson. "An Operational Semantics for Weak PSL." In Formal Methods in Computer-Aided Design, 337–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30494-4_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nikolova, Daniela B. "On some laws in PSL(2,q)." In EUROCAL '85, 245. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15984-3_271.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Borrione, Dominique, Miao Liu, Pierre Ostier, and Laurent Fesquet. "PSL-Based Online Monitoring of Digital Systems." In Applications of Specification and Design Languages for SoCs, 5–22. Dordrecht: Springer Netherlands, 2006. http://dx.doi.org/10.1007/978-1-4020-4998-9_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Katsumi, Megan, and Michael Grüninger. "Using PSL to Extend and Evaluate Event Ontologies." In Rule Technologies: Foundations, Tools, and Applications, 225–40. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21542-6_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Susnjak, Teo, and Andre L. C. Barczak. "Accelerated Classifier Training Using the PSL Cascading Structure." In Advances in Neuro-Information Processing, 945–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02490-0_115.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "PSL"

1

MUTCHLER, R., and A. CARPENTER. "Developing Ada system software with PSL/PSA and Ada-PDL." In 5th Computers in Aerospace Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1985. http://dx.doi.org/10.2514/6.1985-5086.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dunn-Norman, S., K. T. Erickson, E. K. Stanek, and Ann Miller. "Offshore Pipeline Leak Detection With PSLs." In ASME 2003 22nd International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2003. http://dx.doi.org/10.1115/omae2003-37462.

Full text
Abstract:
Pressure safety low alarms (PSLs) have been required as a means of pipeline leak detection. PSLs are typically located on the export riser and on each boarding riser of intermediate platforms. The PSL is intended to shut in the production in the event of a pipeline leak. Historical production and leak event data suggest that PSL alarms may not function as expected in all operating situations. The US Minerals Management Service (MMS) commissioned a study to determine PSL operation as a function of produced fluids, line characteristics and other factors. This paper summarizes the findings of this study. The results of this study demonstrate situations in which PSLs can function as prescribed and situations in which PSLs may prove unreliable. The results of this study are significant because offshore pipelines are typically the greatest source of offshore pollution.
APA, Harvard, Vancouver, ISO, and other styles
3

Griffin, Thomas A., Paul Lizanich, and Dennis J. Dicki. "PSL Icing Facility Upgrade Overview." In 6th AIAA Atmospheric and Space Environments Conference. Reston, Virginia: American Institute of Aeronautics and Astronautics, 2014. http://dx.doi.org/10.2514/6.2014-2896.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Morin-Allory, K., and D. Borrione. "Proven correct monitors from PSL specifications." In 2006 Design, Automation and Test in Europe. IEEE, 2006. http://dx.doi.org/10.1109/date.2006.244079.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Morin-Allory, Katell, Fatemeh Negin Javaheri, and Dominique Borrione. "SyntHorus-2: Automatic prototyping from PSL." In 2013 IFIP/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC). IEEE, 2013. http://dx.doi.org/10.1109/vlsi-soc.2013.6673253.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Peik, S. F., and F. A. Langner. "New differential PSL coupled resonator filters." In 2008 IEEE MTT-S International Microwave Symposium Digest - MTT 2008. IEEE, 2008. http://dx.doi.org/10.1109/mwsym.2008.4633199.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Launiainen, Tuomas, Keijo Heljanko, and Tommi Junttila. "Efficient Model Checking of PSL Safety Properties." In 2010 10th International Conference on Application of Concurrency to System Design. IEEE, 2010. http://dx.doi.org/10.1109/acsd.2010.27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gawanmeh, Amjad, Sofiene Tahar, and Ali Habibi. "Embedding and Verification of PSL using ASM." In 2006 6th International Workshop on System on Chip for Real Time Applications. IEEE, 2006. http://dx.doi.org/10.1109/iwsoc.2006.348221.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chui, Carmen, and Michael Grüninger. "Merging the DOLCE and PSL Upper Ontologies." In International Conference on Knowledge Engineering and Ontology Development. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0005027100160026.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Burghardt, Berthold, Bernd Nikolaus, and Herbert Pummer. "The PSL 4000 - A Picosecond Excimer Laser." In O-E/LASE'86 Symp (January 1986, Los Angeles), edited by Rick Feinberg, Lewis Holmes, and Morris Levitt. SPIE, 1986. http://dx.doi.org/10.1117/12.956375.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "PSL"

1

Gruninger, Michael. Applications of PSL to semantic web services. Gaithersburg, MD: National Institute of Standards and Technology, 2004. http://dx.doi.org/10.6028/nist.ir.7165.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Schlenoff, Craig, Amy Knutilla, and Steven Ray. Proceedings of the Process Specification Language (PSL) Roundtable. Gaithersburg, MD: National Institute of Standards and Technology, 1997. http://dx.doi.org/10.6028/nist.ir.6081.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Solomon, Jr., Otis. Closeout Briefing for PSL Technical Survey of LANL SCP. Office of Scientific and Technical Information (OSTI), March 2019. http://dx.doi.org/10.2172/1761919.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schlenoff, Craig, Michael Gruninger, Florence Tissot, John Valois, and Jintae Lee. The Process Specification Language (PSL) overview and version 1.0 specification. Gaithersburg, MD: National Institute of Standards and Technology, 2000. http://dx.doi.org/10.6028/nist.ir.6459.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

O'Brien, Edward. PSL-AC-CP-1102-004-03: Electrostatic Discharge Simulator Kit Model 930D and Associated Current-Viewing Resistor. Office of Scientific and Technical Information (OSTI), June 2019. http://dx.doi.org/10.2172/1762670.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Abe, F. J/{psi} and {psi}{prime} production at CDF. Office of Scientific and Technical Information (OSTI), July 1996. http://dx.doi.org/10.2172/282852.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

O’ Brien, Gisela, Magaly Lavadenz, and Elvira Armas. Project-Based Learning for English Learners: Promises and Challenges. CEEL, 2014. http://dx.doi.org/10.15365/ceel.article.2014.1.

Full text
Abstract:
In this article the authors explore project-based learning (PBL) as an avenue for meeting the needs of English learners against the backdrop of both the 2010 California Common Core State Standards and the 2012 English Language Development Standards. They begin with a definition and brief history of PBL. The authors then propose and expanded version of PBL that considers the unique linguistic needs of ELs and conclude with two promising examples from two California school districts.
APA, Harvard, Vancouver, ISO, and other styles
8

Solomon, Jr, O M. PSD computations using Welch's method. [Power Spectral Density (PSD)]. Office of Scientific and Technical Information (OSTI), December 1991. http://dx.doi.org/10.2172/5688766.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Caudill, J. A., J. F. Krupa, R. E. Meadors, J. V. Odum, and G. C. Rodrigues. Implementation impacts of PRL methodology. [PRL (Plutonium Recovery Limit)]. Office of Scientific and Technical Information (OSTI), February 1993. http://dx.doi.org/10.2172/6547610.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Duan, Liyang, Xiaoyu Li, Haiqin Rong, Haiju Sun, Yajun Zhang, Shipeng Song, Jianqiao Fang, and Yongqiang Sun. Scalp acupuncture for Post-stroke depression: A protocol for a systematic review and meta-analysis of randomized controlled clinical trials. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, April 2022. http://dx.doi.org/10.37766/inplasy2022.4.0059.

Full text
Abstract:
Review question / Objective: To evaluate the efficacy and safety of scalp acupuncture for poststroke depression for the first time, and the results of this systematic review will be helpful for clinicians to use scalp acupuncture in the treatment of PSD. Condition being studied: Post-stroke depression (PSD) is one of the most common psychological sequelae of stroke, which is a state characterized by low mood and aversion to activity. It is one of the main obstacles in the process of stroke rehabilitation, which has a detrimental impact on functional recovery and quality of life and even increases mortality. Although the pathogenic factors of PSD are complex and diverse, it is now widely believed to involve complex interactions between neurobiological dysfunctions, psychosocial distress and biological factors. Despite increasing awareness and clinically based research on PSD, drugs to relieve and treat symptoms have made only limited gains. The use of antidepressants is accompanied by various unavoidable adverse effects, including headache, nausea, restlessness, and sexual dysfunction. A previous meta-analysis demonstrated that acupuncture can be safe and effective for the treatment of post-stroke depression. However, there is a lack of systematic reviews to evaluate the efficacy and safety of scalp acupuncture, which is a commonly used acupuncture modality in the treatment of PSD. Consequently, this study will assess the efficacy and safety of scalp acupuncture therapy for PSD compared to other treatments.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'PSL' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography