oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

匹配条件: “Vladimiro;” ,找到相关结果约24条。
列表显示的所有文章,均可免费获取
第1页/共24条
每页显示
Earth sciences in the correspondence of Ferdinando Visconti
Vladimiro Valerio
Annals of Geophysics , 2009, DOI: 10.4401/ag-4623
Abstract: The publication of the correspondence of Ferdinando Visconti has recently brought into focus the moral and scientific importance of one of the most famous Neapolitan scientist of the 19th century. Aim of this paper is to highlight the topics related to earth sciences, programs and activities carried out in the Topographical Office and in the Academy of Science of Naples under the auspices and the direction of Ferdinando Visconti.
Estimation of Subsidence in Po Delta Area (Northern Italy) by Integration of GPS Data, High-Precision Leveling and Archival Orthometric Elevations  [PDF]
Massimo Fabris, Vladimiro Achilli, Andrea Menin
International Journal of Geosciences (IJG) , 2014, DOI: 10.4236/ijg.2014.56052
Abstract:

Subsidence in a deformation area can be measured in various ways, examples being conventional high-precision leveling, differential InSAR and multi-temporal GPS surveys. Integration of methods can improve results, and is crucial to extract high-precision data. In particular, orthometric and ellipsoid elevations, surveyed at different moments in time, can be compared to yield information on vertical movements when geoid anomalies are known. However, a data checking procedure must be applied if archival orthometric elevations are used, because long-term measurements for many historical benchmarks may have been lost and/or replaced with other points, but at different elevations. This type of checking can be carried out over an area without gravimetric anomalies by modeling geoid undulations and vertical displacements in the time-span used for analysis, excluding points with anomalous values. This procedure was tested and applied in the Po Delta area (northern Italy), historically subject to high subsidence rates: the leveling benchmarks of 1983 were measured with the GPS technique in 2008. After checking of archival data and transformation from ellipsoid to orthometric elevations, comparisons of the same points and interpolations on the study area provided a subsidence map for the 1983-2008 period.

Metaheurística FEPSO aplicada a problemas de Optimización Combinatoria: Balance de Fases en Sistemas de Distribución Eléctrica
Schweickardt,Gustavo; Miranda,Vladimiro;
Ciencia, docencia y tecnolog?-a , 2010,
Abstract: this work presents a new metaheuristic oriented to solve combinatorial optimizations problems, commonly observed in different scientific knowledge fields. it aims contribute, from the artificial intelligence, to optimal systems design, where the techniques based on classical mathematical programming are unsuccessful. the metaheuristic, called fepso (fuzzy evolutionary particle swarm optimization), integrates techniques of fuzzy optimization, swarm intelligence and evolution strategies, demonstrating an excellent ability to find global solutions. while the proposed model is the result of extensive research, their developments are discussed with the aim of incorporating them into areas of discussion and relevant education, fostering its dissemination and critical. a solution for a problem of phase balancing of a three-phase low voltage electric distribution system, disscused in the state of art, is presented.
A Verified Algebra for Linked Data
Ross Horne,Vladimiro Sassone
Electronic Proceedings in Theoretical Computer Science , 2011, DOI: 10.4204/eptcs.58.2
Abstract: A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational semantics. Bisimulation over the labelled transition system is used to verify an algebra over queries. The derived algebra is a contribution to the application domain. For instance, the algebra may be used to rewrite a query to optimise its distribution across a cluster of servers. The framework used to provide the operational semantics is powerful enough to model related calculi for the Web.
Metaheurística FEPSO aplicada a problemas de Optimización Combinatoria: Balance de Fases en Sistemas de Distribución Eléctrica
Gustavo Schweickardt,Vladimiro Miranda
Ciencia, Docencia y Tecnología , 2010,
Abstract: El presente trabajo propone una novedosa metaheurística orientada a la solución de problemas de Optimización Combinatoria, muy frecuentes en diversos campos del conocimiento científico. Se procura un aporte desde la Inteligencia Artificial al Dise o óptimo de Sistemas, en los que las técnicas sustentadas en Programación Matemática Clásica no tienen éxito. La metaheurística, referida como FEPSO (Fuzzy Evolutionary Particle Swarm Optimization/Optimización Evolucionaria por Enjambre de Partículas), integra técnicas de Optimización Difusa, Inteligencia de Grupo y Estrategias Evolutivas, demostrando una excelente aptitud para dar con soluciones globales. Si bien el modelo propuesto es resultado de exhaustivas investigaciones, sus desarrollos son abordados con la finalidad de incorporarlos en ámbitos de discusión y ense anza pertinentes, propiciando su difusión y críticas. Se presenta una solución para un problema no resuelto satisfactoriamente mediante métodos clásicos: la Optimización del Grado de Desbalance de Cargas en un Sistema Trifásico de Distribución Eléctrica en Baja Tensión.
Methodology for inspection of wood pathologie using ultrasonic pulses
Carrasco, Edgar Vladimiro Mantilla;Teixeira, Amanda Rocha;
CERNE , 2012, DOI: 10.1590/S0104-77602012000300016
Abstract: awareness has been on the rise on the part of society about the importance of wooden structures, in particular historic buildings. this concern is reflected in continued maintenance of historic heritage and has been increasingly leading professionals working in the field of wooden structures to seek improved techniques for inspection of such structures. methods involving nondestructive testing (ndt) are the most recommended for inspection, as they do not affect the relevant architecture and thus help maintain the integrity and originality of the building. among the various existing ndt methods, a widespread and promising option is the ultrasound technique. this work introduces a methodology for inspection of wooden structural elements using ultrasonic pulses. the methodology was applied to a glued laminated timber beam with signs of decay on its interior. ultrasound results helped map the damaged areas of the beam on a plane by using isochromatic patterns. the contribution of this work is a methodology to help investigate wood pathologies which, in combination with other complementary techniques, will allow more accurate and reliable evaluations of wooden structures, avoiding unnecessary replacement of sound structural elements mistakenly presumed to be damaged, or else ensuring maintenance of extremely deteriorated elements that would otherwise compromise the overall stability of the structure.
Methodology for inspection of wood pathologies using ultrasonic pulses
Edgar Vladimiro Mantilla Carrasco,Amanda Rocha Teixeira
CERNE , 2012,
Abstract: Awareness has been on the rise on the part of society about the importance of wooden structures, in particular historic buildings. This concern is reflected in continued maintenance of historic heritage and has been increasingly leading professionals working in the field of wooden structures to seek improved techniques for inspection of such structures. Methods involving nondestructive testing (NDT) are the most recommended for inspection, as they do not affect the relevant architecture and thus help maintain the integrity and originality of the building. Among the various existing NDT methods, a widespread and promising option is the ultrasound technique. This work introduces a methodology for inspection of wooden structural elements using ultrasonic pulses. The methodology was applied to a glued laminated timber beam with signs of decay on its interior. Ultrasound results helped map the damaged areas of the beam on a plane by using isochromatic patterns. The contribution of this work is a methodology to help investigate wood pathologies which, in combination with other complementary techniques, will allow more accurate and reliable evaluations of wooden structures, avoiding unnecessary replacement of sound structural elements mistakenly presumed to be damaged, or else ensuring maintenance of extremely deteriorated elements that would otherwise compromise the overall stability of the structure.
Assessment of Global Fatigue in Multiple Sclerosis: A Spanish Language Version of the CGI and PGI Fatigue Scales  [PDF]
Steven D. Targum, Pablo Richly, Vladimiro Sinay, Daniel Goldberg-Zimring, Facundo Manes
Neuroscience & Medicine (NM) , 2013, DOI: 10.4236/nm.2013.43022
Abstract:

