You searched for subject:(Subtyping)
.
Showing records 1 – 30 of
55 total matches.
◁ [1] [2] ▶

Penn State University
1.
Liu, Fenyun.
VIRULENCE GENE AND CRISPR MULTILOCUS SEQUENCE TYPING
SCHEME FOR SUBTYPING THE MAJOR SEROVARS
OF SALMONELLA ENTERICA SUBSPECIES ENTERIC
.
Degree: 2010, Penn State University
URL: https://submit-etda.libraries.psu.edu/catalog/11367
► Salmonella enterica subsp. enterica is the leading cause of bacterial foodborne disease in the United States. Molecular subtyping methods are powerful tools for tracking the…
(more)
▼ Salmonella enterica subsp. enterica is the leading cause of bacterial foodborne disease in the United States. Molecular
subtyping methods are powerful tools for tracking the farm-to-fork spread of foodborne pathogens during outbreaks.
In order to develop a novel multilocus sequence typing (MLST) scheme for
subtyping the most prevalent serovars of Salmonella, the virulence genes fimH and sseL and Clustered Regularly Interspaced Short Palindromic Repeat (CRISPR) regions were sequenced from 171 clinical isolates from serovars Typhimurium, Enteritidis, Newport, Heidelberg, Javiana, I 4, [5], 12; i: -, Montevideo, Muenchen and Saintpaul. Another 63 environmental isolates and 70 poultry isolates of S. Enteritidis from poultry industries in PA were also analyzed.
The MLST scheme using only virulence genes was insufficient to separate all unrelated outbreak clones. However, the addition of CRISPRs sequences dramatically improved discriminatory power of this MLST method. Moreover, the present MLST scheme provided better discrimination of S. Enteritidis strains than PFGE. Cluster analyses revealed the current MLST scheme is highly congruent with serotyping and epidemiological data.
For the analyses with S. Enteritidis isolates, the current MLST scheme identified three persistent and predominate sequence types circulating among humans in the U.S. and poultry and hen house environments in PA. It also identified an environment-specific sequence type.
In conclusion, the novel MLST scheme described in the present study accurately differentiated outbreak clones of the most common serovars of Salmonella, and therefore maybe an excellent tool for
subtyping this important foodborne pathogen during outbreak investigations. Furthermore, the MLST scheme may provide information about the ecological origin of S. Enteriditis isolates, potentially identifying strains that differ in virulence capacity.
Advisors/Committee Members: Dr Steve Knabel And Dr Edward Dudley, Thesis Advisor/Co-Advisor, Stephen John Knabel, Thesis Advisor/Co-Advisor, Edward G Dudley, Thesis Advisor/Co-Advisor.
Subjects/Keywords: subtyping; MLST; Salmonella
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Liu, F. (2010). VIRULENCE GENE AND CRISPR MULTILOCUS SEQUENCE TYPING
SCHEME FOR SUBTYPING THE MAJOR SEROVARS
OF SALMONELLA ENTERICA SUBSPECIES ENTERIC
. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/11367
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Liu, Fenyun. “VIRULENCE GENE AND CRISPR MULTILOCUS SEQUENCE TYPING
SCHEME FOR SUBTYPING THE MAJOR SEROVARS
OF SALMONELLA ENTERICA SUBSPECIES ENTERIC
.” 2010. Thesis, Penn State University. Accessed January 17, 2021.
https://submit-etda.libraries.psu.edu/catalog/11367.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Liu, Fenyun. “VIRULENCE GENE AND CRISPR MULTILOCUS SEQUENCE TYPING
SCHEME FOR SUBTYPING THE MAJOR SEROVARS
OF SALMONELLA ENTERICA SUBSPECIES ENTERIC
.” 2010. Web. 17 Jan 2021.
Vancouver:
Liu F. VIRULENCE GENE AND CRISPR MULTILOCUS SEQUENCE TYPING
SCHEME FOR SUBTYPING THE MAJOR SEROVARS
OF SALMONELLA ENTERICA SUBSPECIES ENTERIC
. [Internet] [Thesis]. Penn State University; 2010. [cited 2021 Jan 17].
Available from: https://submit-etda.libraries.psu.edu/catalog/11367.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Liu F. VIRULENCE GENE AND CRISPR MULTILOCUS SEQUENCE TYPING
SCHEME FOR SUBTYPING THE MAJOR SEROVARS
OF SALMONELLA ENTERICA SUBSPECIES ENTERIC
. [Thesis]. Penn State University; 2010. Available from: https://submit-etda.libraries.psu.edu/catalog/11367
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Northeastern University
2.
Chang, Yale.
Clustering with flexible constraints and application to disease subtyping.
Degree: PhD, Department of Electrical and Computer Engineering, 2017, Northeastern University
URL: http://hdl.handle.net/2047/D20262510
► Clustering algorithms are widely used to extract knowledge from large amount of unlabeled data (such as, discovering subtypes of complex diseases to enable personalized treatments…
(more)
▼ Clustering algorithms are widely used to extract knowledge from large amount of unlabeled data (such as, discovering subtypes of complex diseases to enable personalized treatments of patients). Clustering is a challenging problem because given the same data, samples can be grouped in multiple different perspectives (views). Which of these alternative groupings is useful depends on the application. Thus, incorporating domain expert input often improves clustering performance. In this dissertation, we explore various ways to incorporate expert input to guide clustering. First, domain experts often have an idea regarding properties that clustering solutions should have in order to be useful based on domain relevant scores. We propose a framework to jointly optimize the usefulness and quality of a clustering solution. Second, besides instance-level constraints, feature-level structures can also be utilized to improve clustering. We consider two types of feature-level structures: 1) decision rules on a small set of features to provide interpretable clusterings; and 2) a feature similarity matrix used to guide the embeddings for clustering. Third, instead of supervision from one expert, it is becoming more common for supervision to be available from multiple experts as data can be shared and processed by increasingly larger audiences. To address this new clustering paradigm, we make the following contributions: 1) Because experts are not oracles, their inputs are prone to errors as well. We build a probabilistic model to learn the shared latent clustering structure in the data by explicitly modeling the accuracy of each expert. 2) Since different experts might provide supervision with varying views in mind, we build a Bayesian probabilistic model for learning multiple latent clustering views from multiple experts. Besides demonstrating the superior performance of our proposed approaches on synthetic and benchmark data sets, we also applied them to discover subtypes of a complex lung disease, called chronic obstructive pulmonary disease (COPD), and obtained clinically meaningful results.
Subjects/Keywords: clustering; constraints; chronic obstructive pulmonary disease; subtyping
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Chang, Y. (2017). Clustering with flexible constraints and application to disease subtyping. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20262510
Chicago Manual of Style (16th Edition):
Chang, Yale. “Clustering with flexible constraints and application to disease subtyping.” 2017. Doctoral Dissertation, Northeastern University. Accessed January 17, 2021.
http://hdl.handle.net/2047/D20262510.
MLA Handbook (7th Edition):
Chang, Yale. “Clustering with flexible constraints and application to disease subtyping.” 2017. Web. 17 Jan 2021.
Vancouver:
Chang Y. Clustering with flexible constraints and application to disease subtyping. [Internet] [Doctoral dissertation]. Northeastern University; 2017. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/2047/D20262510.
Council of Science Editors:
Chang Y. Clustering with flexible constraints and application to disease subtyping. [Doctoral Dissertation]. Northeastern University; 2017. Available from: http://hdl.handle.net/2047/D20262510

University of Windsor
3.
Li, Yun.
XML Schema subtyping.
Degree: MS, Computer Science, 2006, University of Windsor
URL: https://scholar.uwindsor.ca/etd/7136
Subjects/Keywords: SCHEMA; SUBTYPING; XML
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Li, Y. (2006). XML Schema subtyping. (Masters Thesis). University of Windsor. Retrieved from https://scholar.uwindsor.ca/etd/7136
Chicago Manual of Style (16th Edition):
Li, Yun. “XML Schema subtyping.” 2006. Masters Thesis, University of Windsor. Accessed January 17, 2021.
https://scholar.uwindsor.ca/etd/7136.
MLA Handbook (7th Edition):
Li, Yun. “XML Schema subtyping.” 2006. Web. 17 Jan 2021.
Vancouver:
Li Y. XML Schema subtyping. [Internet] [Masters thesis]. University of Windsor; 2006. [cited 2021 Jan 17].
Available from: https://scholar.uwindsor.ca/etd/7136.
Council of Science Editors:
Li Y. XML Schema subtyping. [Masters Thesis]. University of Windsor; 2006. Available from: https://scholar.uwindsor.ca/etd/7136

Carnegie Mellon University
4.
Lovas, William.
Refinement Types for Logical Frameworks.
Degree: 2010, Carnegie Mellon University
URL: http://repository.cmu.edu/dissertations/74
► The logical framework LF and its metalogic Twelf can be used to encode and reason about a wide variety of logics, languages, and other deductive…
(more)
▼ The logical framework LF and its metalogic Twelf can be used to encode and reason about a wide variety of logics, languages, and other deductive systems in a formal, machine-checkable way.
Recent studies have shown that ML-like languages can profitably be extended with a notion of subtyping called refinement types. A refinement type discipline uses an extra layer of term classification above the usual type system to more accurately capture certain properties of terms.
I propose that adding refinement types to LF is both useful and practical. To support the claim, I exhibit an extension of LF with refinement types called LFR,work out important details of itsmetatheory, delineate a practical algorithmfor refinement type reconstruction, andpresent several case studies that highlight the utility of refinement types for formalized mathematics. In the end I find that refinement types and LF are a match made in heaven: refinements enable many rich new modes of expression, and the simplicity of LF ensures that they come at a modest cost.
Subjects/Keywords: refinement types; logical frameworks; subtyping; intersection types; dependent types
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Lovas, W. (2010). Refinement Types for Logical Frameworks. (Thesis). Carnegie Mellon University. Retrieved from http://repository.cmu.edu/dissertations/74
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Lovas, William. “Refinement Types for Logical Frameworks.” 2010. Thesis, Carnegie Mellon University. Accessed January 17, 2021.
http://repository.cmu.edu/dissertations/74.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Lovas, William. “Refinement Types for Logical Frameworks.” 2010. Web. 17 Jan 2021.
Vancouver:
Lovas W. Refinement Types for Logical Frameworks. [Internet] [Thesis]. Carnegie Mellon University; 2010. [cited 2021 Jan 17].
Available from: http://repository.cmu.edu/dissertations/74.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Lovas W. Refinement Types for Logical Frameworks. [Thesis]. Carnegie Mellon University; 2010. Available from: http://repository.cmu.edu/dissertations/74
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Cornell University
5.
Muehlboeck, Fabian.
Efficient Runtimes for Gradual Typing.
Degree: PhD, Computer Science, 2019, Cornell University
URL: http://hdl.handle.net/1813/70010
► This dissertation concerns the design and implementation of programming languages featuring gradual typing - which is the idea that some parts of a program may…
(more)
▼ This dissertation concerns the design and implementation of programming languages featuring gradual typing - which is the idea that some parts of a program may be type-checked dynamically while others are type-checked statically. This lets programmers trade off between the costs and benefits of using static type-checking for each individual part of their program as needed, and even eventually change their decisions about those trade-offs. Designing gradually typed languages has its own trade-offs: existing gradually typed languages had to essentially decide between being efficient versus behaving in expected and safe ways. Since many of those languages were just gradually typed variants of existing languages, those trade-offs were largely forced by the original language design. Here, we look at the design questions around gradual typing in an unconstrained scenario - what if we design a new language featuring gradual typing from the ground up? In particular, we explore these questions for nominal object-oriented programming languages. Designing a new language from the ground up lets us *co-design* the features of the language and its implementation. Accordingly, in this dissertation, we tackle a variety of design questions of particular importance to gradual typing, such as decidable
subtyping, as well as questions of implementation, most importantly efficient casting techniques, which we evaluate using benchmarks from the literature on efficiency in gradual typing. The results presented here show that when gradual typing is co-designed with the rest of the type system and with an eye towards efficiency, it is possible to obtain both the desired formal properties proposed so far for gradual type systems and very low overheads due to gradual typing. This points the way towards a new generation of programming languages that can be used to seamlessly transition between personal scripting or rapid prototyping and large-scale software engineering.
Advisors/Committee Members: Tate, Ross Everett (chair), Kozen, Dexter Campbell (committee member), Miller, Richard William (committee member).
Subjects/Keywords: Decidability; Gradual Typing; Programming Language Design; Subtyping; Type Systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Muehlboeck, F. (2019). Efficient Runtimes for Gradual Typing. (Doctoral Dissertation). Cornell University. Retrieved from http://hdl.handle.net/1813/70010
Chicago Manual of Style (16th Edition):
Muehlboeck, Fabian. “Efficient Runtimes for Gradual Typing.” 2019. Doctoral Dissertation, Cornell University. Accessed January 17, 2021.
http://hdl.handle.net/1813/70010.
MLA Handbook (7th Edition):
Muehlboeck, Fabian. “Efficient Runtimes for Gradual Typing.” 2019. Web. 17 Jan 2021.
Vancouver:
Muehlboeck F. Efficient Runtimes for Gradual Typing. [Internet] [Doctoral dissertation]. Cornell University; 2019. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/1813/70010.
Council of Science Editors:
Muehlboeck F. Efficient Runtimes for Gradual Typing. [Doctoral Dissertation]. Cornell University; 2019. Available from: http://hdl.handle.net/1813/70010

