Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 79 )

2018 ( 644 )

2017 ( 627 )

2016 ( 798 )

Custom range...

Search Results: 1 - 10 of 449147 matches for " J.L.;Maeda "
All listed articles are free for downloading (OA Articles)
Page 1 /449147
Display every page Item
Probabilistic Verification over GF(2m) Using Mod2-OBDDs  [PDF]
J.L. Imana
Intelligent Information Management (IIM) , 2010, DOI: 10.4236/iim.2010.22012
Abstract: Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for both Boolean circuit specifications and logic designs, but these methods require a large amount of memory and time. Due to these limitations, several models of Decision Diagrams have been studied and other verification techniques have been proposed. In this paper, we have used probabilistic verification with Galois (or finite) field GF(2m) modifying the CUDD package for the computation of signatures in classical OBDDs, and for the construction of Mod2-OBDDs (also known as ?-OBDDs). Mod2-OBDDs have been constructed with a two-level layer of ?-nodes using a positive Davio expansion (pDE) for a given variable. The sizes of the Mod2-OBDDs obtained with our method are lower than the Mod2-OBDDs sizes obtained with other similar methods.
Conceptualización de los Conocimientos de un Experto en la Monitorización del Funcionamiento de una Línea de Producción de las Pulpas de Frutas
Información tecnológica , 2004, DOI: 10.4067/S0718-07642004000200019
Abstract: this work presents the conceptualization and formal presentation of knowledge that an expert technician uses in monitoring the functioning of a fruit pulp production line. using ideal, the knowledge-based systems development methodology, conceptual models of the knowledge that an expert uses, was obtained. the models were graphically documented and the knowledge map of the task that the expert performs was obtained. the formalization of the conceptual knowledge model was carried out by means of hybrid model of frames and production systems, aiming at the accomplishment of an object-oriented programming. in conclusion, the knowledge conceptualization achieved is quite complete and detailed and the formalization carried out was useful in the case analyzed
Urgencias metabólicas en el paciente oncológico
Anales del Sistema Sanitario de Navarra , 2004, DOI: 10.4321/S1137-66272004000600006
Abstract: amongst the principal metabolic situations that can require emergency attention in the oncology patient we find: hypercalcaemia, hyponatraemia, tumoural lysis syndrome, lactic acidosis, hyperuricaemia, renal failure, hyperammonaemia, hypermpotasaemia, etc. hypercalcaemia is the most frequent metabolic complication in oncology, appearing in 10-30% of these patients. it has two main mechanisms, tumoural lysis and humoural hypercalcaemia mediated by pthrp (a protein related to parathormone). the principal factor for its diagnosis is suspicion, since some symptoms are non-specific and can be attributed to other causes such as somnolence, constipation, etc. treatment will be based on intensity and is started with calciuretic measures with an intense hydration with physiological serum and on some occasions with furosemide. anti-reabsorptive measures include calcitonin, bisphosphonates, mithramycin, gallium nitrate and on occasions corticoids. bisphosphonates such as pamidronate and zoledronate seem to be highly useful in these cases. hyponatraemia is classified depending on plasmatic osmorality; when this is low we find ourselves facing an authentic hyponatraemia that can develop with an extra-cellular volume that is high (cardiac insufficiency, cirrhosis, nephrotic syndrome and renal insufficiency), low (renal and extra-renal sodium losses) and normal (principally siadh, related to a high elimination of sodium in the urine with high urinary osmolarity in spite of this being low in blood). several types of tumour and different chemotherapy drugs can produce this siadh. treatment will vary according to the type and intensity, but in general this is based on hydric restriction and the replacement of the sodium deficit, either through physiological serum or through hypertonic saline serums depending on the case, and on occasions furosemide for the elimination of excess water.
CT&F - Ciencia, Tecnología y Futuro , 1998,
Abstract: for the determination of the palaeocurrent directions in the provinica field, were took 2664 measurements of the dipmeter logs were taken to make the statistical analyses of the formations that are between umir and the real group (maastrichtian and miocene age). the palaeocurrent directions are defined based on statistics analyses, as the average (in azimuth) and its consistency ratio (cr). the paleocurrent directions are principally to the northeast for the umir and the lower real formations; to the east for the lisama, esmeraldas, mugrosa, colorado and middle real formations, and in the southeast for the upper real formation. in general, there were observed important changes in the palaeocurrent directions between the umir-lisama, lisama-emeralds, colorado-real and between the medium and the upperpartof the real group. these changes in the paleocurrent directions suggest to be associated to tectonic events that involved this area.
La maduración del tercer molar y el diagnóstico de la edad: Evolución y estado actual de la cuestión
Cuadernos de Medicina Forense , 2008, DOI: 10.4321/S1135-76062008000100003
Abstract: demand for age assessment of young undocumented people is continually increasing and involves the need to protect the rights of minors recognised in the different international treaties and agreements when those below legal age are subject to legal action or simply seek asylum in a foreign country. in most of cases, interest focuses on determining the legal age of the person in question, in many countries whether they are 18 years old or younger. age assessment must be as reliable and right as possible and the use of morphological methods based on radiological examination of dental and skeletal development is recommended. in recent years there has been a proliferation of studies focusing on third molar maturation as an age assessment method. the purpose is to obtain data that enable us a better understanding of the factors influencing the maturation of this tooth and establish more specific reference values which provide a more reliable diagnosis. this paper aims to carry out a brief review about the evolution of knowledge and state of the art in this field.
La Antropología Forense en Espa?a desde la perspectiva de la medicina forense
Cuadernos de Medicina Forense , 2008, DOI: 10.4321/S1135-76062008000300002
Abstract: forensic anthropology has developed in different ways across the world in response to specific country criteria in approaches to forensic investigations, the role that the forensic anthropologist plays in these investigations and their background and/or the type of training system implemented. in spain, identification when dealing with living subjects and that of the deceased in the legal sphere, is an activity clearly linked to legal and forensic medicine, usually practised inside the organisational system of forensic medicine. otherwise, the origin of modern forensic medicine and anthropology, on which doctors and naturalists had a significant impact, is coincident in time. in spite of the way covered, forensic anthropology is a growing scientific discipline in spain, as evidenced by the increase in specific courses, texts and articles published in national and international journals, becoming more and more frequently in recent years.
The Energetic Performance of Vehicles
J.L. Radtke
The Open Fuels & Energy Science Journal , 2008, DOI: 10.2174/1876973X00801010011]
Abstract: Various methods of determining the energetic performance of vehicles were described and compared. Earlier work emphasized maximum vehicle power and theoretical performance limits, and characterized the vehicle or payload in terms of weight. Energetic efficiency was calculated here as the payload mass times distance moved divided by thermal energy used. This efficiency was multiplied by average speed to yield an energetic performance parameter that was expressed in seconds, using SI units. The differential form of this parameter was twice the useful payload kinetic energy divided by thermal power expenditure. A transportation matrix was developed, describing how vehicles are most commonly used in terms of speed, efficiency, GHG emissions, payload mass and energetic performance. Vehicles with the highest level of energetic performance have efficient powerplants, high payload to gross mass ratios, or reduced friction with the surrounding environment.
JUAN M. LOPE BLANCH. El habla de Diego de Ordaz. Contribución a la historia del espa ol americano. México, UNAM. 1985. 233 p.
J.L. R.
Lexis , 1988,
Abstract: Este libro reúne los trabajos publicados por Lope Blanch en revistas especializadas y homenajes académicos acerca del idiolecto de este importante americano nacido en tierras leonesas hacia 1480, colonizador de las Antillas, expedicionario a Tierra Firme y a Cuba, conquistador de México y explorador del Orinoco. La base documental está constituida por siete cartas autógrafas que L.B. publica al final del libro en una cuidadosa transcripción que corrige defectos de una edición anterior.
SADIE como herramienta de cuantificación de la heterogeneidad espacial: casos prácticos en el Parque Nacional de Sierra Nevada (Granada, Espa a)
J.L. Quero
Ecosistemas , 2006,
Abstract: SADIE como herramienta de cuantificación de la heterogeneidad espacial: casos prácticos en el Parque Nacional de Sierra Nevada (Granada, Espa a). SADIE es una herramienta de análisis espacial basado en índices de distancia. Su sencilla metodología, cuantifica el patrón espacial de una variable objeto de estudio, detecta los agregados locales de la variable y cuantifica el grado de asociación o disociación espacial entre pares de variables. SADIE genera estadísticos continuos para cada punto de muestro con lo que las diferentes facetas del patrón espacial que SADIE detecta, puede ser representadas mediante mapas. Otra de las ventajas de SADIE es su baja exigencia con datos de diferente naturaleza aunque también se describen diferentes limitaciones de la metodología. El creador de SADIE también ha dise ado un sencillo programa informático, bajo entorno Windows, que facilita la utilización de esta herramienta. A modo de ejemplo, se presentan resultados de un estudio sobre la variación espacial a peque a escala de factores abióticos en la heterogénea Sierra Nevada (Granada). La versatilidad y sencillez de uso, han hecho que esta herramienta de análisis espacial se haya extendido considerablemente en los últimos tiempos.
J.L. Jooste
South African Journal of Industrial Engineering , 2012,
Abstract: ENGLISH ABSTRACT: This paper presents the results of a survey conducted on the performance of local maintenance practices. The client base of a leading asset management consultancy was used as the basis for the survey. The sample included a diversity of enterprises across the local industry. Maintenance-related data for 2004 was statistically analyzed; it is presented here in three categories relating to maintenance performance: planning and resource usage, maintenance tactics and time distribution, and performance monitoring and reporting. The aim of the results is to serve as performance benchmarks for the local industry, which will aid in setting targets and identifying initiatives for improvement. AFRIKAANSE OPSOMMING: Die resultate word getoon van ‘n opname wat gedoen is oor die prestasie van plaaslike instandhoudingspraktyke. Die kli ntebasis van ‘n toonaangewende raadgewende batebestuurfirma is gebruik as basis vir die opname. Die steekproef sluit ‘n verskeidenheid van ondernemings, verteenwoordigend van die plaaslike industrie, in. Instandhoudingsdata vir 2004 is statisties geanaliseer en word aangebied in drie kategorie met betrekking tot instandhoudingsprestasie: beplanning en gebruik van hulpbronne, instandhoudingstaktiek en tydsverdeling, en prestasiemonitering en rapportering. Die doelwit is om ‘n verwysingspunt vir die plaaslike industrie te stel, vanwaar teikens bepaal en verbeteringsinisiatiewe ge dentifiseer kan word.
Page 1 /449147
Display every page Item

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