Relevant bibliographies by topics / Disjunctions

Contents

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

Academic literature on the topic 'Disjunctions'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 February 2022

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

Select a source type:

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

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

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

Journal articles on the topic "Disjunctions"

1

RINALDI, DAVIDE, PETER SCHUSTER, and DANIEL WESSEL. "ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION." Bulletin of Symbolic Logic 23, no. 2 (2017): 181–200. http://dx.doi.org/10.1017/bsl.2017.13.

Full text
Abstract:
AbstractCompleteness and other forms of Zorn’s Lemma are sometimes invoked for semantic proofs of conservation in relatively elementary mathematical contexts in which the corresponding syntactical conservation would suffice. We now show how a fairly general syntactical conservation theorem that covers plenty of the semantic approaches follows from an utmost versatile criterion for conservation given by Scott in 1974.To this end we work with multi-conclusion entailment relations as extending single-conclusion entailment relations. In a nutshell, the additional axioms with disjunctions in positive position can be eliminated by reducing them to the corresponding disjunction elimination rules, which in turn prove admissible in all known mathematical instances. In deduction terms this means to fold up branchings of proof trees by way of properties of the relevant mathematical structures.Applications include the syntactical counterparts of the theorems or lemmas known under the names of Artin–Schreier, Krull–Lindenbaum, and Szpilrajn. Related work has been done before on individual instances, e.g., in locale theory, dynamical algebra, formal topology and proof analysis.
APA, Harvard, Vancouver, ISO, and other styles
2

Rinaldi, Davide, Peter Schuster, and Daniel Wessel. "Eliminating disjunctions by disjunction elimination." Indagationes Mathematicae 29, no. 1 (2018): 226–59. http://dx.doi.org/10.1016/j.indag.2017.09.011.

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

Tschumi, Bernard. "Disjunctions." Perspecta 23 (1987): 108. http://dx.doi.org/10.2307/1567111.

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

Donoghue, Michael J., and Stephen A. Smith. "Patterns in the assembly of temperate forests around the Northern Hemisphere." Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences 359, no. 1450 (2004): 1633–44. http://dx.doi.org/10.1098/rstb.2004.1538.

Full text
Abstract:
Recent studies of Northern Hemisphere biogeography have highlighted potentially significant differences between disjunction patterns in plants versus animals. To assess such differences, we compiled a larger sample of relevant plant phylogenies from which disjunction patterns, ancestral areas and directions of movement could be inferred. We considered 66 plant clades with species variously endemic today to eastern Asia (EA), Europe (including southwestern Asia), eastern North America (ENA), and/or western North America (WNA). Within these clades we focused on 100 disjunctions among these major areas, for 33 of which absolute divergence times have also been inferred. Our analyses uphold the view that disjunctions between EA and ENA are exceptionally common in plants, apparently more so than in animals. Compared with animals, we find few disjunctions between EA and WNA, consistent with increased extinction in WNA or failure of some groups to colonize that region. Taken at face value, our data also support the view that many temperate forest plant groups originated and diversified within EA, followed by movement out of Asia at different times, but mostly during the last 30 Myr. This favours Beringia over a North Atlantic land bridge as the primary path between the Old World and the New World. Additional studies are needed, especially to evaluate the impacts of differential extinction on these patterns, to more confidently establish divergence times, and to assess the statistical significance of these findings. Fortunately, many more plant groups show relevant disjunction patterns and could soon be added to such analyses.
APA, Harvard, Vancouver, ISO, and other styles
5

WILLIAMSON, MARK. "Oceanic disjunctions." Nature 351, no. 6322 (1991): 106. http://dx.doi.org/10.1038/351106c0.

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

Zaki, Mohammed J., Naren Ramakrishnan, and Lizhuang Zhao. "Mining Frequent Boolean Expressions." International Journal of Knowledge Discovery in Bioinformatics 1, no. 3 (2010): 68–96. http://dx.doi.org/10.4018/jkdb.2010070105.

