943 resultados para Developers of Java system


Relevância:

100.00% 100.00%

Publicador:

Resumo:

MSC 2010: 26A33, 44A45, 44A40, 65J10

Relevância:

100.00% 100.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 62H15, 62P10.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Multiple system atrophy (MSA) is a rare neurodegenerative disorder associated with parkinsonism, ataxia, and autonomic dysfunction. Its pathology is primarily subcortical comprising vacuolation, neuronal loss, gliosis, and α-synuclein-immunoreactive glial cytoplasmic inclusions (GO). To quantify cerebellar pathology in MSA, the density and spatial pattern of the pathological changes were studied in α-synuclein-immunolabelled sections of the cerebellar hemisphere in 10 MSA and 10 control cases. In MSA, densities of Purkinje cells (PC) were decreased and vacuoles in the granule cell layer (GL) increased compared with controls. In six MSA cases, GCI were present in cerebellar white matter. In the molecular layer (ML) and GL of MSA, vacuoles were clustered, the clusters exhibiting a regular distribution parallel to the edge of the folia. Purkinje cells were randomly or regularly distributed with large gaps between surviving cells. Densities of glial cells and surviving neurons in the ML and surviving cells and vacuoles in the GL were negatively correlated consistent with gliosis and vacuolation in response to neuronal loss. Principal components analysis (PCA) suggested vacuole densities in the ML and vacuole density and cell losses in the GL were the main source of neuropathological variation among cases. The data suggest that: (1) cell losses and vacuolation of the GCL and loss of PC were the most significant pathological changes in the cases studied, (2) pathological changes were topographically distributed, and (3) cerebellar pathology could influence cerebral function in MSA via the cerebello-dentato-thalamic tract.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Kornai János rendszerparadigma-fogalmából és az ott felsorolt közgazdászok névsorából kiindulva, a tanulmány kiemel néhány mozzanatot ennek eszmetörténeti előzményeiből. A hatvanas évek szociológiai irodalmában időszerűtlennek tartották a nagy elmélet létrehozását, a nyolcvanas évek társadalomtudományában viszont már a hagyományos nagy rendszeralkotás és elbeszélésmód visszatérését méltatták. Adam Smith közgazdaságtanát a társadalmi érintkezés átfogó elmélete részének szánta, amely tartalmazza a jog, politika és erkölcs elveit és történetét. Ezt szemlélteti a kereskedelmi társadalom paradoxonának elemzése és annak bemutatása, hogyan vezetett a fényűzés a szabadság helyreállításához és a rendszeres kormányzat létrejöttéhez. Marx és a német történeti iskola egyaránt törekedett a társadalom történeti fejlődéstörvényeinek feltárására, noha kölcsönösen elutasították egymás felfogásának többi elemét. Schumpeter életművét az a törekvés határozta meg, hogy összekapcsolja az elméleti analízist és a történeti leírást, hogy a gazdasági fejlődés elemzéséből kiindulva megalkossa a társadalmi élet különböző területeinek interdependenciáját bemutató elméletet. / === / The study starts from János Kornai's concept of a system paradigm and the list of economists there to lift certain elements from its antecedents in intellectual history. The sociological writers of the 1960s thought it was inopportune to create a grand theory, while the social scientists of the 1980s were busy celebrating the return of the great traditional system-creating process and its mode of narration. Adam Smith presented his economics as part of a comprehensive theory of social organization that would cover the principles and history of law, politics and morality. This is illustrated by his analysis of the paradox of commercial society and his demonstration of how wealth led to the restoration of liberty and the establishment of regular governance. Marx and the German historical school both strove to identify laws of the historical development of society, although they each rejected the other elements of the other's concept. Schumpeter's oeuvre was marked by an effort to combine theoretical analysis with historical description, so that from an analysis of economic development he could arrive at a theory presenting the interdependence of the various areas of social activity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The existence of an inverse limit of an inverse system of (probability) measure spaces has been investigated since the very beginning of the birth of the modern probability theory. Results from Kolmogorov [10], Bochner [2], Choksi [5], Metivier [14], Bourbaki [3] among others have paved the way of the deep understanding of the problem under consideration. All the above results, however, call for some topological concepts, or at least ones which are closely related topological ones. In this paper we investigate purely measurable inverse systems of (probability) measure spaces, and give a sucient condition for the existence of a unique inverse limit. An example for the considered purely measurable inverse systems of (probability) measure spaces is also given.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Az SAP-rendszernek a kontrollingszervezetek működésére gyakorolt pozitív hatása nem titok. A visszacsatolás lehetőségének biztosításával alkalom nyílik a szervezetek tevékenységének követésére, ellenőrzésére, felülbírálására. A logisztika mint az egész vállalatot átszövő rendszer, működésének nyomon követése is létfontosságúvá vált, hiszen összetettségéből kifolyólag jellegzetességei, színvonala az egész rendszerre hatást gyakorol. A logisztikai rendszer és folyamatainak figyelemmel kísérésére a logisztikai kontrollingrendszer nyújt megoldást, visszacsatolási pontjain keresztül. A műanyag-feldolgozó vállalat esetében a szervezeti SAP-rendszer logisztikai kontrollingterületének fejlesztésétől várják a szervezeti hatékonyság emelkedését és a jobb színvonal elérését. _____ Positive effect of the SAP system on the operation of controlling organisations has not been a secret. Opportunity of the feedback will be possible to track, control, override operation of the organisations. The logistic controlling system provides a solution through feedback points for monitoring the logistic system and processes. In the case of plastics manufacturing company the increasing of organisational efficiency and achievement of a better standard is anticipated from development of logistic controlling area of the organisational SAP system.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The low-frequency electromagnetic compatibility (EMC) is an increasingly important aspect in the design of practical systems to ensure the functional safety and reliability of complex products. The opportunities for using numerical techniques to predict and analyze system's EMC are therefore of considerable interest in many industries. As the first phase of study, a proper model, including all the details of the component, was required. Therefore, the advances in EMC modeling were studied with classifying analytical and numerical models. The selected model was finite element (FE) modeling, coupled with the distributed network method, to generate the model of the converter's components and obtain the frequency behavioral model of the converter. The method has the ability to reveal the behavior of parasitic elements and higher resonances, which have critical impacts in studying EMI problems. For the EMC and signature studies of the machine drives, the equivalent source modeling was studied. Considering the details of the multi-machine environment, including actual models, some innovation in equivalent source modeling was performed to decrease the simulation time dramatically. Several models were designed in this study and the voltage current cube model and wire model have the best result. The GA-based PSO method is used as the optimization process. Superposition and suppression of the fields in coupling the components were also studied and verified. The simulation time of the equivalent model is 80-100 times lower than the detailed model. All tests were verified experimentally. As the application of EMC and signature study, the fault diagnosis and condition monitoring of an induction motor drive was developed using radiated fields. In addition to experimental tests, the 3DFE analysis was coupled with circuit-based software to implement the incipient fault cases. The identification was implemented using ANN for seventy various faulty cases. The simulation results were verified experimentally. Finally, the identification of the types of power components were implemented. The results show that it is possible to identify the type of components, as well as the faulty components, by comparing the amplitudes of their stray field harmonics. The identification using the stray fields is nondestructive and can be used for the setups that cannot go offline and be dismantled

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this study, we obtained concentrations and abundance ratios of long-chain alkenones and glycerol dialkyl glycerol tetraethers (GDGTs) in a one-year time-series of sinking particles collected with a sediment trap moored from December 2001 to November 2002 at 2200 m water depth south of Java in the eastern Indian Ocean. We investigate the seasonality of alkenone and GDGT fluxes as well as the potential habitat depth of the Thaumarchaeota producing the GDGTs entrained in sinking particles. The alkenone flux shows a pronounced seasonality and ranges from 1 µg m-**2 d**-1 to 35 µg m**-2 d**-1. The highest alkenone flux is observed in late September during the Southeast monsoon, coincident with high total organic carbon fluxes as well as high net primary productivity. Flux-weighted mean temperature for the high flux period using the alkenone-based sea-surface temperature (SST) index UK'37 is 26.7°C, which is similar to satellite-derived Southeast (SE) monsoon SST (26.4°C). The GDGT flux displays a weaker seasonality than that of the alkenones. It is elevated during the SE monsoon period compared to the Northwest (NW) monsoon and intermonsoon periods (approximately 2.5 times), which is probably related to seasonal variation of the abundance of Thaumarchaeota, or to enhanced export of GDGTs by aggregation with sinking phytoplankton detritus. Flux-weighted mean temperature inferred from the GDGT-based TEXH86 index is 26.2°C, which is 1.8 °C lower than mean annual (ma) SST but similar to SE monsoon SST. As the time series of TEXH86 temperature estimates, however, does not record a strong seasonal amplitude, we infer that TEXH86 reflects ma upper thermocline temperature at approximately 50 m water depth.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The advent of next-generation sequencing has significantly reduced the cost of obtaining large-scale genetic resources, opening the door for genomic studies of non-model but ecologically interesting species. The shift in mating system, from outcrossing to selfing, has occurred thousands of times in angiosperms and is accompanied by profound changes in the population genetics and ecology of a species. A large body of work has been devoted to understanding why the shift occurs and the impact of the shift on the genetics of the resulting selfing populations, however, the causes and consequences of the transition to selfing involve a complicated interaction of genetic and demographic factors which are difficult to untangle. Abronia umbellata is a Pacific coastal dune endemic which displays a striking shift in mating system across its geographic range, with large-flowered outcrossing populations south of San Francisco and small-flowered selfing populations to the north. Abronia umbellata is an attractive model system for the study of mating system transitions because the shift appears to be recent and therefore less obscured by post-shift processes, it has a near one-dimensional geographic range which simplifies analysis and interpretation, and demographic data has been collected for many of the populations. In this study, we generated transcriptome-level data for 12 plants including individuals from both subspecies, along with a resequencing study of 48 individuals from populations across the range. The genetic analysis revealed a recent transition to selfing involving a drastic reduction in genetic diversity in the selfing lineage, potentially indicative of a recent population bottleneck and a transition to selfing due to reproductive assurance. Interestingly, the genetic structure of the populations was not coincident with the current subspecies demarcation, and two large-flowered populations were classified with the selfing subspecies, suggesting a potential need for re-evaluation of the current subspecies classification. Our finding of low diversity in selfing populations may also have implications for the conservation value of the threatened selfing subspecies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Seaports play a critical role as gateways and facilitators of economic interchange and logistics processes and thus have become crucial nodes in globalised production networks andmobility systems. Both the physical port infrastructure and its operational superstructure have undergone intensive evolution processes in an effort to adapt to changing economic environments, technological advances,maritime industry expectations and institutional reforms. The results, in terms of infrastructure, operator models and the role of an individual port within the port system, vary by region, institutional and economic context. While ports have undoubtedly developed in scale to respond to the changing volumes and structures in geographies of trade (Wilmsmeier, 2015), the development of hinterland access infrastructure, regulatory systems and institutional structures have in many instances lagged behind. The resulting bottlenecks reflect deficits in the interplay between the economic system and the factors defining port development (e.g. transport demand, the structure of trade, transport services, institutional capacities, etc. cf. Cullinane and Wilmsmeier, 2011). There is a wide range of case study approaches and analyses of individual ports, but analyses from a port system perspective are less common, and those that exist are seldom critical of the dominant discourse assuming the efficiency of market competition (cf. Debrie et al., 2013). This special section aims to capture the spectrum of approaches in current geography research on port system evolution. Thus, the papers reach from the traditional spatial approach (Rodrigue and Ashar, this volume) to network analysis (Mohamed-Chérif and Ducruet, this volume) to institutional discussions (Vonck and Notteboom, this volume; Wilmsmeier and Monios, this volume). The selection of papers allows an opening of discussion and reflection on current research, necessary critical analysis of the influences on port systemevolution and,most importantly, future directions. The remainder of this editorial aims to reflect on these challenges and identify the potential for future research.