Results 181 to 190 of about 207,774 (230)
Some of the next articles are maybe not open access.
Reducing AC-termination to termination
1998We present a new technique for proving AC-termination. We show that if certain conditions are met, AC-termination can be reduced to termination, i. e., termination of a TRS S modulo an AC-theory can be inferred from termination of another TRS R with no AC-theory involved. This is a new perspective and opens new possibilities to deal with AC-termination.
Maria C. F. Ferreira +2 more
openaire +1 more source
Aging, Terminal Decline, and Terminal Drop
Journal of Gerontology, 1976Data from a 20-year longitudinal study of persons over 60 were analyzed by step-wise multiple regression to test for declines in function with age, for terminal decline (linear relationship to time before death), and for terminal drop (curvilinear relationship to time before death). There were no substanial terminal drop effects.
E, Palmore, W, Cleveland
openaire +2 more sources
Identifying terminals in terminal-oriented systems
Proceedings of the ACM second symposium on Problems in the optimizations of data communications systems -, 1971A terminal-oriented computer system that is to serve a variety of different terminal types can achieve the economy of statistical sharing of its access lines and can best take advantage of each terminal type, if it can fully identify the terminal type and speed at the time of terminal approach to the system.
openaire +1 more source
2014
A better understanding of the mechanisms by which most focal epileptic seizures stop spontaneously within a few minutes would be of highest importance, because they could potentially help to improve existing and develop novel therapeutic measures for seizure control.
Frédéric, Zubler +3 more
openaire +2 more sources
A better understanding of the mechanisms by which most focal epileptic seizures stop spontaneously within a few minutes would be of highest importance, because they could potentially help to improve existing and develop novel therapeutic measures for seizure control.
Frédéric, Zubler +3 more
openaire +2 more sources
ACM Transactions on Programming Languages and Systems, 1980
Discussed is a distributed system based on communication among disjoint processes, where each process is capable of achieving a post-condition of its local space in such a way that the conjunction of local post-conditions implies a global post-condition of the whole system.
openaire +1 more source
Discussed is a distributed system based on communication among disjoint processes, where each process is capable of achieving a post-condition of its local space in such a way that the conjunction of local post-conditions implies a global post-condition of the whole system.
openaire +1 more source
Bulletin of Symbolic Logic, 1999
AbstractCertain set theoretical notions cannot be split into finer subnotions.
openaire +2 more sources
AbstractCertain set theoretical notions cannot be split into finer subnotions.
openaire +2 more sources
ACM SIGGRAPH 2016 Computer Animation Festival, 2016
Led by MPC VFX Supervisor Sheldon Stopsack and VFX Producer Chad Nixon, MPC completed more than 300 shots for "Terminator: Genisys." Working closely with Production VFX Supervisor Janek Sirrs and VFX Producer Shari Hanson, the team's work included recreating a "young Arnold" T-800 digital character, endoskeletons, an explosive battle at LAX, various CG
openaire +1 more source
Led by MPC VFX Supervisor Sheldon Stopsack and VFX Producer Chad Nixon, MPC completed more than 300 shots for "Terminator: Genisys." Working closely with Production VFX Supervisor Janek Sirrs and VFX Producer Shari Hanson, the team's work included recreating a "young Arnold" T-800 digital character, endoskeletons, an explosive battle at LAX, various CG
openaire +1 more source
Proceedings of 2010 IEEE International Symposium on Circuits and Systems, 2010
The behavioral approach to dynamical systems is applied to electrical circuits. This offers an attractive way to introduce circuits pedagogically. An electrical circuit is a device that interacts with its environment through wires, called terminals. Associated with each terminal, there are two variables, a potential and a current.
openaire +1 more source
The behavioral approach to dynamical systems is applied to electrical circuits. This offers an attractive way to introduce circuits pedagogically. An electrical circuit is a device that interacts with its environment through wires, called terminals. Associated with each terminal, there are two variables, a potential and a current.
openaire +1 more source
BJOG: An International Journal of Obstetrics & Gynaecology, 1970
SummaryTermination hysterectomy has been performed 56 times in the Division of Obstetrics and Gynaecology at Oxford from April, 1968, until the end of 1969. The operation is preferred over all others when the patient is highly parous, needs permanent contraception, and suffers from uterine disease.
A C, Lewis, E A, Williams
openaire +2 more sources
SummaryTermination hysterectomy has been performed 56 times in the Division of Obstetrics and Gynaecology at Oxford from April, 1968, until the end of 1969. The operation is preferred over all others when the patient is highly parous, needs permanent contraception, and suffers from uterine disease.
A C, Lewis, E A, Williams
openaire +2 more sources
On proving termination by innermost termination
1996We present a new approach for proving termination of rewrite systems by innermost termination. From the resulting abstract criterion we derive concrete conditions, based on critical peak properties, under which innermost termination implies termination (and confluence).
openaire +1 more source