Full text
Abstract:
Regulatory network analysis and other bioinformatics tasks require the ability to induce and represent arbitrary boolean expressions from data sources. In this paper, the authors introduce a novel framework called BLOSOM for mining (frequent) boolean expressions over binary-valued datasets. Boolean expressions can be grouped into four categories: pure conjunctions, pure disjunctions, conjunction of disjunctions, and disjunction of conjunctions. The authors’ main focus is on mining the simplest expressions (the minimal generators), but also to propose closure operators that yield closed (or unique maximal) boolean expressions. BLOSOM efficiently mines frequent boolean expressions by utilizing a number of methodical pruning techniques. Experiments showcase the behavior of BLOSOM for different input settings and parameter thresholds. Application studies on gene expression and gene regulation patterns showcase the effectiveness of this approach.
APA, Harvard, Vancouver, ISO, and other styles
7

Crawford, Daniel, Nam Lee, and Tod Stuessy. "Plant Species Disjunctions." Aliso 13, no. 2 (1992): 395–409. http://dx.doi.org/10.5642/aliso.19921302.10.

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

Broxvall, Mathias, Peter Jonsson, and Jochen Renz. "Disjunctions, independence, refinements." Artificial Intelligence 140, no. 1-2 (2002): 153–73. http://dx.doi.org/10.1016/s0004-3702(02)00224-2.

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

Chevallier, Coralie, Ira A. Noveck, Tatjana Nazir, Lewis Bott, Valentina Lanzetti, and Dan Sperber. "Making disjunctions exclusive." Quarterly Journal of Experimental Psychology 61, no. 11 (2008): 1741–60. http://dx.doi.org/10.1080/17470210701712960.

Full text
Abstract:
This work examines how people interpret the sentential connective “or”, which can be viewed either inclusively (A or B or both) or exclusively (A or B but not both). Following up on prior work concerning quantifiers (Bott & Noveck, 2004; Noveck, 2001; Noveck & Posada, 2003), which shows that the common pragmatic interpretation of “some”, some but not all, is conveyed as part of an effortful step, we investigate how extra effort applied to disjunctive statements leads to a pragmatic interpretation of “or”, or but not both. Experiment 1 compelled participants to wait for three seconds before answering, hence giving them the opportunity to process the utterance more deeply. Experiments 2 and 3 emphasized “or”, either by visual means (“OR”) or by prosodic means (contrastive stress) as another way to encourage participants to apply more effort. Following a relevance-theoretic line of argument, we hypothesized that conditions encouraging more processing effort would give rise to more pragmatic inferences and hence to more exclusive interpretations of the disjunction. This prediction was confirmed in the three experiments.
APA, Harvard, Vancouver, ISO, and other styles
10

Galindo-Legaria, César A. "Outerjoins as disjunctions." ACM SIGMOD Record 23, no. 2 (1994): 348–58. http://dx.doi.org/10.1145/191843.191908.

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

Dissertations / Theses on the topic "Disjunctions"

1

Schmidt, Mimmi. "Land Disjunctions; A historical survey." Thesis, KTH, Fastigheter och byggande, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-147648.

