23,486 research outputs found

    Formal Specification of Multi-Agent Systems

    No full text
    In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems

    DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework

    No full text
    This paper discusses an example of the application of a high-level modelling framework which enables both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented

    Evidence for the decay B0→J/ψω and measurement of the relative branching fractions of meson decays to J/ψη and J/ψη′

    No full text
    First evidence of the B 0 → J / ψ ω decay is found and the B s 0 → J / ψ η and B s 0 → J / ψ η ′ decays are studied using a dataset corresponding to an integrated luminosity of 1.0 fb -1 collected by the LHCb experiment in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV. The branching fractions of these decays are measured relative to that of the B 0 → J / ψ ρ 0 decay:frac(B (B 0 → J / ψ ω), B (B 0 → J / ψ ρ 0)) = 0.89 ± 0.19 (stat) - 0.13 + 0.07 (syst),frac(B (B s 0 → J / ψ η), B (B 0 → J / ψ ρ 0)) = 14.0 ± 1.2 (stat) - 1.5 + 1.1 (syst) - 1.0 + 1.1 (frac(f d, f s)),frac(B (B s 0 → J / ψ η ′), B (B 0 → J / ψ ρ 0)) = 12.7 ± 1.1 (stat) - 1.3 + 0.5 (syst) - 0.9 + 1.0 (frac(f d, f s)), where the last uncertainty is due to the knowledge of f d / f s, the ratio of b-quark hadronization factors that accounts for the different production rate of B 0 and B s 0 mesons. The ratio of the branching fractions of B s 0 → J / ψ η ′ and B s 0 → J / ψ η decays is measured to befrac(B (B s 0 → J / ψ η ′), B (B s 0 → J / ψ η)) = 0.90 ± 0.09 (stat) - 0.02 + 0.06 (syst)

    Letter from Carl Hayden to Henry F. Ashurst

    No full text
    Letter describing three enclosures, a letter from F. M. Gold, Carl T. Hayden's reply to Gold's letter, and a copy of a bill introduced by Cameron

    The long-wavelength view of GG Tau A: rocks in the ring world

    No full text
    We present the first detection of GG Tau A at centimetre wavelengths, made with the Arcminute Microkelvin Imager Large Array at a frequency of 16 GHz (λ = 1.8 cm). The source is detected at >6 σrms with an integrated flux density of S16GHz = 249 ± 45 µJy. We use these new centimetre-wave data, in conjunction with additional measurements compiled from the literature, to investigate the long-wavelength tail of the dust emission from this unusual protoplanetary system. We use an MCMC-based method to determine maximum likelihood parameters for a simple parametric spectral model and consider the opacity and mass of the dust contributing to the microwave emission. We derive a dust mass of Md ~ 0.1 Msun, constrain the dimensions of the emitting region and find that the opacity index at λ > 7 mm is less than unity, implying a contribution to the dust population from grains exceeding ~4 cm in size. We suggest that this indicates coagulation within the GG Tau A system has proceeded to the point where dust grains have grown to the size of small rocks with dimensions of a few centimetres. Considering the relatively young age of the GG Tau association in combination with the low derived disc mass, we suggest that this system may provide a useful test case for rapid core accretion planet formation models

    Modelling Project Coordination in a Multi-Agent Framework

    No full text
    this paper a real-life design project is analysed for a situation in which traditional management and virtual organisations are combined: the design of part of the interior of a specific aircraft. The DESIRE framework (Langevelde, Philipsen and Treur, 1992; Brazier, Dunin-Keplicz, Jennings and Treur, 1995; Brazier, Treur, Wijngaards and Willems, 1995, 1996) is used to model the coordination of this cooperative distributed design project, using Jennings' model as a frame of reference. 2 Distributed project coordinatio

    Global application of an unoccupied aerial vehicle photogrammetry protocol for predicting aboveground biomass in non-forest ecosystems

    No full text
    EU Horizon 2020 grant No. 776681 (PHUSICOS)...Cunliffe, A.M., Anderson, K., Boschetti, F., Brazier, R.E., Graham, H.A., Myers-Smith, I.H., Astor, T., Boer, M.M., Calvo, L.G., Clark, P.E., Cramer, M.D., Encinas-Lara, M.S., Escarzaga, S.M., Fernández-Guisuraga, J.M., Fisher, A.G., Gdulová, K., Gillespie, B.M., Griebel, A., Hanan, N.P., Hanggito, M.S., Haselberger, S., Havrilla, C.A., Heilman, P., Ji, W., Karl, J.W., Kirchhoff, M., Kraushaar, S., Lyons, M.B., Marzolff, I., Mauritz, M.E., McIntire, C.D., Metzen, D., Méndez-Barroso, L.A., Power, S.C., Prošek, J., Sanz-Ablanedo, E., Sauer, K.J., Schulze-Brüninghoff, D., Šímová, P., Sitch, S., Smit, J.L., Steele, C.M., Suárez-Seoane, S., Vargas, S.A., Villarreal, M., Visser, F., Wachendorf, M., Wirnsberger, H., Wojcikiewicz, R

    Brainstem cavernous angioma in an octagenarian cardiopathic patient: anesthesiologic and neurosurgical challanges

    No full text
    Learning Track: 6. Neuroanaesthesiology Title: Brainstem cavernous angioma in an octogenarian cardiopathic patient: anesthesiologic and neurosurgical challenges Author(s): Urli T.1, Nicolini F.2, Giulioni M.2, Sturiale C.2, Zanello M.1 Institute(s): 1IRCCS Istituto delle Scienze Neurologiche, Bellaria Hospital, Anesthesia and Intensive Care, Bologna, Italy, 2IRCCS Istituto delle Scienze Neurologiche, Bellaria Hospital, Neurosurgery, Bologna, Italy Text: Background: Cerebral cavernous angiomas are uncommon diseases mostly affecting young and middle-aged people. Brainstem location can be related to severe complications both in cases of conservative or surgical management. Anesthesiologic concern is the hemodynamic instability due to manipulation of brainstem (dysrhythmias, hypertension, hypotension), and the risk of cranial nerves dysfunction. Case report: A 81-year-old male presented painful dysesthesias and gait instability. The Magnetic Resonance Imaging revealed a large hemorrhagic multicystic lesion in the medulla oblongata. The patient had a cardiac disease with previous heart surgery (biological prosthesis, Bentall procedure); the artificial aortic valve was degenerating with moderate regurgitation. According to patient will, surgical intervention was scheduled for reducing the brainstem compression and the risk of rebleeding. Preoperative anesthesiologic evaluation pointed out the high risk of the procedure. The anesthetic plan included: prone position, balanced anesthesia with midazolam, sevoflurane and remifentanil, endocarditis prophylaxis, and a hemodynamic management fit for a patient with aortic regurgitation. External pacemaker-defibrillator pads were applied in advance. Surgical resection was carried out until occurrence of sudden bradycardia with hypotension, managed with atropine. After a short stay in ICU, the patient was transferred to the ward and then to the rehabilitation unit. Postoperatively he presented hemiparesis, slowly improving after physical therapy. The histopathological analysis confirmed the diagnosis of cavernoma. Discussion: We found no previous report of brainstem cavernoma surgery in octogenarian cardiopathic patients, but advanced age is not a sufficient reason to deny surgical treatment if the patient may benefit. In this case the usual concern about intraoperative hemodynamic instability was increased by the type of cardiac valvulopathy: intraoperative dysrhythmias, especially bradycardia, can worsen the degree of aortic regurgitation and can precipitate left ventricular failure. The medical team weighted carefully risk benefit ratio as well as the patient wish. Learning points: Neurosurgery of brainstem cavernomas can be performed in selected elderly patients in Hospitals with specific neurosurgical and anesthesiologic experience. The presence of serious comorbidities should not rule out the possibility of anesthesiologic and surgical treatment. Preferred Presentation Type: Case report ________________________________________ Conference: Euroanaesthesia 2017 · Abstract: A-805-0061-00727 · Status: Draf

    Modelling Distributed Industrial Processes in a Multi-Agent Framework

    No full text
    A declarative compositional modelling framework, DESIRE, designed to model\nknowledge-intensive multi-agent systems, is shown to provide a means to\nmodel distributed industrial and business processes. An agent's knowledge,\nreasoning processes and interaction with other agents, and the world are\nexplicitly specified within this framework. Electricity transportation\nmanagement is used to illustrate the characteristic elements of the approach,\nin particular with respect to dynamic aspects of distributed industrial\nand business processes; aspects which are of importance to knowledge management\nand knowledge engineering

    Brazier (Birth, 1895-11-17)

    No full text
    Address: 1932 Eastern Avenue5457/Pg 144/1895/F W/Indiana/Cinti, Ohio/T. F. Dickinson, M. D.Original record filed in drawer labeled 'BRANN-BREHM'
    corecore