Search Results - "Mora, Federico"

Interface Engineering of Synthetic Pores: Towards Hypersensitive Biosensors by Mora, Federico, Tran, Duy-Hien, Oudry, Natalie, Hopfgartner, Gerard, Jeannerat, Damien, Sakai, Naomi, Matile, Stefan

“…Hydrophilic anchoring is introduced as a promising strategy to constructively control the various interactions of synthetic pore sensors with the surrounding…”
Get full text

Ocelot (Leopardus pardalis): An Addition to the Mammals of Chihuahua, Mexico by González, Carlos A. López, Miguel, Cristian Aguilar, Carrillo, Federico Mora, González, Zaira Y.

“…We present the first documented record of an ocelot (Leopardus pardalis) for the Mexican state of Chihuahua. The animal was camera-trapped in open oak…”
Get full text

Parametrizando ejercicios con Python y LaTeX: una novedosa estrategia para generación de materiales de enseñanza y evaluación en matemáticas: Parameterizing exercises with Python and LaTeX: a novel strategy for generating teaching and assessment materials in mathematics by Arroyo Hernández, Jorge, Mora Mora, Federico, Trigueros Rodríguez, Eithel, Porras Lizano, Karen

“…En este artículo se presenta una propuesta novedosa para su uso en docencia, que consiste en la construcción de ejercicios generados a partir de una estructura…”
Get full text

Synthetic Multifunctional Nanoarchitecture in Lipid Bilayers: Ion Channels, Sensors, and Photosystems by Bhosale, Rajesh, Bhosale, Sheshanath, Bollot, Guillaume, Gorteau, Virginie, Julliard, Marc D, Litvinchuk, Svetlana, Mareda, Jiri, Matile, Stefan, Miyatake, Tomohiro, Mora, Federico, Perez-Velasco, Alejandro, Sakai, Naomi, Sisson, Adam L, Tanaka, Hiroyuki, Tran, Duy-Hien

“…The creation of functional materials such as ion channels, porous sensors, or smart photosystems depends critically on our ability to assemble sophisticated,…”
Get full text

Towards more efficient methods for solving regular-expression heavy string constraints by Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk

“…Widespread use of string solvers in the formal analysis of string-heavy programs has led to a growing demand for more efficient and reliable techniques which…”
Get full text

Sistema de detección y clasificación automática de granos de polen mediante técnicas de procesado digital de imágenes by Jorge Arroyo Hernández, Carlos M. Travieso González, Jaime Ticay Rivas, Federico Mora Mora, Oscar Salas Huertas, Melvin Ramírez Bogantes, Luis Sánchez Chavez

“…En este artículo se presentan los avances en la construcción de un sistema informático que permitirá el reconocimiento y clasificación taxonómica de granos de…”
Get full text

Detección y seguimiento de objetos presentes en video 2D con MatLab by Melvin Ramírez Bogantes, Carlos Travieso González, Rafael Ángel Calderón, Jorge Arroyo Hernández, Oscar Salas Huertas, Federico Mora Mora, Juan Pablo Prendas Rojas

“…En el siguiente trabajo se presentan los principales resultados de investigación obtenidos en la fase de diseño de un algoritmo que permite la detección y el…”
Get full text

Variability between observers does not hamper detecting change over time in a temperate reef by Azzola, Annalisa, Atzori, Fabrizio, Bianchi, Carlo Nike, Cadoni, Nicoletta, Frau, Francesca, Mora, Federico, Morri, Carla, Oprandi, Alice, Orrù, Paolo Emanuele, Montefalcone, Monica

“…Marine ecosystems are subject to global and local impacts, both contributing to dramatic changes in coastal communities. Assessing such changes requires time…”
Get full text

Typha domingensis and Phragmites australis as alternative and sustainable pulp materials for primary paper based packaging by Senghor, Mame Niny, Bassama, Joseph, Ly, Elhadji Babacar, Mora, Federico, Galaffu, Nicola