Full text
Abstract:
Parcelling was a land divison institution that was used intensively in Sweden during the years 1827-1928. The parcelling consisted of one person selling a certain, decided piece of land to another. The deal was sealed with a simple contract. Whilst the seller was a member of the villages commonities and his land was assigned a quantity in the village, and he was bound to pay tax responding to that quantity, the sold parcel was not. In order not to reduce the land owners taxability, the buyer was therefore required to pay an annual fee to the seller. This fee was to be approved by the county administration, and the buyer also had to apply for Title Deed to have the transfer approved. These approvals were for a long time the only points of control toward parcelling. Involvement of a land surveyor was not a required part of the parcelling process until year 1918. Parcelling was terminated in 1928, but the parcels created before then are independent real estate units just like any other. This means that they sometimes are affected by land regulations and surveys just like any other real estate. When investigating the contents of these parcels the contract, past claims and other factors shall be used, to search out the initial purpose of the transfer. The contract that seller and buyer signed is the main source of evidence. Unfortunately, the contracts do not always answer the questions that may arise over time. Maps were not always made, and even when they were, they might have disappeared over time or simply be unspecific. What then remains are past claims and other circumstances to provide clues about what the purpose may once have been. The questions that arise when a parcel is to be investigated often concern its borders, wether water was included, fishing rights as well as other rights and commonities. The issue of water for these parcels has been particularly contentious. Legal practice has concluded that there are no presumptions, although such have been suggested and sometimes applied. There are however a number of scenarios where water and fishing in principle can be considered to have been part of the transfer.
Denna rapport redovisar ett examensarbete som syftat till att genom en litteraturstudie kart-lägga ett äldre jorddelningsinstitut, jordavsöndring. Jordavsöndring var ett jorddelningsinstitut, som fanns i svensk lagstiftning åren 1827-1928. Innan dess förekom också jorddelning som liknade jordavsöndring, men det var i allmänhet förbjudet att dela jord eftersom staten var beroende av skatteintäkter från jordägarna. Jordavsöndring gick, något generaliserat, till så att en person genom ett avtal sålde ett bestämt markområde till en annan. Med detta markområde – avsöndringslägenheten, jordavsöndring-en, avsöndringslotten – följde inte något mantal i byn och heller ingen skattskyldighet. För att inte minska skattekraften i stamfastigheten var köparen skyldig att betala en årlig avgift till säljaren. Den här avgiften skulle godkännas av länsstyrelsen, och köparen skulle söka lagfart för att få överlåtelsen godkänd. Dessa godkännanden var länge den enda kontrollen som gjordes vid avsöndring. Lantmätares inblandning blev inte en nödvändig del i avsöndringsprocessen för-rän år 1918. Jordavsöndringsinstitutet togs bort 1928, men fastigheter som avsöndrats innan dess är själv-ständiga fastigheter som alla andra. Det innebär att de blir berörda av lantmäteriförrättningar precis som alla andra fastigheter ibland blir. Vid bestämning av gränser till en avsöndrad fastighet ska överlåtelsehandlingar, innehav, och andra omständigheter användas för att söka syftet med avsöndringen. Det avtal som säljare och köpare tecknade är den viktigaste beviskällan när man ska utreda vad som ingår i en av-söndrad fastighet. Tyvärr erbjuder avtalen inte alltid svar på de frågor som kan uppstå med tiden. Kartor har inte alltid upprättats, och även när de har upprättats så är de inte alltid till hjälp. Kvar står sedan innehav och andra omständigheter att ge ledtrådar om vad syftet en gång kan ha varit. De frågetecken som uppstår när en avsöndring ska utredas rör ofta gränser, vattenområden och rätt till fiske samt rättigheter och samfälligheter. Frågan om vattenområdens tillhörighet för avsöndringar har varit särskilt omtvistad. Praxis har utvecklats till att det inte finns någon presumtionsregel, även om det har varit på förslag och i perioder har tillämpats. Det finns ett antal typfall där vatten och fiske principiellt kan anses ha ingått vid avsöndring.
APA, Harvard, Vancouver, ISO, and other styles
2

