Boosted objects and jet substructure at the LHC. Report of BOOST2012, held at IFIC Valencia, 23rd-27th of July 2012

This report of the BOOST2012 workshop presents the results of four working groups that studied key aspects of jet substructure. We discuss the potential of first-principle QCD calculations to yield a precise description of the substructure of jets and study the accuracy of state-of-the-art Monte Carlo tools. Limitations of the experiments' ability to resolve substructure are evaluated, with a focus on the impact of additional (pile-up) proton proton collisions on jet substructure performance in future LHC operating scenarios. A final section summarizes the lessons learnt from jet substructure analyses in searches for new physics in the production of boosted top quarks.

The occipital lobe convexity sulci and gyri

Object. The anatomy of the occipital lobe convexity is so intricate and variable that its precise description is not found in the classic anatomy textbooks, and the occipital sulci and gyri are described with different nomenclatures according to different authors. The aim of this study was to investigate and describe the anatomy of the occipital lobe convexity and clarify its nomenclature. Methods. The configurations of sulci and gyri on the lateral surface of the occipital lobe of 20 cerebral hemispheres were examined in order to identify the most characteristic and consistent patterns. Results. The most characteristic and consistent occipital sulci identified in this study were the intraoccipital, transverse occipital, and lateral occipital sulci. The morphology of the transverse occipital sulcus and the intraoccipital sulcus connection was identified as the most important aspect to define the gyral pattern of the occipital lobe convexity. Conclusions. Knowledge of the main features of the occipital sulci and gyri permits the recognition of a basic configuration of the occipital lobe and the identification of its sulcal and gyral variations. (http://thejns.org/doi/abs/10.3171/2012.1.JNS11978)

Virtopsy: forensic traumatology of the subcutaneous fatty tissue; multislice computed tomography (MSCT) and magnetic resonance imaging (MRI) as diagnostic tools

Traumatic lesions of the subcutaneous fatty tissue provide important clues for forensic reconstruction. The interpretation of these patterns requires a precise description and recording of the position and extent of each lesion. During conventional autopsy, this evaluation is performed by dissecting the skin and subcutaneous tissues in successive layers. In this way, depending on the force and type of impact (right angle or tangent), several morphologically distinct stages of fatty tissue damage can be differentiated: perilobular hemorrhage (I), contusion (II), or disintegration (III) of the fat lobuli, and disintegration with development of a subcutaneous cavity (IV). In examples of virtopsy cases showing blunt trauma to the skin and fatty tissue, we analyzed whether these lesions can also be recorded and classified using multislice computed tomography (MSCT) and magnetic resonance imaging (MRI). MSCT has proven to be a valuable screening method to detect the lesions, but MRI is necessary in order to properly differentiate and classify the grade of damage. These noninvasive radiological diagnostic tools can be further developed to play an important role in forensic examinations, in particular when it comes to evaluating living trauma victims.

Swiss Patent Jurisprudence 2012

The new Swiss Federal Patent Court, with nationwide first-instance jurisdiction over all civil patent matters, has been operating since 1 January 2012. This article reviews and contextualizes the most important patent cases the Swiss Federal Patent Court and the Swiss Federal Supreme Court. It concludes that the revamped Swiss patent litigation system has the potential of turning Switzerland into a competitive venue for the adjudication of patent matters in Europe.

Swiss Patent Jurisprudence 2012

The new Swiss Federal Patent Court, with nationwide first-instance jurisdiction over all civil patent matters, has been operating since January 1, 2012. This article reviews and contextualizes the most important patent cases published in 2012 by the Swiss Federal Patent Court and the Swiss Federal Supreme Court. More specifically, the article covers cases on issues such as the evidentiary status of party expert opinions, the formal requirements for requests for injunctive relief, the infringement and non-obviousness tests employed by the Swiss Federal Patent Court, the use of reports and statements from technical judges in lieu of expert opinions, and the procedural devices for the pre-trial taking of evidence, in particular the new patent-specific device of precise description. The author suggests that designing the Federal Patent Court to include technically trained judges may lead to a more automatic adoption of the practices and case law of the European Patent Office. The article concludes that the revamped Swiss patent litigation system has the potential of turning Switzerland into a competitive venue for the adjudication of patent matters in Europe.

Discontinuous epitopes of hepatitis B surface antigen derived from a filamentous phage peptide library.

The structure of the small hepatitis B virus surface antigen (HBsAg) was investigated by epitope mapping of four anti-HBsAg monoclonal antibodies (mAbs). Amino acid sequences of epitopes were derived from affinity-enrichment experiments (biopanning) using a filamentous phage peptide library. The library consists of 10(9) different clones bearing a 30-residue peptide fused to gene III. Sequence homologies between peptides obtained from panning the library against the antibodies and the native HBsAg sequence allowed for precise description of the binding regions. Three of four mAbs were found to bind to distinct discontinuous epitopes between amino acid residues 101 and 207 of HBsAg. The fourth mAb was demonstrated to bind to residues 121-124. The sequence data are supported by ELISA assays demonstrating the binding of the HBsAg-specific peptides on filamentous phage to mAbs. The sequence data were used to map the surface of HBsAg and to derive a topological model for the alpha-carbon trace of the 101-207 region of HBsAg. The approach should be useful for other proteins for which the crystal structure is not available but a representative set of mAbs can be obtained.

Osculation for conic fibrations.

Smooth projective surfaces fibered in conics over a smooth curve are investigated with respect to their k-th osculatory behavior. Due to the bound for the dimension of their osculating spaces they do not differ at all from a general surface for k = 2, while their structure plays a significant role for k >= 3. The dimension of the osculating space at any point is studied taking into account the possible existence of curves of low degree transverse to the fibers, and several examples are discussed to illustrate concretely the various situations arising in this analysis. As an application, a complete description of the osculatory behavior of Castelnuovo surfaces is given. The case k = 3 for del Pezzo surfaces is also discussed, completing the analysis done for k = 2 in a previous paper by the authors (2001). Moreover, for conic fibrations X subset of P-N whose k-th inflectional locus has the expected codimension, a precise description of this locus is provided in terms of Chern classes. In particular, for N = 8, it turns out that either X is hypo-osculating for k = 3, or its third inflectional locus is 1-dimensional

Formalising progress properties of non-blocking programs

A non-blocking program is one that uses non-blocking primitives, such as load-linked/store-conditional and compare-and-swap, for synchronisation instead of locks so that no process is ever blocked. According to their progress properties, non-blocking programs may be classified as wait-free, lock-free or obstruction-free. However, a precise description of these properties does not exist and it is not unusual to find a definition that is ambiguous or even incorrect. We present a formal definition of the progress properties so that any confusion is removed. The formalisation also allows one to prove the widely believed presumption that wait-freedom is a special case of lock-freedom, which in turn is a special case of obstruction-freedom.

Changes in heart rate variability associated with moderate alcohol consumption

Technological advances have driven some attempt of vital parameters monitoring in adverse environments; these improvements will make possible to monitor cardiac activity also in automotive environments. In this scenario, heart rate changes associated with alcohol consumption, become of great importance to assess the drivers state during time. This paper presents the results of a first set of experiments aimed to discover heart rate variability modification induced by moderate assumption of alcoholic drink (i.e. single draft beer) as that typically occurs in weekend among some people. In the study, twenty subjects were enrolled and for each of them two electrocardiographic recordings were carried out: the first before alcohol ingestion and the second after 25-30 minutes. Each participant remained fasting until the second ECG acquisition was completed. ECG signal were analyzed by typical timedomain, frequency and non linear analysis. Results showed a small increase in LF/HF ratio which reflects a dominance of the sympathetic system over the parasympathetic system, and an increase in signal complexity as proven by non linear analysis. However, the study highlighted the need to monitor HRV starting from alcohol ingestion until its complete metabolization to allow a more precise description of its variation. © Springer International Publishing Switzerland 2014.

An approach for design and analysis of User-centric Communication Middleware

Today, the development of domain-specific communication applications is both time-consuming and error-prone because the low-level communication services provided by the existing systems and networks are primitive and often heterogeneous. Multimedia communication applications are typically built on top of low-level network abstractions such as TCP/UDP socket, SIP (Session Initiation Protocol) and RTP (Real-time Transport Protocol) APIs. The User-centric Communication Middleware (UCM) is proposed to encapsulate the networking complexity and heterogeneity of basic multimedia and multi-party communication for upper-layer communication applications. And UCM provides a unified user-centric communication service to diverse communication applications ranging from a simple phone call and video conferencing to specialized communication applications like disaster management and telemedicine. It makes it easier to the development of domain-specific communication applications. The UCM abstraction and API is proposed to achieve these goals. The dissertation also tries to integrate the formal method into UCM development process. The formal model is created for UCM using SAM methodology. Some design errors are found during model creation because the formal method forces to give the precise description of UCM. By using the SAM tool, formal UCM model is translated to Promela formula model. In the dissertation, some system properties are defined as temporal logic formulas. These temporal logic formulas are manually translated to promela formulas which are individually integrated with promela formula model of UCM and verified using SPIN tool. Formal analysis used here helps verify the system properties (for example multiparty multimedia protocol) and dig out the bugs of systems.

Simulating grasping behavior of people using the relational description scheme

This paper presents an enhanced relational description for the prescription of the grasp requirement and evolution of the posture of a digital human hand towards satisfaction of this requirement. Precise relational description needs anatomical segmentation of the hand geometry into palmar, dorsal and lateral patches using the palm-plane and joint locations information, and operational segmentation of the object geometry into pull,push and lateral patches with due consideration to the effect of friction. Relational description identifies appropriate patches for a desired grasp condition. Satisfaction of this requirement occurs in two discrete stages,namely,contact establishment and post-contact force exertion for object capturing. Contact establishment occurs in four potentially overlapping phases,namely,re-orientation,transfer,pre- shaping,and closing-in. The novel h and re-orientation phase,enables the palm to face the object in a task sequence scenario, transfer takes the wrist to the ball park ; pre-shaping and close-in finally achieves the contact. In this paper, an anatomically pertinent closed-form formulation is presented for the closing-in phase for identification of the point of contact on the patches ,prescribed by the relational description. Since mere contact does not ensure grasp and slip phenomenon at the point of contact on application of force is a common occurrence, the effect of slip in presence of friction has been studied for 2D and 3D object grasping endeavours and a computational generation of the slip locus is presented.A general slip locus is found to be a non-linear curve even on planar faces.Two varieties of slip phenomena,namely,stabilizing and non-stabilizing slips, and their local characteristics have been identified.Study of the evolution of this slip characteristic over the slip locus exhibited diverse grasping behaviour possibilities. Thus, the relational description paradigm not only makes the requirement specification easy and meaningful but also enables high fidelity hand object interaction studies possible.

Description of Early Larvae of Four Northern California Species of Rockfishes (Scorpaenidae: Sebastes) from Rearing Studies

About 72 species of Sebastes (Family Scorpaenidae) are found along the eastern Pacific coast of North America, some of which are heavily exploited by both commercial and sport fisheries. Because of the large number of species, the identification of early life stages has progressed slowly. The objectives of this study were 1) to rear the larvae of four species of rockfish (Sebastes mystinus, S. carnatus, S. atrovirens, and S. rastrelliger); and 2) to describe the larvae using morphometric measurements, pigmentation patterns, and head spination. Pigmentation was the most useful feature for identification purposes. Two general patterns were found: 1) a short row of ventral midline melanophores on the tail, and none or very little postero-dorsal pigmentation (S. mystinus); and 2) complete ventral midline pigmentation on the tail, and anterior and postero-dorsal melanophores (S. carnatus, S. atrovirens, and S. rastrelliger). With the exception of very early stages of S. carnatus and S. atrovirens, these species can be readily identified. Morphometric proportions and head spination did not show major differences among species. Because of the great similarities found among species in this genus, descriptions from field studies are uncertain to some extent. Laboratory rearings, although difficult, can at least provide early larvae from known species which allow precise identification as well as an estimation ofvariability of characters (e.g., pigmentation) within and between broods.(PDF file contains 22 pages.)

