Theory

Context logic as modal logic: completeness and parametric inexpressivity

Languages / Modal Logic / Artificial Intelligence / Logic / Theory / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language

Context logic as modal logic: completeness and parametric inexpressivity

Languages / Modal Logic / Artificial Intelligence / Logic / Theory / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language

Pore size distribution effects on electrokinetic phenomena in semipermeable membranes

Engineering / Membrane Science / Theory / Ultrafiltration / Membrane transport / Membrane Separation / Fluid flow / CHEMICAL SCIENCES / Surface Charge / Flow Rate / Electroosmosis / Streaming Potential / Zeta Potential / Membrane Separation / Fluid flow / CHEMICAL SCIENCES / Surface Charge / Flow Rate / Electroosmosis / Streaming Potential / Zeta Potential

La Teología de la Liberación

Theory / Culture / Latin America / Method

Aproximación teórica al concepto de violencia: avatares de una definición

Colombia / Theory / Teoría / Critical Reading / Conceptualization / Lectura Crítica / Conceptualización Experiencial / Lectura Crítica / Conceptualización Experiencial

Arqueología de lo doméstico en Colombia Archaeology of domesticity in Colombia

Archaeology / Methodology / Colombia / Theory / Household / Chronology / Houses / Antioquia / Social Formation / Chronology / Houses / Antioquia / Social Formation

Amorphous track models: A numerical comparison study

Geology / Theory / Numerical Modelling / Structuration Theory / Open Source / Models / Radiation Measurements / Efficiency / Models / Radiation Measurements / Efficiency

Pseudo-Codewords in LDPC Convolutional Codes

Theory / Bit Error Rate / Message Passing / Sliding Window / Linear Code / Polynomials / Signal to Noise Ratio / Block Codes / Hamming Distance / Polynomials / Signal to Noise Ratio / Block Codes / Hamming Distance

Fundamentos teóricos y derivaciones de la IAP en España

Social Work / Social Anthropology / Action Research / Theory

Un Tema Abierto a La Polemica: Los Aportes De La Investigacion a La Practica Educativa

Action Research / Praxis / Theory / Investigación Educativa / Investigacion Educativa / Natural / PRAXIS EDUCATIVA / Natural / PRAXIS EDUCATIVA

Consumos culturales en Argentina

Methodology / Theory / State / Financing / Alteridades
Copyright © 2017 DATOSPDF Inc.