Royal Holloway, University of London
6.
Lungu, Georgiana.
Subtyping in signatures.
Degree: PhD, 2018, Royal Holloway, University of London
URL: https://pure.royalholloway.ac.uk/portal/en/publications/subtyping-in-signatures(2871ce22-6970-4612-b73c-e49a1a4e9d53).html
;
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792838
► Type theories with canonical objects like Martin Lof's Type Theory or Luo's UTT have increasingly gained popularity in the last decades due to their usage…
(more)
▼ Type theories with canonical objects like Martin Lof's Type Theory or Luo's UTT have increasingly gained popularity in the last decades due to their usage in proof assistants, formal semantics of natural language and formalization of mathematics. The main purpose of this work is to explore a new way of introducing coercive subtyping in such type theories which facilitates the representation of some practical notions of subtyping. Introducing subtyping in dependent type theories is not straightforward when the preservation of properties like canonicity and subject reduction is also desired. Previous research already showed how such properties are affected by the usual notion of subsumptive subtyping and offered an alternative in the form of coercive subtyping introduced by enriching the system with a set of coercive subtyping judgements. Here I introduce a new way of adding coercive subtyping to type theory, specifically by annotating certain functions in assumptions, arguing that this is more handy to represent practical cases. This system is also closer to the programming model of proof assistants like Coq where coercions are annotated as such at the assumption level. Assumptions in Type Theory are represented as either contexts, which are sequences of membership entries for variables that bear abstraction and substitution or signatures, which are sequences of memberships entries for constants for which abstraction and substitution are not available. I shall use signatures as an environment for subtyping assumptions. I will prove that the system thus obtained is well behaved, in that it is only abbreviational to the original system, by considering its relation with the previous version of coercive subtyping which was already proved to be well behaved. To demonstrate the ability of the system to argue about practical situations, I will present three case studies. The first one studies the relationship between a subsumptive subtyping system and coercive subtyping. The second case study discusses how Russell-style universe inclusions, as found in Homotopy Type Theory, can be understood as coercions in a system with Tarski style hierarchy. And the last discussion is the need to treat injectivity as an assumption as well in order to capture faithfully some notions of subtyping which are based on or generalize inclusion.
Subjects/Keywords: typr theory; subtyping; conservative extension; canonical objects; universes
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Lungu, G. (2018). Subtyping in signatures. (Doctoral Dissertation). Royal Holloway, University of London. Retrieved from https://pure.royalholloway.ac.uk/portal/en/publications/subtyping-in-signatures(2871ce22-6970-4612-b73c-e49a1a4e9d53).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792838
Chicago Manual of Style (16th Edition):
Lungu, Georgiana. “Subtyping in signatures.” 2018. Doctoral Dissertation, Royal Holloway, University of London. Accessed January 17, 2021.
https://pure.royalholloway.ac.uk/portal/en/publications/subtyping-in-signatures(2871ce22-6970-4612-b73c-e49a1a4e9d53).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792838.
MLA Handbook (7th Edition):
Lungu, Georgiana. “Subtyping in signatures.” 2018. Web. 17 Jan 2021.
Vancouver:
Lungu G. Subtyping in signatures. [Internet] [Doctoral dissertation]. Royal Holloway, University of London; 2018. [cited 2021 Jan 17].
Available from: https://pure.royalholloway.ac.uk/portal/en/publications/subtyping-in-signatures(2871ce22-6970-4612-b73c-e49a1a4e9d53).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792838.
Council of Science Editors:
Lungu G. Subtyping in signatures. [Doctoral Dissertation]. Royal Holloway, University of London; 2018. Available from: https://pure.royalholloway.ac.uk/portal/en/publications/subtyping-in-signatures(2871ce22-6970-4612-b73c-e49a1a4e9d53).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792838

North Carolina State University
7.
Wright, Sandra Lashawn.
Potential transfer of Campylobacter between turkeys and swine produced in close proximity, in eastern North Carolina.
Degree: MS, Food Science, 2007, North Carolina State University
URL: http://www.lib.ncsu.edu/resolver/1840.16/1681
Subjects/Keywords: swine; subtyping; methylation; turkeys; Campylobacter
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wright, S. L. (2007). Potential transfer of Campylobacter between turkeys and swine produced in close proximity, in eastern North Carolina. (Thesis). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/1681
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Wright, Sandra Lashawn. “Potential transfer of Campylobacter between turkeys and swine produced in close proximity, in eastern North Carolina.” 2007. Thesis, North Carolina State University. Accessed January 17, 2021.
http://www.lib.ncsu.edu/resolver/1840.16/1681.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Wright, Sandra Lashawn. “Potential transfer of Campylobacter between turkeys and swine produced in close proximity, in eastern North Carolina.” 2007. Web. 17 Jan 2021.
Vancouver:
Wright SL. Potential transfer of Campylobacter between turkeys and swine produced in close proximity, in eastern North Carolina. [Internet] [Thesis]. North Carolina State University; 2007. [cited 2021 Jan 17].
Available from: http://www.lib.ncsu.edu/resolver/1840.16/1681.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Wright SL. Potential transfer of Campylobacter between turkeys and swine produced in close proximity, in eastern North Carolina. [Thesis]. North Carolina State University; 2007. Available from: http://www.lib.ncsu.edu/resolver/1840.16/1681
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

North Carolina State University
8.
Mullapudi, Savitri.
Phenotypic and genetic characterization of Listeria monocytogenes from the environment of turkey processing plants.
Degree: MS, Food Science, 2009, North Carolina State University
URL: http://www.lib.ncsu.edu/resolver/1840.16/644
► Resistance of clinical strains of Listeria monocytogenes to heavy metals, especially cadmium and arsenic has been used extensively for subtyping. Furthermore, the three most recent…
(more)
▼ Resistance of clinical strains of Listeria monocytogenes to heavy metals, especially cadmium and arsenic has been used extensively for
subtyping. Furthermore, the three most recent multistate outbreaks of listeriosis in the United States (1998-99 hot dog outbreak, and outbreaks in 2001 and 2002) have involved cadmium resistant strains two of which (1998-99 and 2001) were resistant to the quaternary ammonium disinfectant benzalkonium chloride (BC) as well. In these outbreak strains, genes mediating cadmium and BC resistance were found to be localized in two different gene cassettes on large plasmids (ca. 80 kb). However, limited information has been available on resistance to cadmium, arsenic and BC among L. monocytogenes isolates from the food processing plant environment. It is not known whether resistance to heavy metals (cadmium and arsenic) and BC is plasmid-borne in such strains and whether resistance to cadmium and arsenic may be correlated to resistance to disinfectants commonly used in the processing plant environment. Furthermore, information regarding contamination patterns of turkey processing plants in the United States with regards to different serotypes and strain types of L. monocytogenes is currently inadequate.
In this study, we characterized 123 L. monocytogenes isolates (53 of serotype 1/2a or 3a, 39 of serotype 1/2b or 3b, and 27 of the serotype 4b complex, consisting of serotype 4b and the closely related serotypes 4d and 4e, and 4 strains of serotype 1/2c or 3c) from the environment of six turkey processing plants in the United States for cadmium, arsenic and BC resistance. In addition, these isolates were subtyped using pulsed field gel electrophoresis (PFGE). Moreover we investigated the prevalence among these isolates of three different cadmium resistance cadA determinants identified to date in L. monocytogenes: cadA1 (associated with Tn5422), cadA2 (associated with plasmid pLM80, identified in the 1998-99 outbreak strain), and cadA3, associated with the integrated conjugative element (ICE) of L. monocytogenes EGD-e, respectively). We employed plasmid curing protocols to examine if the resistance to heavy metals (cadmium and arsenic) and to BC was plasmid-borne and to assess the stability of cadmium and BC resistance among isolates of L. monocytogenes from the processing plant environment.
Resistance to cadmium and BC was more common in serogroup 1/2 strains than 4b, whereas arsenic resistance was more commonly encountered in strains from the serotype 4b complex. We found substantial strain diversity in the turkey processing plants with 104 distinct PFGE types from 123 isolates using both enzymes (AscI and ApaI), resulting in Simpson’s index of diversity (D) of 0.995. Plant-specific strains were commonly found within each serotype. Heavy metal (cadmium and arsenic) and BC resistance were detected frequently among the serogroup 1 /2 strains. Our investigation has shown that 28% of the L. monocytogenes strains harbored both cadA1 and cadA2 and that the type of determinant (cadA1…
Advisors/Committee Members: Jonathan C. Allen, Committee Member (advisor), Lee-Ann Jaykus, Committee Member (advisor), Sophia Kathariou, Committee Chair (advisor).
Subjects/Keywords: Heavy metal; disinfectant; Listeria monocytogenes; subtyping; plasmid curing; genetic determinants
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Mullapudi, S. (2009). Phenotypic and genetic characterization of Listeria monocytogenes from the environment of turkey processing plants. (Thesis). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/644
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Mullapudi, Savitri. “Phenotypic and genetic characterization of Listeria monocytogenes from the environment of turkey processing plants.” 2009. Thesis, North Carolina State University. Accessed January 17, 2021.
http://www.lib.ncsu.edu/resolver/1840.16/644.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Mullapudi, Savitri. “Phenotypic and genetic characterization of Listeria monocytogenes from the environment of turkey processing plants.” 2009. Web. 17 Jan 2021.
Vancouver:
Mullapudi S. Phenotypic and genetic characterization of Listeria monocytogenes from the environment of turkey processing plants. [Internet] [Thesis]. North Carolina State University; 2009. [cited 2021 Jan 17].
Available from: http://www.lib.ncsu.edu/resolver/1840.16/644.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Mullapudi S. Phenotypic and genetic characterization of Listeria monocytogenes from the environment of turkey processing plants. [Thesis]. North Carolina State University; 2009. Available from: http://www.lib.ncsu.edu/resolver/1840.16/644
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Nova
9.
Piriquito, Maria Margarida Lameira da Cunha.
Type System for the ComponentJ Programming Language.
Degree: 2009, Universidade Nova
URL: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2015
► Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.
With the…
(more)
▼ Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.
With the constant evolution of software systems need arises for more structured implementations,
where processes like software updates and changes in systems can be
easily made, with no need to change what had previously been implemented. One possible
solution to this problem is the use of component-based programming languages.
This kind of programming languages tries to promote not only code reuse but also a
black-box discipline where it is not needed how a service is implemented, but only its
interface so that it can be used.
The ComponentJ programming language seeks to provide a simple way to perform
component creation and composition, making this new programming paradigm somewhat
easy to use. Because ComponentJ is meant to be an extension to the Java programming
language it becomes possible to implement components using the whole
expressiveness of this language. It is also possible, in ComponentJ, to dynamically
change components and the object structure based on runtime decisions. This dynamic
reconfiguration process allows, for instance, to perform changes/updates to a certain
software system without having to stop its execution.
The goal for this project is to implement a type system for the ComponentJ programming
language, based on the work presented in [32, 28]. Type verification is
syntax driven, and uses structural equivalence of types. Advanced techniques such
as subtyping and type inference are also included in order to make the language more
flexible. Besides the static type checker, a dynamic checker is also included, allowing
the type safe application of runtime changes to the system (dynamic reconfiguration
of objects) before their application.
Advisors/Committee Members: Seco, João.
Subjects/Keywords: Component orientation; Type systems; Dynamic reconfiguration; Subtyping; Type inference
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Piriquito, M. M. L. d. C. (2009). Type System for the ComponentJ Programming Language. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2015
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Piriquito, Maria Margarida Lameira da Cunha. “Type System for the ComponentJ Programming Language.” 2009. Thesis, Universidade Nova. Accessed January 17, 2021.
http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2015.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Piriquito, Maria Margarida Lameira da Cunha. “Type System for the ComponentJ Programming Language.” 2009. Web. 17 Jan 2021.
Vancouver:
Piriquito MMLdC. Type System for the ComponentJ Programming Language. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2021 Jan 17].
Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2015.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Piriquito MMLdC. Type System for the ComponentJ Programming Language. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2015
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Cambridge
10.
Hossain, A. S. Md Mukarram.
Scalable tools for high-throughput viral sequence analysis.
Degree: PhD, 2017, University of Cambridge
URL: https://doi.org/10.17863/CAM.23510
;
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.745052
► Viral sequence data are increasingly being used to estimate evolutionary and epidemiological parameters to understand the dynamics of viral diseases. This thesis focuses on developing…
(more)
▼ Viral sequence data are increasingly being used to estimate evolutionary and epidemiological parameters to understand the dynamics of viral diseases. This thesis focuses on developing novel and improved computational methods for high-throughput analysis of large viral sequence datasets. I have developed a novel computational pipeline, Pipelign, to detect potentially unrelated sequences from groups of viral sequences during sequence alignment. Pipelign detected a large number of unrelated and mis-annotated sequences from several viral sequence datasets collected from GenBank. I subsequently developed ANVIL, a machine learning-based recombination detection and subtyping framework for pathogen sequences. ANVIL's performance was benchmarked using two large HIV datasets collected from the Los Alamos HIV Sequence Database and the UK HIV Drug Resistance Database, as well as on simulated data. Finally, I present a computational pipeline named Phlow, for rapid phylodynamic inference of heterochronous pathogen sequence data. Phlow is implemented with specialised and published analysis tools to infer important phylodynamic parameters from large datasets. Phlow was run with three empirical viral datasets and their outputs were compared with published results. These results show that Phlow is suitable for high-throughput exploratory phylodynamic analysis of large viral datasets. When combined, these three novel computational tools offer a comprehensive system for large scale viral sequence analysis addressing three important aspects: 1) establishing accurate evolutionary history, 2) recombination detection and subtyping, and 3) inferring phylodynamic history from heterochronous sequence datasets.
Subjects/Keywords: 616.90285; Bioinformatics; Phylodynamics; Sequence alignment; Viral subtyping; HIV; Pathogen genomics
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Hossain, A. S. M. M. (2017). Scalable tools for high-throughput viral sequence analysis. (Doctoral Dissertation). University of Cambridge. Retrieved from https://doi.org/10.17863/CAM.23510 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.745052
Chicago Manual of Style (16th Edition):
Hossain, A S Md Mukarram. “Scalable tools for high-throughput viral sequence analysis.” 2017. Doctoral Dissertation, University of Cambridge. Accessed January 17, 2021.
https://doi.org/10.17863/CAM.23510 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.745052.
MLA Handbook (7th Edition):
Hossain, A S Md Mukarram. “Scalable tools for high-throughput viral sequence analysis.” 2017. Web. 17 Jan 2021.
Vancouver:
Hossain ASMM. Scalable tools for high-throughput viral sequence analysis. [Internet] [Doctoral dissertation]. University of Cambridge; 2017. [cited 2021 Jan 17].
Available from: https://doi.org/10.17863/CAM.23510 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.745052.
Council of Science Editors:
Hossain ASMM. Scalable tools for high-throughput viral sequence analysis. [Doctoral Dissertation]. University of Cambridge; 2017. Available from: https://doi.org/10.17863/CAM.23510 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.745052