SILVA, Marcos Aurélio Almeida da. "CHORD: constraint handling object-oriented rules with disjunctions." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1955.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:53:28Z (GMT). No. of bitstreams: 2 arquivo1916_1.pdf: 1434494 bytes, checksum: 1b590044040a8dcd13c8953148aade5a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Constraint Handling Object-oriented Rules with Disjunctions (CHORD), é uma extensão orientada a objetos (OO) de CHRv, uma linguagem relacional baseada em regras que foi inicialmente desenhada para a especificação em caixa branca de resolvedores de restrições mas veio a mostrar-se uma linguagem bastante flexível. Flexibilidade esta que vêm sendo demonstrada nos últimos anos pelo grande número de serviços de raciocínio e algoritmos que foram descritos concisamente por meio desta linguagem. Para definir a sintaxe de nossa extensão, nós nos baseamos na abordagem seguida na extensão de Prolog realizada por Frame Logic que é similar à nossa, na qual, a sintaxe de frames foi introduzida para representar construtores OO em cima dos relacionais originais. Além disso, em vez de forçar o usuário (programador) a se adequar à uma semântica pré-definida para esses novos construtores, nós escolhemos uma estratégia inovadora: desacoplar a sintaxe da semântica da linguagem permitindo que o conjunto de hipóteses semânticas seja totalmente configurável. Estes avanços claramente contribuem para o domínio do Raciocínio Automático e da Representação do Conhecimento (AR/KR), dentro do qual CHRv é a linguagem de representa ção do conhecimento mais versátil. Este trabalho também permite a integração dos serviços de raciocínio já providos por CHRv ao estado da arte em linguagens orientadas a objetos reduzindo a quebra de paradigma entre elas. Há também contribuições a outros domínios: em programação declarativa, ao disponibilizar a primeira linguagem a integrar as formas mais poderosas de programação orientada a objetos, baseada em regras e baseada em restrições. No domínio da Web Semântica, nós mostramos que nossa linguagem generaliza a semântica de três dos mais importantes padrões de linguagem de representação do conhecimento, provendo uma solução para o problema recorrente de integração nesta área. No domínio da engenharia guiado por modelos (MDE), este trabalho provê o primeiro mapeamento semântico para modelos UML/OCL, MOF/OCL e transformações de modelo explícitamente configurável e com fundamentação axiomática declarativa e operacional em CFOL. Neste trabalho nós apresentamos as sintaxes abstrata e contreta de CHORD, suas semânticas operacional e declarativa em CFOL, e uma ontologia de hipóteses semânticas para herança. Para validá-lo, nós apresentamos três estudos de caso mostrando que CHORD generaliza UML/OCL, Frame Logic e OWL
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Huisong. "Shape abstractions with support for sharing and disjunctions." Thesis, Paris Sciences et Lettres (ComUE), 2018. http://www.theses.fr/2018PSLEE060.

