BIOTECHNOLOGY: Tinker, Tailor

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tinker, tailor, solver, proof

We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism introduced by the authors in [7]. We represent proof strategies as open-graphs, which are directed graphs with additional input/output edges. Tactics appear as nodes in a graph, and can be ‘piped’ together by adding edges between them. Goals are added to the input edges of such ...

متن کامل

Tinker, Tailor, Soldier, Spy*

We examine the distribution and interpretation of post-copular noun phrases in French when they appear with and without an indefinite article (Marie est (une) physicienne). We propose that the alternation is due to the fact that the indefinite article marks saturation of an NP-internal argument slot, and show that because of this, post-copular indefinite NPs are usually but not always existenti...

متن کامل

Tinker, Tailor: Information Systems and Strategic Development in Knowledge-Based SMEs

Small and Medium Sized Enterprises (SMEs) can experience difficulties in adopting Information Systems (IS) and aligning them with their strategic development. Using the concept of bricolage, an improvisational approach that allows learning from concrete experience, we explore IS adoption and organisational change in two SME case studies. The case studies cover IS rationalisations and innovation...

متن کامل

Tinker, tailor, software engineer, surgeon: specialization in software systems creation and evolution

This position paper advocates a change of mindset regarding how we perceive of and support those who develop and maintain software systems. We contend that a lack of explicit specialization is impeding our ability to deal effectively with the challenges that arise in the creation and evolution of software systems. Observations from the health sector lead us to reconsider the roles of the profes...

متن کامل

Tinker: Example-Based Programming for Artificial Intelligence

How does AI programming differ from areas like business or scientific programming? One important difference is in the complexity of the problems and procedures necessary for solutions. In many other areas, programming proceeds by first creating complete specifications for the problem, inventing an algorithm guaranteed to meet the specifications, then working out the details of the code, and fin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science

سال: 2004

ISSN: 0036-8075,1095-9203

DOI: 10.1126/science.306.5693.21c