تست

به عنوان گسترش تحولات کلمه ، تحولات درختی در علوم کامپیوتر کاربردهای بی شماری دارد: تحولات XSLT ، نصب و حذف بسته های یونیکس ، نمایش داده های پایگاه داده. به همین ترتیب ، مدل های رسمی زیادی برای توصیف این تحولات وجود دارد. با این حال ، اثبات آقایان رسمی بر روی این مدل ها اغلب دشوار یا حتی غیرقابل انکار است. در این صحبت ، من به یکی از ساده ترین مدل برای تحولات درخت ، یعنی مبدل های درختی از بالا به پایین (DTOP) علاقه مند خواهم شد. مدتی شناخته شده است که مشکل هم ارزی DTOP ها را می توان از طریق اولین الگوریتم مقایسه شکل عادی ، یعنی در 2exptime ، حل کرد. با این حال ، هنگام استفاده از این الگوریتم در موارد عملی ، به نظر می رسید که بدترین حالت در صورت وجود اغلب اتفاق نمی افتد. من یک الگوریتم جدید برای این مشکل ارائه خواهم داد ، بر اساس جستجوی پیشخوان ها از طریق گسترش و اتحاد مجموعه ای از قوانین در مورد حالت های DTOP. جالب ترین ویژگی این الگوریتم این است که در زمان نمایی اجرا می شود ، بنابراین ثابت می کند که مشکل هم ارزی DTOP ها در واقع اکتشافی است.

لیل B31 جمعه سیزدهم اکتبر 11:00 قبل از ظهر 13:00

Dimitri Gallois: در بازنویسی موازی

جمعه 3 نوامبر 10:30 قبل از ظهر 12:00 بعد از ظهر

Joaa Ochremiak ، پاریس 7: "پیچیدگی اثبات مشکلات رضایت محدودیت"

بسیاری از مشکلات محاسباتی طبیعی ، مانند رضایت و سیستم معادلات ، می توانند به صورت یکپارچه به عنوان مشکلات رضایت از محدودیت (CSP) بیان شوند. در این گفتگو نشان خواهم داد که کاهش های معمول با حفظ پیچیدگی مسئله رضایت محدودیت نیز پیچیدگی اثبات آن را حفظ می کند. به عنوان یک برنامه ، من دو قضیه شکاف ارائه خواهم داد ، که می گویند CSP هایی که در برخی از سیستم های اثبات کلاسیک اعتراف می کنند ، دقیقاً مشکلات رضایتمندی محدودیت هستند که می توانند توسط Datalog حل شوند.

این کار مشترک با آلبرت Atserias است.

جمعه 10 نوامبر 10:00 11:00 قبل از ظهر

Momar Sakho: "پیچیدگی پرس و جو خاص در پاسخ به hyperstreams"

Hyperstream دنباله ای از جریان ها با مراجعه به دیگران است. ما پیچیدگی محاسبات پاسخ های خاص را برای نمایش داده شدگان تعریف شده توسط اتوماتیک بررسی می کنیم و در hyperstreams کلمات ارزیابی می شویم. ما نشان می دهیم که مشکل PSPACE کاملاً مناسب برای اتوماتیک پرس و جو قطعی است ، اما می توان آن را در PTIME برای Hyperstreams خطی حتی با فاکتورسازی حل کرد.

سالل B21 19 دسامبر ساعت 5:00 صبح 6:00 صبح

گزارش سالانه پیوندهای 2017 آماده است. ازدواج 3 ژانویه 10:00 11:00 قبل از ظهر

I. Boneva کتابی منتشر کرد که با W3C در مورد اعتبار سنجی Schemas برای وب معنایی منتشر شده است 8 ژانویه من تمام روز

ورود جرمی دوسارد Jérémie به عنوان مهندس Shex با Iovka Boneva کار خواهد کرد کشتن شانزدهم ژانویه تمام روز

بازدید از Ya Strozecki ، دانشگاه ورسای جمعه 19 10:00 12:00 بعد از ظهر

سیلوین سالواتی: "در مجموعه جادویی بازنویسی برای Datalog"

