911 resultados para Symbolic and Algebraic Manipulation


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The problem of decision making in an uncertain environment arises in many diverse contexts: deciding whether to keep a hard drive spinning in a net-book; choosing which advertisement to post to a Web site visitor; choosing how many newspapers to order so as to maximize profits; or choosing a route to recommend to a driver given limited and possibly out-of-date information about traffic conditions. All are sequential decision problems, since earlier decisions affect subsequent performance; all require adaptive approaches, since they involve significant uncertainty. The key issue in effectively solving problems like these is known as the exploration/exploitation trade-off: If I am at a cross-roads, when should I go in the most advantageous direction among those that I have already explored, and when should I strike out in a new direction, in the hopes I will discover something better?

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We offer an exposition of Boneh, Boyen, and Goh’s “uber-assumption” family for analyzing the validity and strength of pairing assumptions in the generic-group model, and augment the original BBG framework with a few simple but useful extensions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We analyse the security of the cryptographic hash function LAKE-256 proposed at FSE 2008 by Aumasson, Meier and Phan. By exploiting non-injectivity of some of the building primitives of LAKE, we show three different collision and near-collision attacks on the compression function. The first attack uses differences in the chaining values and the block counter and finds collisions with complexity 233. The second attack utilizes differences in the chaining values and salt and yields collisions with complexity 242. The final attack uses differences only in the chaining values to yield near-collisions with complexity 299. All our attacks are independent of the number of rounds in the compression function. We illustrate the first two attacks by showing examples of collisions and near-collisions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aim of this paper is to analyse the proposed Directive on criminal sanctions for insider dealing and market manipulation (COM(2011)654 final), which represents the first exercise of the European Union competence provided for by Article 83(2) of the Treaty on the Functioning of the European Union. The proposal aims at harmonising the sanctioning regimes provided by the Member States for market abuse, imposing the introduction of criminal sanctions and providing an opportunity to critically reflect on the position taken by the Commission towards the use of criminal law. The paper will discuss briefly the evolution of the EU’s criminal law competence, focusing on the Lisbon Treaty. It will analyse the ‘essentiality standard’ for the harmonisation of criminal law included in Article 83(2) TFEU, concluding that this standard encompasses both the subsidiarity and the ultima ratio principles and implies important practical consequences for the Union’s legislator. The research will then focus on the proposed Directive, trying to assess if the Union’s legislator, notwithstanding the ‘symbolic’ function of this proposal in the financial crisis, provides consistent arguments on the respect of the ‘essentiality standard’. The paper will note that the proposal raises some concerns, because of the lack of a clear reliance on empirical data regarding the essential need for the introduction of criminal law provisions. It will be stressed that only the assessment of the essential need of an EU action, according to the standard set in Article 83(2) TFEU, can guarantee a coherent choice of the areas interested by the harmonisation process, preventing the legislator to choose on the basis of other grounds.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper describes an automated procedure for analysing the significance of each of the many terms in the equations of motion for a serial-link robot manipulator. Significance analysis provides insight into the rigid-body dynamic effects that are significant locally or globally in the manipulator's state space. Deleting those terms that do not contribute significantly to the total joint torque can greatly reduce the computational burden for online control, and a Monte-Carlo style simulation is used to investigate the errors thus introduced. The procedures described are a hybrid of symbolic and numeric techniques, and can be readily implemented using standard computer algebra packages.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The NUVIEW software package allows skeletal models of any double helical nucleic acid molecule to be displayed out a graphics monitor and to apply various rotations, translations and scaling transformations interactively, through the keyboard. The skeletal model is generated by connecting any pair of representative points, one from each of the bases in the basepair. In addition to the above mentioned manipulations, the base residues can be identified by using a locator and the distance between any pair of residues can be obtained. A sequence based color coded display allows easy identification of sequence repeats, such as runs of Adenines. The real time interactive manipulation of such skeletal models for large DNA/RNA double helices, can be used to trace the path of the nucleic acid chain in three dimensions and hence get a better idea of its topology, location of linear or curved regions, distances between far off regions in the sequence etc. A physical picture of these features will assist in understanding the relationship between base sequence, structure and biological function in nucleic acids.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the POSSIBLE WINNER problem in computational social choice theory, we are given a set of partial preferences and the question is whether a distinguished candidate could be made winner by extending the partial preferences to linear preferences. Previous work has provided, for many common voting rules, fixed parameter tractable algorithms for the POSSIBLE WINNER problem, with number of candidates as the parameter. However, the corresponding kernelization question is still open and in fact, has been mentioned as a key research challenge 10]. In this paper, we settle this open question for many common voting rules. We show that the POSSIBLE WINNER problem for maximin, Copeland, Bucklin, ranked pairs, and a class of scoring rules that includes the Borda voting rule does not admit a polynomial kernel with the number of candidates as the parameter. We show however that the COALITIONAL MANIPULATION problem which is an important special case of the POSSIBLE WINNER problem does admit a polynomial kernel for maximin, Copeland, ranked pairs, and a class of scoring rules that includes the Borda voting rule, when the number of manipulators is polynomial in the number of candidates. A significant conclusion of our work is that the POSSIBLE WINNER problem is harder than the COALITIONAL MANIPULATION problem since the COALITIONAL MANIPULATION problem admits a polynomial kernel whereas the POSSIBLE WINNER problem does not admit a polynomial kernel. (C) 2015 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