National University of Ireland – Galway
11.
Ingoldsby, Helen Maria.
Identification of prognostic targets in breast cancer using immunohistochemical and in situ hybridisation methodologies
.
Degree: 2011, National University of Ireland – Galway
URL: http://hdl.handle.net/10379/2745
► Advances in our understanding of the molecular mechanisms underlying breast cancer are leading to improvements in its management. Many of the recent gene-based signatures developed…
(more)
▼ Advances in our understanding of the molecular mechanisms underlying breast cancer are leading to improvements in its management. Many of the recent gene-based signatures developed for breast cancer have highlighted the importance of proliferative markers, leading to renewed interest in their role as prognostic and predictive agents. Similarly, the small non-coding RNAs, microRNAs (miRNAs), have demonstrated potential as novel breast cancer biomarkers.
The aims of this work were to identify prognostic targets in breast cancer and to evaluate expression of the miRNA let-7a in tumour tissue with the aim of exploring its role as a potential diagnostic target. Immunohistochemical and in situ hybridisation (ISH) techniques were used to accomplish these aims.
Firstly, a consecutive series of 666 invasive breast cancers was characterised on tissue microarray using an immunohistochemical panel. Clinicopathological data and outcome status were collated for each case. On multivariate analysis, nodal status, ER and Ki67 were independent predictors of disease-free survival (DFS) (p value <0.0001, 0.05 and 0.17 respectively) and nodal status and ER were independent predictors of overall survival (OS) (p value <0.0001 for both). Tumours were categorised into molecular subtypes. It was found that DFS for molecular subtypes was best predicted by a classification system using ER and HER2 and OS by a classification system using ER, PR and HER2. The HER2-overexpressing subtype had the poorest outcome for both survival measures.
Secondly, immunohistochemistry for 10 of the genes analysed in the Oncotype DX Breast Cancer Assay was carried out on a series of 52 patients who had previously had Oncotype DX testing done as part of the TAILORx (Trial Assigning IndividuaLised Options for Treatment (Rx) trial. These variables, when analysed together with routinely-assessed pathological variables, could predict Oncotype DX and TAILORx low, intermediate and high risk categories in up to 85% and 76% of cases respectively. The most useful parameters were nuclear pleomorphism, PR, BAG1 and the proliferative markers Ki67 and survivin.
Finally, ISH was optimised for miRNA evaluation on formalin-fixed paraffin-embedded (FFPE) tissue. A pilot study evaluating let-7a by ISH was carried out on the tumour tissue of 15 patients who had previously had let-7a measured in circulating blood. Expression was shown to be generally downregulated in breast tumour cells compared to benign cells. No correlations were seen between expression in tumour tissue and blood levels.
This work supports the recent publications highlighting the prognostic importance of proliferative activity in breast cancer. In a small pilot project, the risk categories identified by the Oncotype DX assay could be predicted using a combination of traditional pathological variables and immunohistochemical assessment of the relevant proteins in the majority of cases. Finally, ISH was optimised and shown to be a feasible method for miRNA evaluation in FFPE tissue.
Advisors/Committee Members: Callagy, Grace (advisor).
Subjects/Keywords: Breast Cancer;
Immunohistochemistry;
Molecular subtyping;
Oncotype;
DX MicroRNA;
In situ hybridisation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Ingoldsby, H. M. (2011). Identification of prognostic targets in breast cancer using immunohistochemical and in situ hybridisation methodologies
. (Thesis). National University of Ireland – Galway. Retrieved from http://hdl.handle.net/10379/2745
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Ingoldsby, Helen Maria. “Identification of prognostic targets in breast cancer using immunohistochemical and in situ hybridisation methodologies
.” 2011. Thesis, National University of Ireland – Galway. Accessed January 17, 2021.
http://hdl.handle.net/10379/2745.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Ingoldsby, Helen Maria. “Identification of prognostic targets in breast cancer using immunohistochemical and in situ hybridisation methodologies
.” 2011. Web. 17 Jan 2021.
Vancouver:
Ingoldsby HM. Identification of prognostic targets in breast cancer using immunohistochemical and in situ hybridisation methodologies
. [Internet] [Thesis]. National University of Ireland – Galway; 2011. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/10379/2745.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Ingoldsby HM. Identification of prognostic targets in breast cancer using immunohistochemical and in situ hybridisation methodologies
. [Thesis]. National University of Ireland – Galway; 2011. Available from: http://hdl.handle.net/10379/2745
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Iowa State University
12.
Bagherzadeh, Mehdi.
Toward a Concurrent Programming Model with Modular Reasoning.
Degree: 2016, Iowa State University
URL: https://lib.dr.iastate.edu/etd/15659
► Modular reasoning and concurrent programming are both necessary for scalable development of performant software. Modular reasoning improves scalability by allowing a program to be understood…
(more)
▼ Modular reasoning and concurrent programming are both necessary for scalable development of performant software. Modular reasoning improves scalability by allowing a program to be understood one module at a time. Concurrent programming improves the performance by allowing simultaneous executions of multiple computations in a single program. However, modular reasoning about a concurrent program is difficult because of its thread interference, module inheritance and nondeterministic message orders. The statement of this thesis is that there exists a concurrent programming model that enables modular reasoning about behaviors of its programs in the presence of interference, inheritance and nondeterministic message orders using the following three ideas.
The first idea is an interference control framework that enables modular reasoning in the presence of interference. The technical innovations of the interference control framework are its sparse interference and cognizant interference properties that allow for standard Hoare-style modular reasoning about a concurrent program. Sparse and cognizant interference guarantee that interference happens only at explicitly specified program points and the interference behavior is statically known, respectively.
The second idea is concurrent behavioral subtyping that enables modular reasoning in the presence of inheritance. The technical innovations of concurrent behavioral subtyping are a new definition of behavioral subtyping for a concurrent program in terms of standard interface subtyping and a novel interference subtyping and show that in the presence of encapsulated inheritance the interface subtyping is sufficient to guarantee concurrent behavioral subtyping.
The third and last idea is order types that enables modular reasoning in the presence of nondeterministic message orders. The technical innovations of order types are to disallow message races using existential types that capture unknown module dependencies, abstraction that hides local messaging behavior of the module in its order type and a blame assignment that properly blames the module with bad expression composition or bad module composition and not the module in which the race happens.
These three ideas have the potential to ease software engineering of concurrent systems by improving a developer's ability to design, implement, test and evolve their software one module at a time.
Subjects/Keywords: Concurrent behavioral subtyping; Concurrent subtyping; Interference subtyping; Interface subtyping; Interference control framework; Pervasive interference; Oblivious interference; Sparse interference; Cognizant interference; Modular reasoning; Supertype abstraction reasoning; Concurrency; Concurrent message passing programming; Software engineering; Order types; Message race; Bottom-up software construction; Type abstraction; Proper blame assignment; Computer Sciences
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Bagherzadeh, M. (2016). Toward a Concurrent Programming Model with Modular Reasoning. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/15659
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Bagherzadeh, Mehdi. “Toward a Concurrent Programming Model with Modular Reasoning.” 2016. Thesis, Iowa State University. Accessed January 17, 2021.
https://lib.dr.iastate.edu/etd/15659.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Bagherzadeh, Mehdi. “Toward a Concurrent Programming Model with Modular Reasoning.” 2016. Web. 17 Jan 2021.
Vancouver:
Bagherzadeh M. Toward a Concurrent Programming Model with Modular Reasoning. [Internet] [Thesis]. Iowa State University; 2016. [cited 2021 Jan 17].
Available from: https://lib.dr.iastate.edu/etd/15659.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Bagherzadeh M. Toward a Concurrent Programming Model with Modular Reasoning. [Thesis]. Iowa State University; 2016. Available from: https://lib.dr.iastate.edu/etd/15659
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Georgia
13.
Kuriakose, Teneema.
Simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes by a microsphere based assay.
Degree: 2014, University of Georgia
URL: http://hdl.handle.net/10724/26682
► Avian influenza viruses are negative sense single stranded RNA viruses. They are deadly pathogens in poultry and rapid identification of these viruses is very important…
(more)
▼ Avian influenza viruses are negative sense single stranded RNA viruses. They are deadly pathogens in poultry and rapid identification of these viruses is very important because of the pandemic threat as human adapted viruses can emerge by
mutation or reassortment. A multiplex microsphere assay for the simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes was developed in this study. Multiplex RT-PCR using biotinylated primers specific to
the target followed by hybridization with specific oligonucleotide probe coated microspheres in a multiplex format were performed. Streptavidin-R-Phycoerythrin was used as the reporter and the fluorescence intensity was measured by the Bioplex machine.
The assay is 97.43% specific and the diagnostic sensitivity is 102.5 -102.8 EID50 of virus. Validation of the assay was performed with 102 clinical samples. This assay can be used as a rapid, sensitive and specific diagnostic test for avian influenza
viruses.
Subjects/Keywords: Avian influenza diagnosis; Multiplex Microsphere Assay; Hemagglutinin; Neuraminidase; Subtyping
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Kuriakose, T. (2014). Simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes by a microsphere based assay. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/26682
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Kuriakose, Teneema. “Simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes by a microsphere based assay.” 2014. Thesis, University of Georgia. Accessed January 17, 2021.
http://hdl.handle.net/10724/26682.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Kuriakose, Teneema. “Simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes by a microsphere based assay.” 2014. Web. 17 Jan 2021.
Vancouver:
Kuriakose T. Simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes by a microsphere based assay. [Internet] [Thesis]. University of Georgia; 2014. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/10724/26682.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Kuriakose T. Simultaneous detection of all avian influenza viruses and differentiation of H5, H7, N1 and N2 subtypes by a microsphere based assay. [Thesis]. University of Georgia; 2014. Available from: http://hdl.handle.net/10724/26682
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
14.
Dihego da Silva Oliveira, Jose.
Algebraic laws for process subtyping
.
Degree: 2011, Universidade Federal de Pernambuco
URL: http://repositorio.ufpe.br/handle/123456789/2660
► Uma abordagem formal e crucial na especificação e desenvolvimento de sistemas complexos. Inspirado pela engenharia, o desenvolvimento de software deve preterir a abordagem empirica e…
(more)
▼ Uma abordagem formal e crucial na especificação e desenvolvimento de sistemas complexos.
Inspirado pela engenharia, o desenvolvimento de software deve preterir a abordagem
empirica e seguir uma abordagem estruturada, formal, passível de repetição e
prova face ao advento de sistemas mais complexos, paralelos e concorrentes.
Este trabalho apresenta uma extensão conservativa de OhCircus, uma linguagem de
especificação oncorrente, que integra CSP, Z, orientação a objetos e um calculo de re-
finamento. Esta extensão suporta a definição de heranca de processo, onde
uxo de
controle, operações e componentes de estado em um superprocesso, podem ser reusados
por seus subprocessos. Neste trabalho nos apresentamos a gramatica estendida de OhCir-
cus, acompanhada por um conjunto de regras de tipos que lidam com as novas construções
da linguagem.
Nos apresentamos, em termos da Unifying Theories of Programming definida por
Hoare e He, a semântica formal de heranca de processo e suas construções de suporte.
A principal contribuição deste trabalho e um conjunto, formalmente provado, de leis
algebricas que lidam com herança de processo. Nós também explanamos informalmente
como essas leis podem contribuir para uma teoria de completude para OhCircus. Finalmente
nossas leis são exercitadas atraves de um estudo de caso
Advisors/Committee Members: Cezar Alves Sampaio, Augusto (advisor).
Subjects/Keywords: OhCircus;
Heranca Comportamental;
UTP;
Algebraic Laws;
OhCircus;
Behavioral Subtyping;
Leis Algebricas;
UTP
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Dihego da Silva Oliveira, J. (2011). Algebraic laws for process subtyping
. (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/2660
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Dihego da Silva Oliveira, Jose. “Algebraic laws for process subtyping
.” 2011. Thesis, Universidade Federal de Pernambuco. Accessed January 17, 2021.
http://repositorio.ufpe.br/handle/123456789/2660.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Dihego da Silva Oliveira, Jose. “Algebraic laws for process subtyping
.” 2011. Web. 17 Jan 2021.
Vancouver:
Dihego da Silva Oliveira J. Algebraic laws for process subtyping
. [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2021 Jan 17].
Available from: http://repositorio.ufpe.br/handle/123456789/2660.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Dihego da Silva Oliveira J. Algebraic laws for process subtyping
. [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/2660
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Vanderbilt University
15.
Zhong, Xue.
Sparse Network-regularized Nonnegative Matrix Factorization and Applications to Tumor Subtyping.
Degree: MS, Biostatistics, 2015, Vanderbilt University
URL: http://hdl.handle.net/1803/13137
► Cancers are complex diseases and identification of clinically important subtypes has the potential to guide better prognosis and treatment. The utility of graph-regularized nonnegative matrix…
(more)
▼ Cancers are complex diseases and identification of clinically important subtypes has the potential to guide better prognosis and treatment. The utility of graph-regularized nonnegative matrix factorization (GNMF) has been demonstrated on tumor subtype identification based on exome-level mutation data. In a recent study, it revealed that using a panel of important genes achieved superior classification than using the full set of (exome-level) mutations. We hypothesized that combining sparse coding with GNMF will enable automatic selection of important genes to aid tumor
subtyping as well as interpretations of the underlying pathways responsible for the subtypes. To test our hypothesis, we proposed a new formulation that incorporates a lasso-like penalty into GNMF to enable variable selection and sparse representation. We evaluated the proposed method for rich scenarios of simulated mutation cohorts, and further demonstrated the utility on real mutation data from large-scale sequencing studies.
Advisors/Committee Members: Xi Chen (Committee Chair), Yu Shyr (Committee Chair).
Subjects/Keywords: sparse; network-regularized; nonnegative matrix factorization; tumor subtyping; classification; network-based stratification; somatic mutation; TCGA
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zhong, X. (2015). Sparse Network-regularized Nonnegative Matrix Factorization and Applications to Tumor Subtyping. (Thesis). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/13137
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Zhong, Xue. “Sparse Network-regularized Nonnegative Matrix Factorization and Applications to Tumor Subtyping.” 2015. Thesis, Vanderbilt University. Accessed January 17, 2021.
http://hdl.handle.net/1803/13137.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Zhong, Xue. “Sparse Network-regularized Nonnegative Matrix Factorization and Applications to Tumor Subtyping.” 2015. Web. 17 Jan 2021.
Vancouver:
Zhong X. Sparse Network-regularized Nonnegative Matrix Factorization and Applications to Tumor Subtyping. [Internet] [Thesis]. Vanderbilt University; 2015. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/1803/13137.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Zhong X. Sparse Network-regularized Nonnegative Matrix Factorization and Applications to Tumor Subtyping. [Thesis]. Vanderbilt University; 2015. Available from: http://hdl.handle.net/1803/13137
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Newcastle
16.
Dobson, Guy T.
A systematic review of evidence based treatments for conduct disorder in adolescents: are they aligned with the developmental pathways research for conduct disorder: towards a more effective treatment model.
Degree: 2016, University of Newcastle
URL: http://hdl.handle.net/1959.13/1313091
► Masters Coursework - Master of Clinical Psychology (MClinPsych)
In the wake of the recent inclusion of a specifier in the DSM 5 (American Psychiatric Association…
(more)
▼ Masters Coursework - Master of Clinical Psychology (MClinPsych)
In the wake of the recent inclusion of a specifier in the DSM 5 (American Psychiatric Association (APA), 2013) for limited prosocial emotions, specifically callous-unemotional traits (CU traits) within conduct disordered (CD) children and adolescents, the current paper reviews the available research and literature on the utilisation of sub-typing CD for the purpose of informing assessment and subsequent treatment approaches. The review focused on three issues: Firstly on whether the practice of sub-typing CD is clinically important to informing the treatment type and level of intensity for adolescents with severe conduct problems (CPs); Next on whether the sub-typing of CD is routinely utilised in the assessment process by evidence based treatment modalities to inform treatments. In particular, differentiating between those with adolescent onset (A/O) and those with untreated childhood onset (C/O) for whom the ongoing risks are becoming more critical. Finally, coinciding with the recent addition of specifiers in the DSM – 5 (APA, 2013) which effectively designate a further subgroup of individuals with limited prosocial emotions (CU traits), the review examined whether the subject treatment modalities are adequately positioned to be effective. Results: Most studies did not take limited prosocial emotions (CU traits) into account as this is new research, only recently included in DSM 5. Additionally, the majority of studies tend to aggregate A/O and C/O together and treat them as a homogenous group (single pathway approach). Instead of utilising the developmental pathway approach to assessment and treatment that has been suggested in successive publications of the DSM including the DSM 5 (APA, 2013), a broad spectrum treatment based on the tenets of each particular treatment modality, is applied. An evidenced based model is presented that has been informed by the suggested developmental pathways that lead to CD. The aim of the model is to highlight the growing complexity and diversity of CD with increasing age and offer guidance with clinically informed assessment and treatment.
Advisors/Committee Members: University of Newcastle. Faculty of Science & Information Technology, School of Psychology.
Subjects/Keywords: conduct disorder; treatment for conduct disorder; subtyping of conduct disorder; developmental pathways within conduct disorder
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Dobson, G. T. (2016). A systematic review of evidence based treatments for conduct disorder in adolescents: are they aligned with the developmental pathways research for conduct disorder: towards a more effective treatment model. (Thesis). University of Newcastle. Retrieved from http://hdl.handle.net/1959.13/1313091
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Dobson, Guy T. “A systematic review of evidence based treatments for conduct disorder in adolescents: are they aligned with the developmental pathways research for conduct disorder: towards a more effective treatment model.” 2016. Thesis, University of Newcastle. Accessed January 17, 2021.
http://hdl.handle.net/1959.13/1313091.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Dobson, Guy T. “A systematic review of evidence based treatments for conduct disorder in adolescents: are they aligned with the developmental pathways research for conduct disorder: towards a more effective treatment model.” 2016. Web. 17 Jan 2021.
Vancouver:
Dobson GT. A systematic review of evidence based treatments for conduct disorder in adolescents: are they aligned with the developmental pathways research for conduct disorder: towards a more effective treatment model. [Internet] [Thesis]. University of Newcastle; 2016. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/1959.13/1313091.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Dobson GT. A systematic review of evidence based treatments for conduct disorder in adolescents: are they aligned with the developmental pathways research for conduct disorder: towards a more effective treatment model. [Thesis]. University of Newcastle; 2016. Available from: http://hdl.handle.net/1959.13/1313091
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Toronto
17.
Stefanik, Laura Nicole.
The Behavioural and Neural Correlates of Social Cognition: A Dimensional Approach in Youth with Mental Illness.
Degree: 2017, University of Toronto
URL: http://hdl.handle.net/1807/79368
► Heterogeneity in social cognitive performance and social function is a major obstacle in the identification of consistent biomarkers of impairment for schizophrenia spectrum disorders (SSD),…
(more)
▼ Heterogeneity in social cognitive performance and social function is a major obstacle in the identification of consistent biomarkers of impairment for schizophrenia spectrum disorders (SSD), autism spectrum disorders (ASD), and bipolar disorder (BD). Improved etiological subtyping and a better understanding of mediating mechanisms in neural circuits could facilitate targeted treatment development based on underlying pathology. This thesis explores the usefulness of Similarity Network Fusion (SNF), a transdiagnostic and data-driven clustering approach, in uncovering more neurobiologically homogenous groups of individuals with social cognitive impairments. The integration of multi-modal neuroimaging, social cognitive, neurocognitive, and demographic data reveal four distinct groups of participants across SSD, ASD, BD, and healthy youth with differing neuroanatomical profiles in key nodes of the fronto-parietal and cortical midline circuits. Our findings suggest that structural neural circuit deficits may help explain poor social cognitive performance in SSD, ASD, and BD.
M.Sc.
Advisors/Committee Members: Voineskos, Aristotle N, Medical Science.
Subjects/Keywords: Clustering; Similarity Network Fusion; Social Cognition; Structural MRI; Subtyping; Youth Mental Health; 0317
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Stefanik, L. N. (2017). The Behavioural and Neural Correlates of Social Cognition: A Dimensional Approach in Youth with Mental Illness. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/79368
Chicago Manual of Style (16th Edition):
Stefanik, Laura Nicole. “The Behavioural and Neural Correlates of Social Cognition: A Dimensional Approach in Youth with Mental Illness.” 2017. Masters Thesis, University of Toronto. Accessed January 17, 2021.
http://hdl.handle.net/1807/79368.
MLA Handbook (7th Edition):
Stefanik, Laura Nicole. “The Behavioural and Neural Correlates of Social Cognition: A Dimensional Approach in Youth with Mental Illness.” 2017. Web. 17 Jan 2021.
Vancouver:
Stefanik LN. The Behavioural and Neural Correlates of Social Cognition: A Dimensional Approach in Youth with Mental Illness. [Internet] [Masters thesis]. University of Toronto; 2017. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/1807/79368.
Council of Science Editors:
Stefanik LN. The Behavioural and Neural Correlates of Social Cognition: A Dimensional Approach in Youth with Mental Illness. [Masters Thesis]. University of Toronto; 2017. Available from: http://hdl.handle.net/1807/79368

University of Western Ontario
18.
Solis-Reyes, Stephen.
DNA Sequence Classification: It’s Easier Than You Think: An open-source k-mer based machine learning tool for fast and accurate classification of a variety of genomic datasets.
Degree: 2018, University of Western Ontario
URL: https://ir.lib.uwo.ca/etd/5792
► Supervised classification of genomic sequences is a challenging, well-studied problem with a variety of important applications. We propose an open-source, supervised, alignment-free, highly general method…
(more)
▼ Supervised classification of genomic sequences is a challenging, well-studied problem with a variety of important applications. We propose an open-source, supervised, alignment-free, highly general method for sequence classification that operates on k-mer proportions of DNA sequences. This method was implemented in a fully standalone general-purpose software package called Kameris, publicly available under a permissive open-source license. Compared to competing software, ours provides key advantages in terms of data security and privacy, transparency, and reproducibility. We perform a detailed study of its accuracy and performance on a wide variety of classification tasks, including virus subtyping, taxonomic classification, and human haplogroup assignment. We demonstrate the success of our method on whole mitochondrial, nuclear, plastid, plasmid, and viral genomes, as well as randomly sampled eukaryote genomes and transcriptomes. Further, we perform head-to-head evaluations on the tasks of HIV-1 virus subtyping and bacterial taxonomic classification with a number of competing state-of-the-art software solutions, and show that we match or exceed all other tested software in terms of accuracy and speed.
Subjects/Keywords: sequence classification; machine learning; alignment-free; k-mers; virus subtyping; comparative genomics; Bioinformatics
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Solis-Reyes, S. (2018). DNA Sequence Classification: It’s Easier Than You Think: An open-source k-mer based machine learning tool for fast and accurate classification of a variety of genomic datasets. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/5792
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Solis-Reyes, Stephen. “DNA Sequence Classification: It’s Easier Than You Think: An open-source k-mer based machine learning tool for fast and accurate classification of a variety of genomic datasets.” 2018. Thesis, University of Western Ontario. Accessed January 17, 2021.
https://ir.lib.uwo.ca/etd/5792.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Solis-Reyes, Stephen. “DNA Sequence Classification: It’s Easier Than You Think: An open-source k-mer based machine learning tool for fast and accurate classification of a variety of genomic datasets.” 2018. Web. 17 Jan 2021.
Vancouver:
Solis-Reyes S. DNA Sequence Classification: It’s Easier Than You Think: An open-source k-mer based machine learning tool for fast and accurate classification of a variety of genomic datasets. [Internet] [Thesis]. University of Western Ontario; 2018. [cited 2021 Jan 17].
Available from: https://ir.lib.uwo.ca/etd/5792.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Solis-Reyes S. DNA Sequence Classification: It’s Easier Than You Think: An open-source k-mer based machine learning tool for fast and accurate classification of a variety of genomic datasets. [Thesis]. University of Western Ontario; 2018. Available from: https://ir.lib.uwo.ca/etd/5792
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Illinois – Urbana-Champaign
19.
Taylor, Alexander Joseph.
Phenotypic and genotypic analysis of persistent and sporadic isolates of listeria monocytogenes.
Degree: MS, Food Science & Human Nutrition, 2018, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/102404
► The foodborne pathogen Listeria monocytogenes has the ability to persist for months to years within food-associated environments. These persistent strains maintain a constant risk of…
(more)
▼ The foodborne pathogen Listeria monocytogenes has the ability to persist for months to years within food-associated environments. These persistent strains maintain a constant risk of contamination and it is vital to identify and eliminate these persistent strains as soon as possible. Previous work has identified and characterized putative persistent and sporadic isolates from 30 retail delis in three regions of the U.S. over six months. Next generation sequencing allowed phylogenetic relationships to identify persistent strains based on the assumption that isolates of a persistent strain were more closely related than isolates of sporadic strains. Those studies provided the isolates and genomic data to investigate additional phenotypic and genotypic properties that may differentiate persistent and sporadic strains. In this present work, two questions were examined. (i) Do isolates of persistent strains contain distinct CRISPR spacers? (ii) Do isolates of persistent strains have higher growth rates or ability to grow in various stressful conditions or carbon sources associated with food environments?
CRISPRs, or clustered regularly interspaced short palindromic repeats, are comprised of pieces of foreign DNA (spacers) and are sandwiched between repeated sequences of host DNA (directed repeats). The foreign DNA is integrated into a bacteria’s genome to act as a defense mechanism against foreign invading DNA, like bacteriophages. The integrated DNA, spacers, act like a logbook of which bacteriophages or foreign invaders have collided with a strain. Since persistent strains survive in environments for an extended period of time, and phages are common within food-associated environments, isolates of a persistent strain may contain more or different spacers than sporadic isolates.
Viewing the bioinformatic analysis of previously sequenced persistent and sporadic isolates from retail delis, 174 of 175 L. monocytogenes isolates contained CRISPR spacer arrays that contained, at minimum, one CRISPR spacer within the array. Spacers that were found within isolates were conserved within the previously defined phylogenetic clades; these contiguous spacers were assigned to spacer patterns. While spacers were found within L. monocytogenes isolates, and isolates could be subtyped by their spacer patterns, there was no supporting data that persistent isolates could be differentiated from sporadic isolates based on their CRISPR spacer patterns.
Can isolates of persistent strains live for longer periods due to an increased ability to adapt to food-associated environmental stresses or carbon sources? The goal was to understand if persistent strains are more likely to grow and how well they grow in response to stress conditions, such as osmotic pressure, acidity, or sanitizer. Specifically, high-throughput growth assays were used to screen for isolates’ ability to tolerate osmotic (5% or 10% NaCl), acidity (pH 5.2 or 9.2), or sub-lethal sanitizer (2 or 5 µg/mL benzalkonium chloride [BAC]) stresses, or to metabolize…
Advisors/Committee Members: Stasiewicz, Matthew J. (advisor).
Subjects/Keywords: Listeria monocytogenes; persistence; CRISPR; subtyping; phenotyping; stress response; growth curves; carbohydrate utilization
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Taylor, A. J. (2018). Phenotypic and genotypic analysis of persistent and sporadic isolates of listeria monocytogenes. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/102404
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Taylor, Alexander Joseph. “Phenotypic and genotypic analysis of persistent and sporadic isolates of listeria monocytogenes.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2021.
http://hdl.handle.net/2142/102404.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Taylor, Alexander Joseph. “Phenotypic and genotypic analysis of persistent and sporadic isolates of listeria monocytogenes.” 2018. Web. 17 Jan 2021.
Vancouver:
Taylor AJ. Phenotypic and genotypic analysis of persistent and sporadic isolates of listeria monocytogenes. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/2142/102404.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Taylor AJ. Phenotypic and genotypic analysis of persistent and sporadic isolates of listeria monocytogenes. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/102404
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Minnesota
20.
Besser, John Mitchell.
A Theoretical Framework for the Use and Interpretation of Molecular Subtyping in Foodborne Disease Surveillance.
Degree: PhD, Environmental Health, 2008, University of Minnesota
URL: http://purl.umn.edu/46067
► The development of molecular subtyping for foodborne disease surveillance has significantly enhanced our ability to detect, investigate, and control common source outbreaks. Despite wide-scale use…
(more)
▼ The development of molecular subtyping for foodborne disease surveillance has significantly enhanced our ability to detect, investigate, and control common source outbreaks. Despite wide-scale use and many high profile outbreaks detected through enhanced foodborne disease surveillance, use and interpretation of molecular subtype data has been primarily intuitive. Efforts to develop interpretive guidelines have been based primarily on laboratory criteria with the relatively narrow goal of defining the likelihood of relatedness between strains. However, the significance of strain relatedness is context dependent, and additional factors are required for epidemiological inference. These factors have not been clearly defined, which has limited our ability to consistently interpret findings and effectively utilize the new tools. In this work, a theoretical framework was developed to describe the interrelationship of case definitions based on molecular or other classifications, the normal prevalence of disease or strain, frequency of exposure, specificity of exposure information, and number of cases in a common source outbreak setting. A computer model was developed to illustrate the impact of increasing case definition specificity and exposure prevalence on the association between illness and exposure. The model demonstrated that as the case definition in a case control study became more specific, measures of association increase and confidence intervals widened. Low prevalence exposures required less case definition specificity or fewer cases to reach significant association than high prevalence exposures. The model demonstrated that the optimum level of molecular subtype specificity is not fixed, but depended on the prevalence of the exposure, specificity of the exposure information, the number of available cases, and the question being asked. Furthermore, the sensitivity of exposure identification and the specificity of the exposure information have an impact on the ability to detect and resolve common source outbreaks in much the same manner as molecular subtyping. Using the key parameters identified, the inherent benefits and limitations of each of the currently available surveillance systems were compared for their ability to detect problems in the food supply. Interpretive guidelines for molecular subtype data were developed, and a practical guide to best practices was formulated.
Subjects/Keywords: Molecular subtyping; Foodborne diseases; Environmental Health
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Besser, J. M. (2008). A Theoretical Framework for the Use and Interpretation of Molecular Subtyping in Foodborne Disease Surveillance. (Doctoral Dissertation). University of Minnesota. Retrieved from http://purl.umn.edu/46067
Chicago Manual of Style (16th Edition):
Besser, John Mitchell. “A Theoretical Framework for the Use and Interpretation of Molecular Subtyping in Foodborne Disease Surveillance.” 2008. Doctoral Dissertation, University of Minnesota. Accessed January 17, 2021.
http://purl.umn.edu/46067.
MLA Handbook (7th Edition):
Besser, John Mitchell. “A Theoretical Framework for the Use and Interpretation of Molecular Subtyping in Foodborne Disease Surveillance.” 2008. Web. 17 Jan 2021.
Vancouver:
Besser JM. A Theoretical Framework for the Use and Interpretation of Molecular Subtyping in Foodborne Disease Surveillance. [Internet] [Doctoral dissertation]. University of Minnesota; 2008. [cited 2021 Jan 17].
Available from: http://purl.umn.edu/46067.
Council of Science Editors:
Besser JM. A Theoretical Framework for the Use and Interpretation of Molecular Subtyping in Foodborne Disease Surveillance. [Doctoral Dissertation]. University of Minnesota; 2008. Available from: http://purl.umn.edu/46067
21.
Engdahl, Linus.
High Content Screening to Study Cellular Response to Treatment by Using Primary In Vitro Cultures Established from CNS Tumour Samples
.
Degree: Chalmers tekniska högskola / Institutionen för biologi och bioteknik, 2019, Chalmers University of Technology
URL: http://hdl.handle.net/20.500.12380/300703
► This study investigated if in vitro cultures of cancer stem cells derived from paediatric high-grade glioma tumours can be used to study the efficiency of…
(more)
▼ This study investigated if in vitro cultures of cancer stem cells derived from paediatric high-grade glioma tumours can be used to study the efficiency of therapeutic drugs by using custom analysis sequences with the Harmony software developed by Operetta. Four different drugs - vinorelbine, vincristine, etoposide, and methotrexate –, with and without irradiation, were tested. The nuclei were divided into subpopulations based on morphological and intensity properties with the hypothesis that each subpopulation corresponded to a specific cell state. The study also tested the theory that a subpopulation composed of presumably dead cells could be identified and used to discern drug effects not detected by studying the viable cell population alone. We found that each subpopulation demonstrated unique responses to the different treatments in concurrence with different cell states, showing that this method of subtyping has potential uses. It also demonstrates the possibility to use the subpopulation of dead cells in order to detect drug efficacy not readily apparent from observation of the total number of cells.
Subjects/Keywords: paediatric cancer;
CNS;
cancer stem cells;
glioma;
glioblastoma;
treatment;
subtyping;
image analysis
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Engdahl, L. (2019). High Content Screening to Study Cellular Response to Treatment by Using Primary In Vitro Cultures Established from CNS Tumour Samples
. (Thesis). Chalmers University of Technology. Retrieved from http://hdl.handle.net/20.500.12380/300703
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Engdahl, Linus. “High Content Screening to Study Cellular Response to Treatment by Using Primary In Vitro Cultures Established from CNS Tumour Samples
.” 2019. Thesis, Chalmers University of Technology. Accessed January 17, 2021.
http://hdl.handle.net/20.500.12380/300703.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Engdahl, Linus. “High Content Screening to Study Cellular Response to Treatment by Using Primary In Vitro Cultures Established from CNS Tumour Samples
.” 2019. Web. 17 Jan 2021.
Vancouver:
Engdahl L. High Content Screening to Study Cellular Response to Treatment by Using Primary In Vitro Cultures Established from CNS Tumour Samples
. [Internet] [Thesis]. Chalmers University of Technology; 2019. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/20.500.12380/300703.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Engdahl L. High Content Screening to Study Cellular Response to Treatment by Using Primary In Vitro Cultures Established from CNS Tumour Samples
. [Thesis]. Chalmers University of Technology; 2019. Available from: http://hdl.handle.net/20.500.12380/300703
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Penn State University
22.
Miller, Donna Marie.
Development of a sequence-based molecular subtyping method for Bacillus cereus dairy isolatse.
Degree: 2008, Penn State University
URL: https://submit-etda.libraries.psu.edu/catalog/9010
► Recent research has suggested Gram-positive spore-forming microorganisms including Bacillus cereus are the predominant microorganisms in pasteurized milk during refrigerated storage. The presence of B. cereus…
(more)
▼ Recent research has suggested Gram-positive spore-forming microorganisms including Bacillus cereus are the predominant microorganisms in pasteurized milk during refrigerated storage. The presence of B. cereus in pasteurized milk is of concern to the dairy industry because this microorganism can influence the quality and safety of the product. During growth in milk, B. cereus can produce proteinases and lipases which cause quality defects in milk and limit shelf life. In addition, the presence of B. cereus in pasteurized milk may pose a health hazard to the consumer because B. cereus is a human pathogen and has been shown to cause emetic and diarrheal illnesses.
Numerous international studies have been conducted to determine the incidence and level of B. cereus in pasteurized milk, but recent research in the U.S. is limited. The objectives of the first portion of this work were to evaluate the microbiological quality of commercial milk from four manufacturers and to determine the level and incidence of B. cereus. Microbiological analysis was conducted on whole, 2% milk fat, 1% milk fat, and skim milks stored at 4 and 7¡ÆC and included aerobic plate counts, mesophilic and psychrotrophic spore counts, and B. cereus counts. Analysis was conducted on the sell-by date (day 0), 12 days before the sell-by date (-12), 7 days before the sell-by date (-7), and 7 days after the sell-by date (+7).
On the sell-by-date, milks stored at 4 and 7¢ªC, yielded aerobic plate counts ranging from ¡Â1.0 to 8.5 log10 CFU/mL and ¡Â1.0 to 8.6 log10 CFU/mL, respectively. Seven (25%) milk samples stored at 4¢ªC had aerobic plate counts ¡Ã4.3 log10 CFU/mL (20,000 CFU/mL), the limit outlined in the Pasteurized Milk Ordinance, while 23 (82%) milk samples stored at 7¢ªC exceeded the limit. Mesophilic and psychrotrophic spore counts of milks stored at 4 and 7¢ªC were low and ranged from ¡Â1.0 to 2.2 log10 CFU/mL and ¡Â1.0 to 1.7 log10 CFU/mL, respectively. The growth of B. cereus during refrigerated storage appeared to be influenced by storage temperature. On the sell-by date, B. cereus was detected in 2 of 28 (7%) cartons stored at 4¢ªC, and counts of milks ranged from ¡Â1.0 to 4.2 log10 CFU/mL. However, B. cereus was detected in 16 (57%) milk samples at 7¡ÆC, and counts ranged from ¡Â1.0 to 8.9 log10 CFU/mL. On the sell-by date, 9 (32%) of the milk samples stored at 7¡ÆC yielded B. cereus counts exceeding the minimum infectious dose for the diarrheal illness.
The data from the first portion of the research suggested further work needed to be conducted to improve the microbiological quality of pasteurized milk. Such work would include tracking studies to identify contamination sites in milk production and processing.
The second objective of this work was to develop a sequence-based
subtyping method for B. cereus dairy isolates. Currently, the RAPD-PCR method developed by Nilsson et al. (1998) is the
subtyping method used most extensively for tracking B. cereus in milk production and in the processing environment. This method is…
Advisors/Committee Members: Robert F Roberts, Dissertation Advisor/Co-Advisor, Stephanie Doores, Committee Chair/Co-Chair, Robert F Roberts, Committee Chair/Co-Chair, Edward G Dudley, Committee Member, Chitrita Debroy, Committee Member, Stephen John Knabel, Committee Member.
Subjects/Keywords: Bacillus cereus; milk; multilocus sequence typing; subtyping; dairy
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Miller, D. M. (2008). Development of a sequence-based molecular subtyping method for Bacillus cereus dairy isolatse. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/9010
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Miller, Donna Marie. “Development of a sequence-based molecular subtyping method for Bacillus cereus dairy isolatse.” 2008. Thesis, Penn State University. Accessed January 17, 2021.
https://submit-etda.libraries.psu.edu/catalog/9010.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Miller, Donna Marie. “Development of a sequence-based molecular subtyping method for Bacillus cereus dairy isolatse.” 2008. Web. 17 Jan 2021.
Vancouver:
Miller DM. Development of a sequence-based molecular subtyping method for Bacillus cereus dairy isolatse. [Internet] [Thesis]. Penn State University; 2008. [cited 2021 Jan 17].
Available from: https://submit-etda.libraries.psu.edu/catalog/9010.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Miller DM. Development of a sequence-based molecular subtyping method for Bacillus cereus dairy isolatse. [Thesis]. Penn State University; 2008. Available from: https://submit-etda.libraries.psu.edu/catalog/9010
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

NSYSU
23.
Lin, Ji-Wei.
Selection of the most informative schemes for multi-locus sequence typing.
Degree: Master, Institute Of Medical Science And Technology, 2018, NSYSU
URL: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0631118-141016
► To investigate and surveillance the foodborne disease outbreak caused by bacteria, molecular sequence subtyping method would be employed. In our study, we build an open-access…
(more)
▼ To investigate and surveillance the foodborne disease outbreak caused by bacteria, molecular sequence
subtyping method would be employed. In our study, we build an open-access website platform wgMLST-BacCompare for molecular
subtyping which utilize multilocus sequence typing (MLST) approach with whole genome sequence data. We construct visualized genetic relatedness trees of the uploaded isolates and indicate disease outbreak subgroup. In general, utilize pan-genome sequences as the multilocus sequence typing process data resource can make the result of analysis more complete and exhaustive. But the pan-genome sequence lead to the enlargement of dataset and
subtyping time-consuming. In this study, we make use of Python script and feature selection methods: variance threshold and feature importance. These methods are exploited to remove useless or low influence features (gene loci) for investigating disease outbreak from raw whole-genome sequence. We would take advantage of wgMLST-BacCompare website service (http://bactyper.imst.nsysu.edu.tw) testing four species of bacterial: Campylobacter jejuni, Escherichia coli, Listeria monocytogenes, and Salmonella enterica. And compare the results with existing bacterial gene benchmark dataset, identifying the accuracy and robustness of the web tool. We can achieve well
subtyping results by small amount of gene locus information which filtered by feature selection methods. Besides the improvement of efficiency, we can still maintain the accuracy. And we believe that the wgMLST-BacCompare will be a useful online tool for epidemiology studies.
Advisors/Committee Members: Chin-Sheng Yu (chair), Chih-Hao Lu (chair), Chih-Chieh Chen (committee member).
Subjects/Keywords: Feature selection; Molecular subtyping; Typing scheme selection; Foodborne disease; Whole-genome multilocus sequence typing (wgMLST); Next generation sequencing (NGS)
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Lin, J. (2018). Selection of the most informative schemes for multi-locus sequence typing. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0631118-141016
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Lin, Ji-Wei. “Selection of the most informative schemes for multi-locus sequence typing.” 2018. Thesis, NSYSU. Accessed January 17, 2021.
http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0631118-141016.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Lin, Ji-Wei. “Selection of the most informative schemes for multi-locus sequence typing.” 2018. Web. 17 Jan 2021.
Vancouver:
Lin J. Selection of the most informative schemes for multi-locus sequence typing. [Internet] [Thesis]. NSYSU; 2018. [cited 2021 Jan 17].
Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0631118-141016.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Lin J. Selection of the most informative schemes for multi-locus sequence typing. [Thesis]. NSYSU; 2018. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0631118-141016
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
24.
Khalil, Dima.
Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France.
Degree: Docteur es, Microorganismes. Interactions. Infections, 2016, Lyon
URL: http://www.theses.fr/2016LYSE1238
► Mycoplasma (M.) bovis est une bactérie pathogène des bovins, à l'origine de signes cliniques divers, comme des mammites, des arthrites, des otites et des bronchopneumonies,…
(more)
▼ Mycoplasma (M.) bovis est une bactérie pathogène des bovins, à l'origine de signes cliniques divers, comme des mammites, des arthrites, des otites et des bronchopneumonies, ces dernières étant majoritaires en France. Les mycoplasmoses à M. bovis ont un fort coût économique et leur contrôle impose une importante mobilisation sanitaire et un recours très fréquent à l'antibiothérapie. Peu de données étaient disponibles jusque récemment concernant le typage moléculaire et l'antibiosensibilité des souches françaises de M. bovis. Deux études antérieures à ce travail et réalisées au sein de l'UMR « Mycoplasmoses des ruminants » ont montré que les isolats cliniques de M. bovis collectés en France après 2000 appartiennent à un sous-type moléculaire majoritaire (ST2), très homogène et sont par ailleurs multirésistants à la plupart des familles antibiotiques à l'exception des fluoroquinolones. Ces résultats suggèrent la diffusion sur le territoire national d'un clone unique multirésistant. Le premier objectif de cette étude était de déterminer les mécanismes à la base de la perte de sensibilité aux antibiotiques des isolats français. Dans un deuxième temps, les liens entre les différents sous-types moléculaires, les profils d'antibiosensibilité, les maladies associées et le polymorphisme des gènes cibles des antibiotiques ont été investigués. Cette approche a été déployée pour trois familles d'antibiotiques utilisées en pratique vétérinaire: les macrolides, les tétracyclines et également les fluoroquinolones, quoique récemment classées comme molécules critiques. De façon générale, les mutations identifiées dans les cibles des antibiotiques expliquent à elles seules les phénotypes de résistance observés. Des mutations dans les ARNs ribosomaux, cibles des macrolides et des tétracyclines, ont été observées sur des isolats cliniques dès 1978 et sont devenues systématiques sur tous les isolats collectés après 2000 et appartenant au sous-type ST2 majoritaire. En ce qui concerne les fluoroquinolones, la faible augmentation des CMI (concentrations minimales inhibitrices) mesurée chez la plupart des isolats cliniques récents n'a pas été associée à des mutations des QRDR (« Quinolones Resistance-Determining Regions »). Par contre, des altérations cumulées de façon séquentielle dans ces QRDR, associées à une hausse des CMI, ont été mises en évidence lors d'expériences de sélection in vitro et majoritairement pour des souches appartenant à un sous-type récent minoritaire, ST3, apparemment plus variable et plus apte à fixer les mutations. En 2013, le premier isolat clinique présentant une CMI augmentée aux fluoroquinolones a été isolé: il appartient à ce sous-type ST3. L'ensemble des résultats obtenus montrent que les différents sous-types de M. bovis n'évoluent pas de la même façon vers la résistance. Ce constat ajouté à celui de la multirésistance des isolats récents (ST2 ou ST3) met en exergue l'intérêt de la surveillance (sous-typage et antibiosensibilité) et le suivi de l'évolution des isolats de M. bovis circulant en France. Ce suivi…
Advisors/Committee Members: Tardy, Florence (thesis director).
Subjects/Keywords: M. bovis; CMI; Sous-typage; Fluoroquinolones; Macrolides; Tétracyclines; Sensibilité; M. bovis; MIC; Subtyping; Fluoroquinolones; Macrolides; Tetracyclines; Drug resistance; 579
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Khalil, D. (2016). Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2016LYSE1238
Chicago Manual of Style (16th Edition):
Khalil, Dima. “Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France.” 2016. Doctoral Dissertation, Lyon. Accessed January 17, 2021.
http://www.theses.fr/2016LYSE1238.
MLA Handbook (7th Edition):
Khalil, Dima. “Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France.” 2016. Web. 17 Jan 2021.
Vancouver:
Khalil D. Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France. [Internet] [Doctoral dissertation]. Lyon; 2016. [cited 2021 Jan 17].
Available from: http://www.theses.fr/2016LYSE1238.
Council of Science Editors:
Khalil D. Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France. [Doctoral Dissertation]. Lyon; 2016. Available from: http://www.theses.fr/2016LYSE1238

Université de Lorraine
25.
Oliveira Kiermes Tavares, Claudia Fernanda.
Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming.
Degree: Docteur es, Informatique, 2012, Université de Lorraine
URL: http://www.theses.fr/2012LORR0015
► Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par…
(more)
▼ Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termes
In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms
Advisors/Committee Members: Kirchner, Claude (thesis director), Moreau, Pierre-Etienne (thesis director).
Subjects/Keywords: Systèmes de types; Sous-typage; Filtrage de motifs; Réécriture; Contraintes de type; Type systems; Subtyping; Pattern matching; Rewriting; Type constraints; 005.131
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Oliveira Kiermes Tavares, C. F. (2012). Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2012LORR0015
Chicago Manual of Style (16th Edition):
Oliveira Kiermes Tavares, Claudia Fernanda. “Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming.” 2012. Doctoral Dissertation, Université de Lorraine. Accessed January 17, 2021.
http://www.theses.fr/2012LORR0015.
MLA Handbook (7th Edition):
Oliveira Kiermes Tavares, Claudia Fernanda. “Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming.” 2012. Web. 17 Jan 2021.
Vancouver:
Oliveira Kiermes Tavares CF. Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming. [Internet] [Doctoral dissertation]. Université de Lorraine; 2012. [cited 2021 Jan 17].
Available from: http://www.theses.fr/2012LORR0015.
Council of Science Editors:
Oliveira Kiermes Tavares CF. Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming. [Doctoral Dissertation]. Université de Lorraine; 2012. Available from: http://www.theses.fr/2012LORR0015
26.
Vaugon, Benoit.
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.
Degree: Docteur es, Informatique, 2016, Université Paris-Saclay (ComUE)
URL: http://www.theses.fr/2016SACLY004
► Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément,…
(more)
▼ Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du code sont représentées par des ensemble de contraintes de la forme (t1 <= t2). Nos mécanismes de vérification sont alors basés sur l'agrégation de contraintes de sous-typage et la vérification de leur compatibilité par saturation. Le langage de base sur lequel nous travaillons est un ML étendu, muni de variants et d'un mécanisme de filtrage de motifs. Nous commençons par définir un formalisme nous permettant d'exprimer nos systèmes de types sous forme de règles d'inférences. Ce formalisme présente l'avantage d'être suffisamment souple pour nous permettre de prouver les propriétés de validité et de terminaison de nos systèmes, et suffisamment précis pour nous permettre d'en dériver une implémentation de manière systématique. Après avoir défini un système de types de base pour notre langage, nous en présentons trois extensions originales : * Une amélioration du typage du filtrage de motifs basée en particulier sur l'ajout d'un opérateur de disjonction entre les contraintes de sous-typage. Cet opérateur permet alors d'exprimer, pour chaque cas de filtrage, le lien entre le filtre et les contraintes extraites du typage de l'expression correspondante. Ceci nous permet en particulier de représenter beaucoup plus finement le type de certaines fonctions et ainsi d'accepter plus de programmes valides. * Une alternative au mécanisme classique de généralisation permettant de distinguer les contraintes associées aux différents usages des paramètres des fonctions. Un tel mécanisme rend en particulier la construction de langage "let" de ML obsolète. Mixé avec la première extension, nous obtenons un système permettant d'encoder dans le langage lui même (c'est à dire sans ajouter de construction supplémentaire), un modèle objet intéressant. * Une formalisation des GADT basée sur une implantation originale des variables de type existentielles. En plus d'être compatible avec le sous-typage, cette variante des GADT présente une amélioration notable par rapport aux GADT standards par le fait qu'elle étend les possibilités d'inférence. Les annotations de type, habituellement obligatoires en présence de GADT, deviennent ici presque toutes facultatives. Bien qu'il soit possible de dériver directement une implémentation de ces systèmes, ce qui est principalement utile pour leur compréhension et leur prototypage, les performances des typeurs obtenus de la sorte ne sont pas suffisantes pour analyser des programmes de taille réelle. Ceci est principalement dû aux différentes extensions que nous apportons au langage des contraintes, en particulier les opérateurs de disjonction et de négation. Nous présentons alors les différentes techniques que nous avons mises en place pour l'implémentation de nos systèmes permettant à nos analyses de passer à l'échelle en pratique.
This PHD thesis focuses on static…
Advisors/Committee Members: Mauny, Michel (thesis director).
Subjects/Keywords: Sous-Typage; Méthodes formelles; Programmation; Analyse statique; Langage de programmation; Subtyping; Formal methods; Programming; Static Analysis; Programming language; 005
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Vaugon, B. (2016). Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLY004
Chicago Manual of Style (16th Edition):
Vaugon, Benoit. “Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed January 17, 2021.
http://www.theses.fr/2016SACLY004.
MLA Handbook (7th Edition):
Vaugon, Benoit. “Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.” 2016. Web. 17 Jan 2021.
Vancouver:
Vaugon B. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2021 Jan 17].
Available from: http://www.theses.fr/2016SACLY004.
Council of Science Editors:
Vaugon B. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLY004

University of Arizona
27.
Cooper, Margarethe.
Molecular Typing of Giardia lamblia in Humans and Dogs and Evidence for Sexual Recombination
.
Degree: 2006, University of Arizona
URL: http://hdl.handle.net/10150/195546
► Giardia lamblia is a eukaryotic parasite that causes diarrhea in humans worldwide. Diarrheal diseases cause stunting and mental retardation in children in developing nations, therefore…
(more)
▼ Giardia lamblia is a eukaryotic parasite that causes diarrhea in humans worldwide. Diarrheal diseases cause stunting and mental retardation in children in developing nations, therefore it is important to understand the molecular epidemiology of G. lamblia. Compounding this, it is not clear if companion animals such as dogs contribute to infections in humans through zoonotic transmission. The genotypes of G. lamblia that have been found in humans are A1, A2 and B, while those in dogs have been on rare occasions all three human genotypes, but largely C and D, which have only been reported in dogs and appear to be species-specific. The molecular epidemiology of G. lamblia in humans and dogs was assessed in an endemic region of Lima, Peru. With one exception, dogs were found to harbor the C and D dog genotypes of G. lamblia. A single family dog was found to harbor a human genotype of G. lamblia. A2 and B genotypes of G. lamblia, but not A1, were found in humans in the endemic region. Previous literature reported that A2 and B typing within genotype tools were available, however the A2 samples from the endemic region could not be distinguished from one another through nucleotide polymorphism sequence analysis. A molecular typing technique was developed to type A2 samples. The extensive sequence analysis performed on two chromosomes of G. lamblia, yielded different phylogenetic tree groupings for the same samples. This lead to algorithmic analysis, which demonstrated a significantly high probability that meiotic recombination is occurring in the A2 samples of G. lamblia. As G. lamblia is largely believed to be asexual, the conclusion of doctoral research performed in this study yielded controversial, yet significant evidence that sex in G. lamblia A2 genotype samples is indeed occurring.
Advisors/Committee Members: Sterling, Charles R (advisor), Adam, Rodney D. (committeemember), Joens, Lynn (committeemember), Wolk, Donna (committeemember), Jost, B. Helen (committeemember).
Subjects/Keywords: Giardia;
zoonotic transmission;
sexual recombination;
subtyping;
genotyping;
molecular typing
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Cooper, M. (2006). Molecular Typing of Giardia lamblia in Humans and Dogs and Evidence for Sexual Recombination
. (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/195546
Chicago Manual of Style (16th Edition):
Cooper, Margarethe. “Molecular Typing of Giardia lamblia in Humans and Dogs and Evidence for Sexual Recombination
.” 2006. Doctoral Dissertation, University of Arizona. Accessed January 17, 2021.
http://hdl.handle.net/10150/195546.
MLA Handbook (7th Edition):
Cooper, Margarethe. “Molecular Typing of Giardia lamblia in Humans and Dogs and Evidence for Sexual Recombination
.” 2006. Web. 17 Jan 2021.
Vancouver:
Cooper M. Molecular Typing of Giardia lamblia in Humans and Dogs and Evidence for Sexual Recombination
. [Internet] [Doctoral dissertation]. University of Arizona; 2006. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/10150/195546.
Council of Science Editors:
Cooper M. Molecular Typing of Giardia lamblia in Humans and Dogs and Evidence for Sexual Recombination
. [Doctoral Dissertation]. University of Arizona; 2006. Available from: http://hdl.handle.net/10150/195546

University of Maryland
28.
Crowley, Michael Joseph.
SUBTYPING BOYS WITH CONDUCT PROBLEMS: CATEGORICAL AND DIMENSIONAL APPROACHES WITH MULIT-MODAL ASSESSMENT OF PSYCHOPHYSIOLOGY AND BEHAVIOR.
Degree: Psychology, 2004, University of Maryland
URL: http://hdl.handle.net/1903/2062
► This study examined the physiological and behavioral profile of a group of clinically referred boys (ages 8-12 years) with severe conduct problems. Cerebral EEG asymmetry,…
(more)
▼ This study examined the physiological and behavioral profile of a group of clinically referred boys (ages 8-12 years) with severe conduct problems. Cerebral EEG asymmetry, fear potentiated startle and cardiac functioning were assessed along with maternal reports of severe antisocial behavior and behavioral measures of reward seeking, reward dominance, and laboratory aggression. Drawing on research seeking to extend the concept of psychopathy to younger populations, this study implemented the Antisocial Process Screening Device (APSD; Frick & Hare, 2001) an assessment instrument designed to assess psychopathic characteristics in children. Two groups of clinically referred children with externalizing problems were screened from an outpatient psychiatry clinic, one with elevated scores on the APSD (> 25) and a second group with externalizing problems but without elevated scores on the APSD (< 20). A third group of comparison boys was recruited from the community.
Findings did not support a fear deficit specific to boys with APSD elevations, but rather suggested under some conditions these children may have exaggerated startle reactivity. High APSD boys sought rewards to a greater extent than other clinically referred externalizing boys on a point-subtraction game, but not more than comparison boys. The point-subtraction game did not differentiate groups of boys on aggressive responding. Boys with elevated APSD scores were rated as displaying greater overt and covert antisocial behavior problems than clinically referred boys without high APSD scores.
A dimensional perspective was explored as an alternative to the categorical (
subtyping) approach. When disruptive behavior disorder measures were treated as continuous dimensions, the APSD was not the criterion most strongly accounted for by predictor variables. Broadband externalizing behavior problems were more strongly associated with indicators of approach motivation and fear reactivity, including resting frontal asymmetry and startle change during threat and safety. Similarly these variables were associated with an oppositional defiant symptom dimension. Regression analyses that focused specifically fear reactivity and insensitivity to punishment for predicting callous-unemotional traits indicated that the door-opening task, startle change during safety and harm avoidance each accounted for unique variance.
Advisors/Committee Members: Fox, Nathan A (advisor).
Subjects/Keywords: Psychology, Clinical; conduct problems; psychophysiology; psychopathy; subtyping
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Crowley, M. J. (2004). SUBTYPING BOYS WITH CONDUCT PROBLEMS: CATEGORICAL AND DIMENSIONAL APPROACHES WITH MULIT-MODAL ASSESSMENT OF PSYCHOPHYSIOLOGY AND BEHAVIOR. (Thesis). University of Maryland. Retrieved from http://hdl.handle.net/1903/2062
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Crowley, Michael Joseph. “SUBTYPING BOYS WITH CONDUCT PROBLEMS: CATEGORICAL AND DIMENSIONAL APPROACHES WITH MULIT-MODAL ASSESSMENT OF PSYCHOPHYSIOLOGY AND BEHAVIOR.” 2004. Thesis, University of Maryland. Accessed January 17, 2021.
http://hdl.handle.net/1903/2062.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Crowley, Michael Joseph. “SUBTYPING BOYS WITH CONDUCT PROBLEMS: CATEGORICAL AND DIMENSIONAL APPROACHES WITH MULIT-MODAL ASSESSMENT OF PSYCHOPHYSIOLOGY AND BEHAVIOR.” 2004. Web. 17 Jan 2021.
Vancouver:
Crowley MJ. SUBTYPING BOYS WITH CONDUCT PROBLEMS: CATEGORICAL AND DIMENSIONAL APPROACHES WITH MULIT-MODAL ASSESSMENT OF PSYCHOPHYSIOLOGY AND BEHAVIOR. [Internet] [Thesis]. University of Maryland; 2004. [cited 2021 Jan 17].
Available from: http://hdl.handle.net/1903/2062.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Crowley MJ. SUBTYPING BOYS WITH CONDUCT PROBLEMS: CATEGORICAL AND DIMENSIONAL APPROACHES WITH MULIT-MODAL ASSESSMENT OF PSYCHOPHYSIOLOGY AND BEHAVIOR. [Thesis]. University of Maryland; 2004. Available from: http://hdl.handle.net/1903/2062
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
29.
El Safadi, Dima.
Epidémiologie moléculaire, facteurs de risque de transmission et pathogénicité du protiste parasite Blastocystis sp. : Molecular epidemiology, risk factors of transmission and pathogenicity of protist parasite Blastocystis sp.
Degree: Docteur es, Parasitologie et mycologie, 2014, Université Lille II – Droit et Santé
URL: http://www.theses.fr/2014LIL2S045
► Blastocystis est un protozoaire anaérobie trouvé dans le tube digestif de l’homme et de nombreux animaux. Il est à ce jour le parasite intestinal le…
(more)
▼ Blastocystis est un protozoaire anaérobie trouvé dans le tube digestif de l’homme et de nombreux animaux. Il est à ce jour le parasite intestinal le plus fréquemment retrouvé dans les selles humaines. Dix-sept sous-types (ST1 à ST17) ont été décrits en se basant sur la comparaison des séquences du gène de l’ARNr 18S. L’infection à Blastocystis est associée à une variété de troubles gastro-intestinaux et plusieurs études suggèrent une corrélation entre la pathogénicité et le ST du parasite. Trois différents axes de recherche ont été développés. Le premier s’est focalisé sur la prévalence et la biodiversité génétique de ce parasite dans les populations humaines. Des études épidémiologiques ont été menées en France et au Liban mais aussi en Afrique en réalisant la première enquête au Sénégal. Le sous-typage des isolats a été réalisé par PCR en temps réel en ciblant un domaine du gène de l’ARNr 18S suivi d’un séquençage direct du produit de PCR. Au Liban, la prévalence de Blastocystis était de 20% dans la population globale avec une corrélation entre le ST1 et le développement de symptômes gastro-intestinaux. Dans le même pays, cette prévalence dépassait les 60% chez des patients symptomatiques et des écoliers. Au Sénégal, la prévalence observée est la plus importante jamais décrite pour ce parasite puisqu’elle atteignait 100% dans une population d’une centaine d’enfants vivant en milieu rural. Ces données soulignent l’impact socioéconomique de la blastocystose dans les pays en développement où les conditions sanitaires sont souvent précaires. En France, une prévalence importante de 18% a pourtant été observée dans une large étude épidémiologique englobant des patients présentant ou non des symptômes et suivis dans 11 hôpitaux répartis sur tout le territoire français. Le ST3 est prédominant suivi des STs 1, 2 et 4 comme dans une majorité de pays à travers le monde. Le deuxième axe s’est concentré sur l’identification des facteurs de risque de transmission de Blastocystis à l’homme. Le parasite a été recherché dans les selles de vaches et de patients ainsi que dans des échantillons d’eau consommée par l’homme et les animaux dans une région géographique limitée du Nord Liban. 30% des échantillons humains, 69% des échantillons d'eau et 80% des échantillons de bovins étaient positifs pour le parasite. Le ST3 était prédominant dans les échantillons humains et d’eau suivi des ST1, ST2 et ST4. Par contre, ST10 et ST14 étaient prédominants chez les bovins mais ces deux STs n’ont pas été retrouvés dans les autres types d’échantillons. Pour expliquer l'absence des ST10 et ST14 dans ces échantillons, une transmission de ces STs par contact direct entre les bovins et/ou l'absence de formes kystiques transmissibles pour ces STs ont été proposées. Ce parasite a aussi été recherché dans les selles de nombreux groupes d’animaux du zoo de La Palmyre en France. Nous avons montré que près de 40% des selles analysés étaient positives pour Blastocystis et identifié de nouveaux réservoirs d'infections pour l’homme chez les carnivores. La…
Advisors/Committee Members: Hamze, Monzer (thesis director), Viscogliosi, Eric (thesis director), Dabboussi, Fouad (thesis director).
Subjects/Keywords: Blastocystis sp.; Parasites intestinaux; Pathogénicité; Blastocystis sp.; Intestinal parasite; Molecular epidemiology; Pathogenicity; PCR; Subtyping; Transmission; Zoonosis
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
El Safadi, D. (2014). Epidémiologie moléculaire, facteurs de risque de transmission et pathogénicité du protiste parasite Blastocystis sp. : Molecular epidemiology, risk factors of transmission and pathogenicity of protist parasite Blastocystis sp. (Doctoral Dissertation). Université Lille II – Droit et Santé. Retrieved from http://www.theses.fr/2014LIL2S045
Chicago Manual of Style (16th Edition):
El Safadi, Dima. “Epidémiologie moléculaire, facteurs de risque de transmission et pathogénicité du protiste parasite Blastocystis sp. : Molecular epidemiology, risk factors of transmission and pathogenicity of protist parasite Blastocystis sp.” 2014. Doctoral Dissertation, Université Lille II – Droit et Santé. Accessed January 17, 2021.
http://www.theses.fr/2014LIL2S045.
MLA Handbook (7th Edition):
El Safadi, Dima. “Epidémiologie moléculaire, facteurs de risque de transmission et pathogénicité du protiste parasite Blastocystis sp. : Molecular epidemiology, risk factors of transmission and pathogenicity of protist parasite Blastocystis sp.” 2014. Web. 17 Jan 2021.
Vancouver:
El Safadi D. Epidémiologie moléculaire, facteurs de risque de transmission et pathogénicité du protiste parasite Blastocystis sp. : Molecular epidemiology, risk factors of transmission and pathogenicity of protist parasite Blastocystis sp. [Internet] [Doctoral dissertation]. Université Lille II – Droit et Santé 2014. [cited 2021 Jan 17].
Available from: http://www.theses.fr/2014LIL2S045.
Council of Science Editors:
El Safadi D. Epidémiologie moléculaire, facteurs de risque de transmission et pathogénicité du protiste parasite Blastocystis sp. : Molecular epidemiology, risk factors of transmission and pathogenicity of protist parasite Blastocystis sp. [Doctoral Dissertation]. Université Lille II – Droit et Santé 2014. Available from: http://www.theses.fr/2014LIL2S045

University of Cincinnati
30.
Zaturenskaya, Mariya.
The Effect of Chronic Fatigue Syndrome Severity Subtype on
Treatment Responsiveness.
Degree: MA, Arts and Sciences : Psychology, 2010, University of Cincinnati
URL: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1268426679
► The current study investigated whether individuals with greater severity of CFS are differentially affected on measures of physical functioning, quality of life, perceived stress, activity…
(more)
▼ The current study investigated whether individuals
with greater severity of CFS are differentially affected on
measures of physical functioning, quality of life, perceived
stress, activity level and employment status by non-pharmacological
interventions in a sample of individuals diagnosed with CFS
(N=114). A series of ANOVAs indicated that no significant
interaction effects were found in physical functioning, quality of
life, perceived stress and activity level between individuals with
different degrees of severity of CFS. Fisher’s exact test revealed
no significant differences between the more and less severe groups
in terms of likeliness to improve, get worse, or remain the same in
regarding employment status following the intervention. Possible
explanations are discussed. One explanation for the study’s
findings relates to the appropriateness, sensitivity and
specificity of the stratifying strategy utilized in this study.
Using a stratification strategy that is not specific or sensitive
enough could have contributed to the inability of this study to
detect any differences between severity groups in treatment
responsiveness. Another explanation relates to the contamination of
the true severe CFS subgroup by the report of higher symptom
severity by individuals with concurrent FM and MCS diagnoses, who
may be reporting higher symptom severity due to the added burden of
the concurrent additional diagnoses rather than due to the more
severe type of CFS.
Advisors/Committee Members: Hovanitz, Christine (Committee Chair).
Subjects/Keywords: Chronic Fatigue Syndrome; CFS; subtyping; severity; treatment effectiveness
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zaturenskaya, M. (2010). The Effect of Chronic Fatigue Syndrome Severity Subtype on
Treatment Responsiveness. (Masters Thesis). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1268426679
Chicago Manual of Style (16th Edition):
Zaturenskaya, Mariya. “The Effect of Chronic Fatigue Syndrome Severity Subtype on
Treatment Responsiveness.” 2010. Masters Thesis, University of Cincinnati. Accessed January 17, 2021.
http://rave.ohiolink.edu/etdc/view?acc_num=ucin1268426679.
MLA Handbook (7th Edition):
Zaturenskaya, Mariya. “The Effect of Chronic Fatigue Syndrome Severity Subtype on
Treatment Responsiveness.” 2010. Web. 17 Jan 2021.
Vancouver:
Zaturenskaya M. The Effect of Chronic Fatigue Syndrome Severity Subtype on
Treatment Responsiveness. [Internet] [Masters thesis]. University of Cincinnati; 2010. [cited 2021 Jan 17].
Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1268426679.
Council of Science Editors:
Zaturenskaya M. The Effect of Chronic Fatigue Syndrome Severity Subtype on
Treatment Responsiveness. [Masters Thesis]. University of Cincinnati; 2010. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1268426679
◁ [1] [2] ▶
.