Results 251 to 260 of about 232,231 (296)
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017 We address the problem of determining the satisfiability of a Boolean combination of convex constraints over the real numbers, which is common in the context of hybrid system verification and control. We first show that a special type of logic formulas, termed monotone Satisfiability Modulo Convex (SMC) formulas, is the most general class of formulas ...
Shoukry, Yasser +5 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the Eleventh ACM International Workshop on Data Engineering for Wireless and Mobile Access, 2012
In this paper, several energy conserving techniques proposed for peer to peer (P2P) file sharing in mobile phones are meticulously analysed. A cloud based P2P file sharing solution for efficiently sharing multimedia files is proposed for mobile phones particularly when they are running out of resources.
Ashok Chandrasekar +3 more
openaire +2 more sources
In this paper, several energy conserving techniques proposed for peer to peer (P2P) file sharing in mobile phones are meticulously analysed. A cloud based P2P file sharing solution for efficiently sharing multimedia files is proposed for mobile phones particularly when they are running out of resources.
Ashok Chandrasekar +3 more
openaire +2 more sources
ACM Transactions on Software Engineering and Methodology, 2000
The article presents the SMC system. SMC can be used for checking safety and liveness properties of concurrent programs under different fairness assumptions. It is based on explicit state enumeration. It combats the state explosion by exploiting symmetries of the input concurrent program, usually present in the form of identical processes,
A. Prasad Sistla +2 more
openaire +1 more source
The article presents the SMC system. SMC can be used for checking safety and liveness properties of concurrent programs under different fairness assumptions. It is based on explicit state enumeration. It combats the state explosion by exploiting symmetries of the input concurrent program, usually present in the form of identical processes,
A. Prasad Sistla +2 more
openaire +1 more source
Nature Reviews Molecular Cell Biology, 2011 Many tales and quests bring in the concept of three: three heirs, three suitors, three tasks. Throughout the eukaryotic kingdom, three structural maintenance of chromosomes (SMC) complexes — cohesin, condensin and SMC5–SMC6 — are crucial for chromosome reorganization events and cell viability.
Dana Branzei
exaly +3 more sources
Nature Structural & Molecular Biology, 2013
SMC (structural maintenance of chromosomes) protein complexes act in chromosome processing in all domains of life. In this issue, a study of the prokaryotic SMC complex Smc–ScpAB reveals an unanticipated asymmetry despite Smc forming a symmetric homodimer.
Amy L, Upton, David J, Sherratt
openaire +2 more sources
SMC (structural maintenance of chromosomes) protein complexes act in chromosome processing in all domains of life. In this issue, a study of the prokaryotic SMC complex Smc–ScpAB reveals an unanticipated asymmetry despite Smc forming a symmetric homodimer.
Amy L, Upton, David J, Sherratt
openaire +2 more sources
Immunofluorescence images for characterization of SMC from different ...
Claudia Lobato da Silva, Teresa F Mendes
openaire +1 more source
Claudia Lobato da Silva, Teresa F Mendes
openaire +1 more source
Journal of Thermoplastic Composite Materials, 1994
Sheet Molding Compound (SMC) has been widely applied to automotive exterior parts and sliding roof housings for its excellent mechanical properties. Generally speaking, it is difficult to be recycled. But since SMC offers excellent mechanical proper ties that may not be obtainable from other plastic materials, we have developed a new recy cling ...
Takashi Inoh +4 more
openaire +1 more source
Sheet Molding Compound (SMC) has been widely applied to automotive exterior parts and sliding roof housings for its excellent mechanical properties. Generally speaking, it is difficult to be recycled. But since SMC offers excellent mechanical proper ties that may not be obtainable from other plastic materials, we have developed a new recy cling ...
Takashi Inoh +4 more
openaire +1 more source
Genome control by SMC complexes
Nature Reviews Molecular Cell Biology, 2023Claire Hoencamp, Benjamin D Rowland
exaly
Genome folding through loop extrusion by SMC complexes
Nature Reviews Molecular Cell Biology, 2021Iain F Davidson, Jan-Michael Peters
exaly
1991
The status of the forthcoming muon experiment at CERN for measuring the spin-dependent structure function of the neutron and of the proton is discussed. Expected accuracies for the evaluation of spin-related sum rules, in particular the Bjorken sum rule, are given.
openaire +1 more source
The status of the forthcoming muon experiment at CERN for measuring the spin-dependent structure function of the neutron and of the proton is discussed. Expected accuracies for the evaluation of spin-related sum rules, in particular the Bjorken sum rule, are given.
openaire +1 more source