Export 9189 results:
Sort by: Author Title Type [ Year  (Desc)]
2015
Karlovich, Alexei Yu. "Fredholmness and index of simplest weighted singular integral operators with two slowly oscillating shifts." Banach Journal of Mathematical Analysis. 9.3 (2015): 24-42. AbstractWebsite

Let \(\alpha\) and \(\beta\) be orientation-preserving diffeomorphism (shifts) of \(\mathbb{R}_+=(0,\infty)\) onto itself with the only fixed points \(0\) and \(\infty\), where the derivatives \(\alpha'\) and \(\beta'\) may have discontinuities of slowly oscillating type at \(0\) and \(\infty\). For \(p\in(1,\infty)\), we consider the weighted shift operators \(U_\alpha\) and \(U_\beta\) given on the Lebesgue space \(L^p(\mathbb{R}_+)\) by \(U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)\) and \(U_\beta f=(\beta')^{1/p}(f\circ\beta)\). For \(i,j\in\mathbb{Z}\) we study the simplest weighted singular integral operators with two shifts \(A_{ij}=U_\alpha^i P_\gamma^++U_\beta^j P_\gamma^-\) on \(L^p(\mathbb{R}_+)\), where \(P_\gamma^\pm=(I\pm S_\gamma)/2\) are operators associated to the weighted Cauchy singular integral operator \[ (S_\gamma f)(t)=\frac{1}{\pi i}\int_{\mathbb{R}_+} \left(\frac{t}{\tau}\right)^\gamma\frac{f(\tau)}{\tau-t}d\tau \] with \(\gamma\in\mathbb{C}\) satisfying \(0<1/p+\Re\gamma<1\). We prove that the operator \(A_{ij}\) is a Fredholm operator on \(L^p(\mathbb{R}_+)\) and has zero index if \[ 0<\frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\inf_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma), \quad \frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\sup_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma)<1, \] where \(\omega_{ij}(t)=\log[\alpha_i(\beta_{-j}(t))/t]\) and \(\alpha_i\), \(\beta_{-j}\) are iterations of \(\alpha\), \(\beta\). This statement extends an earlier result obtained by the author, Yuri Karlovich, and Amarino Lebre for \(\gamma=0\).

Moura, Rita, Alexandre Pinto, and Fernando F. S. Pinho. "Fundações." Caderno de síntese tecnológica. Reabilitação de edifícios. ISBN 978-989-20-6183-2. Lisboa: Plataforma Tecnológica Portuguesa da Construção, 2015. 48.
Barreto, J., D. Martins, Borges P. de Sousa, S. Kar, G. Bonfait, and I. Catarino Gas gap heat switch for a Cryogen-free magnet system., 2015.
Strganac, Christopher, Louis Jacobs, Mike Polcyn, Octávio Mateus, Timothy Myers, Ricardo Araújo, Kurt M. Fergunson, António Olímpio Gonçalves, Maria Luísa Morais, Anne S. Schulp, Tatiana Silva da Tavares, and Johanna Salminen. "Geological Setting and Paleoecology of the Upper Cretaceous Bench 19 Marine Vertebrate Bonebed at Bentiaba, Angola." Netherlands Journal of Geosciences. 94.1 (2015): 121-136. Abstractstrganac_et_al_2014_geological_setting_bentiaba_angola.pdfWebsite

The Bench 19 Bonebed at Bentiaba, Angola, is a unique concentration of marine vertebrates preserving six species of mosasaurs in sediments best correlated by magnetostratigraphy to chron C32n.1n between 71.4 and 71.64 Ma. The bonebed formed at a paleolatitude near 24°S, with an Atlantic width at that latitude approximating 2700 km, roughly half that of the current width. The locality lies on an uncharacteristically narrow continental shelf near transform faults that controlled the coastal outline of Africa in the formation of the South Atlantic Ocean. Biostratigraphic change through the Bentiaba section indicates that the accumulation occurred in an ecological time dimension within the 240 ky bin delimited by chron 32n.1n. The fauna occurs in a 10 m sand unit in the Mocuio Formation with bones and partial skeletons concentrated in, but not limited to, the basal 1–2 m. The sediment entombing the fossils is an immature feldspathic sand shown by detrital zircon ages to be derived from nearby granitic shield rocks. Specimens do not appear to have a strong preferred orientation and they are not concentrated in a strand line. Stable oxygen isotope analysis of associated bivalve shells indicates a water temperature of 18.5°C. The bonebed is clearly mixed with scattered dinosaur and pterosaur elements in a marine assemblage. Gut contents, scavenging marks and associated shed shark teeth in the Bench 19 Fauna indicate biological association and attrition due to feeding activities. The ecological diversity of mosasaur species is shown by tooth and body-size disparity and by δ13C analysis of tooth enamel, which indicate a variety of foraging areas and dietary niches. The Bench 19 Fauna was formed in arid latitudes along a coastal desert similar to that of modern Namibia on a narrow, tectonically controlled continental shelf, in shallow waters below wave base. The area was used as a foraging ground for diverse species, including molluscivorus Globidens phosphaticus, small species expected near the coast, abundant Prognathodon kianda, which fed on other mosasaurs at Bench 19, and species that may have been transient and opportunistic feeders in the area.

Teixeira, João, Nuno Neuparth, Amalia Botelho, Ana Papoila, Pedro Martins, Paulo Paixão, Iolanda Caires, Daniel Aelenei, João Viegas, Manuela Cano, and Ana Mendes GERIA - Geria Study in Portugal on Health Effects of Air Quality in Elderly Care Centers. Eds. Jo Teixeira, Nuno Neuparth, Am Botelho, Ana Papoila, Pedro Martins, Paix, Iolanda Caires, Daniel Aelenei, Jo Viegas, Manuela Cano, and Ana Mendes. Published by Instituto de Sa: ISPUP - Instituto de Saúde Pública da Universidade do Porto, 2015. AbstractWebsite

As people have become increasingly aware, the age of the European population is rising and the percentage of adults aged 65 years and older is expected to increase. In addition, older people spend about 20 hours per day indoors, and many of them spend essentially their time in elderly care centers (ECC). In this sense, the study of indoor environments and how elder people may be particularly at risk of adverse health effects from pollutants, even at low exposures, due to multiple underlying chronic diseases is becoming an important issue to be addressed by research. Such conditions are highly prevalent, multifactorial, and associated with multiple comorbidities and poor outcomes, such as increased disability and decreased quality of life. The importance of this topic was heightened in 2012 by the World Health Day in 2012 Ageing and health with the theme "Good health adds life to years" and also the ?European Year for Active Ageing and Solidarity between Generations?. Accordingly, this project is suitable to integrate these initiatives and to ensure greater recognition of what older people bring to society and create more supportive conditions for them. To our knowledge, this is the first study in Portugal to assess effects of indoor air contaminants on health status and quality of life in older persons living in ECC. The aim of GERIA project is to carry out a risk assessment, often difficult for older people, involving the identification of multiple factors potentially affecting health and quality of life, the quantification of human exposure to pollutants, and the evaluation of the individual?s response to these stimuli. The results of this project contribute to the understanding of health effects due to indoor environment variables and to provide health benefits to ECC residents with relatively simple measures.

Campos, S., F. Viseu, H. Rocha, and J. A. Fernandes The graphing calculator in the promotion of mathematical writing. Proceedings of 12th International Conference onTechnology in Mathematics Teaching. Faro, Portugal: Universidade do Algarve, 2015. Abstract

Through writing, students express many of their processes and ways of thinking. Since at high school level some of the activities are carried out with the graphing calculator, we intend to investigate the contribution of this resource to promote the mathematical writing in the learning of continuous nonlinear models at 11th grade. Adopting a qualitative methodology, we collected and analyzed the students’ writing productions. What they write when using the calculator gives evidence about the information valued (when they sketch graphics without any justification); about the strategies used (when they define the viewing window and relate different menus on the graphing calculator); and about the reasoning developed (when they justify the information given by the calculator and the formulation of generalizations and conjectures validation).

Mota, Bruna, Ana Carvalho, Maria Isabel Gomes, and Ana Paula Barbosa-povoa Green Supply Chain Design and Planning. Eds. J. M. Framinan, P. Perez Gonzalez, and A. Artiba. Proceedings of 2015 International Conference on Industrial Engineering and Systems Management (IESM),. I4 e2 - M. Goudalier, 2015. Abstract2015_motacarvalhogomesbpovoa_iesm2015.pdf

A Mixed Integer Linear Programming model for the design and planning of green supply chains is developed. Strategic and tactical decisions are taken, namely on facility location and capacity installation, supplier selection, technology selection, transportation network definition, supply planning, and product recovery. The aim of this work is to study the use of environmental indicators in these decisions while accounting for profit objectives. Different objective functions concerning environmental aspects are implemented. ReCiPe quantifies the environmental performance of the supply chain and combinations of ReCiPe’s midpoint categories allow a deeper analysis of the impact of these categories in strategic and tactical decisions. The goal is to understand if focusing on selected categories affects supply chain decisions and overall supply chain environmental impact. Net Present Value quantifies the economic performance and is used for lexicographic optimization. The model is applied to a case-study and important managerial insights are obtained. From a holistic point of view, it answers the question: how should supply chain environmental impact be assessed? From a case-study perspective, insights are obtained regarding what type of improvements should be implemented to reduce the environmental impact and how this would affect supply chain strategic and tactical decisions, along with economic performance.

Couto, Marco, Jácome Cunha, and João Paulo Fernandes. "GreenDroid: A Tool for Analysing Power Consumption in the Android Ecosystem." Proceedings of the 13th International Conference Informatics’2015. Propad, Slovakia 2015. 73-78.informatics2015.pdf
Cardoso, Tiago, João Delgado, and José Barata. "Hand gesture recognition towards enhancing accessibility." Procedia Computer Science. 67 (2015): 419-429. Abstract

Human-Computer-Interaction (HCI) is a key topic on the Accessibility area, namely in what concerns a Smart-City environment, where humans have to interact with artefacts spread all around one particular city. In the last decade HCI has experienced a significant evolution towards a desired fully natural user interface, for example in what concerns the ability to recognize a wide range of hand gestures in real-time. Some efforts have lately been made in the hardware sector in order to deploy sensors that may gather information about the human body movements, as detailed as possible. One example of this effort is the Kinect Sensor from Microsoft. Nevertheless, although these solutions provide a solution for the body movement, they lack on the details, namely the hands, given their small dimension compared to the body as a whole. In other words, the SDKs provided by the vendors of these devices usually lack on the needed details concerning hand movements that would be needed for an accurate hand gesture recognition implementation. This paper presents an extension to the Kinect SDK based on a contour analysis for the estimation of the hand position. This algorithms are then used to provide the creation of a gesture library that might be used afterwards.

Paulino, Hervé, and Eduardo Marques. "Heterogeneous Programming with Single Operation Multiple Data." Journal of Computer and System Sciences. 81.1 (2015): 16-37. AbstractWebsite

Heterogeneity is omnipresent in today’s commodity computational systems, which comprise at least one multi-core Central Processing Unit (CPU) and one Graphics Processing Unit (GPU). Nonetheless, all this computing power is not being exploited in mainstream computing, as the programming of these systems entails many details of the underlying architecture and of its distinct execution models. Current research on parallel programming is addressing these issues but, still, the systems’ heterogeneity is exposed at language level.
This paper proposes a uniform framework, grounded on the Single Operation Multiple Data model, for the programming of such heterogeneous systems. The model is declarative, empowering the compiler to generate code for multiple architectures from the same source. To this extent, we designed a simple extension of the Java programming language that embodies the model, and developed a compiler that generates code for both multi-core CPUs and GPUs. A performance evaluation attests the validity of the approach that, despite being based on a simple programming model, is able to deliver performance gains on par with hand-tuned data parallel multi-threaded Java applications.

Koerber, H., J. Xavier, P. P. Camanho, Y. E. Essa, and Martín F. de la Escalera. "High strain rate behaviour of 5-harness-satin weave fabric carbon-epoxy composite under compression and combined compression-shear loading." International Journal of Solids and Structures. 54 (2015): 172-182. AbstractWebsite

Abstract The strain rate dependent mechanical behaviour was studied for the common out-of-autoclave aerospace textile composite 5-harness-satin carbon�epoxy. End-loaded 15 � , 30 � and 45 � off-axis and 90 � compression tests were carried out at three different strain rate levels ( 4 � 10 - 4 s - 1 , 200 s - 1 and 1000 s - 1 ) to determine the effect of strain rate for transverse compression and combined transverse compression/in-plane shear loading. The dynamic tests were carried out on a split-Hopkinson pressure bar, where high speed photography and digital image correlation allowed a detailed study of the specimen deformation and failure process. Quasi-static reference tests were carried out on an electro-mechanical test machine using the same specimen type and a static \{DIC\} system. Pronounced strain rate effects on the axial stress�strain response were observed for all specimen types. Failure envelopes for the combined s 22 c - t 12 stress state were derived from the experimental data and compared with the maximum stress criterion, which appears well suited to approximate the experimental failure envelope at all strain rate levels. It was observed that the failure envelope was simply scaled up with increasing strain rate, while the overall shape was found to be strain rate independent.

Gomes, Ana Sofia, and José Júlio Alferes. "How to combine event stream reasoning with transactions for the semantic web." Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings. Vol. 9202. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9202. Springer-Verlag, 2015. 258-273. Abstractruleml.pdf

Semantic Sensor Web is a new trend of research integrating Semantic Web technologies with sensor networks. It uses Semantic Web standards to describe both the data produced by the sensors, but also the sensors and their networks, which enables interoperability of sensor networks, and provides a way to formally analyze and reason about these networks. Since sensors produce data at a very high rate, they require solutions to reason efficiently about what complex events occur based on the data captured. Nevertheless, besides detecting complex events, sensor based applications also need to execute actions in response to these events, and in some cases, to execute these actions in a transactional way. In this paper we propose TRev as a solution to combine the detection of complex events with the execution of transactions for these domains. TRev is an abstract logic to model and execute reactive transactions. The logic is parametric on a pair of oracles defining the basic primitives of the domain, which makes it suitable for a wide range of applications. In this paper we provide oracle instantiations combining RDF/OWL and relational database semantics for TRev Afterwards, based on these oracles, we illustrate how TRev can be useful for these domains.

Sallem, A., P. Pereira, Helena M. Fino, and M. Fakhfakh. "A hybrid approach for the sensitivity analysis of integrated inductors." Integration, the \{VLSI\} Journal (2015): 1-6. AbstractWebsite

Abstract This paper proposes a hybrid methodology for the evaluation of integrated inductors sensitivity against technological/geometrical parameters variation. The obtained results are used in an optimization-based design environment for integrated inductors, as a way of guaranteeing that obtained solutions are robust against parameter variation. For the inductor characterization, a lumped element model is used, where each element value is evaluated through physics based equations. The sensitivity of the inductor characterization to parameter variations is evaluated at two levels. At the physical level, the sensitivity of the model element values to technological/geometrical parameters variations is computed through an equation-based strategy. Then, the sensitivity of the inductor characterization to the model parameter variations is obtained through a simulation-based approach, where the Richardson extrapolation technique is used for the calculation of the partial derivatives. Several examples considering the evaluation of sensitivity of both inductance and quality factor of two inductors in \{UMC130\} technology are presented. Obtained results are compared against Monte-Carlo simulations.

Marzola, M., J. Russo, and O. Mateus. "Identification and comparison of modern and fossil crocodilian eggs and eggshell structures." Historical Biology. 27.1 (2015): 115-133. Abstractmarzola_et_al_2015_identification_and_comparison_of_modern_and_fossil_crocodilian_eggs_and_eggshell_structures.pdfWebsite

Eggshells from the three extant crocodilian species Crocodylus mindorensis (Philippine Crocodile), Paleosuchus palpebrosus (Cuvier's Smooth-fronted Caiman or Musky Caiman) and Alligator mississippiensis (American Alligator or Common Alligator) were prepared for thin section and scanning electron microscope analyses and are described in order to improve the knowledge on crocodilian eggs anatomy and microstructure, and to find new apomorphies that can be used for identification. Both extant and fossil crocodilian eggs present an ornamentation that vary as anastomo-, ramo- or the here newly described rugosocavate type. The angusticaniculate pore system is a shared character for Crocodylomorpha eggshells and some dinosaurian and avian groups. Previously reported signs of incubated crocodilian eggs were found also on our only fertilised and hatched egg. Paleosuchus palpebrosus presents unique organization and morphology of the three eggshell layers, with a relatively thin middle layer characterised by dense and compact tabular microstructure.

Rocha, H. The impact of technologies on the teacher's use of different representations. Proceedings of 12th International Conference onTechnology in Mathematics Teaching. Faro: Universidade do Algarve, 2015. Abstract

This study intends to characterize how the teacher uses and integrates the different representations provided by the graphing calculator on the process of teaching and learning functions at the secondary level. Specifically, it intends to understand the balance established between the use of the different representations, and the way these representations are articulated. The conclusions reached point to an active use of the graphic and algebraic representations and to a scarce use of the tabular representation. The conclusions also point to a flexible articulation between the two representations usual used, assuming different forms and frequently an interactive approach, repeatedly switching between representations.

Rocha, H. The impact of the cultural context on the professional practice of the teacher. Proceedings of 8th Annual International Conference of Education, Research and Innovation. Seville, Spain: ICERI, 2015. Abstract

THE IMPACT OF THE CULTURAL CONTEXT ON THE PROFESSIONAL PRACTICE OF THE TEACHER

H. Rocha

Universidade NOVA de Lisboa, Faculdade de Ciências e Tecnologia (PORTUGAL)

The professional knowledge is a key element of the teacher’s practice. This knowledge is naturally influenced by the teacher’s beliefs and conceptions and by his training, but the context where he develops his practice is perhaps the most decisive influence. At this level, the school where the teacher works and his colleagues are a powerful influence, but the characteristics of his students are even a stronger influence. The cultural diversity of the students and specifically the linguistic diversity are highly relevant elements. A classroom where different languages converge is always a complex context which requires a deeper professional knowledge with inevitable repercussions over the teacher’s practice.

This study focuses on a teacher working with a mathematics’ class of foreign students with heavy linguistic limitations on the language of instruction and it intends to analyze the impact of this context on the teacher’s practice. In particular, it intends to analyze how this context interferes with the characteristics of the tasks proposed by the teacher and with the way how mathematical concepts are presented to the students.

The study adopts a qualitative and interpretative methodological approach, undertaking one teacher case study. Data were collected during one school year by semi-structured interviews, class observation, and documental data gathering. All interviews and classes observed were audio taped and transcribed. Data analysis was conducted in an interpretative way.

The conclusions reached point to an increase on the appreciation of mechanization, to a large reduction in the use of problematic situations and to a presentation of Mathematics as calculation, disconnected from any application, and where reasoning appears as a marginal element or is even missing. The use of several examples becomes a key element of the practice of this teacher. The main finding of this study suggests that language limitations caused a strong impact on the practice of a teacher who considers the understanding and the development of reasoning from the discussion around mathematical ideas as central to the teaching of this subject. It was also possible to identify that the need to find a way to communicate reinforced the formalism of the mathematical language, placing it in the center of the learning process.

Keywords: cultural context, teacher’s practice, mathematics.

Ford, N., M. L. Morgado, and M. Rebelo. "An implicit finite difference approximation for the solution of the diffusion equation with distributed order in time." Electronic transactions on numerical analysis ETNA . 44 (2015): 289-305.
Maiti, B. K., L. B. Maia, C. M. Silveira, S. Todorovic, C. Carreira, M. S. Carepo, R. Grazina, I. Moura, S. R. Pauleta, and JJG Moura. "Incorporation of molybdenum in rubredoxin: models for mononuclear molybdenum enzymes." Journal of Biological Inorganic Chemistry. 20 (2015): 821-829. AbstractWebsite
Rybarczyk, Y. "Interacción Persona-Maquina: aplicaciones en robótica y juegos digitales." Event in the Universidad Tecnológica Indoamérica. Ambato, Ecuador 2015. copy.pdf
Moniz, António. "Intuitive Interaction Between Humans and Robots in Work Functions at Industrial Environments: The Role of Social Robotics." Social Robots from a Human Perspective. Eds. Jane Vincent, Sakari Taipale, Bartolomeo Sapio, Giuseppe Lugano, and Leopoldina Fortunati. Heidelberg: Springer, 2015. 67-76.
Tolstogouzov, A. B., S. F. Belykh, V. S. Gurov, A. A. Lozovan, A. I. Taganov, O. M. N. D. Teodoro, A. A. Trubitsyn, and S. P. Chenakin. "Ion Beam Sources Based on Room Temperature Ionic Liquids for Aerospace Applications , Nanotechnology , and Microprobe Analysis ( Review )." Instruments and Experimental Techniques. 58.1 (2015): 1-14.2014_review_ion_beam_sources.pdf
Rocha, H. Knowledge for teaching mathematics with technology and the search for a suitable viewing window to represent functions. Proceedings of Cerme 9. Prague, Czech Republic: ERME, 2015. Abstract

The usual difficulties of students regarding the choice of an appropriate window when using the graphing calculator in the study of functions and the importance of the teachers’ knowledge to overcoming them, led to this study. The main goal was to characterize the way teachers address the viewing window in the classroom, trying to infer aspects of the Knowledge for Teaching Mathematics with Technology that can justify that practice. The conclusions reached point to the importance of a set of specific knowledge where I highlight the knowledge of the students’ difficulties, the knowledge of mathematical content necessary to understand the impact of the viewing window on the graphic, and the knowledge of teaching strategies that address both the students’ difficulties and the relevant mathematical knowledge.

Govindan, K., Azevedo, S. G., Carvalho, H., and V. and Cruz Machado. "Lean, green and resilient practices influence on supply chain performance: interpretive structural modeling approach." International Journal of Environmental Science and Technology. 12 (2015): 15-34.
Grácio, Bruno, João Costa Seco, and Hugo Lourenço Linguagem de manipulação de dados para NoSQL. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.
Abdollahvand, S., L. Oliveira, L. Gomes, and J. Goes A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques. IEEE International Symposium on Circuits and Systems (ISCAS’15). Lisbon, Portugal: IEEE, 2015.