PIDE for Asynchronous Interaction with Coq by Carst Tankink

“…This paper describes the initial progress towards integrating the Coq proof assistant with the PIDE architecture initially developed for Isabelle. …”
Get full text

1993: El neo-socialismo pide la palabra by Francisco Javier Ibisate

Get full text

Irene Flunser Pimentel, A história da PIDE by Diego Palacios Cerezales

Get full text

Irene Flunser Pimentel, A história da PIDE by Victor Pereira

Get full text

Natália Correia e a PIDE: Vigilância e Controlo by Vítor Manuel Neto

Subjects: “…PIDE…”
Get full text

Deeply Integrating C11 Code Support into Isabelle/PIDE by Frédéric Tuong, Burkhart Wolff

“…We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment. Our framework provides an abstract interface for verification back-ends to be plugged-in independently. …”
Get full text

Deep Neural Network Algorithms for Parabolic PIDEs and Applications in Insurance and Finance by Rüdiger Frey, Verena Köck

Get full text

El tiempo pide unhéroe. Donde el progreso es tradición by Detlev Nothnagel

Get full text

A ocupação da sede da PIDE/DGS em 1974 by Luísa Tiago de Oliveira, Isabel Gorjão Santos

Get full text

Boundary Control for Exponential Stabilization of Nonlinear Distributed Parameter Systems Modeled by PIDEs by Chengdong Yang, Tingwen Huang, Zhenxing Li, Ancai Zhang, Jianlong Qiu, Fuad E. Alsaadi

“…This paper studies boundary control for exponential stabilization for a distributed parameter system, modeled by semi-linear parabolic partial integro-differential equations (PIDEs) in a 1-D spatial domain. A boundary controller based on boundary measurement is designed for exponential stabilization of the PIDE system, and it is implemented by controlling and measuring only one endpoint of the 1-D spatial domain. …”
Get full text

Héctor, un “héroe” controvertido en Reso de Pseudo-Eurí­pides by Maria de Fátima Silva

Get full text

Barrier Option Under Lévy Model : A PIDE and Mellin Transform Approach by Sudip Ratan Chandra, Diganta Mukherjee

“…Our main contribution is to develop a PIDE with its closed form pricing expression for the contract. …”
Get full text

Leaderless Consensus Control of Nonlinear PIDE-Type Multi-Agent Systems With Time Delays by Jiashu Dai, Chuanhai Yang, Xu Yan, Jiuru Wang, Kongwei Zhu, Chengdong Yang

Get full text

EURO PARLAMENTO PIDE LA RETIRADA DE LAS TROPAS TURCAS DE CHIPRE

Get full text

Familia, Servitus, Pides. Indagación entorno a la dependencia humana en la sociedad romana by Mario Atilio Levi

Get full text

Distintas posiciones éticas en Hécuba de Eurí­pides: el problema de la virtud by Juan Tobías Nápoli

“… Resumen: Hay en Hécuba de Eurí­pides, esparcidas por toda la tragedia y en boca de distintos personajes, numerosas argumentaciones de carácter ético-filosófico. …”
Get full text

¿Qué le pide hoy la sociedad colombiana a un profesor de lenguas extranjeras? by Nancy Agray Vargas

“…En el escrito se intenta dar respuesta al interrogante ¿Qué le pide la sociedad colombiana a un profesor de lenguas extranjeras hoy?…”
Get full text

Familia, Servitus, Pides. Indagación entorno a la dependencia humana en la sociedad romana by Mario Atilio Levi

Get full text

«Porque lo pide así la pintura»: la escritura peregrina en el lienzo del «Persiles» by Carlos Brito Díaz

Get full text

K etimologiji indoevropskega geografskega termina: psl. *mor'e, lat. mare ... pide. *mor-i- (N.) by Metka Furlan

“…V prispevku se dodatno pomensko in formalno utemeljuje več kot sto petdeset let stara Curtiusova in Sonnejeva povezava pide. geografskega termina srednjega spola +mori- (v psl. …”
Get full text