Precise calculations of atomic electron binding energies in fermium

The comparison between the experimental binding energies for the K, L, and M electrons for fermium and the results of our Dirac-Fock calculation, taking into account all tractable corrections, leads to agreement within about 20 eV. This shows that the present method of calculation is an adequate description of this problem and that nonlinear electrodynamical effects will not be present in nature or will be smaller than 1% compared to the values recently proposed. It is found that the energies of electronic transitions can now be used to estimate the nuclear radius.

Generation, description and storage of dendritic morphology data

It is generally assumed that the variability of neuronal morphology has an important effect on both the connectivity and the activity of the nervous system, but this effect has not been thoroughly investigated. Neuroanatomical archives represent a crucial tool to explore structure–function relationships in the brain. We are developing computational tools to describe, generate, store and render large sets of three–dimensional neuronal structures in a format that is compact, quantitative, accurate and readily accessible to the neuroscientist. Single–cell neuroanatomy can be characterized quantitatively at several levels. In computer–aided neuronal tracing files, a dendritic tree is described as a series of cylinders, each represented by diameter, spatial coordinates and the connectivity to other cylinders in the tree. This ‘Cartesian’ description constitutes a completely accurate mapping of dendritic morphology but it bears little intuitive information for the neuroscientist. In contrast, a classical neuroanatomical analysis characterizes neuronal dendrites on the basis of the statistical distributions of morphological parameters, e.g. maximum branching order or bifurcation asymmetry. This description is intuitively more accessible, but it only yields information on the collective anatomy of a group of dendrites, i.e. it is not complete enough to provide a precise ‘blueprint’ of the original data. We are adopting a third, intermediate level of description, which consists of the algorithmic generation of neuronal structures within a certain morphological class based on a set of ‘fundamental’, measured parameters. This description is as intuitive as a classical neuroanatomical analysis (parameters have an intuitive interpretation), and as complete as a Cartesian file (the algorithms generate and display complete neurons). The advantages of the algorithmic description of neuronal structure are immense. If an algorithm can measure the values of a handful of parameters from an experimental database and generate virtual neurons whose anatomy is statistically indistinguishable from that of their real counterparts, a great deal of data compression and amplification can be achieved. Data compression results from the quantitative and complete description of thousands of neurons with a handful of statistical distributions of parameters. Data amplification is possible because, from a set of experimental neurons, many more virtual analogues can be generated. This approach could allow one, in principle, to create and store a neuroanatomical database containing data for an entire human brain in a personal computer. We are using two programs, L–NEURON and ARBORVITAE, to investigate systematically the potential of several different algorithms for the generation of virtual neurons. Using these programs, we have generated anatomically plausible virtual neurons for several morphological classes, including guinea pig cerebellar Purkinje cells and cat spinal cord motor neurons. These virtual neurons are stored in an online electronic archive of dendritic morphology. This process highlights the potential and the limitations of the ‘computational neuroanatomy’ strategy for neuroscience databases.

Precise analysis of array usage in scientific programs

The automatic transformation of sequential programs for efficient execution on parallel computers involves a number of analyses and restructurings of the input. Some of these analyses are based on computing array sections, a compact description of a range of array elements. Array sections describe the set of array elements that are either read or written by program statements. These sections can be compactly represented using shape descriptors such as regular sections, simple sections, or generalized convex regions. However, binary operations such as Union performed on these representations do not satisfy a straightforward closure property, e.g., if the operands to Union are convex, the result may be nonconvex. Approximations are resorted to in order to satisfy this closure property. These approximations introduce imprecision in the analyses and, furthermore, the imprecisions resulting from successive operations have a cumulative effect. Delayed merging is a technique suggested and used in some of the existing analyses to minimize the effects of approximation. However, this technique does not guarantee an exact solution in a general setting. This article presents a generalized technique to precisely compute Union which can overcome these imprecisions.