Background: Fatigue is often identified as weakness following muscular exertion in patients with multiple sclerosis (MS) but may be associated with other physical, cognitive and emotional symptoms. Objective: To develop a Spanish language global impression of fatigue scales to evaluate symptoms of fatigue distinct from a particular disease. Methods: 50 ambulatory patients with MS attending a clinical institute in Argentina consented to participate in this reliability study. The Spanish language version of the Clinical and Patient Global Impressions of Fatigue (CGI-S-F and PGI-S-F) instruments were administered with the Massachusetts General Hospital cognitive and physical functioning questionnaire (MGH-CPFQ). Results: The CGI-S-F and PGI-S-F scores were well correlated with each other (p < 0.00005). The mean CGI-S for fatigue was 2.28 ± 1.07 (SD) and PGI-S for fatigue was 2.30 ± 1.16 (p = ns) reflecting borderline to mild perception of fatigue. The total MGH-CPFQ was 16.68 ± 4.32. Both CGI-S-F and PGI-S-F measures were correlated with the MGH-CPFQ: CGI-Severity (r = 0.632; p

Permission-Based Separation Logic for Message-Passing Concurrency
Adrian Francalanza,Julian Rathke,Vladimiro Sassone
Computer Science , 2011, DOI: 10.2168/LMCS-7(3:7)2011
Abstract: We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission- resources and define a reduction semantics for this extended language. This provides a foundation for interpreting separation formulas for message-passing concurrency. We also define a sound proof system permitting us to infer satisfaction compositionally using local, separation-based reasoning.
Security Policies as Membranes in Systems for Global Computing
Daniele Gorla,Matthew Hennessy,Vladimiro Sassone
Computer Science , 2005, DOI: 10.2168/LMCS-1(3:2)2005
Abstract: We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body and the external environment. More precisely, membranes are filters which control access to the associated site, and they also rely on the well-established notion of trust between sites. We develop a basic theory to express and enforce security policies via membranes. Initially, these only control the actions incoming agents intend to perform locally. We then adapt the basic theory to encompass more sophisticated policies, where the number of actions an agent wants to perform, and also their order, are considered.
第1页/共24条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.