Full text
Abstract:
L'analyse statique des programmes permet de calculer automatiquement des propriétés sémantiques valides pour toutes les exécutions. En particulier, dans le cas des programmes manipulant des structures de données complexes en mémoire, l'analyse statique peut inférer des invariants utiles pour prouver la sûreté des accès à la mémoire ou la préservation d'invariants structurels. Beaucoup d'analyses de ce type manipulent des états mémoires abstraits représentés par des conjonctions en logique de séparation dont les prédicats de base décrivent des blocs de mémoire atomiques ou bien résument des régions non-bornées de la mémoire telles que des listes ou des arbres. De telles analyses utilisent souvent des disjonctions finies d’états mémoires abstraits afin de mieux capturer leurs dissimilarités. Les analyses existantes permettent de raisonner localement sur les zones mémoires mais présentent les inconvénients suivants: (1) Les prédicats inductifs ne sont pas assez expressifs pour décrire précisément toutes les structures de données dynamiques, du fait de la présence de pointeurs vers des parties arbitraires (i.e., non-locales) de ces structures ; (2) Les opérations abstraites correspondant à des accès en lecture ou en écriture sur ces prédicats inductifs reposent sur une opération matérialisant les cellules mémoires correspondantes. Cette opération de matérialisation crée en général de nouvelles disjonctions, ce qui nuit à l'impératif d'efficacité. Hélas, les prédicats exprimant des contraintes de structure locale ne sont pas suffisants pour déterminer de façon adéquate les ensembles de disjonctions devant être fusionnés, ni pour définir les opérations d'union et d'élargissement d'états abstraits. Cette thèse est consacrée à l'étude et la mise au point de prédicats en logique de séparation permettant de décrire des structures de données dynamiques, ainsi que des opérations abstraites afférentes. Nous portons une attention particulière aux opérations d'union et d'élargissement d’états abstraits. Nous proposons une méthode pratique permettant de raisonner globalement sur ces états mémoires au sein des méthodes existantes d'analyse de propriétés structurelles et autorisant la fusion précise et efficace de disjonctions. Nous proposons et implémentons une abstraction structurelle basée sur les variables d'ensembles qui lorsque elle est utilisée conjointement avec les prédicats inductifs permet la spécification et l'analyse de propriétés structurelles globales. Nous avons utilisé ce domaine abstrait afin d'analyser une famille de programmes manipulant des graphes représentés par liste d'adjacence. Nous proposons un critère sémantique permettant de fusionner les états mémoires abstraits similaires en se basant sur leur silhouette, cette dernière représentant certaines propriétés structurelles globales vérifiées par l'état correspondant. Les silhouettes s'appliquent non seulement à la fusion de termes dans les disjonctions d'états mémoires mais également à l'affaiblissement de conjonctions de prédicats de logique de séparation en prédicats inductifs. Ces contributions nous permettent de définir des opérateurs d’union et d'élargissement visant à préserver les disjonctions requises pour que l'analyse se termine avec succès. Nous avons implémenté ces contributions au sein de l'analyseur MemCAD et nous en avons évaluées l'impact sur l'analyse de bibliothèques existantes écrites en C et implémentant différentes structures de données, incluant des listes doublement chaînées, des arbres rouge-noir, des arbres AVL et des arbres "splay". Nos résultats expérimentaux montrent que notre approche est à même de contrôler la taille des disjonctions à des fins de performance sans pour autant nuire à la précision de l'analyse
Shape analyses rely on expressive families of logical properties to infer complex structural invariants, such that memory safety, structure preservation and other memory properties of programs dealing with dynamic data structures can be automatically verified. Many such analyses manipulate abstract memory states that consist of separating conjunctions of basic predicates describing atomic blocks or summary predicates that describe unbounded heap regions like lists or trees using inductive definitions. Moreover, they use finite disjunctions of abstract memory states in order to take into account dissimilar shapes. Although existing analyses enable local reasoning of memory regions, they do, however, have the following issues: (1) The summary predicates are not expressive enough to describe precisely all the dynamic data structures. In particular, a fairly large number of data structures with unbounded sharing, such as graphs, cannot be described inductively in a local manner; (2) Abstract operations that read or write into summaries rely on materialization of memory cells. The materialization operation in general creates new disjunctions, yet the size of disjunctions should be kept small for the sake of efficiency. However, local predicates are not enough to determine the right set of disjuncts that should be clumped together and to define precise abstract join and widen operations. In this thesis, we study separating conjunction-based shape predicates and the related abstract operations, in particular, abstract joining and widening operations that lead to critical modifications of abstract states. We seek a lightweight way to enable some global reasoning in existing shape analyses such that shape predicates are more expressive for abstracting data structures with unbounded sharing and disjuncts can be clumped precisely and efficiently. We propose a shape abstraction based on set variables that when integrated with inductive definitions enables the specification and shape analysis of structures with unbounded sharing. We implemented the shape analysis domain by combining a separation logic-based shape abstract domain of the MemCAD analyzer and a set abstract domain, where the set abstractions are used to track unbounded pointer sharing properties. Based on this abstract domain, we analyzed a group of programs dealing with adjacency lists of graphs. We design a general semantic criterion to clump abstract memory states based on their silhouettes that express global shape properties, \ie, clumping abstract states when their silhouettes are similar. Silhouettes apply not only to the conservative union of disjuncts but also to the weakening of separating conjunctions of memory predicates into inductive summaries. Our approach allows us to define union and widening operators that aim at preserving the case splits that are required for the analysis to succeed. We implement this approach in the MemCAD analyzer and evaluate it on real-world C libraries for different data structures, including doubly-linked lists, red-black trees, AVL-trees and splay-trees. The experimental results show that our approach is able to keep the size of disjunctions small for scalability and preserve case splits that takes into account dissimilar shapes for precision
APA, Harvard, Vancouver, ISO, and other styles
4

McBane, Barbara. "Asynchronicities: sound-image disjunctions, deviant meanings, and Euro-American cinema /." Diss., Digital Dissertations Database. Restricted to UC campuses, 2007. http://uclibs.org/PID/11984.

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

