OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Language: Inglés Year: 2017 Document Type: Sin Especificar

Sort by Score Title Year -

181-190 from 229 results (0.043 seconds)

Title: Calculation of Invariants Assertions
Author: Flaviani, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Cálculos / invariant assertions / formal program verification / GCL / induction

Acceder
Title: Some remarks on synchronization, games and planar automata
Author: Montoya, J. Andrés / Nolasco, Christian
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / synchronizing automaton / synchronization games / Ĉerny conjectured

Acceder
Title: Combining 2D and 3D Virtual Elements for Solving Flow in Fractured Porous Media
Author: Kyburg, Félix / Mollica, Juan / Benedetto, Matías
Language: Inglés
Repository: 37
Subject: Ingeniería / Virtual Element Method / Fracture Porous Media / Subsurface Flow / Discrete Fracture Networks

Acceder
Title: High-Fidelity Simulation of Brittle Fracture Problems with Universal Meshes
Author: Lew, Adrián
Language: Inglés
Repository: 37
Subject: Ingeniería / Free-Boundary Problems / Thermal Fracture / Automatic Meshing

Acceder
Title: Implementation of a unified library of solvers for nonlinear structural analysis
Author: Poliotti, Mauro / Möller, Oscar / Ascheri, Juan P. / Sierra, Pablo L.
Language: Inglés
Repository: 37
Subject: Ingeniería / Unified Non-linear Library / Load Control / Displacement Control / Work Control / Arc-length

Acceder
Title: Methodology Followed in the Determination of the Peak Hour Parameters for Buenos Aires City Airport
Author: Pesarini, Alejandro J. / Nadal Mora, Vicente Javier / Piechocki, Joaquín / Di Bernardi, Carlos Alejandro
Language: Inglés
Repository: 37
Subject: Ingeniería / Ingeniería Aeronáutica / ariport planning / demand / peak hour / forecast / Buenos Aires (Argentina)

Acceder
Title: Accelerating Smith-Waterman Alignment of Long DNA Sequences with OpenCL on FPGA
Author: Rucci, Enzo / García Sanchez, Carlos / Botella, Guillermo / De Giusti, Armando Eduardo / Naiouf, Marcelo / Prieto-Matias, Manuel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Field Programmable Gate Array / Graphic Processor Unit / Field Programmable Gate Array Implementation / Latency Memory Access / Dedicated Memory

Acceder
Title: Security and integrity checker for JavaScript dependencies
Author: Ravera, Emanuel / Medel, Ricardo / Navarro, Néstor
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / PumaScript meta-programming framework / JavaScript dependency injector

AccederDescargar
Title: Estimation of stresses in arterial tissue: from residual stresses to material parameters
Author: Ares, Gonzalo D. / Blanco, Pablo J. / Urquiza, Santiago A. / Feijóo, Raúl A.
Language: Inglés
Repository: 37
Subject: Ingeniería / residual deformations / residual stresses / arterial tissue / material characterization

Acceder
Title: A two-component fluid-solid finite element model of the red blood cell
Author: Buscaglia, Gustavo C. / Meacci, Luca / Ausas, Roberto F.
Language: Inglés
Repository: 37
Subject: Ingeniería / red blood cells / lipid bilayer membrane / cytoskeleton / fluid-solid finite element model

Acceder

« Previous 15 16 17 18 19 20 21 22 23 Next »