Testing Nelder-Mead based repulsion algorithms for multiple roots of nonlinear systems via a two-level factorial design of experiments

This paper addresses the challenging task of computing multiple roots of a system of nonlinear equations. A repulsion algorithm that invokes the Nelder-Mead (N-M) local search method and uses a penalty-type merit function based on the error function, known as 'erf', is presented. In the N-M algorithm context, different strategies are proposed to enhance the quality of the solutions and improve the overall efficiency. The main goal of this paper is to use a two-level factorial design of experiments to analyze the statistical significance of the observed differences in selected performance criteria produced when testing different strategies in the N-M based repulsion algorithm. The main goal of this paper is to use a two-level factorial design of experiments to analyze the statistical significance of the observed differences in selected performance criteria produced when testing different strategies in the N-M based repulsion algorithm.

Forecasting time series combining Holt-Winters and bootstrap approaches

Publicado em "AIP Conference Proceedings", Vol. 1648

Record, play, go…

This workshop aims at stimulating children’s oral language skills by involving them on playing and creating different language games or activities using the t-stories interface. The interface allows recording and playing audio on the stories’ modules, as well as recording and playing based on identification with NFC tags that can be used as sticker on objects, paper, or other materials and placed in different locations. After the presentation of t-stories by the workshop facilitators, children will have the opportunity to explore the interface on their own, then they will be asked to participate in different language games, whereby they actively create their own content. Afterwards children will be challenged to imagine and create activities for their peers.

Ki-67 expression in CRC lymph node metastasis does not predict survival

Colorectal cancer is one of the most common malignancies and a leading cause of cancer death worldwide. Molecular markers may improve clinicopathologic staging and provide a basis to guide novel therapeutic strategies which target specific tumourassociated molecules according to individual tumour biology; however, so far, no ideal molecular marker has been found to predict disease progression. We tested Ki-67 proliferation marker in primary and lymph node metastasis of CRC. We observed a statistical significant difference between the positive rates of neoplastic cells positively stained byKi-67 in both sites, with remarkable increased number of Ki-67 positive cells in primary tumor cells compared to cancer cells that invaded lymph nodes. We can speculate that the metastatic CRC in lymph node can be more resistant to the drugs that target cellular division.

An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds

For a given self-map f of M, a closed smooth connected and simply-connected manifold of dimension m ≥ 4, we provide an algorithm for estimating the values of the topological invariant Dm r [f], which equals the minimal number of r-periodic points in the smooth homotopy class of f. Our results are based on the combinatorial scheme for computing Dm r [f] introduced by G. Graff and J. Jezierski [J. Fixed Point Theory Appl. 13 (2013), 63–84]. An open-source implementation of the algorithm programmed in C++ is publicly available at http://www.pawelpilarczyk.com/combtop/.

Summary of the searches for squarks and gluinos using root s=8 TeV pp collisions with the ATLAS experiment at the LHC

A summary is presented of ATLAS searches for gluinos and first- and second-generation squarks in final states containing jets and missing transverse momentum, with or without leptons or b-jets, in the s√=8 TeV data set collected at the Large Hadron Collider in 2012. This paper reports the results of new interpretations and statistical combinations of previously published analyses, as well as a new analysis. Since no significant excess of events over the Standard Model expectation is observed, the data are used to set limits in a variety of models. In all the considered simplified models that assume R-parity conservation, the limit on the gluino mass exceeds 1150 GeV at 95% confidence level, for an LSP mass smaller than 100 GeV. Furthermore, exclusion limits are set for left-handed squarks in a phenomenological MSSM model, a minimal Supergravity/Constrained MSSM model, R-parity-violation scenarios, a minimal gauge-mediated supersymmetry breaking model, a natural gauge mediation model, a non-universal Higgs mass model with gaugino mediation and a minimal model of universal extra dimensions.

Z boson production in p plus Pb collisions at root S-NN=5.02 TeV measured with the ATLAS detector

The ATLAS Collaboration measures the inclusive production of Z bosons via their decays into electron and muon pairs in p+Pb collisions at sNN−−−√=5.02TeV at the Large Hadron Collider. The measurements are made using data corresponding to integrated luminosities of 29.4 and 28.1 nb−1 for Z→ee and Z→μμ, respectively. The results from the two channels are consistent and combined to obtain a cross section times the Z→ℓℓ branching ratio, integrated over the rapidity region ∣∣y∗Z|<3.5, of 139.8±4.8(statistical)±6.2(systematic)±3.8 (luminosity) nb. Differential cross sections are presented as functions of the Z boson rapidity and transverse momentum and compared with models based on parton distributions both with and without nuclear corrections. The centrality dependence of Z boson production in p+Pb collisions is measured and analyzed within the framework of a standard Glauber model and the model's extension for fluctuations of the underlying nucleon-nucleon scattering cross section.

Deteção remota na avaliação das alterações da cobertura do solo no Parque Nacional da Peneda-Gerês

Dissertação de mestrado integrado em Engenharia Civil

Aplicação da metodologia ROC na avaliação de desempenho de índices de gravidade clínica em unidades de neonatologia de Portugal

Tese de Doutoramento em Engenharia Industrial e de Sistemas

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Parameter identification of the fermentative production of fructo-oligosaccharides by Aureobasidium pullulans

In this study, a mathematical model for the production of Fructo-oligosaccharides (FOS) by Aureobasidium pullulans is developed. This model contains a relatively large set of unknown parameters, and the identification problem is analyzed using simulation data, as well as experimental data. Batch experiments were not sufficiently informative to uniquely estimate all the unknown parameters, thus, additional experiments have to be achieved in fed-batch mode to supplement the missing information. © 2015 IEEE.

KIAA1549: BRAF gene fusion and FGFR1 hotspot mutations are prognostic factors in pilocytic astrocytomas

Up to 20% of patients with pilocytic astrocytoma (PA) experience a poor outcome. BRAF alterations and Fibroblast growth factor receptor 1 (FGFR1) point mutations are key molecular alterations in Pas, but their clinical implications are not established. We aimed to determine the frequency and prognostic role of these alterations in a cohort of 69 patients with PAs. We assessed KIAA1549:BRAF fusion by fluorescence in situ hybridization and BRAF (exon 15) mutations by capillary sequencing. In addition, FGFR1 expression was analyzed using immunohistochemistry, and this was compared with gene amplification and hotspot mutations (exons 12 and 14) assessed by fluorescence in situ hybridization and capillary sequencing. KIAA1549:BRAF fusion was identified in almost 60% of cases. Two tumors harbored mutated BRAF. Despite high FGFR1 expression overall, no cases had FGFR1 amplifications. Three cases harbored a FGFR1 p.K656E point mutation. No correlation was observed between BRAF and FGFR1 alterations. The cases were predominantly pediatric (87%), and no statistical differences were observed in molecular alterations-related patient ages. In summary, we confirmed the high frequency of KIAA1549:BRAF fusion in PAs and its association with a better outcome. Oncogenic mutations of FGFR1, although rare, occurred in a subset of patients with worse outcome. These molecular alterations may constitute alternative targets for novel clinical approaches, when radical surgical resection is unachievable.

Estimation of statistical cure from cancer using population-based data

Dissertação de mestrado em Estatística

From perfect strangers to research partners: a study of relationships, resource sharing and perceived benefits within R&D cooperation networks

Doctoral thesis in Marketing and Strategy.