Vigilante, Maria Carleton University Dissertation Political Science. "Bodies of language and languages of power; feminism and its disjunctions." Ottawa, 1987.

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

Maharaj, Shakira. "Disjunctions and convergences: a study of stakeholders' perceptions of public participation in service delivery in Cape Town's Blikkiesdorp." Master's thesis, University of Cape Town, 2012. http://hdl.handle.net/11427/11964.

Full text
Abstract:
Includes abstract.
Includes bibliographical references.
This study aimed to investigate the disjunctions and convergences between key stakeholder groups' perceptions of a public participatory relationship between The City of Cape Town Municipality and the Blikkiesdorp community. The key instruments for this research were semi-structured interviews, observation periods and documentary sources which included The White Paper on Local Government (1998), The Batho Pele Handbook (2009) and the National Policy Framework of Public Participation (2007). This analysis was conducted on a single case study in order to gain in-depth information about key stakeholder perceptions.
APA, Harvard, Vancouver, ISO, and other styles
7

Belluigi, Dina Zoe. "Excavating the 'critique' : an investigation into disjunctions between the espoused and the practiced within a Fine Art studio practice curriculum." Thesis, Rhodes University, 2008. http://hdl.handle.net/10962/d1003413.

Full text
Abstract:
This report presents the findings of a case study excavating the event of the ‘Critique’ (crit), the formative assessment method within a Fine Art Studio Practice curriculum. Arguments informed by critical postmodernism, education theories and contemporary art criticism are utilised to construct a dialectic of higher education, contemporary art and fine art studio practice. An emphasis is placed on the importance of agency, expressed through intentionality and critical thinking, with a recognition of the relationship between ‘the self’ and ‘the other’. Using critical discourse analysis, the disjunctions between the espoused and practiced curriculum are explored. The researcher analyses how the assessment practices of the case studied are influenced by unexamined agentic factors, such as inter-departmental relations, lecturers’ assumptions and prior learning, and structural determinants, such as the medium-specific Bachelor of Fine Art degree structure and prevailing artistic traditions. The research findings indicate that these are underpinned by tensions between two orientations, the espoused curriculum’s discourse-interest informed by critical theory, and the theory-in-use. The latter is shown to have unexamined modernist leanings towards formalism and a master-apprentice relationship between lecturer and students, which encourages reproduction rather than critical, creative thinking. The dominant discourses in the case studied construct a negative dialectic of the artist-student that can be seen to deny student agency and authorial responsibility. Findings suggest that students experience this as alienating, to the extent that to preserve their sense of self, they adopted surface and strategic approaches to learning. An argument is made for lecturers’ critically reflexive engagement with their teaching practice, and thereby to model ethical relationships between ‘self’ and ‘other’ during ‘crits’. In addition, emphasis is placed on how assessment practices should be more aligned with the espoused curriculum, so that the importance of a reflexive relationship between form and content, process and product, intentionality and interpretation is acknowledged.
APA, Harvard, Vancouver, ISO, and other styles
8

Carter, Matthew. "Perceptions and disjunctions in urban space exegesis submitted in partial fulfilment of the requirements for the degree of Master of Art & Design, AUT University, 2009 /." Click here to access this resource online, 2009. http://hdl.handle.net/10292/794.

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

Ji, Zheng. "Disjunction of narrative space." Virtual Press, 2004. http://liblink.bsu.edu/uhtbin/catkey/1305455.

