836 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs
Resumo:
More than 375,000 BAC-end sequences (BES) of the CHORI-243 ovine BAC library have been deposited in public databases. blastn searches with these BES against HSA18 revealed 1806 unique and significant hits. We used blastn-anchored BES for an in silico prediction of gene content and chromosome assignment of comparatively mapped ovine BAC clones. Ovine BES were selected at approximately 1.3-Mb intervals of HSA18 and incorporated into a human-sheep comparative map. An ovine 5000-rad whole-genome radiation hybrid panel (USUoRH5000) was typed with 70 markers, all of which mapped to OAR23. The resulting OAR23 RH map included 43 markers derived from BES with high and unique BLAST hits to the sequence of the orthologous HSA18, nine EST-derived markers, 16 microsatellite markers taken from the ovine linkage map and two bovine microsatellite markers. Six new microsatellite markers derived from the 43 mapped BES and the two bovine microsatellite markers were linkage-mapped using the International Mapping Flock (IMF). Thirteen additional microsatellite markers were derived from other ovine BES with high and unique BLAST hits to the sequence of the orthologous HSA18 and also positioned on the ovine linkage map but not incorporated into the OAR23 RH map. This resulted in 24 markers in common and in the same order between the RH and linkage maps. Eight of the BES-derived markers were mapped using fluorescent in situ hybridization (FISH), to thereby align the RH and cytogenetic maps. Comparison of the ovine chromosome 23 RH map with the HSA18 map identified and localized three major breakpoints between HSA18 and OAR23. The positions of these breakpoints were equivalent to those previously shown for syntenic BTA24 and HSA18. This study presents evidence for the usefulness of ovine BES when constructing a high-resolution comprehensive map for a single sheep chromosome. The comparative analysis confirms and refines knowledge about chromosomal conservation and rearrangements between sheep, cattle and human. The constructed RH map demonstrates the resolution and utility of the newly constructed ovine RH panel.
Resumo:
Diepkloof Rock Shelter offers an exceptional opportunity to study the onset and evolution of both Still Bay (SB) and Howiesons Poort (HP) techno-complexes. However, previous age estimates based on luminescence dating of burnt quartzites (Tribolo et al., 2009) and of sediments (Jacobs et al., 2008) were not in agreement. Here, we present new luminescence ages for 17 rock samples (equivalent dose estimated with a SAR-ITL protocol instead of classical MAAD-TL) as well as for 5 sediment samples (equivalent dose estimated with SAR-single grain OSL protocol) and an update of the 22 previous age estimates for burnt lithics (modified calibration and beta dose estimates). While a good agreement between the rock and sediment ages is obtained, these estimates are still significantly older than those reported by Jacobs et al. (2008). After our own analyses of the sediment from Diepkloof, it is suspected that these authors did not correctly chose the parameters for the equivalent dose determination, leading to an underestimate of the equivalent doses, and thus of the ages. From bottom to top, the mean ages are 100 ± 10 ka for stratigraphic unit (SU) Noël and 107 ± 11 ka for SU Mark (uncharacterized Lower MSA), 100 ± 10 ka for SU Lynn-Leo (Pre-SB type Lynn), 109 ± 10 ka for SUs Kim-Larry (SB), 105 ± 10 ka for SUs Kerry-Kate and 109 ± 10 ka for SU Jess (Early HP), 89 ± 8 ka for SU Jude (MSA type Jack), 77 ± 8 ka for SU John, 85 ± 9 ka for SU Fox, 83 ± 8 ka for SU Fred and 65 ± 8 ka for SU OB5 (Intermediate HP), 52 ± 5 ka for SUs OB2-4 (Late HP). This chronology, together with the technological analyses, greatly modifies the current chrono-cultural model regarding the SB and the HP and has important archaeological implications. Indeed, SB and HP no longer appear as short-lived techno-complexes with synchronous appearances for each and restricted to Oxygen Isotopic Stage (OIS) 4 across South Africa, as suggested by Jacobs et al. (2008, 2012). Rather, the sequence of Diepkloof supports a long chronology model with an early appearance of both SB and HP in the first half of OIS 5 and a long duration of the HP into OIS 3. These new dates imply that different technological traditions coexisted during OIS 5 and 4 in southern Africa and that SB and HP can no longer be considered as horizon markers.
Resumo:
Stepwise uncertainty reduction (SUR) strategies aim at constructing a sequence of points for evaluating a function f in such a way that the residual uncertainty about a quantity of interest progressively decreases to zero. Using such strategies in the framework of Gaussian process modeling has been shown to be efficient for estimating the volume of excursion of f above a fixed threshold. However, SUR strategies remain cumbersome to use in practice because of their high computational complexity, and the fact that they deliver a single point at each iteration. In this article we introduce several multipoint sampling criteria, allowing the selection of batches of points at which f can be evaluated in parallel. Such criteria are of particular interest when f is costly to evaluate and several CPUs are simultaneously available. We also manage to drastically reduce the computational cost of these strategies through the use of closed form formulas. We illustrate their performances in various numerical experiments, including a nuclear safety test case. Basic notions about kriging, auxiliary problems, complexity calculations, R code, and data are available online as supplementary materials.
Resumo:
An in-depth study, using simulations and covariance analysis, is performed to identify the optimal sequence of observations to obtain the most accurate orbit propagation. The accuracy of the results of an orbit determination/ improvement process depends on: tracklet length, number of observations, type of orbit, astrometric error, time interval between tracklets and observation geometry. The latter depends on the position of the object along its orbit and the location of the observing station. This covariance analysis aims to optimize the observation strategy taking into account the influence of the orbit shape, of the relative object-observer geometry and the interval between observations.
Resumo:
Objective: In schizophrenia, abnormalities in nonverbal behaviors have always been considered as highly relevant. However, due to methodological limitations, nonverbal behavior was rarely quantified objectively. Recent methodological advances now allow a quantification of body movement from ordinary video recordings. We showed that patients’ objectively measured amount of movement in social role-play interactions was closely associated with their symptom profiles (Kupper, Ramseyer, Hoffmann, & Tschacher, Schizophrenia Research 2010). In the present study, a replication of these results in the context of semi-standardized PANSS (Positive and Negative Syndrome Scale) interviews was intended. Methods: 17 patients with schizophrenia were analyzed during the initial 15-min sequence of a videotaped PANSS interview using Motion Energy Analysis (MEA). The amount of patients’ movement was then correlated with their PANSS symptom scores. Results: Sizeable and significant correlations between negative symptoms and reduced movements (r = -.68, p<0.01) and reduced movement speed (r = -.80, p<0.001) were found. Moreover, cognitive symptoms were related to reduced movement speed (r = -.70, p<.01). Conclusion: Negative symptoms were reliably indicated by patients’ nonverbal behavior in psychopathology interviews. Hence, the main result of our earlier study, examining patients’ nonverbal behavior in role play tests, was replicated for the less structured interactions in psychopathological interviews. Results could encourage the use of MEA in a wide range of videotaped social interactions of patients with schizophrenia and other psychiatric disorders.
Resumo:
Palynological records from the Congo fan reveal environmental change in equatorial Africa occurring 1.05 Ma ago, 100 k.y. before the mid-Pleistocene climatic shift at 0.9 Ma. Prior to 1.05 Ma, a glacial-interglacial rhythm is not obvious in the African vegetation variation. Afterwards, Podocarpus spread in the mountains of central Africa mainly during glacials and Congo River discharge decreased. The sequence of vegetation variation associated with the mid-Pleistocene glacials and interglacials differed from that observed during the late Pleistocene. Between 0.9 and 0.6 Ma, interglacials were characterized by warm dry conditions and glacials were characterized by cool humid conditions, while during the past 0.2 Ma glacials were cold and dry and interglacials warm and humid. Our data indicate that before the Northern Hemisphere ice caps dramatically increased in size (0.9-0.6 Ma), low-latitude climate forcing and response in the tropics played an important role in the initiation of 100 k.y. ice-age cycles. During the mid to late Pleistocene, however, the climate conditions in the tropics were increasingly influenced by the glacial-interglacial variations of continental ice sheets.
Resumo:
Critical infrastructures support everyday activities in modern societies, facilitating the exchange of services and quantities of various nature. Their functioning is the result of the integration of diverse technologies, systems and organizations into a complex network of interconnections. Benefits from networking are accompanied by new threats and risks. In particular, because of the increased interdependency, disturbances and failures may propagate and render unstable the whole infrastructure network. This paper presents a methodology of resilience analysis of networked systems of systems. Resilience generalizes the concept of stability of a system around a state of equilibrium, with respect to a disturbance and its ability of preventing, resisting and recovery. The methodology provides a tool for the analysis of off-equilibrium conditions that may occur in a single system and propagate through the network of dependencies. The analysis is conducted in two stages. The first stage of the analysis is qualitative. It identifies the resilience scenarios, i.e. the sequence of events, triggered by an initial disturbance, which include failures and the system response. The second stage is quantitative. The most critical scenarios can be simulated, for the desired parameter settings, in order to check if they are successfully handled, i.e recovered to nominal conditions, or they end into the network failure. The proposed methodology aims at providing an effective support to resilience-informed design.
Resumo:
To determine the mechanism of action responsible for the in vivo antitumor activity of a phosphorothioate antisense inhibitor targeted against human C-raf kinase (ISIS 5132, also known as CGP69846A), a series of mismatched phosphorothioate analogs of ISIS 5132 or CGP69846A were synthesized and characterized with respect to hybridization affinity, inhibitory effects on C-raf gene expression in vitro, and antitumor activity in vivo. Incorporation of a single mismatch into the sequence of ISIS 5132 or CGP69846A resulted in reduced hybridization affinity toward C-raf RNA sequences and reduced inhibitory activity against C-raf expression in vitro and tumor growth in vivo. Moreover, incorporation of additional mismatches resulted in further loss of in vitro and in vivo activity in a manner that correlated well with a hybridization-based (i.e., antisense) mechanism of action. These results provide important experimental evidence supporting an antisense mechanism of action underlying the in vivo antitumor activity displayed by ISIS 5132 or CGP69846A.
Resumo:
Carotenoid pigments in plants fulfill indispensable functions in photosynthesis. Carotenoids that accumulate as secondary metabolites in chromoplasts provide distinct coloration to flowers and fruits. In this work we investigated the genetic mechanisms that regulate accumulation of carotenoids as secondary metabolites during ripening of tomato fruits. We analyzed two mutations that affect fruit pigmentation in tomato (Lycopersicon esculentum): Beta (B), a single dominant gene that increases β-carotene in the fruit, and old-gold (og), a recessive mutation that abolishes β-carotene and increases lycopene. Using a map-based cloning approach we cloned the genes B and og. Molecular analysis revealed that B encodes a novel type of lycopene β-cyclase, an enzyme that converts lycopene to β-carotene. The amino acid sequence of B is similar to capsanthin-capsorubin synthase, an enzyme that produces red xanthophylls in fruits of pepper (Capsicum annum). Our results prove that β-carotene is synthesized de novo during tomato fruit development by the B lycopene cyclase. In wild-type tomatoes B is expressed at low levels during the breaker stage of ripening, whereas in the Beta mutant its transcription is dramatically increased. Null mutations in the gene B are responsible for the phenotype in og, indicating that og is an allele of B. These results confirm that developmentally regulated transcription is the major mechanism that governs lycopene accumulation in ripening fruits. The cloned B genes can be used in various genetic manipulations toward altering pigmentation and enhancing nutritional value of plant foods.
Resumo:
Ligand transport through myoglobin (Mb) has been observed by using optically heterodyne-detected transient grating spectroscopy. Experimental implementation using diffractive optics has provided unprecedented sensitivity for the study of protein motions by enabling the passive phase locking of the four beams that constitute the experiment, and an unambiguous separation of the Real and Imaginary parts of the signal. Ligand photodissociation of carboxymyoglobin (MbCO) induces a sequence of events involving the relaxation of the protein structure to accommodate ligand escape. These motions show up in the Real part of the signal. The ligand (CO) transport process involves an initial, small amplitude, change in volume, reflecting the transit time of the ligand through the protein, followed by a significantly larger volume change with ligand escape to the surrounding water. The latter process is well described by a single exponential process of 725 ± 15 ns at room temperature. The overall dynamics provide a distinctive signature that can be understood in the context of segmental protein fluctuations that aid ligand escape via a few specific cavities, and they suggest the existence of discrete escape pathways.
Resumo:
The origin of land vertebrates was one of the major transitions in the history of vertebrates. Yet, despite many studies that are based on either morphology or molecules, the phylogenetic relationships among tetrapods and the other two living groups of lobe-finned fishes, the coelacanth and the lungfishes, are still unresolved and debated. Knowledge of the relationships among these lineages, which originated back in the Devonian, has profound implications for the reconstruction of the evolutionary scenario of the conquest of land. We collected the largest molecular data set on this issue so far, about 3,500 base pairs from seven species of the large 28S nuclear ribosomal gene. All phylogenetic analyses (maximum parsimony, neighbor-joining, and maximum likelihood) point toward the hypothesis that lungfishes and coelacanths form a monophyletic group and are equally closely related to land vertebrates. This evolutionary hypothesis complicates the identification of morphological or physiological preadaptations that might have permitted the common ancestor of tetrapods to colonize land. This is because the reconstruction of its ancestral conditions would be hindered by the difficulty to separate uniquely derived characters from shared derived characters in the coelacanth/lungfish and tetrapod lineages. This molecular phylogeny aids in the reconstruction of morphological evolutionary steps by providing a framework; however, only paleontological evidence can determine the sequence of morphological acquisitions that allowed lobe-finned fishes to colonize land.
Resumo:
Leukotriene A4 (LTA4) hydrolase [7E,9E,11Z,14Z)-(5S,6S)-5,6-epoxyicosa-7,9 ,11,14-tetraenoate hydrolase; EC 3.3.2.6] is a bifunctional zinc metalloenzyme which converts LTA4 into the chemotactic agent leukotriene B4 (LTB4). Suicide inactivation, a typical feature of LTA4 hydrolase/aminopeptidase, occurs via an irreversible, apparently mechanism-based, covalent binding of LTA4 to the protein in a 1:1 stoichiometry. Differential lysine-specific peptide mapping of unmodified and suicide-inactivated LTA4 hydrolase has been used to identify a henicosapeptide, encompassing the amino acid residues 365-385 of human LTA4 hydrolase, which is involved in the binding of LTA4, LTA4 methyl ester, and LTA4 ethyl ester to the native enzyme. A modified form of this peptide, generated by lysine-specific digestion of LTA4 hydrolase inactivated by LTA4 ethyl ester, could be isolated for complete Edman degradation. The sequence analysis revealed a gap at position 14, which shows that binding of the leukotriene epoxide had occurred via Tyr-378 in LTA4 hydrolase. Inactivation of the epoxide hydrolase and the aminopeptidase activity was accompanied by a proportionate modification of the peptide. Furthermore, both enzyme inactivation and peptide modification could be prevented by preincubation of LTA4 hydrolase with the competitive inhibitor bestatin, which demonstrates that the henicosapeptide contains functional elements of the active site(s). It may now be possible to clarify the molecular mechanisms underlying suicide inactivation and epoxide hydrolysis by site-directed mutagenesis combined with structural analysis of the lipid molecule, covalently bound to the peptide.
Resumo:
Comunicación presentada en el VII Symposium Nacional de Reconocimiento de Formas y Análisis de Imágenes, SNRFAI, Barcelona, abril 1997.
Resumo:
We address the optimization of discrete-continuous dynamic optimization problems using a disjunctive multistage modeling framework, with implicit discontinuities, which increases the problem complexity since the number of continuous phases and discrete events is not known a-priori. After setting a fixed alternative sequence of modes, we convert the infinite-dimensional continuous mixed-logic dynamic (MLDO) problem into a finite dimensional discretized GDP problem by orthogonal collocation on finite elements. We use the Logic-based Outer Approximation algorithm to fully exploit the structure of the GDP representation of the problem. This modelling framework is illustrated with an optimization problem with implicit discontinuities (diver problem).
Resumo:
Anyone who looks at the title of this special issue will agree that the intent behind the preparation of this volume was ambitious: to predict and discuss “The Future of Manufacturing”. Will manufacturing be important in the future? Even though some sceptics might say not, and put on the table some old familiar arguments, we would strongly disagree. To bring subsidies for the argument we issued the call-for-papers for this special issue of Journal of Manufacturing Technology Management, fully aware of the size of the challenge in our hands. But we strongly believed that the enterprise would be worthwhile. The point of departure is the ongoing debate concerning the meaning and content of manufacturing. The easily visualised internal activity of using tangible resources to make physical products in factories is no longer a viable way to characterise manufacturing. It is now a more loosely defined concept concerning the organisation and management of open, interdependent, systems for delivering goods and services, tangible and intangible, to diverse types of markets. Interestingly, Wickham Skinner is the most cited author in this special issue of JMTM. He provides the departure point of several articles because his vision and insights have guided and inspired researchers in production and operations management from the late 1960s until today. However, the picture that we draw after looking at the contributions in this special issue is intrinsically distinct, much more dynamic, and complex. Seven articles address the following research themes: 1.new patterns of organisation, where the boundaries of firms become blurred and the role of the firm in the production system as well as that of manufacturing within the firm become contingent; 2.new approaches to strategic decision-making in markets characterised by turbulence and weak signals at the customer interface; 3.new challenges in strategic and operational decisions due to changes in the profile of the workforce; 4.new global players, especially China, modifying the manufacturing landscape; and 5.new techniques, methods and tools that are being made feasible through progress in new technological domains. Of course, many other important dimensions could be studied, but these themes are representative of current changes and future challenges. Three articles look at the first theme: organisational evolution of production and operations in firms and networks. Karlsson's and Skold's article represent one further step in their efforts to characterise “the extraprise”. In the article, they advance the construction of a new framework, based on “the network perspective” by defining the formal elements which compose it and exploring the meaning of different types of relationships. The way in which “actors, resources and activities” are conceptualised extends the existing boundaries of analytical thinking in operations management and open new avenues for research, teaching and practice. The higher level of abstraction, an intrinsic feature of the framework, is associated to the increasing degree of complexity that characterises decisions related to strategy and implementation in the manufacturing and operations area, a feature that is expected to become more and more pervasive as time proceeds. Riis, Johansen, Englyst and Sorensen have also based their article on their previous work, which in this case is on “the interactive firm”. They advance new propositions on strategic roles of manufacturing and discuss why the configuration of strategic manufacturing roles, at the level of the network, will become a key issue and how the indirect strategic roles of manufacturing will become increasingly important. Additionally, by considering that value chains will become value webs, they predict that shifts in strategic manufacturing roles will look like a sequence of moves similar to a game of chess. Then, lastly under the first theme, Fleury and Fleury develop a conceptual framework for the study of production systems in general derived from field research in the telecommunications industry, here considered a prototype of the coming information society and knowledge economy. They propose a new typology of firms which, on certain dimensions, complements the propositions found in the other two articles. Their telecoms-based framework (TbF) comprises six types of companies characterised by distinct profiles of organisational competences, which interact according to specific patterns of relationships, thus creating distinct configurations of production networks. The second theme is addressed by Kyläheiko and SandstroÍm in their article “Strategic options based framework for management of dynamic capabilities in manufacturing firms”. They propose a new approach to strategic decision-making in markets characterised by turbulence and weak signals at the customer interface. Their framework for a manufacturing firm in the digital age leads to active asset selection (strategic investments in both tangible and intangible assets) and efficient orchestrating of the global value net in “thin” intangible asset markets. The framework consists of five steps based on Porter's five-forces model, the resources-based view, complemented by means of the concepts of strategic options and related flexibility issues. Thun, GroÍssler and Miczka's contribution to the third theme brings the human dimension to the debate regarding the future of manufacturing. Their article focuses on the challenges brought to management by the ageing of workers in Germany but, in the arguments that are raised, the future challenges associated to workers and work organisation in every production system become visible and relevant. An interesting point in the approach adopted by the authors is that not only the factual problems and solutions are taken into account but the perception of the managers is brought into the picture. China cannot be absent in the discussion of the future of manufacturing. Therefore, within the fourth theme, Vaidya, Bennett and Liu provide the evidence of the gradual improvement of Chinese companies in the medium and high-tech sectors, by using the revealed comparative advantage (RCA) analysis. The Chinese evolution is shown to be based on capabilities developed through combining international technology transfer and indigenous learning. The main implication for the Western companies is the need to take account of the accelerated rhythm of capability development in China. For other developing countries China's case provides lessons of great importance. Finally, under the fifth theme, Kuehnle's article: “Post mass production paradigm (PMPP) trajectories” provides a futuristic scenario of what is already around us and might become prevalent in the future. It takes a very intensive look at a whole set of dimensions that are affecting manufacturing now, and will influence manufacturing in the future, ranging from the application of ICT to the need for social transparency. In summary, this special issue of JMTM presents a brief, but undisputable, demonstration of the possible richness of manufacturing in the future. Indeed, we could even say that manufacturing has no future if we only stick to the past perspectives. Embracing the new is not easy. The new configurations of production systems, the distributed and complementary roles to be performed by distinct types of companies in diversified networked structures, leveraged by the new emergent technologies and associated the new challenges for managing people, are all themes that are carriers of the future. The Guest Editors of this special issue on the future of manufacturing are strongly convinced that their undertaking has been worthwhile.