Results 241 to 250 of about 1,934 (272)
Some of the next articles are maybe not open access.
ACM SIGLOG News, 2023
Many verification problems can be formulated as a language inclusion problem where the task is to decide whether the language of the system model (given by the runs of the system) is contained in the language induced by a logical specification. The corresponding verification problem for non-functional properties is the quantitative inclusion problem ...
openaire +1 more source
Many verification problems can be formulated as a language inclusion problem where the task is to decide whether the language of the system model (given by the runs of the system) is contained in the language induced by a logical specification. The corresponding verification problem for non-functional properties is the quantitative inclusion problem ...
openaire +1 more source
ACM SIGACT News, 2018
Ten years ago, Gla'er, Pavan, Selman, and Zhang [GPSZ08] proved that if P 6= NP, then all NP-complete sets can be simply split into two NP-complete sets. That advance might naturally make one wonder about a quite di erent potential consequence of NP-completeness: Can the union of easy NP sets ever be hard?
Lane A. Hemaspaandra, Holger Spakowski
openaire +1 more source
Ten years ago, Gla'er, Pavan, Selman, and Zhang [GPSZ08] proved that if P 6= NP, then all NP-complete sets can be simply split into two NP-complete sets. That advance might naturally make one wonder about a quite di erent potential consequence of NP-completeness: Can the union of easy NP sets ever be hard?
Lane A. Hemaspaandra, Holger Spakowski
openaire +1 more source
ACM SIGSAM Bulletin, 1983
Since this is my final column as chairman of SIGSAM, I thought it appropriate to share with you my feelings about the field of computer algebra and its future.
openaire +1 more source
Since this is my final column as chairman of SIGSAM, I thought it appropriate to share with you my feelings about the field of computer algebra and its future.
openaire +1 more source
2013
The stability phenomenon of a structure is defined by its state of equilibrium. The equilibrium of a designed structure is stable if small imperfections or defects will cause correspondingly small deviations from the idealized operating condition.
openaire +1 more source
The stability phenomenon of a structure is defined by its state of equilibrium. The equilibrium of a designed structure is stable if small imperfections or defects will cause correspondingly small deviations from the idealized operating condition.
openaire +1 more source
Campus Security Report
I was chatting with my youngest son the other day while driving him to wrestling practice and playing “Daddy Uber.” I mentioned to him that I needed to work on writing my column, and he asked me what it was about. I mentioned I had a few ideas, but there were so many things going on in higher education, many that I have written extensively about, that ...
openaire +1 more source
I was chatting with my youngest son the other day while driving him to wrestling practice and playing “Daddy Uber.” I mentioned to him that I needed to work on writing my column, and he asked me what it was about. I mentioned I had a few ideas, but there were so many things going on in higher education, many that I have written extensively about, that ...
openaire +1 more source
ACM SIGCHI Bulletin, 1992
This column discusses Austin Henderson's recent travels, INTERCHI '93, and a selection of topics covered at the Extended Executive Committee Meeting held in Boston in December. Austin Henderson's travels this fall and early winter have taken him around the world to Japan, Russia, and the Netherlands.
Austin Henderson, Peter G. Polson
openaire +1 more source
This column discusses Austin Henderson's recent travels, INTERCHI '93, and a selection of topics covered at the Extended Executive Committee Meeting held in Boston in December. Austin Henderson's travels this fall and early winter have taken him around the world to Japan, Russia, and the Netherlands.
Austin Henderson, Peter G. Polson
openaire +1 more source
Scottish Medical Journal, 2008
Another month, another medical implant panic. Scarcely had the public calmed down after the poly implant prothese breast implants furore than another news story emerges of foreign bodies inserted therapeutically into people’s bodies causing iatrogenic harm. This time it is metal-onmetal hip implants (i.e.
openaire +2 more sources
Another month, another medical implant panic. Scarcely had the public calmed down after the poly implant prothese breast implants furore than another news story emerges of foreign bodies inserted therapeutically into people’s bodies causing iatrogenic harm. This time it is metal-onmetal hip implants (i.e.
openaire +2 more sources
PsyPag Quarterly, 2016
‘Studying sexuality is one avenue to a more complete understanding of human nature and human societies. In its broadest sense, sexuality is interwoven with all aspects of being human. It has been only during the last few generations that reliable information about human sexual arousal and response has emerged.
openaire +1 more source
‘Studying sexuality is one avenue to a more complete understanding of human nature and human societies. In its broadest sense, sexuality is interwoven with all aspects of being human. It has been only during the last few generations that reliable information about human sexual arousal and response has emerged.
openaire +1 more source