Full text
Abstract:
"Book of architecture, as opposed to books about architecture, develop their own existence and logic, they are not directed at illustrating buildings or cities, but at searching for the ideas that underlie them."Bernard Tschumi (The Manhattan Transcripts)For me, after studying several years, architecture has become religion. The architecture design is no longer a creation but has become a discovery journey. The way to see and think is as important as design. This thesis is not going to show how I design, but how I see, how I think and how I understand the architecture.The aim of this thesis is to find a way to rethink architecture by examining the communication between observers, architecture and architect. By introducing the hypothesis of a communicative model, a structure that consists of the object and subject which involve in the interactive relationship needs to be addressed. For this purpose, structuralism linguistics is introduced to implement the analysis of the architecture. The structuralism linguistics directly deals with the interaction between object and subject. By the study, an ideological conclusion is presented, which I call projection.The second part is Guandong Museum Competition, which is completed when I worked in Eisenman Architects. As an example, this project not only shows the design, but also shows the relationships between several intertwined systems.The third part of this thesis is The Highline competition project which is my first attempt to implement the projection idea in the design. By applying the meaning layer structure derived from linguistics, the design offers a new architectural perception which is based on the understanding of the interactions between objects and subjects.
Department of Architecture
APA, Harvard, Vancouver, ISO, and other styles
10

Feng, Yu. "Disjunction of Regular Timing Diagrams." Digital WPI, 2010. https://digitalcommons.wpi.edu/etd-theses/1059.

Full text
Abstract:
"Timing diagrams are used in industrial practice as a specification language of circuit components. They have been formalized for efficient use in model checking. This formalization is often more succinct and convenient than the use of temporal logic. We explore the relationship between timing diagrams and temporal logic formulas by showing that closure under disjunction does not hold for timing diagrams. We give an algorithm that returns a disjunction (if any) of two given timing diagrams. We also give algorithms that decide satisfiability of a timing diagram and return exact time separations between events in a timing diagram. An Alloy specification for timing diagrams with one waveform has also been built."
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Disjunctions"

1

Symposium on "Tropical Intercontinental Disjunctions: Gondwana Breakup, Immigration from the Boreotropics, and Transoceanic Dispersal" (2002 University of Wisconsin, Madison). Tropical Intercontinental Disjunctions. University of Chicago Press, 2004.

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

Conjunctions and disjunctions. Arcade Pub., 1990.

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

McLean, George F., Charles Taylor, and José Casanova. Church and people: Disjunctions in a secular age. Council for Research in Values and Philosophy, 2012.

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

Holston, James. Insurgent citizenship: Disjunctions of democracy and modernity in Brazil. Princeton University Press, 2008.

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

Holston, James. Insurgent citizenship: Disjunctions of democracy and modernity in Brazil. Princeton University Press, 2007.

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

Citation and precedent: Conjunctions and disjunctions of German law and literature. Continuum, 2011.

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

Architecture and disjunction. MIT Press, 1996.

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

Architecture and disjunction. MIT Press, 1994.

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

Allan, Ramsay. Disjunction without tears. s.n., 1986.

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

The genealogy of disjunction. Oxford University Press, 1994.

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

Book chapters on the topic "Disjunctions"

1

Manlove, Colin. "Disjunctions." In Critical Thinking. Macmillan Education UK, 1989. http://dx.doi.org/10.1007/978-1-349-20194-5_7.

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

Manlove, Colin. "Multiple Disjunctions." In Critical Thinking. Macmillan Education UK, 1989. http://dx.doi.org/10.1007/978-1-349-20194-5_9.

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

Kuhad, Urvashi. "Contradictions through disjunctions." In Science Fiction and Indian Women Writers. Routledge India, 2021. http://dx.doi.org/10.4324/9781003058328-5.

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

Balas, Egon. "Cuts from General Disjunctions." In Disjunctive Programming. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00148-3_11.

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

Kwe, Stephen. "Learning disjunctions of features." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63577-7_57.

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

Koubarakis, Manolis. "Tractable disjunctions of linear constraints." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61551-2_82.

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

Salaita, Steven. "Conclusion Multicultural and Monocultural Disjunctions." In Arab American Literary Fictions, Cultures, and Politics. Palgrave Macmillan US, 2007. http://dx.doi.org/10.1057/9780230603370_6.

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

Ralbovský, Martin, and Tomáš Kuchař. "Using Disjunctions in Association Mining." In Advances in Data Mining. Theoretical Aspects and Applications. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73435-2_27.

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