An integrated semiconductor optical amplifier/distributed feedback (SOA/DFB) laser that show promise as a simple all-optical wavelength conversion device together with useful simultaneous functions such as 2R regeneration and the ability to remove a wavelength identifying tone is presented. Wavelength conversion performance at 20Gb/s and 40Gb/s can be obtained with this laser.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Fishes, the biggest and most diverse community in vertebrates are good experimental models for studies of cell and developmental biology by many favorable characteristics. Nuclear transplantation in fish has been thoroughly studied in China since 1960s. Fish nuclei of embryonic cells from different genera were transplanted into enucleated eggs generating nucleo-cytoplasmic hybrids of adults. Most importantly, nuclei of cultured goldfish kidney cells had been reprogrammed in enucleated eggs to support embryogenesis and ontogenesis of a fertile fish. This was the first case of cloned fish with somatic cells. Based on the technique of microinjection, recombinant MThGH gene has been transferred into fish eggs and the first batch of transgenic fish were produced in 1984. The behavior of foreign gene was characterized and the onset of the foreign gene replication occurred between the blastula to gastrula stages and random integration mainly occurred at later stages of embryogenesis. This eventually led to the transgenic mosaicism. The MThGH-transferred common carp enhanced growth rate by 2-4 times in the founder juveniles and doubled the body weight in the adults. The transgenic common carp were more efficient in utilizing dietary protein than the controls. An "all-fish" gene construct CAgcGH has been made by splicing the common carp beta-actin gene (CA) promoter onto the grass carp growth hormone gene (gcGH) coding sequence. The CAgcGH-transferred Yellow River Carp have also shown significantly fast-growth trait. Combination of techniques of fish cell culture, gene transformation with cultured cells and nuclear transplantation should be able to generate homogeneous strain of valuable transgenic fish to fulfil human requirement in 21(st) century.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Radiation-induced electrical changes in both space charge region (SCR) of Si detectors and bulk material (BM) have been studied for samples of diodes and resistors made on Si materials with different initial resistivities. The space charge sign inversion fluence (Phi(inv)) has been found to increase linearly with the initial doping concentration (the reciprocal of the resistivity), which gives improved radiation hardness to Si detectors fabricated from low resistivity material. The resistivity of the BM, on the other hand, has been observed to increase with the neutron fluence and approach a saturation value in the order of hundreds k Omega cm at high fluences, independent of the initial resistivity and material type. However, the fluence (Phi(s)), at which the resistivity saturation starts, increases with the initial doping concentrations and the value of Phi(s) is in the same order of that of Phi(inv) for all resistivity samples. Improved radiation hardness can also be achieved by the manipulation of the space charge concentration (N-eff) in SCR, by selective filling and/or freezing at cryogenic temperatures the charge state of radiation-induced traps, to values that will give a much smaller full depletion voltage. Models have been proposed to explain the experimental data.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Radiation-induced electrical changes in both space charge region (SCR) of Si detectors and bulk material (BM) have been studied for samples of diodes and resistors made on Si materials with different initial resistivities. The space charge sign inversion fluence (Phi(inv)) has been found to increase linearly with the initial doping concentration (the reciprocal of the resistivity), which gives improved radiation hardness to Si detectors fabricated from low resistivity material. The resistivity of the BM, on the other hand, has been observed to increase with the neutron fluence and approach a saturation value in the order of hundreds k Omega cm at high fluences, independent of the initial resistivity and material type. However, the fluence (Phi(s)), at which the resistivity saturation starts, increases with the initial doping concentrations and the value of Phi(s) is in the same order of that of Phi(inv) for all resistivity samples. Improved radiation hardness can also be achieved by the manipulation of the space charge concentration (N-eff) in SCR, by selective filling and/or freezing at cryogenic temperatures the charge state of radiation-induced traps, to values that will give a much smaller full depletion voltage. Models have been proposed to explain the experimental data.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Kineticist's Workbench is a computer program currently under development whose purpose is to help chemists understand, analyze, and simplify complex chemical reaction mechanisms. This paper discusses one module of the program that numerically simulates mechanisms and constructs qualitative descriptions of the simulation results. These descriptions are given in terms that are meaningful to the working chemist (e.g., steady states, stable oscillations, and so on); and the descriptions (as well as the data structures used to construct them) are accessible as input to other programs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

