994 resultados para Java,
Resumo:
A semi-weekly paper that was published from 1801 to 1817. It was previously called the Independent chronicle and the universal advertiser, and was later the Independent chronicle and Boston patriot (Semiweekly). Publishers were Abijah Adams and Ebenezer Rhoades. Topics of interest in this issue include: Page 1: notice from the U.S. War Department seeking proposals for the supply of rations to troops; account of the battle of Bridgewater; list of important military figures wounded in the battle; news of prisoner exchange; Americans and the British negotiate and new prisoner exchange convention; Page 2: report of more British troops sailing to North America; report of some Indian tribes signing a treaty to fight against the British; report of battle near Detroit; report of militia moving from Fredricksburg, Virginia to Baltimore, Maryland; report of troop numbers and casualties in the battle of Bridgewater; report that Commodore Chauncey has recovered from his illness; news of American Naval forces sailing from Sackett's Harbor; Indian tribes sign peace treaty with U.S.; news of U.S. relations with Indians in the southern U.S.; account of battle of Bridgewater and list of casualties; report of the number of men killed and wounded on both sides in the battle of Chippewa; Page 3: report of surprise attack on the British; news of warship movements in and out of Halifax; frigate Java launched in Baltimore; news of British ship movements; 3 companies of Massachusetts militia arrive at Fort Warren; news of ship movements in and out of the Port of Boston; various Marshal's notices alleging U.S. ships supplying goods to the British;
Resumo:
Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has been developed at Kiel University. RelView works within the standard model of relation algebras. On the other hand, relation algebras do have other models which may have different properties. For example, in the standard model we always have L;L=L (the composition of two (heterogeneous) universal relations yields a universal relation). This is not true in some non-standard models. Therefore, any example in RelView will always satisfy this property even though it is not true in general. On the other hand, it has been shown that every relation algebra with relational sums and subobjects can be seen as matrix algebra similar to the correspondence of binary relations between sets and Boolean matrices. The aim of my research is to develop a new system that works with both standard and non-standard models for arbitrary relations using multiple-valued decision diagrams (MDDs). This system will implement relations as matrix algebras. The proposed structure is a library written in C which can be imported by other languages such as Java or Haskell.
Resumo:
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.
Resumo:
Includes 41 copies of plans of Royal Navy ships, ranging in date from 1784 to 1816. Some of the ships included are the Bonne Citoyenne, Niagara, Epervier, Comet, Contest, Ferret, Childers, Anacreon, Florida, Hind, Hermes, Psyche, Princess Charlotte, Contest, Prince Regent, Caroline, Thetis, Statira, Forte, Pelican, Crescent, Euryalus, Chesapeake, Acasta, Banterer, Leda, Endymion, Amphion, President, Tonnant, Ramillies, Boyne, and St. Lawrence. Many of these ships were used by the British during the War of 1812. The original plans are at the National Maritime Museum in Greenwich, London. Also included is a copy of a handwritten chart with the number and size of the British and United States Squadrons on Lake Ontario, March 1814 (during the War of 1812). This includes the number and caliber of long guns and carronades, as well as the weight of metal, for different ships. British ships include the Prince Regent, Princess Charlotte, Wolfe, Royal George, Melville, Moira, Sir Sidney Smith, and Beresford. American ships include the [General] Pike, Madison, Oneida, Sylph, Genl Tompkins[?], Conquest, Fair American, Ontario, Pert, Asp, and Lady of the Lake. Also included is a copy of a map titled Track of the Action, tracking the movements of the HMS Java and the USS Constitution, dated December 29, 1812, and a copy of a map of Lake Champlain and Plattsburgh Bay showing the position of a vessel(s), undated.
Resumo:
Affiliation: Dpartement de biochimie, Facult de mdecine, Universit de Montral
Resumo:
Les cadriciels et les bibliothques sont indispensables aux systmes logiciels d'aujourd'hui. Quand ils voluent, il est souvent fastidieux et coteux pour les dveloppeurs de faire la mise jour de leur code. Par consquent, des approches ont t proposes pour aider les dveloppeurs migrer leur code. Gnralement, ces approches ne peuvent identifier automatiquement les rgles de modification une-remplace-par-plusieurs mthodes et plusieurs-remplaces-par-une mthode. De plus, elles font souvent un compromis entre rappel et prcision dans leur rsultats en utilisant un ou plusieurs seuils exprimentaux. Nous prsentons AURA (AUtomatic change Rule Assistant), une nouvelle approche hybride qui combine call dependency analysis et text similarity analysis pour surmonter ces limitations. Nous avons implant AURA en Java et compar ses rsultats sur cinq cadriciels avec trois approches prcdentes par Dagenais et Robillard, M. Kim et al., et Schfer et al. Les rsultats de cette comparaison montrent que, en moyenne, le rappel de AURA est 53,07% plus que celui des autre approches avec une prcision similaire (0,10% en moins).
Resumo:
Dans le dveloppement logiciel en industrie, les documents de spcification jouent un rle important pour la communication entre les analystes et les dveloppeurs. Cependant, avec le temps, les changements de personel et les chances toujours plus courtes, ces documents sont souvent obsoltes ou incohrents avec l'tat effectif du systme, i.e., son code source. Pourtant, il est ncessaire que les composants du systme logiciel soient conservs jour et cohrents avec leurs documents de spcifications pour faciliter leur dveloppement et maintenance et, ainsi, pour en rduire les cots. Maintenir la cohrence entre spcification et code source ncessite de pouvoir reprsenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manire cohrente et automatique. Nous proposons une solution permettant de dcrire une reprsentation d'un logiciel ainsi qu'un formalisme mathmatique permettant de dcrire et de manipuler l'volution des composants de ces reprsentations. Le formalisme est bas sur les triplets de Hoare pour reprsenter les transformations et sur la thorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les diffrentes reprsentations du systme. Nous illustrons notre formalisme sur deux reprsentations d'un systme logiciel : PADL, une reprsentation architecturale de haut niveau (semblable UML), et JCT, un arbre de syntaxe abstrait bas sur Java. Nous dfinissons galement des transformations reprsentant l'volution de ces reprsentations et la transposition permettant de reporter les transformations d'une reprsentation sur l'autre. Enfin, nous avons dvelopp et dcrivons brivement une implmentation de notre illustration, un plugiciel pour l'IDE Eclipse dtectant les transformations effectues sur le code par les dveloppeurs et un gnrateur de code pour l'intgration de nouvelles reprsentations dans l'implmentation.
Resumo:
Dans ce mmoire, nous avons utilis le logiciel R pour la programmation.
Resumo:
La documentation des programmes aide les dveloppeurs mieux comprendre le code source pendant les tches de maintenance. Toutefois, la documentation nest pas toujours disponible ou elle peut tre de mauvaise qualit. Le recours la redocumentation savre ainsi ncessaire. Dans ce contexte, nous proposons de faire la redocumentation en gnrant des commentaires par application de techniques de rsum par extraction. Pour mener bien cette tche, nous avons commenc par faire une tude empirique pour tudier les aspects quantitatifs et qualitatifs des commentaires. En particulier, nous nous sommes intresss ltude de la distribution des commentaires par rapport aux diffrents types dinstructions et la frquence de documentation de chaque type. Aussi, nous avons propos une taxonomie de commentaires pour classer les commentaires selon leur contenu et leur qualit. Suite aux rsultats de ltude empirique, nous avons dcid de rsumer les classes Java par extraction des commentaires des mthodes/constructeurs. Nous avons dfini plusieurs heuristiques pour dterminer les commentaires les plus pertinents lextraction. Ensuite, nous avons appliqu ces heuristiques sur les classes Java de trois projets pour en gnrer les rsums. Enfin, nous avons compar les rsums produits (les commentaires produits) des rsums rfrences (les commentaires originaux) en utilisant la mtrique ROUGE.
Resumo:
Analyser le code permet de vrier ses fonctionnalits, dtecter des bogues ou amliorer sa performance. Lanalyse du code peut tre statique ou dynamique. Des approches combinants les deux analyses sont plus appropries pour les applications de taille industrielle o lutilisation individuelle de chaque approche ne peut fournir les rsultats souhaits. Les approches combines appliquent lanalyse dynamique pour dterminer les portions problmes dans le code et effectuent par la suite une analyse statique concentre sur les parties identies. Toutefois les outils danalyse dynamique existants gnrent des donnes imprcises ou incompltes, ou aboutissent en un ralentissement inacceptable du temps dexcution. Lors de ce travail, nous nous intressons la gnration de graphes dappels dynamiques complets ainsi que dautres informations ncessaires la dtection des portions problmes dans le code. Pour ceci, nous faisons usage de la technique dinstrumentation dynamique du bytecode Java pour extraire linformation sur les sites dappels, les sites de cration dobjets et construire le graphe dappel dynamique du programme. Nous dmontrons quil est possible de proler dynamiquement une excution complte dune application temps dexcution non triviale, et dextraire la totalit de linformation un coup raisonnable. Des mesures de performance de notre proleur sur trois sries de benchmarks charges de travail diverses nous ont permis de constater que la moyenne du cot de prolage se situe entre 2.01 et 6.42. Notre outil de gnration de graphes dynamiques complets, nomm dyko, constitue galement une plateforme extensible pour lajout de nouvelles approches dinstrumentation. Nous avons test une nouvelle technique dinstrumentation des sites de cration dobjets qui consiste adapter les modications apportes par linstrumentation au bytecode de chaque mthode. Nous avons aussi test limpact de la rsolution des sites dappels sur la performance gnrale du proleur.
Resumo:
Thse numrise par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Les simulations ont t implmentes avec le programme Java.
Resumo:
Lile de Java fait partie des regions les plus densement peuplees du monde. Lors de la seconde moitie du vingtieme siecle, le gouvernement indonesien a instaure des politiques de transmigrations visant a decongestionner demographiquement lile-maitresse. Mais les objectifs de ce programme etaient multiples, visant notamment a fournir la main duvre agricole, a bas prix, aux agro-industries afin de les inciter a sinstaller dans les iles de la peripherie javanaise. La transition agraire a valorise limplantation de lagriculture intensive a grande echelle. Ceci a contribue a lexclusion progressive des paysans Javanais au sein des systemes de production agricole, engendrant un changement de valeurs et d'aspirations au sein des communautes rurales. La transition agraire a ainsi contribue a accentuer la desagrarianisation des communautes rurales javanaises, se traduisant en un immense surplus de main-duvre dans les campagnes suite a la revolution verte qui a ete entamee au cours de la decennie 1970. Lemergence dun noyau dentrepreneurs et les migrations de travailleurs sont au cur des strategies de resilience economique developpees par les paysans javanais pour faire face aux impacts de la transition agraire. Les rapatriements de fonds qui decoulent des migrations contribuent a la survie de certaines communautes rurales, dans lesquelles de nombreux membres passent le plus clair de leur temps a lexterieur du village.
Resumo:
Diagnosis of Hridroga (cardiac disorders) in Ayurveda requires the combination of many different types of data, including personal details, patient symptoms, patient histories, general examination results, Ashtavidha pareeksha results etc. Computer-assisted decision support systems must be able to combine these data types into a seamless system. Intelligent agents, an approach that has been used chiefly in business applications, is used in medical diagnosis in this case. This paper is about a multi-agent system named Distributed Ayurvedic Diagnosis and Therapy System for Hridroga using Agents (DADTSHUA). It describes the architecture of the DADTSHUA model .This system is using mobile agents and ontology for passing data through the network. Due to this, transport delay can be minimized. It is a system which will be very helpful for the beginning physicians to eliminate his ambiguity in diagnosis and therapy. The system is implemented using Java Agent DEvelopment framework (JADE), which is a java-complaint mobile agent platform from TILab.
Resumo:
Im Informationszeitalter erhalten die Neuen Medien eine immer grer werdende Bedeutung. Lange Zeit galten gedruckte Informationen hufig in Form von Bchern und Zeitschriften als eigentliche Informationsquelle in den Bibliotheken. Mehr und mehr nehmen jedoch mittlerweile auch multimediale Anwendungen breiteren Raum ein, gilt es doch, sich den vernderten Lese- und insbesondere Informationsgewohnheiten anzupassen. Insbesondere sollen elektronische Informationsquellen und digitale Literatur erschlossen und bereitgestellt werden. Im Zuge dieser Entwicklung wurde durch die hessische Ministerin fr Wissenschaft und Kunst am 11.11.1998 in der Gesamthochschulbibliothek Kassel eine neugeschaffene Multi-Media-Thek (MMT) erffnet. In dieser Multimediathek sollen die Bibliotheksbenutzer die Mglichkeit erhalten, die Neuen Medien zu erkunden und gewinnbringend fr ihre Fragestellungen einzusetzen. Neben den mittlerweile weiter verbreiteten Internetarbeitspltzen haben die Benutzer Gelegenheit, an speziell ausgestatteten Arbeitspltzen Audio- und Videoanwendungen zu testen. Die zur Verfgung stehenden Arbeitspltze sind plattformbergreifend gestaltet, neben Windows NT-Rechnern knnen Macintosh-, Java- und Linux-Rechner benutzt werden. Alle PC-Systeme verfgen ber hochauflsende Grafik- und Soundkarten, allerdings mssen zum Abhren von Audio-Medien, DVDs oder Multimedia-CDs entsprechende Kopfhrer aufgesetzt werden. ber WinCenter knnen auch auf Linux- und Macintosh-Rechnern CD-Applikationen aus dem GHB-internen CD-Server angewhlt werden. Zur Auswahl stehen derzeit 140 Datenbanken, die zudem ergnzt werden durch entsprechende Datenbankzugriffe auf den Silverplatter-Server der GHB. In separaten Klein-Arbeitsrumen knnen Audio-Cassetten und Video-Bnder benutzt werden. Natrlich lassen sich auch herkmmliche Dias und Microfiches in den Rumen der MMT betrachten und Ausdrucke ber den Reader-Printer bzw. ber das Bibliotheksnetz auf einen zentralen Benutzer-Drucker (OCE-Drucksystem mit Entgeldregelung) machen. Als Auslegestelle fr DIN-Normen kann im DIN-Katalog ber Internet recherchiert und das Ergebnis der Recherche direkt im DIN-Bestand angesehen werden. In einem speziell eingerichteten Macintosh-Pool sind mittels Scanner, Grafikbearbeitungssoftware und OCR-Mglichkeit weitere Bedingungen fr multimediales Arbeiten geschaffen. Sie sollen bei entsprechendem Bedarf um digitale Bildbearbeitung (Photo, Video) gegebenenfalls ergnzt werden. Die Bibliothek bietet in den Rumen der Multimediathek entsprechende Schulungen zur effektiven Nutzung der Rechnerausstattung an.
