Materias: “…Francesc, d'Assís, sant, 1182-1226 Crítica i interpretació…”

Materias: “…Francesc, d'Assís, sant, 1182-1226 Goigs…”

Materias: “…Francesc, d'Assís, sant, 1182-1226 Goigs…”

Materias: “…Clara, d'Assís, santa, 1194-1253…”

Materias:

Materias:

Tabla de Contenidos: “…Remerciements; Liste des abréviations; Introduction; CHAPITRE 1 - L'expressivité linguistique, un objet problématique dans la théorie de Charles Bally; CHAPITRE 2 - Le programme d'une science de l'expression grammaticale chez Albert Sechehaye; CHAPITRE 3 - Henri Frei. …”

Tabla de Contenidos: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs…”

Accés Lliure
Accés Lliure
Accés Lliure

Materias:

Materias:

Tabla de Contenidos: “…Janus-Faced Perception of Religion in International RelationsIIITHE FOURTEENTH DALAI LAMA: COMMON HUMANITY AND UNIVERSAL RESPONSIBILITY; Historical Background; Under the Arms of Avalokiteshvara: A Theological Framework; Tenzin Gyatso, the Rise of the Fourteenth Dalai Lama; Wisdom and Compassion: the Way of the Bodhisattva in Modern World; IVBUILDING BRIDGES OF JUSTICE: ARCHBISHOP DESMOND TUTU AND GOD'S DREAM IN SOUTH AFRICA; Politics of Hatred: Church and State's Acts of Apartheid; Desmond Tutu: The Great Liberation Trek; The Divine Intention: The Transfiguration of Suffering into Liberation…”
Click para texto completo desde fuera UPSA
Click para texto completo desde UPSA

Materias: Click para texto completo desde fuera UPSA
Click para texto completo desde UPSA