این ارائه مقدمه ای برای تبدیل برنامه های Datalog است. به طور خاص ، من تحولی را به نام "بازنویسی مجموعه جادویی تهیه" ارائه می دهم که به شما امکان می دهد برنامه های Datalog را بدست آورید که ارزیابی نیمه ساده و ساده آنها به طور مشابه با ارزیابی برنامه های اصلی با وضوح SLD رفتار می کند. من الگوریتم و برنامه ها را در مورد نمونه هایی از مشکلات تجزیه و تحلیل گرامری نشان خواهم داد.

لیل B21 سه شنبه 31 ژانویه 03:30 8:30 بعد از ظهر

Gérard Berry در خارج از دوره از Collège de France

Inria Lille - Nord Europe Center Gérard Berry را از Collège de France برای دوره خود در زمینه عکاسی دیجیتال دریافت می کند. این دوره توسط سمیناری از استفان هووت ، رئیس تیم Mjolnir گسترش خواهد یافت. این رویداد توسط یک کوکتل دنبال خواهد شد که در طی آن ایزابل هللین ، مدیر مرکز تحقیقات Inria Lille - Nord Europe آرزوهای خود را ارائه می دهد.

3:45 بعد از ظهر: مقدمه ایزابل هللین

4 بعد از ظهر - 5. 30 بعد از ظهر: دروس بری Gérard ، "عکاسی دیجیتال ، نمونه ای عالی از قدرت رایانه"

5. 30 بعد از ظهر - 6. 30 بعد از ظهر: سمینار Stéphane Huot ، "تعامل انسا ن-machine: ترکیبی گذشته و آینده ساده. یا معکوس"

6. 30 بعد از ظهر - 6:45 بعد از ظهر: سؤالات مربوط به دو بلندگو

ساعت 7 بعد از ظهر - 8:30 بعد از ظهر: کوکتل

لیلیاد سه شنبه 31 ژانویه 16:00 5:30 بعد از ظهر

Gérad Bérry ، دوره های افتتاحیه Collège de France

Gérard Berry در خارج از دوره از Collège de France

Inria Lille - Nord Europe Center Gérard Berry را از Collège de France برای دوره خود در زمینه عکاسی دیجیتال دریافت می کند. این دوره توسط سمیناری از استفان هووت ، رئیس تیم Mjolnir گسترش خواهد یافت. این رویداد توسط یک کوکتل دنبال خواهد شد که در طی آن ایزابل هللین ، مدیر مرکز تحقیقات Inria Lille - Nord Europe آرزوهای خود را ارائه می دهد.

تاریخ: 01/31/2018 محل سکونت: لیلیاد ، دانشگاه دانشگاه لیل - علوم و فناوری ها - 2 خیابان ژان پرین ، ویلنوو D'Ascq

3:45 بعد از ظهر: مقدمه ایزابل هللین

4 بعد از ظهر - 5. 30 بعد از ظهر: دروس بری Gérard ، "عکاسی دیجیتال ، نمونه ای عالی از قدرت رایانه"

5. 30 بعد از ظهر - 6. 30 بعد از ظهر: سمینار Stéphane Huot ، "تعامل انسا ن-machine: ترکیبی گذشته و آینده ساده. یا معکوس"

6. 30 بعد از ظهر - 6:45 بعد از ظهر: سؤالات مربوط به دو بلندگو

ساعت 7 بعد از ظهر - 8:30 بعد از ظهر: کوکتل

دروس بری Gérard

Bio Express: Gérard Berry یک دانشمند رایانه ، استاد Collège de France است که در آن صندلی الگوریتم ها ، ماشین ها و زبان ها را در اختیار دارد.

دوربین دیجیتال نمونه ای عالی از تکامل فعلی سیستم های سایبر فیزیکی است ، یعنی می گویند سیستم های جفت شدن از نزدیک مکانیکی ، فیزیکی ، الکترونیک و نرم افزاری. همچنین یک نمونه فوق العاده و برای همه قدرت روش های رایانه در مقایسه با فیزیک و مکانیک به تنهایی قابل دسترسی است. این دوره ، الگوریتم های تعبیه شده در دوربین های مدرن و نرم افزار پس از تولید را ارائه می دهد ، سپس در مورد تأثیر عمده آنها در طراحی دستگاه ها و اهداف ، در حال حاضر کاملاً ناراحت است و در حال حاضر آنها دارای عکاسان حرفه ای یا آماتور هستند.

