Hi, so we are 4 people in the team, I am Ritesh, we were building an application called Phone Tried to Chrome, there is a very famous application where you can send anything linked from Chrome to your mobile phone, what we wanted to build was in the opposite direction, so that's what we were trying to do, another feature which we were able to build as per the suggestion No, not by him, by Amrit, if every person has multiple devices and when you are sending on the phone, it's not very easy to decide which of the devices to go, so we have added an alter option where you can select a device you want to send it to and it will open only on that device, but you are working, so that's what we have been able to do, so the app is built Hey guys in the back, can you hear some silence here? So I am just starting the application, it's very simple now, so we have the devices which are connected now, so this and all devices are logged in with the same authentication details like username and password are same for this, so that's why these devices are coming here and then I can just type some URL and I can just send it to that device So you send cobalt.com, send something more interesting Yes, what do you want? So you also can open it, so you can have a... But now you have selected a different device, let's see how you do that Alright, open DroidCon.org, let's have a look First send that link So now from the browser, okay Yeah, you can do it from the browser Yeah, so I am just taking some... Open DroidCon So we can share this and we can send it to this device Then we can select which PC we want to send Send it to this PC also And this is based on the user login So what authentication details were you using? Your own this thing or were you using... Right now we are using more, but we have decided to... We can easily use Google Auth or Facebook or Twitter easily Right now we are just using our own simple username and password Also I am guessing you built a Chrome extension there too So like there are three components to it, there is one Android app as you saw There is a Chrome extension and on the back end there is a Node.js app Which socket are you using? This is... Login and everything else So now it's logged in already So if you say log out, you will get this information Like user name password, whatever you put into a phone You have to put it in here and say device them So this device name will be the one which come into that problem So that decides which device to go in So you have to log in with the same details over here Yes, you can easily extend it to your Google app How do you guys divide the work and also different components here? So I think it's a... I worked on the extension, which little bit Node.js I worked on the Node.js, I think he helped me with the socket.io But the basic app I know I worked on Android back and so sending the request to them and that's it Yes, the UI part I worked on the UI part Awesome, so four different configurations Yes, we didn't have much... We were not waiting for the person to complete the task Is it possible that I can register... So I can register the same machine under two user names right now, right? Yes, any number of... But if you give the same device name, then the last device name you can... I understand that And so the other thing you're planning to do is like We're not able to complete for Google Maps Like if you have some maps you are in You can send another extra data along with it Because it will open that particular address onto the map You can send some memos and you can open your Google Docs Good I'm not aware of that Good Any other questions? It's connecting to Wi-Fi Yeah, right now it's... Maybe we can extend it to complex... So yeah, I'm going to go on with it Good job, this is...


We have a project on the slide. So we have worked on a presentation. And when you watch it up there, it's the department that will say, there you go. I'm in a bigger building. I had to either live or reside in New Jersey, or have some New Jersey roots. We did not tell these writers what to write it out. So the themes and connections that are made are sort of directly reflecting on their voices in your community. This is our way of saying this is what the artists in your community are thinking about responding to right now, and we're reflecting it back to you. Tonight's proceeds will benefit the New Brunswick Theater Festival's educational program. So thank you for being here with us, and thank you for buying in. And I'd like Jendering to talk about what that is. So basically the New Brunswick Theater Festival, for the last couple of years, has sent teaching artists into New Brunswick High School to do, offer students the opportunity to work with professional artists. See what we do, see all of the different, you know, fields that there are avenues to explore in the theater. So not just acting, design, stage management, playwriting. We've done Shakespeare workshops. This year we're looking at expanding our program and offering more sort of a wider array of subject matter. It's really exciting.  I don't know where he is. So do theater. Yeah, and I will say that we do this festival all over the country. We're doing this festival in the cities this year. And sometimes the proceeds earned are, like, a token for the community. And in this case, the money will actually be going directly to the teaching artists. So thank you for supporting them. And without further ado, the second annual New Brunswick Theater. You can't say what you want to say in half that time. You have no idea how to edit. You don't. Cut to the chase, people. Cut to the chase. Yup. Oh, Jesus. Here. Stop whining.  Oh, I just saw it. You can't be bald.  Rush is yours, baby. But you ain't here now, but we're going to do good by you. Take care of Maggie and the kid and everything. Even though she ain't really talking to us right now. No, shut up, Tony. I love you, bro. Why not? Because you could be busy. Time of year. Damn right. Well, you need to be hassling him. What's going on? How much does he have going on? A while ago. What? The whole Todd thing. It was a while ago. So what? It happened.  You said that wouldn't be a problem. It won't. It won't. You say something that is going to completely under me that we have yet to meet. And there's comfort in that. I'm glad I have it. I would rather... Would you say you're going to the diner and get breakfast? Yeah. Yeah, that'd be great. Where was you, Lawrence? We had a farm in some of our AZIERs. F-R-A-S-E-Rs. Scottish. So were you. I thought you knew.  I have some paperwork from my office. Well, you see, technically it's not your house. You're just renting. I'll explain everything. I'm comfortable if you talk to your grandma first. I'll be back. I'm sorry. It was really nice to see you again. I was actually going to have you in about ten seconds. I forgot I was carrying six. I just got hit by a bus. I wasn't. Are you mad at me about something? I was getting your things and carrying your packages. I'm not saying. This isn't opinion, but it's not just any old opinion. My teacher bent it. Report to the owners here to pick you up. It's an opinion that you can prove using facts. Hi, Reese Richards. Report to Mr. Manning's office. It's an opinion that you can prove using statistics. If you don't have that... At least that can better support you on your journey to Cuba. It's not me. You feel badly about yourself, don't you? Well, yeah. Because Brian Daniels and his folks would be calling each other trash every day for the last three years. And I know anyone who's willing to escape from a sports team. If I don't see it, I can't do anything about it. We can't allow punching in this school. How about the place? It wasn't an insane style. It was just nuts. I was here. It's just a plant. I need to get home. We'll talk about your paper. I won't. A metaphor? No, no.  I would say something like, we played hide-the-salami if you know what I mean. She's a vegetarian. We went back to my place and had sex. If you know what I mean. Rachel and I actually danged for a little while. I was going out with her because I wanted to make you hate her. And I knew she was the one for you. It was just difficult for me because I am a... When I did that, I knew I hurt you. I'm sorry. I'm sorry. She looks exactly like my sister. At least that's... I think I'm going to be an online influence for the cause. Wait, wait, wait. I tweet every ten minutes. It doesn't give people's attention. How did you find out about my protest? A friend forwarded it to me on Facebook. My outreach reached you. Yeah, but you don't have time. I will. You stay. It's got to start somewhere. That he ran into his high school sweetheart on the subways after work and they reconnected and realized that they were meant to be together. And then he just left me. Debbie? That's not a lovely signal. Drive carefully when the roads are icy. Peace and joy you've been looking for. Thanks. If my father passes, I'll let you know. Please do. I love you, babe. Love you too, P. I'm sorry we couldn't make things work out. Me too. But this is one other thing. Yeah? It's nothing really. It was.   No, I thought about it a couple of times. Oh well, live and learn, right? I should go now. Yeah, take care of yourself. Goodbye. Goodbye. Bitch, say that pepper spray is not that bad for you because maybe we should tell them. Looks like he got some... Learning these inspirational stories? Yeah, you should be writing. No, I... Also, my computer has been in the hospital, so... They have these things called pens. She thinks that I completely forgot about our anniversary. She's going to be so surprised. Oh yeah, we have just... Make sure you get her reaction. Got it? Yeah, good. Make sure you get it. It was the best for us, and I trusted you to bid on it. Save your money. Get a little apartment where the kids can play, where you can breathe, where the sun rises without dread filling your stomach. No, I've lost everything. That's where the future begins. You'll see. Stars in movies where she steps on raw meat with her bare feet when she sells them to fetishes. I suffer from dementia. You can't remember any of your names.  We'll miss all that loud awful noise soon enough. That's what you say. You gotta give it time. I'm listening, Kate. And he said what to that? Did you say back?   Who should you be focusing on? Type 2 diabetes.   Who could have found someplace for him to get his bacon? Well, you've got some nice fresh fruit and low-fat cottage cheese. Yes? Now, John. I helped more law enforcement officials manage their week. And all I'm asking you for is commitment. All right, let's talk about lunch. Like, I have a word, slightly misspelled, sped out in a foreign language. I'm sorry. It's the same place we're keeping, no. Personally, but... I never... Oh, they say that. What? I said... Deep breaths now. Here we are. Music. Stuff like that. Pipely. Closer, Queenie. Let all mirrors show you truth. See? My nose is the same as it ever was. It is wider, much better to breathe with, my dear. You are confused. Please, my Queen. Mirror knows what is coming. All right, Mirror? Look deeply, my Queen. Look past your future. Conceit it by perfection. You pass on. No, not your daughter for what she is. You eternal... I don't get a chance after what I've done, but they... And very soon. I'm sorry. I have another patient. Shoot me? The bullet person... Have enough money for a baby. I told him he should have thought of that when we were in bed. Jess will be fine at college. I still cold every day. Sometimes just to hear a voice on the answering machine. At 25 years, they threw us a wedding anniversary. At 50 years, I left him. In the snow. It's something they didn't make a movie out of. They tried to bring in the counseling years ago, and they were futures. They're just funny. Well, whatever it was.


