Search Results - "João Bispo"

Convergence and divergence in science and practice of urban and rural forest restoration by Romanelli, João P., Piana, Max R., Klaus, Valentin H., Brancalion, Pedro H. S., Murcia, Carolina, Cardou, Françoise, Wallace, Kiri Joy, Adams, Cristina, Martin, Philip A., Burton, Philip J., Diefenderfer, Heida L., Gornish, Elise S., Stanturf, John, Beyene, Menilek, Santos, João Paulo Bispo, Rodrigues, Ricardo R., Cadotte, Marc W.

“…ABSTRACT Forest restoration has never been higher on policymakers' agendas. Complex and multi‐dimensional arrangements across the urban–rural continuum…”
Get full text

Premature acute coronary syndrome: understanding the early onset by Menezes Fernandes, Raquel, Mota, Teresa, Costa, Hugo, Bispo, João, Azevedo, Pedro, Bento, Dina, Guedes, João, Carvalho, Daniela, Marques, Nuno, Santos, Walter, Mimoso, Jorge, de Jesus, Ilídio

“…Acute coronary syndrome (ACS) is less frequent in young adults, but it has become a significant health problem, associated with the increasing prevalence of…”
Get full text

Ionizing radiation exposure in complex percutaneous coronary intervention: Defining local diagnostic reference levels in the catheterization laboratory by Costa, Hugo, Espírito-Santo, Miguel, Bispo, João, Guedes, João, Paulo, Graciano, Mimoso, Jorge, Palmeiro, Hugo, Baptista Gonçalves, Rui, Vinhas, Hugo

“…Concerns regarding the consequences of ionizing radiation (IR) have been increasing in the field of interventional cardiology (IC). There is little information…”
Get full text

Clinical outcomes of percutaneous coronary intervention in chronic total occlusion in patients with type 2 diabetes mellitus by Costa, Hugo, Espírito-Santo, Miguel, Bispo, João, Guedes, João, Mimoso, Jorge, Palmeiro, Hugo, Baptista Gonçalves, Rui, Vinhas, Hugo

“…Coronary chronic total occlusions (CTOs) are relatively common findings in patients with type 2 diabetes mellitus (T2DM). However, the indication for…”
Get full text

Clava: C/C++ source-to-source compilation using LARA by Bispo, João, Cardoso, João M.P.

“…This article presents Clava, a Clang-based source-to-source compiler, that accepts scripts written in LARA, a JavaScript-based DSL with special constructs for…”
Get full text

Formal verification of Matrix based MATLAB models using interactive theorem proving by Gauhar, Ayesha, Rashid, Adnan, Hasan, Osman, Bispo, João, Cardoso, João M P

“…MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various…”
Get full text

A case report of platypnea-orthodeoxia syndrome: an interplay of pressure and blood flow by de Sousa Bispo, João, Ramires, Irina, Pestana, Joana, Café, Hugo

“…Platypnea-orthodeoxia syndrome is a rare condition characterized by onset or worsening of dyspnoea with orthostatism (platypnea) and arterial desaturation…”
Get full text

EGSYS score for the prediction of cardiac etiology in syncope: Is it useful in an outpatient setting? by de Sousa Bispo, João, Azevedo, Pedro, Mota, Teresa, Fernandes, Raquel, Guedes, João, Candeias, Rui, Marques, Nuno Silva, Camacho, Ana, Jesus, Ilídio

“…The EGSYS score uses clinical variables to predict which patients may have cardiac (CS) or non-cardiac syncope (NCS) and has been validated in the emergency…”
Get full text

A framework for automatic and parameterizable memoization by Besnard, Loïc, Pinto, Pedro, Lasri, Imane, Bispo, João, Rohou, Erven, Cardoso, João M.P.

“…Improving execution time and energy efficiency is needed for many applications and usually requires sophisticated code transformations and compiler…”
Get full text

Ichthyofauna assemblages from two unexplored Atlantic seamounts: Northwest Bank and Joao Valente Bank (Cape Verde archipelago) by Monteiro, Pedro, Ribeiro, Daniel, Silva, Jose A, Bispo, Joao, Goncalves, Jorge MS

“…Underwater censuses by divers were used to study the fish assemblages from two unexplored Atlantic seamounts in the Cape Verde archipelago. Fifty three species…”
Get full text

Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units by Bispo, João, Paulino, Nuno, Cardoso, Joao M. P., Ferreira, João Canas

“…The ability to map instructions running in a microprocessor to a reconfigurable processing unit (RPU), acting as a coprocessor, enables the runtime…”
Get full text

A DSL-based runtime adaptivity framework for Java by Carvalho, Tiago, Bispo, João, Pinto, Pedro, Cardoso, João M.P.

“…This article presents Kadabra, a Java source-to-source compiler that allows users to make code queries, code analysis and code transformations, all…”
Get full text

Retargeting Applications for Heterogeneous Systems with the Tribble Source-to-Source Framework by Sousa, Luis Miguel, Bispo, Joao, Paulino, Nuno

“…Advancements in semiconductor technology no longer occur at the pace the industry had been accustomed to. We have entered what is considered by many to be the…”
Get full text

Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications by Arabnejad, Hamid, Bispo, João, Cardoso, João M. P., Barbosa, Jorge G.

“…Directive-driven programming models, such as OpenMP, are one solution for exploring the potential parallelism when targeting multicore architectures. Although…”
Get full text

Clinical results of percutaneous coronary intervention in chronic total occlusions of the right coronary artery by Costa, Hugo, Espirito-Santo, Miguel, Bispo, João, Guedes, João, Mimoso, Jorge, Palmeiro, Hugo, Baptista Gonçalves, Rui, Vinhas, Hugo

“…Coronary chronic total occlusions (CTOs) of the right coronary artery (RCA) are a relatively common finding in the context of coronary angiography. However,…”
Get full text

A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C++ Applications by Santos, Tiago, Bispo, Joao, Cardoso, Joao M.P.

“…A common approach for improving performance uses FPGAs to accelerate critical code regions, which often involves two processes: hardware/software partitioning,…”
Get full text

Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation by Reis, Luís, Bispo, João, Cardoso, João M. P.

“…Summary In order to take advantage of the processing power of current computing platforms, programmers typically need to develop software versions for…”
Get full text

E-APK: Energy pattern detection in decompiled android applications by Gregório, Nelson, Bispo, João, Fernandes, João Paulo, Queiroz de Medeiros, Sérgio

“…Energy efficiency is a non-functional requirement that developers must consider, particularly when building software for battery-operated devices like mobile…”
Get full text

Aspect composition for multiple target languages using LARA by Pinto, Pedro, Carvalho, Tiago, Bispo, João, Ramalho, Miguel António, Cardoso, João M.P.

“…•Proposes an approach to improve aspect composition and multi-language support.•The approach relies on the LARA framework and a set of developed…”
Get full text

Nonio — modular automatic compiler phase selection and ordering specialization framework for modern compilers by Nobre, Ricardo, Bispo, João, Carvalho, Tiago, Cardoso, João M.P.

“…This article presents Nonio, a modular, easy-to-use, design space exploration framework focused on exploring custom combinations of compiler flags and compiler…”
Get full text