عکاسی آرژانتین ، بسیار قدیمی ، فقط در طول قرن بیستم به آرامی پیشرفت کرده است: بهبود آهسته شوره سر و مقالات ، معرفی قرار گرفتن در معرض خودکار به صورت مشابه از سلولهای برقی ، هدف از راه دور یا رفلکس ، همه دهه های درخواست شده محاسبه می شود. در مقابل ، از بازاریابی اولین دستگاه دیجیتال در سال 1990 ، عکاسی دیجیتال بسیار سریع تکامل یافت. در سال 2003 ، در حال حاضر دستگاه های نیمه حرفه ای صحیح و در سال 2009 دستگاه های SLR با کیفیت بالا با قیمت مناسب وجود داشت. اکنون انواع مختلفی از دستگاه های متنوع وجود دارد که همه قادر به ارائه تصاویر با کیفیت بالا هستند. حتی تلفن ها به دلیل الگوریتم هایی که اجرا می کنند ، به دوربین ها و دوربین های فیلمبرداری بسیار خوبی تبدیل شده اند. آنها می دانند که چگونه کارهای دیگری را انجام دهند ، به عنوان مثال ارسال تصاویر به اینترنت بلافاصله ، آنها جایگزین دستگاه های کوچک و جمع و جور قدیمی می شوند و به عنوان تجهیزات منحصر به فرد برای عکاسان گاه به گاه و برای همه در کشورهایی که عکس آرژانتین برای ساکنان غیرقابل کنترل بود ، خدمت می کنند. منطق عکس دیجیتال از این رو با آرژانتین ها بسیار متفاوت شده است ، که با این وجود مانع از این نمی شود که دومی هنوز طرفداران خاصی را حفظ کند.

چه چیزی به این انقلاب اجازه داد و چرا اینقدر سریع پیش رفت؟سه دلیل اصلی وجود دارد: طراحی فیزیکدانان و تولید صنعتی در حجم زیادی از سنسورهای با کیفیت بالا. به لطف قانون معروف مور ، افزایش قابل توجهی در قدرت و کاهش هزینه انرژی رایانه های روی تخته. سرانجام و مهمتر از همه ، بهبود مستمر الگوریتم های عکاسی ، که در واقع نقش مهمی نسبت به سنسورها دارند. در پانزده سال گذشته ، ما حداقل 4 درجه حساسیت کسب کرده ایم ، از جمله سه چهارم به لطف الگوریتم ها. حتی دستگاه های نسبتاً کوچکی با سنسورهای نسبتاً کوچک می دانند که چگونه می توانند عکس های با کیفیت بسیار بالایی را در 3200 ISO بگیرند ، که با نقره کاملاً غیرممکن بود.

این دوره ابتدا به تفصیل ادامه تحولات الگوریتمی ظریف که امکان توسعه تصاویر داده های دیجیتالی از سنسور را می دهد ، با مدیریت نور ، وضوح و نویز منجر به تصویر نهایی می شود. سپس او الگوریتم های اختصاص داده شده به تصحیح خودکار نقایص مختلف نوری در اهداف را مطالعه خواهد کرد. او نشان می دهد که قدرت این الگوریتم ها به این معنی است که این اهداف دیگر مانند گذشته طراحی نمی شوند: برداشت آنها اکنون کاملاً فیزیکی و الگوریتمی ادغام می شود و با کیفیت بهتر ، حجیم کمتری ، سبک تر و ارزان تر. وی بر اهمیت درمان های جدید بر اساس تلفیق عکس های پی در پی برای بهبود کیفیت با توجه به اهداف مختلف (نور ، سر و صدا ، عمق میدان و غیره) ، به ویژه برای تلفن ها اصرار خواهد کرد. این نشان می دهد که چرا قرار دادن دستگاه های جدید به طور مستقیم بر روی الگوریتم ها بیشتر و بیشتر قلب طراحی آنها را تغییر می دهد ، به این معنی که ممکن است بسیاری از نوآوری های شگفت آور دیگر ظاهر شوند. تحولات مشابه به همان اندازه از تصویربرداری پزشکی و نجومی ناراحت است.