What's happening people? Welcome, welcome to my home. I want to show y'all exactly how I do game day. Jason Derul is of course known for being a singer, but his career seems to lend itself to some very online moments too. From his signature vocal to that banned Instagram selfie he had, his latest thing is TikTok and he's killing it. It's also hard to miss the castle-like mansion he shows off in his TikToks, whether it's that lavish pool or the gorgeous custom design in every room. We'll be giving you all the details on the Tarzana Palace Jason calls home, his previous place in Coconut Creek and more. We even found the listings. Jason Derul is a singer, songwriter and dancer who has sold over 30 million singles since the start of his solo career back in 2009. Not to mention 11 of those singles went platinum. He used to produce records for other artists and wrote songs for the likes of Birdman, Lil Wayne and Diddy. He signed to a minor label and brocode on his own. Whatever he did it worked and his mansion is proof that he's made it. Although he's purchased the property as a bachelor pad quite a few years ago after breaking up with ex Jordan Sparks, these days he has a new lady keeping him company. His girlfriend Jenna Froome decided to move in when the global pandemic hit and they've been loving self-isolating together. A source said, Jason and Jenna hadn't been together too long before the lockdown started but they decided to take the plunge and they are loving it. She's even had a star enroll in Jason's TikToks which has been making a killing from while being forced to stay home during quarantine. His videos have been a big hit with fans whether he's eating corn off a drill, dancing or even floating and he's amassed over 26 million followers on the platform. Apparently Jason's also amassed an estimated net worth of over 15 mil but I'm sure with his TikTok money that number is only growing up. Hey guys it's Kara and today we're doing another house tour here on Famous Entertainment. I got some requests for this one so today we're gonna be looking at the castle Jason Derulo calls home in Tarzana as well as his other properties. If you watch his TikToks I'm sure the place will look super familiar. If you like these videos make sure you're subscribed during that bell to be notified when we post so you can always be up to date. We've also done house tours on likes of Rick Ross and YouTubers like CJ So Cool and we'll link to some at the end. Follow me on Instagram, chat and as usual let me know who's house tour is next in those comments down below. Now let's get into this video. Okay before we get into his current spot let's look at where the star used to live. Prior to California living Jason actually called Coconut Creek home. If you're wondering Coconut Creek is a city in Broward County Florida about 35 miles from Miami. I just really like that name Coconut Creek. Anyways records show Jason paid 1.75 million for the home back in 2012 and then sold it in 2016 for 1.9 million since he'd already moved on to his California home by then. Although the price he sold it for doesn't sound extravagant it was the second highest price sell in the neighborhood at the time. His previous home sat on 2.3 acres of land in the sunny state and inside spanned a massive 11,000 square feet of space with 7 beds and 9 baths. Built in 2009 it looks like the mansion is on the market again with the listing stating it now comes fully furnished and move in ready for the next fire. The majestic home overlooks the Adios Golf course and it's close to shopping centers, tropical beaches, sports arenas and everything else you can imagine. One of the most unique features of the property is that half of it is considered a nature preserve. Walking into the U-shaped mansion you're greeted with a massive double height entry with a ton of windows letting in natural light. Right away the foyer opens to the impressive two-story family room or great room with more windows and a balcony from the upper level overlooking the space. The home offers an open floor plan with common rooms flowing into one another including another dinner living room and a private dining room for special dinner celebrations. There's a more casual Eden area and the spacious kitchen which is all granite topped and has state of the art appliances. The master suite here which Jason used to occupy has marble floors and high ceilings offering enough space for an additional seating area. The attached marble bath is super spacious with a jacuzzi tub and leads you into the walk-in closet. Other features of his previous Coconut Creek mansion include an office, a gorgeous glass enclosed games room on the upper level with pool table and bar and even a mirrored dance studio which I'm sure Jason put to use. Outside you'll find the resort style backyard with ample patio space to lounge and entertain guests. There's also an outdoor kitchen, a bar and 50 foot pool and spa with waterfall. If that's not enough there's also a detached guest house turned recording studio right next to the pool. Of course Jason's coconut creek oasis was fully gated in private with an electric entrance ensuring complete security. The rest of the two acre plus property was covered in lush greenery and also had a four car garage. So of course you know after unloading his coconut creek mansion Jason moved on to California. In fact purchased his current home back in 2014 before he even got rid of the Florida place since he was newly single and in search of a bachelor pad. And let me tell you he found quite the home for a fresh start. Looking just like it stepped out of a fairy tale Jason's current mansion has a castle style, tutor inspired exterior with turrets and stained glass windows. Honestly it sounds like my dream home. Although the singer splashed out 3 million and while it may have looked like a dream it wasn't ready for moving right away. At the time of purchase the interiors were slightly dated with decades old furnishings and contractors were summoned to make some changes. Regardless Jason has been settled here a while now and we can see thanks to his TikToks and Instagram that his home is fully personalized these days and beautifully decorated. However many of the original touches of the home they kept intact with the skylights throughout the grand staircase in all the Florida ceiling windows. Located in Tarzana California which is a neighborhood in the San Fernando Valley of Los Angeles of course Jason's home is completely gated in private sitting on almost a full acre of land. Other celebrities who call Tarzana home include the likes of Chris Brown, Iggy Azalea and more. The massive property has about 11,000 square feet of indoor space and the main house has 5 beds and 5 baths with an attached 2 bed 1 bath guest unit. Then there's a detached guest house spanning about 3,600 square feet with 4 beds, 5 baths and all the fixings of a full-sized family home. There's more than one garage and Jason's property as well with the Wayne one holding up to 8 cars and a 3 car garage attached to the guest house. Walking into Jason's mansion the majestic turret entryway as the listing describes it offers 28 foot ceilings and stained glass windows. We can see how he's decorated this area of the home with the red carpeted staircase and a mural of his idols at the top. In a tour with People Magazine Jason showed the fully stocked bar right when you enter the home and said So when you walk in the door I wanted to make sure you're taken care of. There's a lot of bars throughout the whole compound. It would suck to come all the way downstairs if I wanted a mojito so I could have my mojito upstairs if I want or I could have some wine. It's just about convenience. So across this property there are plenty of spots to shake up a drink. Marble floors lead into the great room where you'll find a crystal chandelier built in a wet bar and French doors. This property is exactly where you'd expect a celebrity to spend quarantine and judging by the spaces revealed in his TikToks. Jason keeps his decor symbol with a mostly white interior, splashes of black, chrome and glass accents, pop art and even some red. The grand staircase leads to another common room with cathedral beam ceilings, skylights, floor to ceiling, stone fireplace and large stained glass window. From videos Jason shared we can see one living room has a zebra theme complete with animal print rug and a warm open fire. Moving through his elegant mansion you'll find a gourmet kitchen with a pantry, two sinks, two stoves, two dishwashers and side by side sub-zero. Because why not have double of everything. There's also a wine cooler and casual eating space here. From his cooking vids we can see Jason gave his kitchen a red theme or at least one of the kitchens. Comparing listing photos and what Jason showed us of his home you can see how much design changes were actually made. He replaced the dated traditional style throughout the mansion with a more modern and open vibe. Other rooms in the home include a library with 10 foot ceilings and custom built in bookshelves, a game room, a home movie theater where he clearly loves to hang out and a full gym with sauna and tanning room. Jason also showed off his impressive master suite in his vids where we can see remote control blinds and black and white interior throughout. There's also a large projector attached to the ceiling, a fireplace, a wet bar, sofa and extravagant light fixtures. Not to mention a wrap round balcony with endless valley views. Moving to the his and hers master bathroom, there's a gold accented seam shower and luxurious spa tub. Since customizing the space, Jason added lion statues to the tub explaining, I love lions because they're kings. It's only right that you consider yourself powerful and king-like. He also has a bar in his bathroom decked out in an alligator marble. His walk-in closet boasts an automated hanging garment system. Moving outside the home, you'll find a 75 foot pool which we've also seen in Jason's TikToks. He's even clicking his fingers in one video showing the pool light up with blue and pink. The massive pool has a bridge leading to a covered entertainment area complete with another built-in bar, multiple TVs and a spa. Jason said while showing off this part of the home that he does like to entertain guests here. Tall trees surround the entire grounds of Jason's mansion providing extra privacy. Perfect for a major sports fan, the yard also offers a full-lighted sports court. Alright guys, so that's all I got for Jason Derulo in his homes. We saw his previous place in Coconut Creek, Florida and his current mansion in Tarzana where he's been filming all his popular TikTok vids. So what did you guys think? I love his current home most of all because who wouldn't? The man has everything from a giant extra guest house, movie theater and more. But honestly, I like the fact that it looks like a castle most of all and if it were me living there, I may have even kept a bit more of the original design in the home. After looking at Mr. Derulo's mansions, which was your fave or what did you like best about his current home? Be sure to let me know in those comments down below as well as what other celebrity houses you'd like to see. Follow me on Instagram if you have and I'll see you all in the next video. Bye!


