Search

AlMoTh 2022

Schirrmacher Nicole Schirrmacher Separator logic and disjoint-paths logic Separator logic FO+conn and disjoint-paths logic FO+DP are extensions of first-order logic FO by connectivity predicates conn_k and [...] For the resulting logic we show that for every class of structures for which isomorphism is definable, the logic automatically captures PTime. To do so we argue that, in this logic, definable isomorphism [...] Fixpoint Logic Fixpoint Logic with Chop (FLC) extends the modal $\mu$-calculus with an operator for sequential composition between predicate transformers. This makes it an expressive modal fixpoint logic which

Section: FB3

Relevance:

100%

Externally Funded Research Projects

are often specified by logical means. A famous example of an algorithmic meta-theorem is Courcelle’s Theorem, stating that every property definable in monadic second-order logic can be decided in linear [...] class of graphs of bounded treewidth. A similar result for first-order logic states that every property definable in first-order logic can be decided in almost linear time on every nowhere dense class of [...] Sebastian Siebertz Project term: March 2021 - October 2025. First-order and monadic second-order logic play important roles in computer science. Besides the traditional connections with finite automata

Section: FB3

Relevance:

98%

A new publication by Ekaterina Brandtner and Prof. Freiling

entitled Is dominant logic a value or a liability? On the explorative turn in the German power utility industry , Brandtner and Freiling try to specify the role of "dominant logic" in an organisation. [...] the two authors ask the following questions: How can we re-conceptualize the construct of dominant logic to address both the driving and the hampering role in the case of explorative turns? Which factors

Section: FB7

Relevance:

96%

New Publication on Assessment of Patentability by Means of Semantic Patent Analysis

journal titled „Assessment of patentability by means of semantic patent analysis – A mathematical-logical approach“. Abstract To obtain patent protection, a patent must fulfill statutory patentability r [...] suggest a computer-based process for the assessment of patentability by means of a mathematical-logical approach comparing patents with semantic structures. In order to make such an assessment, we compare [...] Schnittker (2023). Assessment of patentability by means of semantic patent analysis – A mathematical-logical approach. World Patent Information, 73, Article 102182. https://doi.org/10.1016/j.wpi.2023.102182

Section: FB7

Relevance:

92%

Physio:logical! - a podcast

Physio:logical! – The podcast from the physiotherapy program Physiotherapy students and Jeremy Hookway demonstrated how learning can be creative and practical in their English module at Bremen University [...] University of Applied Sciences. With their project “Physio:logical!”, they deliberately stepped outside their comfort zone and produced exciting podcast episodes. In the episodes, the students talk about the

Section: Sites

Relevance:

89%

Young International Scholars Autumn Research School

us engage with the multiple contradictions of this particular logic of capitalism – in particular to rethink the Global South into this logic. To do so, the Autumn School will address the political economy [...] form of extensive tourism, or “data-mining”. Hence, today, extractivism has come to signify a global logic of current capitalist accumulation and valorisation which differs decisively from industrial capitalism

Section: FB9

Relevance:

86%

New DFG Project for the Manufacturing of Computer Chips

“HDL-basierte Synthese und Verifikation für programmierbare Logic-In-Memory Architektur” (HDL-based Synthesis and Verification for Programmable Logic-In-Memory Architecture) deals specifically with the question [...] must move in a new direction. Simultaneous Storage and Processing One solution could be so-called logic-in-memory computing, says Drechsler. “What’s new is that computers can store and process data in their

Section: Universität

Relevance:

86%

New Publication on Assessment of Patentability by Means of Semantic Patent Analysis

suggest a computer-based process for the assessment of patentability by means of a mathematical-logical approach comparing patents with semantic structures. In order to make such an assessment, we compare [...] Schnittker (2023). Assessment of patentability by means of semantic patent analysis – A mathematical-logical approach. World Patent Information, 73, Article 102182. https://doi.org/10.1016/j.wpi.2023.102182

Section: FB7

Relevance:

86%

Research Seminar

Mendez will speak in our seminar about First-order transductions of graphs on February 17, 9:00 am. Logical methods in Computer Science have a long history, as witnessed e.g. by the relative longevity of SQL [...] in relational database management. More recently, Courcelle’s theorem, which combines second-order logic and tree decompositions of graphs, showed that a many NP-complete algorithmic problems in graph theory [...] ns, which are a way to encode a graph within a structure using coloring and monadic second-order logic formulas. In this presentation we consider first-order transductions, for which the formulas have

Section: FB3

Relevance:

84%

Winter 2023/24

the first part of the lecture we develop axiomatic set theory (ZFC) in the framework of first-order logic, which forms the foundation of modern mathematics. We cover the axioms of set theory, ordinal numbers [...] mathematical structures, such as groups, fields, or graphs, from the point of view of mathematical logic. Many notions, such as homomorphisms, substructures, or free structures, that are commonly studied [...] models with desired properties from first-order theories and the expressive power of first-order logic. Sparsity - Graphs and algorithms 03-IMVT-SGA (03-ME-602.21) Vorlesung ECTS: 6 Termine: wöchentlich

Section: FB3

Relevance:

84%

Search

Narrow Search

Page type

Scope

AlMoTh 2022

Externally Funded Research Projects

A new publication by Ekaterina Brandtner and Prof. Freiling

New Publication on Assessment of Patentability by Means of Semantic Patent Analysis

Physio:logical! - a podcast

Young International Scholars Autumn Research School

New DFG Project for the Manufacturing of Computer Chips

New Publication on Assessment of Patentability by Means of Semantic Patent Analysis

Research Seminar

Winter 2023/24