British Petroleum (89A-1204); Defense Advanced Research Projects Agency (N00014-92-J-4015); National Science Foundation (IRI-90-00530); Office of Naval Research (N00014-91-J-4100); Air Force Office of Scientific Research (F49620-92-J-0225)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis is centred on two experimental fields of optical micro- and nanofibre research; higher mode generation/excitation and evanescent field optical manipulation. Standard, commercial, single-mode silica fibre is used throughout most of the experiments; this generally produces high-quality, single-mode, micro- or nanofibres when tapered in a flame-heated, pulling rig in the laboratory. Single mode fibre can also support higher transverse modes, when transmitting wavelengths below that of their defined single-mode regime cut-off. To investigate this, a first-order Laguerre-Gaussian beam, LG01 of 1064 nm wavelength and doughnut-shaped intensity profile is generated free space via spatial light modulation. This technique facilitates coupling to the LP11 fibre mode in two-mode fibre, and convenient, fast switching to the fundamental mode via computer-generated hologram modulation. Following LP11 mode loss when exponentially tapering 125μm diameter fibre, two mode fibre with a cladding diameter of 80μm is selected fir testing since it is more suitable for satisfying the adiabatic criteria for fibre tapering. Proving a fruitful endeavour, experiments show a transmission of 55% of the original LP11 mode set (comprising TE01, TM01, HE21e,o true modes) in submicron fibres. Furthermore, by observing pulling dynamics and progressive mode-lass behaviour, it is possible to produce a nanofibre which supports only the TE01 and TM01 modes, while suppressing the HE21e,o elements of the LP11 group. This result provides a basis for experimental studies of atom trapping via mode-interference, and offers a new set of evanescent field geometries for sensing and particle manipulation applications. The thesis highlights the experimental results of the research unit’s Cold Atom subgroup, who successfully integrated one such higher-mode nanofibre into a cloud of cold Rubidium atoms. This led to the detection of stronger signals of resonance fluorescence coupling into the nanofibre and for light absorption by the atoms due to the presence of higher guided modes within the fibre. Theoretical work on the impact of the curved nanofibre surface on the atomic-surface van der Waals interaction is also presented, showing a clear deviation of the potential from the commonly-used flat-surface approximation. Optical micro- and nanofibres are also useful tools for evanescent-field mediated optical manipulation – this includes propulsion, defect-induced trapping, mass migration and size-sorting of micron-scale particles in dispersion. Similar early trapping experiments are described in this thesis, and resulting motivations for developing a targeted, site-specific particle induction method are given. The integration of optical nanofibres into an optical tweezers is presented, facilitating individual and group isolation of selected particles, and their controlled positioning and conveyance in the evanescent field. The effects of particle size and nanofibre diameter on pronounced scattering is experimentally investigated in this systems, as are optical binding effects between adjacent particles in the evanescent field. Such inter-particle interactions lead to regulated self-positioning and particle-chain speed enhancements.