Results 101 to 110 of about 138,341 (311)
Deductive Database Security [PDF]
, 2003 An approach is described for protecting the information in deductive databases from unauthorized retrieval and update requests. The approach we propose combines meta-programming and partial evaluation techniques, has a number of attractive technical ...
Steve Barker, Barker, S
core +1 more source
Advanced Materials, EarlyView.Solvent‐mediated reactivity control of Lewis‐paired dopants enables highly efficient, finely tunable, and stable doping of organic semiconductors. The optimally doped semiconductor films exhibit superior thermoelectric performance and doping stability, feature delocalized polarons along structurally ordered polymer backbones, and outperform ...
Sang Beom Kim +5 more
wiley +1 more source
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
Advanced Materials, EarlyView.Associating a red‐NIR phosphorescent octahedral hexanuclear molybdenum cluster compound with hexaethyleneoxide chains bearing mesogenic units on both ends leads to an emissive hybrid liquid crystal showing mesomorphism on a very unusual temperature range down to −25°C.
Killiann Heinz +11 more
wiley +1 more source
Advanced Materials, EarlyView.The energetic offset between the donor and the acceptor components in organic photoactive layers is central to the tradeoff between photovoltage and photocurrent losses. This Perspective covers the most important issues surrounding this topic in non‐fullerene acceptor blends, from the difficulty of accurately determining state energies and driving ...
Dieter Neher, Manasi Pranav
wiley +1 more source
Verification of the TESLA protocol in MCMAS-X
, 2006 We present MCMAS-X, an extension of the OBDD-based model checker MCMAS for multi-agent systems, to explicit and deductive knowledge.
Raimondi, F., Lomuscio, A., Wozna, B.
core
Perspectives in deductive databases
, 1988 I discuss my experiences, some of the work that I have done, and related work that influenced me, concerning deductive databases, over the last 30 years. I divide this time period into three roughly equal parts: 1957–1968, 1969–1978, 1979–present.
Minker, Jack, Jack Minker
core +1 more source
Advanced Materials, EarlyView.Anion‐exchange doping of conjugated polymers is an effective way to achieve high conductivities. Here, we report over 2000 S cm−1 electrical conductivity for doped P(g3BTTT). In addition, we show that P(g3BTTT) sustains exceptionally high doping levels without any drop in the charge mobility.
Basil Hunger +14 more
wiley +1 more source
Measuring the Hall Effect in Hysteretic Materials
Advanced Materials, EarlyView.The authors highlight common pitfalls in measuring the Hall effect: in hysteretic magnets, improper data processing can create signals that look exotic but are not real. This Perspective explains the origin of these artifacts and presents practical measurement strategies that help researchers identify reliable Hall responses in complex magnetic ...
Jaime M. Moya +6 more
wiley +1 more source
Deductive Theories and Non-deductive Knowledge
I start by briefly considering three different epistemological conceptions associated with deductive theories. I then relate the conceptions to the debate about whether non-deductive knowledge of mathematical claims is possible. The hope is that getting clearer about the different types of deductive science sheds light on whether a mathematical ...
openaire +2 more sources