We're secretly alive. Are we living? We're living right now. We're supposed to be alive. Anyways, so we're here in Doha. Trying not to get arrested. I need to shave. It looks like I've been on an airplane for 24 hours. My eyelashes are giving gang signs, so... Like this one's west side. I look so, like, crazy. You're gonna hold it up a bit. Did you guys see the airport? I think it's so funny because five people tuned into that and we're already at 46 on this. Meh. We're only half exhausted because we got a little bit of sleep on the plane. I thought they said excited. Oh. I don't know if we can fill in here. We haven't gotten attacked by security yet, so... What is the phrase? Ask for forgiveness, not permission? Yeah, but I didn't know I couldn't do that. But I can't do that. I didn't know. Drinking, drinking. The airport one's on Facebook in the ATD group. We're having a good time. I mean, we're in the middle of an 11-hour layover in Doha, and it's been super quiet. We have to get on the next flight in how many minutes? About an hour. We get up now. We're going to kick us out of here at 12. We got to leave here at 12. 12.15. We got to leave this place at 12.15, and then we get on a flight at 1. Well, that's when they start boarding, and then we leave about an hour after that. It's 3.21 in Dallas right now. I'm not sure what time it is here. What's up, Andrea? I brought the buttons. I packed them. What's up, Roxy? So, what time is it where y'all are? We're having a great time. Nope, nope, nope, nope, nope. I was 4.30, 4.20, 3.20. I wish I had more to tell you guys today, but nothing exciting's happened, really, which I'm fine with. I'd rather nothing exciting happen than... How is it 3.30 somewhere? Is your clock ahead? Melbourne. Melbourne, Florida. I was born in Cocoa Beach, Florida. It's 4.20, like, in a lot of places, apparently. But is that a real time, or is that like... Y'all's time. Ocean. Time. Boring travel's good travel. That's true. That's true. I was for sure that if we left here, I felt like my ankles would be showing or something, therefore, are rested or something. I don't know. We made a cool guy on our first flight. He was in the Air Force. This is what... This is what luxury looks like. This is what we consider luxury. This is what luxury is in our head. We're in the something-something first-class lounge.  We can't. I mean, there's... We definitely don't waste anything. No, we didn't go outside the airport. It was starting to get dark, and we didn't want to... I'm not really sure where it out is. I'm sure there's an exit door, but I don't know where it is. I don't want to have to take my shoes off again and empty all of our luggage. Like, go through security. There are sleep pods in this... In this lounge. This lounge has sleep pods, but we crashed over there. See those booths? People are crashing out all over the place out here in this lounge. It's hilarious. Since we're not flying first-class, because we don't have that kind of money, but we paid to just come into this lounge for the day. Yeah. And because you eat for free, you drink for free, you can chill. What, by the way? Over 11 hours. It's not like we just drink them out of the house and home. You drink them out of Captain, which... It's Jamaican, Captain. Jamaican. Yeah. That's why it's so stout. We're in Doha. I'm probably saying it wrong. What? I'm just looking at my chin. Yeah? You have one? I know, but I need to shave. I feel so scraggly.  Air flight. That's not words. That's not words. Doha. DOHA. We be teaching in Perth. We are doing classes in Perth. We're not teaching, we're showing. We're demoing. When I get in that class, I'm gonna be like... This lighting is horrible. Give me all a resin. Look at these bags. Um, it is Doha's and Qatar, which is like an Indian nation. It's like right by India. I can't read Indian. I don't know if I look like... The thing, you don't like it, Don. I don't care. I said it just... I was just looking at this. It doesn't look like I have such big bags here now. Y'all can see my gangster lashes since I got them done like three weeks ago. Oh, I believe it. I've been drinking water whenever we're on the plane. They give us water. They gave us food. They gave us free drinks. And that's just regular... Regular class. Regular class, yeah. We are very much staying hydrated and eating a lot of cake. Just resin is in Australia and... Maybe I can talk... Yeah, maybe I can talk Natasha into coming over. Say hi. They're not, but they're like on the way. They're on the other coast. Yeah, they can't just come over. We're not fully exhausted, but we definitely didn't sleep that much on the plane because economy class is not built for sleeping.  Y'all.  She was like, there was something wrong with her. You can tell that she was... There was something. You can tell she was adopted because it was a white couple. They had another kid, but this was a little Indian girl and she would just scream randomly for like 20 minutes, just at the top of her lungs, just... They had her on a leash. Yeah, like she had to be on a leash. They were walking up and down everywhere. That's a Ryan. They wanted to know how the food was. We're in Doha. We're in Doha, Qatar. How was the food that you showed on your Snapchat? It was good. It was good. We are staying super safe. We're in like the hyper secure part of the airport. It's not like we're out exploring. We're in an airport. Ryan, like, in the... Watch this person come up. Are you guys ATV? Because I'm in this lounge too. That'd be crazy. I posted our Snapchat codes in... our ATV page. What am I? I'm Thornton. Thornton EST, 1970. And mine is Dancing Elixir. I have them posted. We're going to Perth in Australia. I don't know what... Trudy, I'm not sure what was wrong with her. She wasn't... When did my ring get there? I don't know what... She may be autistic. Yeah, she looks like she's autistic. What do you want me to fix? What's it been? You probably... No, she was going 100 when we were in the terminal for an hour before. I hate to say leash, but it was like a strap. It was a backpack. And I mean, the dad was literally just like...  And she would just scream for no reason. She wasn't crying or anything. And they sat two rows behind us. In a plane that held 500, they were right here. We're from Dallas. We're from Dallas. We're traveling only to Perth. Ryan, you must be new. Welcome, Ryan. Welcome to ATV Doha version. Doha edition. We are only going to Perth that I know of. We are on Color Obsession and U-Resins Dime, so they're calling the shots this week. Are you Aussie? It's just a little shadow. I have a little shadow under my eye. Anyways, we just wanted to stop in and say hi to the fam. I'm Katari. Oh, it's beautiful here. Well, the airport's beautiful. We've been outside. We looked out the window. We didn't go outside the airport. Well, Ocean, this baby was tied down to Alish. Aw, thanks, Julie. Lars in the house.  I miss Lars. Good morning, Ish. Well, we're from... It's like 3 p.m. in the afternoon, so I think that's why we're not that tired. Yeah. Back in Dallas, it's 3 something. It's 11.45 p.m. here. Yeah, it's late here. We're taking so many pictures and so many videos that when we get back, that can make like a compilation video of the entire adventure. There's a video. We just went live on the Facebook... The Facebook? The Facebook group. Oh, yeah. ATDs support people. Yeah. There's a video of the airport here. Thanks, Andrea. I don't know. Trudy. We're getting very full. Excuse me. Ryan, we are in a layover before getting on our flight to Perth, which is 16 hours. It's a 16-hour flight ahead of us. Bananas. Thanks, Julie. It's Jeff's, but it didn't fit him, so I adopted it as my own. Still scully. New guy, longtime watcher. What's up, Charlie? What's up, Elspicy? Thanks, Elspicy. Well, that's the thing. I have some Benadryl, and I'm drinking a healthy amount of wine to prepare myself for being able to sleep. We were on a 12-hour flight here. It was not 11 hours that was under... I think it was 13 hours. They said 11. Normally, apparently we should have went just kind of straight, but the guy sitting next to us said that he took one, that it went up and over the Arctic Circle or something. We did. We went over Greenland and Iceland for some reason. We went over Iraq. Yeah. We did go over Iraq. We have four packages that are to be picked up. We need to have Austin pick those up. What kind of wine are you drinking? I'm drinking just a cab. It's a regular house. We went to look for some fireball, but they didn't have fireball. They didn't have it. They had Jack Fireball. It was a big old bottle. They said if you get caught drinking it, you may get arrested. So we were like... Lucy, we're not in Australia yet. Soon. And I know Cowboys once a day, that makes me happy. Joha is in Qatar, which is Middle Eastern. The whole flight is going to be worth it, but... Yeah, because we have movies and games and TV shows and free booze, free food.  Bye, Barb. Well, initially Jeff was like, I'm scared. I don't want to be on a plane that long. I'm going to get antsy, because he gets antsy super quick, but you did okay with it. And that fireball takes a long time to try that. I can't do it. Yeah, it's the Cinnamon Toast Crunch Shot. Just resin. Just fun resin. Look after our guys. It's a milky. It's like a... It's a liqueur, kind of? It's a liqueur. It's a milky liqueur. So I don't drink anything milky. It's really good. It's good. If you put fireball in it tastes like Cinnamon Toast Crunch. Ching-ching, show me a Coke. I'm Captain. Can I just give you a spray? Brightness. Oh, there they are. Y'all, I think we're about to get kicked off the internet. I don't know why. I have a sneeze. Yeah, I took some Benadryl and passed out for a couple hours. But it was sunny when it was supposed to be... Is that blue going to be an ATD hoodie?  Thanks, y'all. Are you from Dallas, Texas? We are. Oh, my doctor lives there, too. Oh, yeah. We're from Canada, but she's an Irving guy. Oh, she's an Irving guy? Yeah, far and all. What are you doing here? Awesome. Well, we are on our 30th anniversary. Congratulations. Congratulations to South Africa. High five on that. Good job. South Africa? Yeah. Awesome. We're going to play. We're from Canada. Awesome. So we flew to Madrid. We spent the night in Madrid. And then... It's a dando. Awesome. Aw. Like, your next flight is 30 hours? No. Oh. You've been at 30 hours. We've only been on 13 hours. Our next one is 16. So you went from Dallas... Dallas to here. Oh, that's pretty good. Yeah. So Dallas is a beautiful park. 13. Well, that's not bad. Because my daughter is going to go to India. Yeah. What route would be best for her? Oh, drag. So what airlines are we on? On guitar. Okay. Yeah. And it was a pretty good fare, at least. I'm not sure. Apparently. Somebody else paid for that. Yeah. What we're doing is they... The people that... Oh, the man in the lake lives there. Nice meeting you. Nice to meet you. Nice to meet you. Thank you. You too. Congratulations. I thought she was going to be like, Are you guys ATV? I did, too. I forget that we have an ATV. How do you all know? So that was different. Sorry, y'all. Where's my stranger from? Hello, stranger in the airport. How are you? I'm fine. Thank you. What's up? What's happening? DeMar. So... I think we're going to get kicked off the Wi-Fi soon. It keeps cutting out. She was sweet. Her daughter apparently lives in Irving, which is not far from Dallas. I was curious how she said that her daughter lives in Dallas and then said Irving. She just wanted to get on the live YouTube. We do have Instagram. It's ATV underscore studios. If someone could write that in, that would be amazing. Also, my nose is running from all my blushes. Oh, it's backwards. It's inverted. Oh, no. It's at Artists Till Death Studios. Why isn't that going... Where's your camera at? Right there. Why doesn't it go? It shouldn't just focus. Vamp, I hope you do end up coming to Dallas. I would love to meet you. How does it feel to sit at the bar with the whole fam? I feel like it's amazing. It's not cold here. It is a sunny 100 billion degree temperatures. But we're inside. So hoodies. We will absolutely continue to enjoy our trip. And when we have a good signal, we will continue to link into YouTube and show you guys. Now I'm not getting a cold. I think it's just from... I think altitude changes. Yeah. Do something. We're at like 40,000 feet. We are in a desert. Ultimately, we're in the middle of the desert. Yeah. Like, you can get a camel tour. Maybe on our way back, we can leave the airport. Angie, I'm so glad you like that color. Well, I have a video set to post every day around 3.34. But I'm gonna go live whenever I can. Just so... I can talk to you guys. Because y'all are fam.  You're ahead of me. Literally in Doha, everything's expensive. I saw that. I'm witnessing. I got something for that kangaroo right here. No fighting kangaroos. How long you're in Perth? We're in Perth. Well, we're back home on the 9th. Or we leave on the 9th. We leave on the 9th. We leave on the 9th. But then we're gonna be in Oregon in November. We'll be in Oregon in November 6th. We leave for Oregon. You can get off my lawn. I can't take you anywhere. You can take me everywhere. I've proven it. Yes, that's true. Lisa, my sister was here on deployment for Air Force as well. And she loved it. It's super much. Super much. Jeff loved the headphones. I was born and raised in Oregon. We were born and raised in Oregon. We were born and raised in Oregon. We were born and raised in Oregon. We were born and raised in Oregon. We're gonna be... Some things pass. Grants pass. Grants pass. We're gonna be at Stone Coat in November. We're gonna be at Stone Coat headquarters.   I'm gonna be like, see that wall back there? I wanna pour on the whole wall. I'm gonna be like, give me one of your biggest countertops. Like this one. I wanna pour. I wanna pour on this. We're gonna attempt anyways. What do you say the mustache? It literally made them laugh out loud. I have fun with that. I'll sit there and do that. Any time I leave him in the car and I have to go like run errands, like if I have to run into Walmart, he's posted 98 different snapchat faces. When we get back, we're gonna... As soon as we get back, we'll have them available. We have these with the logos on them that say, show them the back of side. Can you show them the back of side? We're not your average pour artist, but that's, you know, flip-sided. Dallas, Texas with the logo on the front. And then there's some with just the logo in Dallas, Texas on them. I do wanna try their vertical stuff, like Stone Coat's vertical resin. That stuff has to set up really quick. I want him to run. We'll make him when we get back. Get a new drink. I have got to go to the little Wrangler's room. All right, y'all. Are we gonna say bye real quick? Oh, yeah. Let's say bye. So, thank you all so so much for tuning in. I don't have any other things to show you and point out, so I will just say that if you're interested in paint, check us out at artistholdeth.com. Two T's, two L's.  B, okay, you say it. Say all the things. No, just say it. Read this. Do all the things. There's none of this. I know, I'm just doing it because normally it's this. Yeah, we gotta go. I gotta get a drink. I have to go to the little hot room. The little cowboy cactus. The little unicorns room. And we'll, what do you guys see tomorrow? It'll be tomorrow, really. Wait. Yeah, it will be because we'll be on a flight for 16 hours and then by the time we land it'll be there. It'll be tomorrow back home. Y'all, we are time traveling. I get to be Marty. She's docked. Yeah. Why here would be Wayne and Garth? Now they time travel? No. Wayne and Garth? Isn't that their name? No, it's Ted. Bill and Ted. Oh, Bill and Ted. I don't know what I'm talking about. I get to be Keanu. You get to be the other guy. That's right. Perfect with time. Bill and Ted. Bill and Ted. See, Lars knows all the things. No. Anyways, check us out at Artistsville.com 2Ds where everything is listed in the description box below. We've got some new paint too. I don't know. I think that is from... No, I think it's the Artistsville replacements. Yeah. I think it's Artistsville. We'll have awesome bee posting those. We'll have awesome bee posting those. That's not words. Anyways, we'll see y'all tomorrow. We love you all so so much. Bye. Bye. So creepy.


Wow, what's up everybody? Once again, it's Brand Man Sean and today I got one question. Where in the world is Metro Boomin? In year 2017, Metro Boomin was on top of his game. He was number one in the Billboard 100 of songwriters and total single sales for a hip hop producer. He was number one again. He had 22 million sales. The next best sales for a producer was at 8.6 million. Metro just wasn't at the top of the game. He was on top of the top of the top of the game. Still with all this success in April of 2018, Metro Boomin announced his on Instagram that he is retired from rap. That's what he wrote in his Instagram bio, retired from rap. He got rid of all his IG pictures, just gone. But a few days later or a few hours later, actually changed from retired from rap to retired record producer slash DJ. Now, my only thoughts for this change is maybe it started to be interpreted in ways he might not have thought or expected it to be because when you say retired from rap, that might cause people to say, hey, are you gonna be a record producer for techno or something like that? Are you gonna produce other genres and no longer do rap? Are you leaving the culture that got you there? Maybe that is what he meant. Who knows what he meant but he changed it up maybe just to take some of the pressure off and to get rid of some of those things that he might not have even meant in what he wrote. But pretty true to his words, he has been gone since then except for one small little video with Gucci Mane saying he was gonna bring Metro back. He was gonna give him a million dollars to come back to the game. The only place online that you can find Metro Boomin being active is on Twitter. Now the question is, why would he be gone? Why did he retire at this time? Now one thing that I could use is like a little hypothesis is when you have as much success as Metro Boomin did, there is nowhere else to go. He wasn't at the top. He was at the top of the top of the top. He had a record breaking year. What else could you do for this guy? There was a lot of exposure. Of course there was more that he could have milked out of the game but if you use the 50 cent theory before ourselves destruct, why don't you decide to pull out the game before other people get tired of you? That way you are in control of your brand. You are in control of what you're doing, all of your moves. You don't have to start reacting to what the public is thinking. Because once again, when you're at the top like that, there is nowhere else to go. Even LeBron has to ride the bench every once in a while and observe the game to figure out what he's gonna do when he gets back on. There's an off season. You gotta take those breaks because there's a lot of value in just pulling out the game. We have that rebranding strategy that I went over in part one of the rebranding series, the pull out strategy, which is where you just step back. When you step back from the game, what that allows you to do is control your narrative even more. Once you get a certain level of resources and you don't even have to be at the level of Metro Boomin, once you get to one level, right? It might be here, it might be here, here. Once you get to new levels, introduce yourself to new resources and other people get to know you, you have this new set of tools that you didn't really get to utilize strategically because you were so busy grinding and getting to where you are now. Taking a step back allows you to give yourself more thought and time into what you want to do, how you want to evolve being strategic and intentional about your next moves because when you think about Metro Boomin, this guy started to move into fashion in a lot of ways that other producers on his level had not done before. When you think about the fact that he was in GQ about two to three times, GQ is not really on game like that, like that. That means there was some attentionality to them getting with GQ and getting featured in GQ. He showed a lot of interest in the fashion industry and he has started to plant some of those seeds to possibly become a fashion influencer on a higher level and be truly recognized for his fashion outside of just the street influence that he already had because of his natural fan base. That might be something he wants to go into even harder when he comes back. There's a lot of different things that buddy probably wants to consider, but the point is when you do the pullout method and now you just kind of go zero dark 30, it gives you a level of control of your brand that you've never had before because now that all eyes are on you or you have access to people's attention, you can really be in control of what they see, how they interpret the way you introduce yourself back to the world. We need a little bit more detail on the rebranding pullout method. I did a video on it. It was the very first of my rebranding series videos. I'll put it in the description below, pop it up in this video, all that good stuff. But again, where exactly is Metro Boomin? I don't know, but he's somewhere cheffing up in the kitchen somewhere, probably absorbing life, absorbing inspiration in the studio, but overall giving himself time to figure out how he's going to reintroduce himself to the world or maybe he already has it figured out and is just waiting for the right time. I'm extremely interested to see what he does because, hey, just like all artists, when you take some time off, you get to experience some more of the world. Artists need that input because it gives them more inspiration and allows them to see things in different ways, connect new dots. He might come back with a whole new sound on us. I would like to know what you guys thoughts, not only on Metro Boomin, but the pullout method in general and other stars that you've seen leave and come back. What stories do you like? And before I go, don't forget, if you want any questions answered, you can follow me on Instagram at brandmanshine. I'm answering questions every Sunday for the rest of 2018. Other than that, if you liked this video, go ahead and hit that like button if you like it. You might as well share it and if you're not subscribed, you know what to do. Hit that subscribe.