Vennekens, Joost, Sofie Verbaeten, and Maurice Bruynooghe. "Logic Programs with Annotated Disjunctions." In Logic Programming. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27775-0_30.

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

Roy, Indrajit. "Disjunctions of democracy and liberalism." In Civility in Crisis. Routledge India, 2020. http://dx.doi.org/10.4324/9781003089810-4.

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

Conference papers on the topic "Disjunctions"

1

Kanza, Yaron, and Yehoshua Sagiv. "Computing full disjunctions." In the twenty-second ACM SIGMOD-SIGACT-SIGART symposium. ACM Press, 2003. http://dx.doi.org/10.1145/773153.773162.

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

Galindo-Legaria, César A. "Outerjoins as disjunctions." In the 1994 ACM SIGMOD international conference. ACM Press, 1994. http://dx.doi.org/10.1145/191839.191908.

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

Choi, Dong-Hoon, and Lawrence J. Henschen. "ON EXCLUSIVE DISJUNCTIONS IN DEDUCTIVE DATABASE." In Proceedings of the 3rd International Symposium on Database Systems for Advanced Applications. WORLD SCIENTIFIC, 1993. http://dx.doi.org/10.1142/9789814503730_0040.

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

Lu, Shen, Nathan B. Schroeder, and Harrison M. Kim. "Hybrid Power/Energy Generation System Design Through Multistage Design Optimization Problem With Complementarity Constraints." In ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/detc2010-28362.

Full text
Abstract:
The optimal design of hybrid power generation systems (HPGS) can significantly improve the economical and technical performance of power supply. However, the discrete-time simulation with logical disjunctions involved in HPGS design usually leads to a nonsmooth optimization model, to which well established techniques for smooth nonlinear optimization could not be directly applied. This paper proposes a multistage design optimization problem with complementarity constraints approach for HPGS design, which introduces a complementarity formulation of the nonsmooth logical disjunction, as well as a multistage decomposition framework, to ensure a fast local solution. A numerical study of a stand-alone hybrid photovoltaic (PV)/wind power generation system is presented to demonstrate the effectiveness of the proposed approach.
APA, Harvard, Vancouver, ISO, and other styles
5

Viswanath, Navin, and Rajshekhar Sunderraman. "Handling disjunctions in open world relational databases." In NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society. IEEE, 2008. http://dx.doi.org/10.1109/nafips.2008.4531248.

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

Cohen, Sara, and Yehoshua Sagiv. "An incremental algorithm for computing ranked full disjunctions." In the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium. ACM Press, 2005. http://dx.doi.org/10.1145/1065167.1065180.

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

Rajaraman, Anand, and Jeffrey D. Ullman. "Integrating information by outerjoins and full disjunctions (extended abstract)." In the fifteenth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1996. http://dx.doi.org/10.1145/237661.237717.

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

Carral, David, Irina Dragoste, and Markus Krötzsch. "Detecting Chase (Non)Termination for Existential Rules with Disjunctions." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/128.

Full text
Abstract:
The restricted chase is a sound and complete algorithm for conjunctive query answering over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its termination. Our criteria cannot always detect termination (the problem is undecidable), and we develop the first cyclicity criteria to show non-termination of the restricted chase. Experiments on real-world ontologies show that our acyclicity notions improve significantly over known criteria.
APA, Harvard, Vancouver, ISO, and other styles
9

Nakano, Mikio, and Akira Shimazu. "Translating a unification grammar with disjunctions into logical constraints." In the 36th annual meeting. Association for Computational Linguistics, 1998. http://dx.doi.org/10.3115/980691.980723.

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

Nakano, Mikio, and Akira Shimazu. "Translating a unification grammar with disjunctions into logical constraints." In the 17th international conference. Association for Computational Linguistics, 1998. http://dx.doi.org/10.3115/980432.980723.

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

Reports on the topic "Disjunctions"

1

Yates, Chris. Gender policy disjunction in education in Kenya: silence, spaces and the implications of vacuum. Institute of Education, University of London, 2009. http://dx.doi.org/10.35648/20.500.12413/11781/ii059.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography