Search results for "methods"
showing 10 items of 4526 documents
Is the Ghosh model interesting?
2009
International audience; The overall value of the Ghosh model is appraised. Its treatment of quantities and prices is scrutinized by examining the variant with data in quantities and prices, and the variant with data in value and price indexes. The methodology involves returning to the accounting equations and shows that: (i) the Ghosh model offers solutions of limited interest, being incapable of providing prices or price indexes separately from quantities; (ii) what is taken to be the equation of Ghosh's value model is actually that of Ghosh's physical model; (iii) the Ghosh model may serve for cost-push exercises, but the dual of the Leontief model performs the same task in a much simpler…
Digitalized transcranial electrical stimulation: A consensus statement.
2022
Objective: Although relatively costly and non-scalable, non-invasive neuromodulation interventions are treatment alternatives for neuropsychiatric disorders. The recent developments of highly-deployable transcranial electric stimulation (tES) systems, combined with mobile-Health technologies, could be incorporated in digital trials to overcome methodological barriers and increase equity of access. The study aims are to discuss the implementation of tES digital trials by performing a systematic scoping review and strategic process mapping, evaluate methodological aspects of tES digital trial designs, and provide Delphi-based recommendations for implementing digital trials using tES.Methods: …
"Photonic lantern" spectral filters in multi-core fibre
2012
Fiber Bragg gratings are written across all 120 single-mode cores of a multi-core optical Fiber. The Fiber is interfaced to multimode ports by tapering it within a depressed-index glass jacket. The result is a compact multimode "photonic lantern" filter with astrophotonic applications. The tapered structure is also an effective mode scrambler.
Verification of JADE Agents Using ATL Model Checking
2015
It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programma…
Survey of Formal Verification Methods for Smart Contracts on Blockchain
2019
Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
A heuristic for problem formalization in agent based simulation studies
2015
Agent Based Modeling and Simulation (ABMS) is considered an effective approach for conducting simulation studies in many fields. In order to develop high quality simulation models, methodological approaches are demanded. In such direction we are moving by proposing a heuristic for the formalization of agent based simulation problems. The proposed heuristic is based on some guidelines developed for identifying the main elements of the problem domain description by analysing verbs and their common taxonomy in grammar.
Intraosseous monitoring of drilling in lumbar vertebrae by ultrasound: An experimental feasibility study.
2016
The rationale for this project is to evaluate the efficiency of a novel sonographic method for measurements of interosseous distances. The method utilizes a propagating ultrasonic beam through aqueous milieu which is directed as a jet into a drilled tract. We used a plastic model of human L5 vertebra and ex vivo specimen of L5 porcine vertebra and generated 2 mm in diameter tracts in vertebral pedicles. The tracts were created in the "desired" central direction and in the "wrong" medial and lateral directions. The drilled tracts and the residual, up to opposite cortex, distances were measured sonographically and mechanically and compared statistically. We show that "true" mechanical measure…
The route to protein aggregate superstructures: Particulates and amyloid-like spherulites.
2015
AbstractDepending on external conditions, native proteins may change their structure and undergo different association routes leading to a large scale polymorphism of the aggregates. This feature has been widely observed but is not fully understood yet. This review focuses on morphologies, physico-chemical properties and mechanisms of formation of amyloid structures and protein superstructures. In particular, the main focus will be on protein particulates and amyloid-like spherulites, briefly summarizing possible experimental methods of analysis. Moreover, we will highlight the role of protein conformational changes and dominant forces in driving association together with their connection w…
Theoretical and Experimental Study of the Crystal Structures, Lattice Vibrations, and Band Structures of Monazite-Type PbCrO4, PbSeO4, SrCrO4, and Sr…
2015
The crystal structures, lattice vibrations, and electronic band structures of PbCrO4, PbSeO4, SrCrO4, and SrSeO4 were studied by ab initio calculations, Raman spectroscopy, X-ray diffraction, and optical-absorption measurements. Calculations properly describe the crystal structures of the four compounds, which are isomorphic to the monazite structure and were confirmed by X-ray diffraction. Information is also obtained on the Raman- and IR-active phonons, with all of the vibrational modes assigned. In addition, the band structures and electronic densities of states of the four compounds were determined. All are indirect-gap semiconductors. In particular, chromates are found to have band gap…