Hi everyone, Joe for jaspyscasebrakes.com coming at you in 2016, Panini Absolute Football Retail Edition. Random team break number four, giving away the final six Prism T-Mall spots. Sells it out. But first, first ice roll is going to be the break itself. And then we'll give away those Prism T-Mall spots in the last ice roll at the end of the video. First ice roll, snake eyes, one and two. Two times for the teams, one and two. Alright, there's the first half of the list and then the second half of the list. And let's just print this out and rip this up. There's the final printout right here. Thanks for getting in. Blake Bortles and Rook Inc. Austin Johnson, defensive tackle for the Titans, Nico with Tennessee. Rookie Randall, Tyler Boyd, I guess he's in the Super Bowl. I wonder if they double team like Jamar Chase, I might leave T. Higgins and Tyler Boyd open a little more often during the Super Bowl. Maybe I'm thinking of a Tyler Boyd anytime touchdown prop. I start thinking about some proposition player props. There's Rookie Force Sterling Shepherd. That'll be for New York. That's going to go to Nico. Alright, now let's give away those T-Mall spots. Let's grab everybody's names again from top to bottom. And in between, new dice, new list. Top six after seven. Good luck, two out of five. One, two, three, four, five, six, and seven in the final time. After seven, after seven. So from seven on down, no go. But thank you, everybody, for giving this a shot. Top six. So you're in that prism team all break. And once you're in that prism team all break, which I have right next to me right here, we've got a chance at a Super Bowl, mixer spot, squares, a lot of fun stuff here. Top six, congrats to Adam, Joel, Michael, Adam, Nico, and Josh. Alright, there you go. Thanks, everyone, for watching. I'm Joe for jaspyscasebreaks.com. I'll see you next time for the next one. Bye-bye.


Where did my screwdriver go, Bellatrix? What did you do with it? Seriously? So I have this situation where I live on an island and to drive my boat into my island I come through this little channel that's about a hundred meters long like a little water channel, a canal, right? And over time leaves fall into it and darkens into it and it starts filling up slowly, right? And years ago I made a sucker which is what is right here that I'm taking apart right now and this thing would suck the muck out and squirt it somewhere else like onto the land where the water would run out and it would basically stay on the land and then it would make a little bit more land which is great but basically it just kind of cleaned out the canal to keep the right depth so I'm not trying to drive the boat through sediment and muck, right? However, my canals were so cleaned out and doing so well that I didn't need this thing for a long time I ended up decommissioning it and used the motor for something else and some of the parts for other things and now it's been a few years since then and at least one of my canals, you know, it's got like that fair amount of muck on the bottom and when the tide is low my boat is kind of scraping through the muck and it's harder to move so I don't want to let that keep building up so I want to rebuild a muck sucker I only want to just take all that apart I'm pretty sure I want to redesign this whole area anyways I might have to rent this thing out to people A lot of people have the same problem Come on, I can start a muck sucking business You need your muck sucked, I will suck your muck Maybe not the best slogan This is actually some not bad engineering and now when I built this I didn't have anywhere near the amount of tools I have now I made a pretty nice roller bearing in there Whoa, that is a cool bearing I'm gonna have to reuse that for sure Yeah, this went through a lot All the rollers are still in good shape This comes apart, this comes apart I'm pretty sure that comes apart I don't know if not I could put it all together Actually that won't be that hard Yeah, so this obviously had a lot of dirt flowing through it That's why I just made it with all these jumbo parts Kind of loose fitting So the dirt and muck could get in there and get back out Looks like it worked really well Alright, tubo redondo brionte one inch diameter About 1.5 millimeter wall thickness 316 stainless steel, okay I got five of those I guess I can use one of those I always try to use from my scrap pile first But I don't really have anything So breaking into the new materials I'm pretty sure they're in this pile here somewhere Not in the front Oh, no, they're in the pile right there Oh, yeah, they're there Okay You're having trouble getting all the things in before, right? Because they would fall down I'm not gonna do it No, I'm gonna show you Here, put the pipe in And the pipe will take up the space And you put those up around the pipe So get the rest of the rollers, stick them in there You have to give them more space Try to get them in there Don't fight it Just tell me if you need me to move this out of the way more Okay, so you can get the last one The last two Does that look like all the spaces are pretty much taken up? It's pretty loose bearing That's to work well I want it to be loose Why do I want it to be loose? So it spins fast Well, no, so all the dirt can get through And it doesn't get stuck I want this bearing to be a little more snug So I'm making a sleeve that fits over this What? Couldn't find anything that fit Oh, man Right on here So I got a PVC pipe that's a little bigger Cut a slot out and I'm melting it to fit Hopefully it'll fit in that bearing wherever it will Wow, that is great Yeah, I like that more It was a little too loose before I think I'll use the same basic setup down here Except now the bearing fits a little tighter Before I had this rubber thing on here That was supposed to help keep dirt from getting into here But it's a little abrasive It's car tire, which is gritty So it actually left a lot of scoring on the other thing We're not going to use that And this fits tighter now So that should block most of the muck from going this way What's supposed to happen here is the muck This has a propeller It's right here Sucks the muck in And then there's another kind of propeller thing That pushes out here That helps the muck go this way And the muck gets pushed up against here So it can't get through up into this pipe very easily But if a little gets through it's fine It just lubricates the thing and whatever and dumps out But most of it should get squirted out up here And then goes through this pipe Stick that back on there So I need to make some kind of propeller on here Let's see what I can do I think I can reuse some of my propeller blades there Those ones look not bad I bent it a little to get a bit better shape than it had Still not the most spectacular propellers in the world But they are very tough You know, I'm inevitably going to hit some kind of little sticks and stuff That's not no problem Not the prettiest propeller in the world But should do pretty good Now I want at least one more set of propeller blades Maybe, I don't know I just want to get as much force shoving the muck that way Let's leave that for now We need a motor at this end I think this guy right here What am I before 24 to 48 volts I'll run it at 24 So that'll mean like 2,150 rpms-ish 2,000 to... I can't read it Alright, just pay attention for a second Nothing bad should happen here But you know Okay, it definitely works Alright Hey, while I've got it up here Before I put it on anything I think I will open it up And just clean everything out Give it a bit of a tune up Put it in here No, no, no, not everyone Because a bunch of these are attached just to the brushes This one right here Goes through into the frame Okay First thing I'm noticing here These are the brushes These are what touch this part And put electricity in there And they're all spring loaded But like these four aren't moving So these two are good They're nice and clean But these four We're gonna have to get them moving And clean them out Just get any dirt or anything out of there Now let's see how lucky I am Oh, look at that Oh, it's pretty snug A little bit of space Put a shim in there But it's pretty good I'm not entirely sure if this is gonna work But let's give it a try Get rid of that Get rid of that All right, now we're starting to get somewhere Except this is gonna be curved the opposite direction I think I can do something with that I think All right, let's get out of that way And I think I can get that to work Oh, come on, you little jerk That is pretty good Think? It's not stuck on there anyway I think it'll work All right, I need to make sure this Actually fits over it And I might want to put something here too To help the muck Get shoved up through there Something that's nothing fancy We'll just push it away from the center All right, I think that's gonna be pretty good I have to take these two off To get this on Hopefully all this stuff fits inside here Haha, nice, it fits A little bit of wiggle room Wow, that looks excellent in there Yeah, I think that's gonna be really good I think I don't know Muck will get sucked in here And blown up out here Easy part Yeah, I'll put a couple of screws in there Let me worry about the end up there first What happens up there? All right, I got that attached Oh, I put the motor on with a Toilet flange Which surprisingly fit perfectly And the motor's inside the pipe in there I don't remember if I got a video of this But it has one hole right through And a bolt connecting them Now Hopefully Mug will get shot up here And out here And then Let me reattach this I'll just put a few screws in there I think this thing is actually ready to test


work with Hong-Fai-Fu. And the idea is that we look at infinite probabilistic systems modeled by probabilistic push-down automata. And we have a specification given by a finite system, a finite transition system with probabilities. And the question is, can we establish whether the infinite system is simulated by the finite one? Okay? That will be the main question.  What we have is a finite set of control states. We have a bunch of labels that are attached to the transitions. And there is a set of finite set of stack symbols. And there is a transition relation. And what I use is the disnotation where you go from control state P with stack symbol X. And then you read the next symbol A and you go to a configuration which is Q, control state, and stack content will be alpha. So here is a famous example that you all know. It recognizes the language zero to the power n, one to the power n for n larger than zero. The idea is you enter the control state. If you see a zero, you push an A. The Z simply is denoting the empty stack in the beginning. So if you see a zero again, you push an A. At some point, you do an epsilon transition to this. And here you're going to pop the ones. And you get to the success state only if the number of ones coincides with the number of zeros. Good. I guess you all have seen those kind of examples. What's the semantics of a push-down automaton? It's based in terms of an infinite label transition system. Where the states are the configurations of the push-down automaton. And it's typically defined as follows that if this is a transition in the push-down automaton, so if you can go from PX to Q alpha, then you can go from the configuration PX beta. So beta is a stack content by reading the symbol A to Q alpha beta. Good. This is all well known stuff. Why is this interesting? Why are we looking at push-down automaton? Well, push-down automaton are actually a very elegant model to model recursive procedural programs. So one way to view this is as follows. If you have a configuration like this QXY1 up to YN, then the intuition behind such a configuration is that Q is the current, let's say, valuation of all the global variables in your program. X could, for instance, contain the value, the current value of the program counter plus the valuation of all local variables of the current active procedure. And then for all procedures that you already have invoked, or let's say in the whole chain of recursive process calls, you have an activation record that keeps track of some local variables plus a return address. Okay? So this gives a very natural model for recursive procedural programs. Then you can model transitions as follows. If you invoke a procedure, then you get something to go from PX to QYZ. You get a new activation record and pop, push it on the stack. If you return, you pop an activation record from the stack. And if you do things like an assignment or some kind of, let's say, normal program construction, then the instruction, then you go from PX to QY. Okay? So in that sense, you can quite naturally model those kind of systems. Verification of Poisson automaton is actually well studied and is actually also currently studied. There was a paper this year at FASA about this Microsoft tool which is using actually Boolean programs and looks at PDAs for recursive Boolean programs. Good. What is our interest? Our interest is probabilistic Poisson automaton. I'm going to explain you what it is. We are viewing them as implementations, as programs, probabilistic programs where you have assignments which are randomized. And they have to be simulated by a finite specification. And my final specifications will be finite probabilistic transition systems. Before I go to that, I first, some results about the results between checking, for instance, by simulation and simulation relations on Poisson automaton. Now, this is known to be decidable. Interesting is the proof of sterling in 2000 because I get back to that because we're partly, partially using his kind of techniques to establish a similar result here. It's, in fact, X time complete as proven last year by Kuchera and Richard Meyer. If you look at variants like weak by simulation, then this turns out to be undecidable. If the number of control states is larger than one, the number of control states is one, it's unknown. And if you look at strong and weak by simulation between a model given as a push down automaton and a specification given as just a finite label transition system, then this is a p-space complete. Okay? So, simulation or by simulation strong and weak is both, let's say, p-space complete. If you look at simulation, then strong similarity between push down automaton is undecidable. Actually, old result by Jan Frieser-Holt and Hans Huttel. And the strong weak simulation between a push down automaton and a finite transition system, so by simulation was p-space complete, this becomes X time complete. So it's, let's say, in a different complexity class. Good. What we are going to show is that strong similarity between a probabilistic push down automaton and a finite probabilistic transition system lies in the same complexity class, it's namely X time complete, which simply means adding probabilities to this result does not involve, let's say, the complexity. Good. Why do we look at probabilities? Well, they're used in randomized distributed systems. If you want to talk about the performance of systems, if you want to model components that can fail, then typically you are talking about the failure rate. Security protocols are heavily based on probabilities, so there are many reasons to look at probabilities. Good. So our specifications are probabilistic transition systems. Let me explain you what these are. These contain the state's actions, and the only interesting part is the transition relation, which takes you from a state by an action to a distribution over the states. Okay? So a transition is denoted as follows. We go from a state with an action to a distribution mu, and that's a distribution over the state space. Good. So they generalize labeled transition systems. If you take all distribution to be Dirac, which simply means with probability one, you go to one specific state, you just have a labeled transition system, you get Markov decision processes where the transition relation is simply a function and not a relation. Okay? So if you're more familiar, you're more happy with MDPs, you just use MDPs. This is a small example. Here you have those four states. In state S1, you can either do with A, and then with probability one you will take the self-loop. You can also do a B, and then with probability half you go there, and with probability half you go there, and so forth. So I think pretty straightforward. Then you can define notions like probabilistic by-simulation. So an equivalence relation R on this state space is a strong by-simulation if, well, if S can go to a distribution mu and T can go to a distribution mu such that the probability of going to some equivalence class is the same. So the probability of mu to go to some equivalence class C is the same as going for mu to that equivalence class then. Actually, those two states, S and T, are called by-similar. And then by-similarity is simply the largest such relations. Good. Here is a small example of two by-similar probabilistic transition systems. Here you see a transition system on the left. Here a transition system, probabilistic transition system on the right. Why are there probabilistic by-similar? Well, the only thing is that this state has been copied. As you see there, there is two times this state. And here the sum of going to a state where you can do an error transition is 0.1 plus 0.1 is 0.2. And that's the same as in the left picture. So therefore, they are by-similar. Good. Import some facts about this probabilistic by-simulation. It actually turns out to be the same as lumping, a well-known notion in Markov chain theory. It coincides with notions like probabilistic CTO star equivalence. Checking between finite models is P time complete. Minimization can be done quite efficiently using a variant of paid star jump minimization. And you can yield to exponential state space savings. What is the difference then with a simulation pre-order? A simulation pre-order is now defined as follows. Now you take a relation R, not necessarily in equivalence. And this is a strong simulation if, well, for any pair of states in that relation, the set of enabled actions in S and T coincides. And if S can do a transition to some distribution, then T can go to a distribution nu. For some distribution nu, such that mu and nu are related. And this R bar is the lifting of the relation between states to distributions. I'm going to explain to you what that means. Strong similarity is then simply the largest of such simulation relations. Good. So what does that R bar mean? And the way to define it is by means of weight functions. This is a concept defined by Jones and Plotkin in the late 80s. That says the following. You give me a relation between states. I give you a relation between distributions on those states. If there is a certain function, which is called a weight function, that basically distributes the two distributions over the states. In such a way that the following conditions hold, if you take the sum over all the Ts of W, you get exactly the distribution over S. This is the symmetric case where if you take the sum over all S, then you get the distribution over nu. And you only assign positive numbers to those states which are related. Now, this is technically a bit involved. Therefore, I have a small example. So suppose I have two distributions. One is on the left, where you go with 2 over 9 to that state, with 5 over 9 to that state, and so forth. And the other distribution is depicted on the right. There is a weight function between those two distributions. Why? Well, there are these dashed lines indicated with those numbers. And why is it now a weight function? Well, the easy way to understand this is you read this picture from left to right. You see that the amount of probability mass going into T is, for instance, 5 over 9. And that's actually the sum of the probability mass that goes out of T. These are exactly the sum of this 1 over 9 plus 4 over 9. And this applies to all the states. 2 over 9 goes in here, and the sum of the outgoing ones is 2 over 9. And the nice thing is you can also read this from right to left, and then the same property holds. For instance, if you go to W, well, this is an interesting case, to go to U with 1 over 3, then you see this is exactly the sum of the probabilities to go here and to go there. Now, this is a weight function, this dashed line with these numbers. And the weight function exists. Then this distribution is being simulated by the other one. Good. And here is an example of two probabilistic transition systems based on the same example. This state is being simulated by that state. Why? Well, it's exactly the example that I had on the previous slide. 2 over 9 and 5 over 9, if you go back. 2 over 9 and 5 over 9 plus 2 over 9 to some deadlock state Z. These are exactly the successor of S1. And here you have these three successors, which correspond exactly to these three, and then there is a certain deadlock state which I can reach with 1 over 9. Because there is such a weight function, it means that S1 is being simulated by S2. I hope you get some feeling about what a simulation relation in the probabilistic contact means.  Okay? So it's a maximal flow problem. If you are fully probabilistic system, so you have not, let's say, in a state, the choice between two distributions, then actually simulation equivalence and bi-simulation coincide. We consider a model with non-determinism, and there the two notions do make a difference. Checking simulation can be done in this complexity, if you remember N log N was bi-simulation, this is a bit more actually has some higher complexity, and actually the way to achieve this is using parametric flow algorithms. It preserves a certain safe fragment of probabilistic CTL, things like lower bounds on reachability probabilities or upper bounds on reachability probabilities and lower bounds on box properties are preserved. And people use this for abstraction. So typically you make a model, you make it smaller, and then you would like to establish whether the smaller model is simulating the original model. So there is where people really use this notion of simulation. Good. So we are using probabilistic push-down automaton for our implementations and those finite transition systems as our specifications. So what is a probabilistic push-down automaton? It's just a push-down automaton, as you are used to. The only difference being that if you have the transition relation, the target is a distribution over the configurations, and that's it. Okay? So here is a small example. I will get back to that in a minute. Suppose in this simple example we don't have any control states, we just have those three stack symbols, and this means if I have a z, then with probability x I push y on the stack, with probability 1 minus x I push d on the stack, and this means, for instance, similarly, if I have a d on the stack, then with probability x I pop it, which means epsilon, the empty words, and with probability 1 minus x I push another d on the stack. That's the way to read these distributions. Good. What is the configuration graph? I don't think I have to go into all the details. It's an infinite probabilistic transition system, where the states are the configurations. Okay? Similar as push-down automaton. Same example as before. What's the state space of this one? It actually turns out to be a Bernoulli random walk. What you see is as follows. Take, for instance, this state z. Then with probability x I push a y on the z, which means I go to the right. Okay? Then I get to, for instance, this configuration yz. With y I can, for instance, push another y with probability x, which means I go to the right with probability x and I get to y, yz, and so forth. Okay? And this means a doubly, an infinite sequence that goes in. Some key results about what is known about these probabilistic push-down automaton. Well, there's actually quite something known about fully probabilistic push-down automaton, so those that have no nondeterminism, because they are equally expressive as recursive Markov chains, a model by Atasami and Yanakakis. Qualitative PCTL model checking is actually decidable. Qualitative means is the probability larger than zero or is it equal to one? Quantitative properties of omega-regular properties are decidable, worked by Esparza, Richard Meyer, and others. And actually you can also compute some expectation values. What about bisimilarity? Well, so far there is only result by Brasdil and Kuchera and some co-authors, and they say the following strong probabilistic bisimilation between such a probabilistic push-down automaton with nondeterminism and the finite pts is ex-time complete. What we are going to show is that probabilistic simulation lies exactly in the same complexity class. And this is not the case in the non-probabilistic case. Okay? That's the main, let's say, thing. So what's the take-home message before I get into some more details? This is the case in the non-probabilistic setting. If you want to check whether a push-down automaton is similar to a finite transition system, then this is p-space complete. If you want to know whether it's simulated by a finite transition system, this is ex-time complete. In the probabilistic case, it works like this, and this is actually the achievement in this paper. So what's the problem statement to be more precise? We're interested in the theoretical complexity of checking the strong simulation. So this is the following decision problem. You give me a configuration of the push-down, a probabilistic push-down automaton, let's say of the form p-alpha, and you give me a state s of a finite probabilistic transition system. The question we have to check is, do we have that p-alpha is being simulated by s or vice versa is s being simulated by p-alpha? We can do it in both directions. It's not great, and it is ex-time complete. And actually, if you fix the number of control states and the number of states in your transition system, then both problems can actually be solved in polynomial time. Good. What's the approach? The naive approach will be the following. First, you will know that checking a simulation relation between an ordinary push-down automaton and a finite label transition system is ex-time complete. Okay? So what we could do is just take the proof technique for that result and carry it over to the probabilistic case and you're done. Well, that does, unfortunately, not work. Why not? Because the result of this... I mean, the proof of this result is based on verifying modern new calculus against the PDA. So it relies on the fact that you can check modern new calculus on PDAs. Okay, so if you would like to do something like this in the probabilistic case, you need to have something like quantitative model-checking on PDAs, but we already saw, as far as I've proven, this is not decided. So this approach does not work. Okay? Good. So what we did is we applied a technique that has been developed by Stirling in 2000. Stirling used... called this technique the extended stack technique, and he used that for checking strong bisimulation between probabilistic... between push-down automata. Okay? And the idea is the following. What you do is you take an extended stack symbol u, which is actually a function, right? So this extra symbol that you add to your stack alphabet is a function which maps a control state to a configuration. And the configuration of Stirling was, well, you do this if this q u is bisimilar by P alpha. Okay, we adapted it as follows, and in the proof this is quite a drastic change, you map a control state q now to a set of states in the finite probabilistic transition system. Okay? So we don't map to configurations anymore. And the idea is the following. If you have q x alpha simulated by s, then we add this stack symbol u where this stack... this set u is exactly the set of states such that q alpha is being simulated by s. And what you then do is you add this function u to your ordinary stacks, and then what you allow to do is then, or anything what you normally allow to do with stack symbols. Then what we did is we devised a tableau method for deciding probabilistic similarity. Such that you get the following theorem in a sense. s simulates this configuration on the left, if and only if there is a successful tableau which has as a root exactly what you want to prove. And then we use a refinement technique on the over that tableau or based on that tableau for getting the exp time complexity bound. The hardness result is actually trivial or almost trivial because that follows directly from a reduction to standard bisimulation, having those direct distributions. So that's not a big deal. So the big deal actually is basically this adaptation of this stack technique by Sterling and to develop this tableau technique. I don't have much time to go in this tableau technique, but I would like to give you some flavor about how it works. This is the probabilistic transition system that we have seen before. It's a four-state machine. This is an example of a probabilistic push-down automaton. It has three control states, r, p, and q. And what, for instance, you see is that in this state, this configuration px with probability half on input symbol b, you go to q, and with probability half you pop x and you go to control state r. So here you see that there is some probabilities to go from the middle, let's say, sequence of states to the uppermost or the lowermost sequence of states. Now, what's the claim? The claim is that pxn plus one is being simulated by s1. So what does that mean? Well, take, for instance, px square. The claim is that this is being simulated by s1. Okay? Good. How to prove this? Well, this is a bit involved. You have to show that actually a certain relation is a probabilistic simulation. And how does it work? What we do is we use this tableau technique. So this is what we need to prove. We have some extended stack symbols. Remember those match or those map basically control states to sets of states in the finite transition system. So these are two stack symbols, u and v. And then we go as follows. Suppose, so this you have to read, if these premises hold, then I can conclude what is above the line. It's not the way you're probably used to, but in those tableaus it goes from bottom to top. So this is a reduction rule that tells you if this holds and this holds, and in addition I know that this holds, then we can conclude this. And how does that works? Well, you know that pxu is being simulated by s1. Let's assume that this is the case. Then you have to check that for every s in u, q, so in the function, the stack symbol that maps this control state to the set of states in the transition system, that this relation holds. Okay? If you check this for p, well, then it's easy because p is mapped onto the empty set, so I don't have to check anything. q is mapped to s2. What does that mean? I need to check whether qx is being simulated by s2. And what happens for the rest is that r is being mapped to s3, so the last thing that I have to check is whether r of x is being simulated by s3. And this is what you do, and then basically you now have to, of course, check whether these two things hold. That's not difficult to check because it just applies by unfolding. You know that these two transitions are available in the probabilistic push-down automaton, and then I can conclude when x is being simulated by s4, that then qx is being simulated by s2, and so forth. These are meant to be green. Why? Because they are in the simulation relation, so these are successful tableau nodes. I know that these conditions are true. I don't have to deduce any further. And if you continue this, I don't want to go through all the steps, then you get, in the end, a finite tableau. That shows that actually the whole procedure becomes decidable, and then if you combine this with the refinement technique, you get the exponential time upper bound. Okay? Good. One final bit is combined transitions. If you look at these two pictures, this one on the left is not being simulated by the right one, and what's the problem is that, of course, these numbers, 0.9, 0.1, are different than 0.8 and 0.2 over here. But the leftmost intransition is actually a convex combination of the transitions on the right-hand side. All right? Here you see that there is an intransition that can move to that state with 0.9, and there is an intransition that can go here with 0.5. If you now take 3 quarters times this probability plus 1 quarters times this, so you take a convex combination of the two, you get exactly 0.8 over here. So they look quite the same, and if you would take a policy or a strategy or an adversary to resolve the non-determinism, then any probabilistic one, well, you would admit it because it would allow you to get such a convex combination. So this gives rise to what they call a combined transition. So this is exactly what a combined transition is. It simply means it's a transition intuitively, which is the build from the convex combination of other transitions. Okay? So I have a combined transition from S to a distribution mu. If there exists a sequence mu i and d i, such that there is a transition to mu i, the sum of all the d i is equals 1, and mu is exactly the sum... It's basically the convex combination of d i, this constant that you multiply with mu i. And in a combined simulation, and what you say is the following, if S can do a transition to mu, then T can do a combined transition to mu. Okay? So in the conclusion on the simulation, you are more liberal, and you allow those combined transitions. Now, what you can show is that all the results that we have in this paper carry also over to checking this combined simulation. So that brings me to the end. This is what you should remember if you want to remember something from this talk, that in a non-probabilistic case, by-simulation checking between a probabilistic... between a push-down automaton and a finite transition system is p-space complete. If you then go to simulation, it becomes x-planned complete. In the probabilistic case, both by-simulation and simulation checking lie in the same complexity class. Else could you study? Well, you could, of course, study weak simulation. You could look at other kinds of models like visibly probabilistic push-down automata where you restrict, let's say, basically the way of pushing and popping on the stack, and you could look at special cases like one-counter, stateless, and so forth. That's it.


