Source author record

Piotr Kaźmierczak

Piotr Kaźmierczak appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2015arXiv

Enhanced Raman scattering and weak localization in graphene deposited on GaN nanowires

The influence of GaN nanowires on the optical and electrical properties of graphene deposited on them was studied using Raman spectroscopy and microwave induced electron transport method. It was found that interaction with the nanowires induces spectral changes as well as large enhancement of Raman scattering intensity. Surprisingly, the smallest enhancement (about 30-fold) was observed for the defect induced D' process and the highest intensity increase (over 50-fold) was found for the 2D transition. The observed energy shifts of the G and 2D bands allowed to determine carrier concentration fluctuations induced by GaN nanowires. Comparison of Raman scattering spatial intensity maps and the images obtained using scanning electron microscope led to conclusion that vertically aligned GaN nanowires induce a homogenous strain, substantial spatial modulation of carrier concentration in graphene and unexpected homogenous distribution of defects created by interaction with nanowires. The analysis of the D and D' peak intensity ratio showed that interaction with nanowires also changes the probability of scattering on different types of defects. The Raman studies were correlated with weak localization effect measured using microwave induced contactless electron transport. Temperature dependence of weak localization signal showed electron-electron scattering as a main decoherence mechanism with additional, temperature independent scattering reducing coherence length. We attributed it to the interaction of electrons in graphene with charges present on the top of nanowires due to spontaneous and piezoelectric polarization of GaN. Thus, nanowires act as antennas and generate enhanced near field which can explain the observed large enhancement of Raman scattering intensity.

preprint2014arXiv

Big, but not unruly: Tractable norms for anonymous game structures

We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of agents. Then we show that model checking can be done in polynomial time with respect to this compact representation, even for normative systems that are not anonymous. That is, as long as the underlying game structures are anonymous, model checking normative formulas is tractable even if norms can prescribe different sets of forbidden actions to different agents.

preprint2013arXiv

Concurrent Game Structures with Roles

In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, provide motivating examples based on sensor networks, and analyze model checking complexity.

preprint2012arXiv

No big deal: introducing roles to reduce the size of ATL models

In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, analyze model checking complexity and prove equivalence between standard ATL semantics and our new approach.