سرانجام ، این دوره اهمیت الگوریتم های جدید در نظر گرفته شده برای بهبود ارگونومیک تیراندازی را نشان می دهد ، که زندگی فنی عکاس را تقریباً در همه جنبه ها بسیار ساده تر می کند: تعامل با انسان و ماشین به خوبی طراحی شده ، تثبیت سنسور و هدف از آن تار شدن بوگ ، مدیریت پیشرفته نور و توسعه ، کمک های بی شماری به تیراندازی در منظره یاب شدن الکترونیکی ، ارتباط مستقیم با رایانه ها و تلفن ها را حذف کنید. سمینار استفان هووت

مدتها قبل از ظهور رایانه های شخصی ، اینترنت و تلفن های هوشمند ، تعامل انسان و ماشین (IHM) در حال حاضر نگرانی از قلب برخی از دیدگاه هایی بود که به جعل فناوری اطلاعات مدرن کمک کرده است ، خواه شخصی باشد و چه حرفه ای. با این حال ، طراحی و مطالعه تعامل هنوز هم در طراحی سیستم ها ثانویه در نظر گرفته می شود ، اولویت اغلب به جای وسیله ای برای استفاده از آنها ، بر توسعه عملکردها قرار می گیرد.

این وضعیت به تدریج بهبود یافته است ، به ویژه با ظهور دستگاه های لمس کننده (تلفن های هوشمند و تبلت) یا سرگرمی (کنسول های بازی) که استدلال سادگی استفاده از آن قدرت ذاتی را از بین می برد. این امر بدیهی است که امکان محبوبیت و دموکراتیک کردن دسترسی به فناوری را فراهم کرده است. به نظر ما ، نتیجه ای فقیر نسبی از امکانات ارائه شده توسط این فناوری ها به طور متناقض از همیشه قدرتمندتر است. با پوشش پیچیدگی به جای کمک به تسلط به آن ، با حفظ اسطوره که با استفاده از این دستگاه ها برای همه آسان است که بدون تلاش کار زیادی انجام دهند ، روند قربانی کردن پتانسیل ابزار رایانه و عملکرد کاربران برای سرعت است رسیدگی ، بدون اجازه استفاده پیشرفته تر ، کارآمدتر و شاید با ارزش تر برای کاربر.

این تعادل بین سادگی استفاده و قدرت ابزار سازش است که پیدا کردن آن دشوار است و به نظر ما یکی از چالش ها و دشواری های اصلی IHM است: مشاهده و درک سنسوریموتور و روانی ، شناختی ، اجتماعی پدیده ها و تکنولوژیکی که در طول تعامل بین افراد و سیستم ها به منظور بهبود این تعامل و هدایت طراحی آنها به کاربران میزبان اجرا شده اند. هدف در نهایت این است که به آنها اجازه دهیم که بدون این ابزار برای آنها غیرممکن باشند ، حتی اگر نیاز به تلاشهای یادگیری خاصی از طرف آنها باشد. در این سمینار ، ما با ارائه تعامل انسان و ماشین به عنوان زمینه تحقیق با اهداف ، روش ها و شیوه های خود شروع خواهیم کرد.

سپس ، از طریق تاریخچه مختصری از علوم کامپیوتر تحت منشور تعامل ، ما در مورد برخی از نوآوری های امروز که ناشی از چشم انداز پیشگامان دامنه است ، به ویژه با توجه به این سادگی / قدرت ابزار ایجاد می شود. ما همچنین با نمونه ها و ضد مواردی از محیط های دیجیتالی فعلی خود و همچنین با کارهای تحقیقاتی اخیر خواهیم دید که این دیدگاه ها هنوز هم بسیاری از چالش های فعلی و آینده IHM را به همراه دارند. به طور خاص ، ما با بحث در مورد لزوم اتخاذ یک کاربر و رویکرد محور تعامل به زمان چالش های مهم علمی ، فناوری و اجتماعی فناوری دیجیتال مانند طراحی سیستم های خودمختار یا پردازش و بهره برداری از داده های خودکار نتیجه خواهیم گرفت.

واژه های کلیدی: ماشین آلات و زبانها دستگاه تعامل انسان (IHM).