As a contemporary military force, Marines are asked to do many things. But the American people demand one thing, and that is that we fight and win battles. Every year we demand more and more of our Marines, and history has proven that Marines are capable of giving more. Our partners, as well as the American people, expect excellence. Our history demonstrates excellence. In uncertain times, Marines and sailors of Marfa Rez and Marfa South continue to remain ready, responsive and relevant. As always, the strength of the force comes from the individual Marine and the audacity and proficiency of the smaller unit leader. The United States Marines. No better friend, no worse enemy. Semper Fidelis Marines.


Physical contact is not the only way to establish relationship. What people are calling as love today is actually just mutual benefit scheme. You need to fall in love. Something of you must go. Then only there is room for love. How can we let go with the past and the difficult events in our life? Alexander, I thought love is about coming together, not about breaking up. I know. So I know these things are happening everywhere because we are not looking at life as life. We have been educated, our education systems, our idea of science and technology has all deduced itself into how to use everything for our benefit. From the smallest bacteria to the largest animal on the planet, everything we want to use for our benefit, the very planet itself we want to exploit it for our benefit. In that unfortunately human beings also are included. So this what people are calling as love today is actually just mutual benefit scheme. You give me this, I'll give you that. The moment you don't give me that, I won't give you this. And that is why you're starting the question about love with breakup and divorce. That's true. In my understanding of life, love is about weaving two lives together, two lives becoming like one. But now we are talking about breakup. Today when we talk about love, people are asking, thinking in terms of expiry date, how long will this last? So this is an unfortunate situation that people will not know the profoundness of sharing life with somebody or you know, because when you really want to include somebody as a part of your life, you will have to vacate some of yourself. Something of you should fall. This English expression, I don't know what they say in French, but the English expression of falling in love is a good thing. See, you cannot rise in love. You cannot fly in love. You cannot climb in love. You can only fall in love. Something that is you must fall. So right now we are trying to climb in love, so there are troubles all the time. So is there a French expression for falling in love? It's the same. It's tombé amour, which is falling in love. We have the same expression if it falls in love. That's good. French are still falling in love. That is a good thing to hear. Because it is only become a mutual benefit scheme for most people, how to get what I want. Love is not about getting what you want. It is an opportunity to make yourself vulnerable. It's an opportunity to lose yourself. This is not a profit-oriented project. Love is not a profit-oriented project. It is willingly going for a loss. That's what it is about. But the moment you think about profit, then of course there are… right from the day one there is friction. Only because of hormonal, you know, draw, people may be coming together, otherwise the way modern societies are getting structured, we've almost left no room for love. It is only about what I can get out of you. So when this is the way breakup is a natural process because if you're trying to squeeze joy out of somebody, then it's not going to work. If your life is about sharing the best that you have, then it'll work. I'm not saying it is not there at all, but unfortunately, largely it's moving in this direction. What can I get out of you? What can you do for me? It's not about what can I do for you. So this falling in love has to come back. Right now people are doing love. No, no, you need to fall in love. Something of you must go. Then only there is room for love, otherwise there is just a mutual benefit scheme. The moment there is no benefit for you, of course it will end. Let me tell you a joke. Is it okay French allow a joke, right? Yeah, I love the jokes. A French man just had a breakup and he had just received a text message on his phone that the girl said this is the end of it.  He didn't want to tell her so he said, I'm reading a recipe of a very nice, you know, gourmet food. She looked at him and said, it looks like you have come to cutting onions because he was tearing up. It looks like you come to the part where they're cutting onions. So even if you, even if you tear up when you cut onions, if you cook well, still the food tastes good, all right? So this whole thing about human beings not able to manage their relationships, one important thing is, right now in English language it's become like this, I think I suspect that it could be the French who started this, that to see, for us here in India, when we say a relationship, it could be many things. It could be with our parents, it could be with our siblings, it could be with our friends. There's a relationship between guru and the disciple, variety of relationships. But in the West now it has been made, if you say a relationship, it means it's a body based relationship, unfortunately. For that they are paying a price, because body is not the only way to establish relationship. Physical contact is not the only way to establish relationship. Intellectually you can have relationship, emotionally you can have relationships. So emotional relationships are always far more, what to say, more touching in your life, more tender to you than body based relationships. But right now we have made it like this, if you utter the word relationship, everybody assumes that, you know, you have a body based relationship. I'm even afraid to use that word, if I say I have a good relationship with Alexander, people will think something else. Do you think that emotional relationship will be or can be more powerful than body relationship? Obviously, bodies can only have encounters, not relationships. It takes a mind and emotion to have a relationship, isn't it?