About: Mathias Soeken

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Mathias Soeken Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

researcher ORCID ID = 0000-0002-0229-8766

Attributes	Values
rdf:type	Item
description	forskare (sv) ikertzailea (eu) 研究者 (ja) araştırmacı (tr) wetenschapper (nl) дослідник (uk) эрдэмтэн (mn) изилдөөчү (ky) researcher ORCID ID = 0000-0002-0229-8766 (en)
rdfs:label	Mathias Soeken (en) Mathias Soeken (nl) Mathias Soeken (es) Mathias Soeken (ast)
skos:prefLabel	Mathias Soeken (en) Mathias Soeken (nl) Mathias Soeken (es) Mathias Soeken (ast)
name	Mathias Soeken (en) Mathias Soeken (nl) Mathias Soeken (es) Mathias Soeken (ast)
Scopus author ID	wds:Q60013410-0311713A-3EE0-4989-88D4-35F54413120B
Scopus author ID	24825660000
given name	wds:Q60013410-9B342FEA-A699-404E-BEB6-ECDD36B081FC
given name	Mathias
instance of	wds:Q60013410-6DCAE10E-DAC5-47AC-8471-154A1789EFC2
instance of	Homo sapiens
zbMATH author ID	wds:Q60013410-c6989885-4a35-5e0f-bec4-89ba6d1bb6fe
zbMATH author ID	soeken.mathias
Google Scholar author ID	wds:Q60013410-413087A0-543E-4EC3-BBAE-C1B300F3C040
Google Scholar author ID	_J9JPrAAAAAJ
occupation	wds:Q60013410-3C7C98E0-6108-4EA4-B724-2EE4250DFFC0
sex or gender	wds:Q60013410-3748E52C-79DE-486C-92FD-3F07EE319124
VIAF ID	wds:Q60013410-CDC766ED-E650-4FD3-B3B5-79F4ACCDDBE9
GND ID	wds:Q60013410-4e85f883-2737-4f0c-b47b-1b4987fb69dc
DBLP author ID	wds:Q60013410-45056708-68C9-4E07-8365-3C5415F7D47D
IdRef ID	wds:Q60013410-addc15b8-7121-4dc2-b1c3-91f15114a3ee
maintained by WikiProject	wds:Q60013410-9546E147-66F4-4ECF-A405-4862EAC5A505
family name	wds:Q60013410-54595b2e-40ca-1063-4aaf-632c28d803c8
WorldCat Identities ID (superseded)	wds:Q60013410-02DFAA71-83B5-4632-8B33-7D2D547A84F0
VIAF ID	http://viaf.org/viaf/313251395
GND ID	https://d-nb.info/gnd/1063927013
DBLP author ID	https://dblp.org/pid/20/3466.rdf
IdRef ID	http://www.idref.fr/254410243/id
occupation	researcher
sex or gender	male
VIAF ID	313251395
GND ID	1063927013
DBLP author ID	20/3466
IdRef ID	254410243
maintained by WikiProject	WikiProject Mathematics
family name	Soeken
WorldCat Identities ID (superseded)	viaf-313251395
ORCID iD	wds:Q60013410-55AB8F07-BEA6-48AE-B483-A745B8D25B16
Dimensions author ID	wds:Q60013410-2A3385D3-C352-4081-A967-BBD786611270
ORCID iD	https://orcid.org/0000-0002-0229-8766
ORCID iD	0000-0002-0229-8766
Dimensions author ID	011351012665.22
ResearcherID	wds:Q60013410-5062C673-ED83-4656-8D9C-AC4B5A533C83
ResearcherID	M-2666-2013
is about of	https://www.wikidata.org/wiki/Special:EntityData/Q60013410
is author of	The complexity of error metrics An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization Endurance management for resistive Logic-In-Memory computing architectures Simulation graphs for reverse engineering metaSMT: focus on your application and not on solver integration Multi-Objective BDD Optimization with Evolutionary Algorithms Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition Behaviour Driven Development for Tests and Verification Upper bounds for reversible circuits based on Young subgroups Exact Template Matching Using Boolean Satisfiability Grammar-based program generation based on model finding Improving the mapping of reversible circuits to quantum circuits using multiple target lines Assisted Behavior Driven Development Using Natural Language Processing Behavior Driven Development for circuit design and verification Completeness-Driven Development Synthesis of reversible circuits with minimal lines for large functions Reducing the number of lines in reversible circuits Verifying UML/OCL models using Boolean satisfiability Determining Relevant Model Elements for the Verification of UML/OCL Specifications Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry Complexity of reversible circuits and their quantum implementations Coverage of OCL Operation Specifications and Invariants Self-Verification as the Key Technology for Next Generation Electronic Systems Debugging of Reversible Circuits Using pDDs Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability Logic Synthesis for RRAM-Based In-Memory Computing Atomic distributions in crystal structures solved by Boolean satisfiability techniques Ancilla-free synthesis of large reversible functions using binary decision diagrams Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm BDD minimization for approximate computing Multi-objective BDD optimization for RRAM based circuit design Precise error determination of approximated components in sequential circuits with model checking Embedding of Large Boolean Functions for Reversible Logic MetaSMT: a unified interface to SMT-LIB2 Requirement Phrasing Assistance Using Automatic Quality Assessment Trading off circuit lines and gate costs in the synthesis of reversible logic Hardware-Software Co-Visualization: Developing systems in the holodeck RevKit: An Open Source Toolkit for the Design of Reversible Circuits

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 183 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software