“…Environmental pollution with plastic waste and deforestation has led to increase research into the development of new natural fibers. Typha domingensis and…”
Get full text

Scaling Client-Specific Equivalence Checking via Impact Boundary Search by Feng, Nick, Mora, Federico, Hui, Vincent, Chechik, Marsha

“…Client-specific equivalence checking (CSEC) is a technique proposed previously to perform impact analysis of changes to downstream components (libraries) from…”
Get full text

Client-Specific Equivalence Checking by Mora, Federico, Li, Yi, Rubin, Julia, Chechik, Marsha

“…Software is often built by integrating components created by different teams or even different organizations. With little understanding of changes in dependent…”
Get full text

In-line characterization of ground oilseeds concentration in solid-liquid dispersions in the food industry by Marconati, Marco, Haiduc, Adrian, Berrut, Stéphane, Mora, Federico, Santomaso, Andrea C., Cavinato, Mauro

“…Near infrared spectroscopy is proposed as a method for continuous characterization of ground oilseed concentration in diluted solid liquid dispersions. The…”
Get full text

Problemas de exámenes y soluciones XXX Olimpiada Costarricense de Matemática, 2018 by Páez, Christian, Abarca, Marvin, Chaves, Leonel, Hernández, Alexander, Calderón, Gabriela, Mora, Federico, Ramírez, Jeremías, Jiménez, David, Mora, German, Chaves, Emmanuel, Hernández, Salomón

“…OLCOMA es la Comisión de Olimpiadas Costarricenses de Matemáticas. Esta comisión está conformada por académicos en el área de Matemática de la Universidad…”
Get full text

Quince años de olimpiadas de matemática en la enseñanza secundaria de Costa Rica by Norma Adolio, José Fabio González, Federico Mora

“…En este artículo se analiza la importancia de las Olimpiadas Costarricenses de Matemática en nuestro país las cuales han brindado muchos aportes a la comunidad…”
Get full text

El movimiento de olimpiadas de matemática en secundaria: un reto para Costa Rica by Norma Adolio, José Fabio Gonzáles, Federico Mora

“…Este artículo expone el proyecto de las Olimpiadas Costarricenses de Matemática en secundaria (OLCOMA), el cual ha tenido una larga trayectoria en nuestro país…”
Get full text

Tendencias y Retos de la educación Matemática en Costa Rica by Ángel Ruiz, Jesennia Chavarria, Federico Mora

“…En este trabajo buscamos describir e interpretar las principales tendencias y retos en la Educación Matemática en el escenario nacional. Esto nos permitirá…”
Get full text

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes by Shah, Amar, Mora, Federico, Seshia, Sanjit A

“…Algebraic data types (ADTs) are a construct classically found in functional programming languages that capture data structures like enumerated types, lists,…”
Get full text

Las posibilidades de las tecnologías multimedios en la educación matemática de Costa Rica by Cristian Alfaro, Jesennia Chavarría, Federico Mora, Oscar Salas

“…Los multimedia es un concepto nuevo, pero de importantes implicaciones a nivel social. En la educación, ha venido a ampliar la didáctica tradicional, así como…”
Get full text

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis by Li, Yixuan, Mora, Federico, Polgreen, Elizabeth, Seshia, Sanjit A

“…Syntax-guided synthesis is a paradigm in program synthesis in which the search space of candidate solutions is constrained by a syntactic template in the form…”
Get full text

Stereoselective synthesis of (2S,3S,4R,5S)-5-methylpyrrolidine-3,4-diol derivatives that are highly selective alpha-L-fucosidase inhibitors by Moreno-Vargas, Antonio J, Carmona, Ana T, Mora, Federico, Vogel, Pierre, Robina, Inmaculada

“…N-Phenylaminomethyl benzimidazolyl moieties attached at C-2 of (2S,3S,4R,5S)-5-methylpyrrolidine-3,4-diol increase the potency and selectivity of the…”
Get more information